Computational Resources User Data Processes
1997-02-04
AGDL An Attribute Grammar Description Language
1998-05-08
Reusing Application Frameworks Through Hooks
1997-03-12
The Diffusive Phase of a Model of Self-Interacting Walks
1997-04-26
Bounds on Norms of the Adjoint Matrix
1997-04-08
Towards Optimal Analysis of HST Crowded Stellar Fields
1998-01-14
Cognition, Content And The Inner Code
1997-08-11
Terry Dartnall
The Text Encoding Initiative: Flexible and Extensible Document Encoding
1970-01-01
Parameter and Then At the Mixing Within
1997-07-28
Reducing Data Hazards on Multi-pipelined DSP Architecture with Loop Scheduling
1997-12-17
Reducing Initial Latency in a Multimedia Storage System
1996-06-27
Maintaining Temporal Coherency of Virtual Data Warehouses
1998-07-30
An Empirical Study of Delay Jitter Management Policies
1996-09-06
Effective Stability for Periodically Perturbed Hamiltonian Systems
1997-05-22
Private-Key
1993-03-23
Privatekeyalgorithmidentifier Algorithmidentifier
Using the Web as a Survey Tool: Results from the Second WWW User Survey
1994-12-02
An Inductive-Learning Approach to Morphological Analysis
1970-01-01
A WWW-Based Expert System Advisor for the Diagnostic of Network Communication Problems
1998-11-08
Hardware Support for Controlled Interaction of Guaranteed and Best-Effort Communication
1998-03-19
Representation and Visual Recognition of Complex, Multi-agent Actions using Belief Networks
1998-04-07
Testing the Equivalence Principle by Lamb shift Energies
1998-05-26
Toward Agent-Based Software Engineering for Information-Dependent Enterprise Applications
1997-05-28
Steven C. Laufmann
Hamiltonian Mechanics
1997-04-03
Ivar Ekeland
Replacement Can Preserve Termination
1998-10-06
The Topology of The Cosmic Microwave Background Anisotropy on The Scale
1998-05-25
D. I. Novikov
Specifying Flexible Tasks in a Multidatabase
1998-11-20
Database Replica Management Strategies in Multidatabase Systems with Mobile Hosts
1995-04-08
On Lookahead in the List Update Problem
1998-04-15
Inverse degrees and the Jacobian conjecture
1995-10-09
Harm Derksen
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems
1998-10-25
Reasoning about Action in First-Order Logic
1995-10-25
Charles Elkan
Maximally Flat Lowpass FIR Filters with Reduced Delay
1998-06-12
Forward and Backward Simulations Part I: Untimed Systems
1999-02-05
Using the Points of Large Cases
1994-07-22
LAPACK Working Note 118 The Design and Implementationof the Parallel Out-of-core ScaLAPACK LU, QR and Cholesky Factorization Routines
1997-04-22
P1363: Appendix E Cryptographic Random Numbers
1995-11-12
Digital Watermarking Of MPEG-2 Coded Video In The Bitstream Domain
1997-06-02
Integrating Database and Internet Technology: The Design of an Information System for the City of Patras.
1998-05-22
On-line Reorganization of Sparsely-populated B
1996-03-23
Software Forensics: Extending Authorship Analysis Techniques to Computer Programs
1998-02-11
Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity
1999-01-16
Integrating High Performance Computing and Virtual Environments
1997-08-29
Quasi-convex Functions and Quasi-monotone Operators
1995-10-27
Vladimir L. Levin
A Combined Eigenvector Tabu Search Approach For Circuit Partitioning
1996-11-13
Randomised Techniques to Efficiently Approximate Spectral Coefficients and Autocorrelation Coefficients
1996-10-25
M. C. A. Kropinski
1994-08-24
Coordinating Autonomous Entities with
1998-10-06
Mathematics of
1997-09-30
Tapio Schneider
The Asymptotic Zero Distribution of Orthogonal Polynomials With Varying Recurrence Coefficients
1997-11-21
Linguistically Engineered Tools for Speech Recognition Error Analysis
1998-09-04
Motion Estimation and the Randomized Hough Transform RHT: New Methods with Gradient Information
1996-05-13
Heikki Kalviainen
Emergent Hierarchical Control Structures: Learning Reactive/Hierarchical Relationships in Reinforcement Environments
1998-06-15
Bruce L. Digney
Constrained Bipartite Edge Coloring with Applications to Wavelength Routing
1997-09-23
Analysis of Impact of Network Delay on Multiversion Conservative Timestamp Algorithms in DDBS
1995-07-04
Duality Symmetries and Noncommutative Geometry of String Spacetimes
1997-07-24
Cluster I/O with River: Making the Fast Case Common
1999-02-09
Analyses of Software Failure Data
1995-08-08
Structural Properties of Bounded Relations with an Application to NP Optimization Problems
1999-02-12
Wolfgang Merkle
Rapid Flow Of Matter In A Dark Filament
1997-03-03
Reizaburo Kitai
Table Of
1995-04-26
Baryon Isovector Electric Properties and the Large
1998-05-15
Thomas D. Cohen
Multidimensional Digital Searching And Some New Parameters In Tries
1996-08-24
Algorithms for Constructing Immobilizing Fixtures and Grasps of Three-Dimensional Objects
1997-10-27
Geometrical Motion Planning For Highly Redundant Manipulators Using A Continuous Model
1994-11-16
Probabilistic Unification Grammars
1997-05-08
Mach 10 Computational Study of a Three-Dimensional Scramjet Inlet Flow Field
1997-08-01
Scott D. Holland
Computing Multiple Image Motions
1999-03-31
Bhuvana Narasimhan Vittorio Di Tomaso Cornelia M.Verspoor
1997-03-06
Improved Constructions of Delaunay Based Contour Surfaces
1999-03-30
Computational Logic in Australia
1998-04-08
Computational Optimality Theory
1970-01-01
QoS-Based Transport
1997-06-02
Computing Lower Bounds on Functional Units Before Scheduling
1999-01-04
Extracting the
1998-07-01
A. W. Thomas
Applications Of Geometric Measure Theory To The Study Of Gauss-- Weierstrass And Poisson Integrals
1995-03-28
Survey of Data-Driven Approaches to Speech Synthesis
1998-12-28
Kenney Ng
Michel Theory of Symmetry Breaking and Gauge Theories
1997-04-26
Paola Morando
Semi-Relativistic Hamiltonians Of Apparently Nonrelativistic Form
1998-05-15
A Tighter Test of the Local Lorentz Invariance of Gravity Using PSR J2317+1439
1998-05-25
Behavior Evaluation And Learning From An Internal Point Of View
1997-06-04
Maja J. Matari'c
A Resource-Centric Approach To Multimedia Operating Systems
1996-11-26
Unknown
1995-12-13
Equational Semantics
1999-03-24
Learning Deterministic Regular Grammars From Stochastic Samples in Polynomial Time
1997-02-21
The Partial Specification of Microprocessor Instruction Set Architectures
1994-10-21
William R. Bevier
Composition Of Transfer Rules In A Multi-Lingual Mt System
1996-07-12
Factory Animation by Self-Organization Principles
1997-10-02
Transport Theory for Acoustic Waves with Reflection and Transmission at Interfaces
1998-07-29
A Climate Database For The Martian Atmosphere
1997-02-12
Coarsening by Ginzburg-Landau Dynamics
1997-06-10
J. -p. Eckmann
Robustness Results For The Coalescent
1996-10-31
M. Mohle
On The Design Of The Target-Signal Filter In Adaptive Beamforming
1998-10-21
Safe Dynamic Linking in an Extensible Operating System
1995-11-09
Error Control Techniques for Interactive Low-bit Rate Video Transmission over the Internet
1999-01-27
Injong Rhee
Threshold Corrections And Symmetry Enhancement In String Compactifications
1997-10-24
A Formalization of Explanation-Based Macro-operator Learning
1996-02-29
Prasad Tadepalli
General Techniques For Analyzing Recursive Algorithms With Applications
1999-03-28
Rakesh M. Verma
Identification and Classification of Inconsistency in Relationship to Software Maintenance
1997-09-09
A new upper bound on the reliability function of the Gaussian channel
1999-02-11
AWCSET'99 Submission Instructions
1999-03-18
Bound States without Turning Points of Electric Dipole in Magnetic Field.
1998-07-10
The Application of a Neural Network Model to Sensor Data Fusion
1996-09-26
A Call-By-Need Lambda Calculus
1999-03-21
Temporal Logic and Z Specifications
1998-12-24
Lightweight Transactions on Networks of Workstations
1998-04-14
The Surprise Examination or Unexpected Hanging Paradox
1999-04-05
Low Cost Attacks on Tamper Resistant Devices
1997-03-28
A Study of Reservation Dynamics in Integrated Services Packet Networks
1999-02-08
Lexicalisation in applied NLG systems
1999-03-23
Lynne Cahill
Blocking of Dynamic Multicast Connections in a Single Link
1998-08-24
The Parallel Incomplete Gram-Schmidt Preconditioner on Massively Distributed Memory Computers
1997-04-21
Path Planning and Collision Avoidance for Redundant Manipulators in 3D
1995-06-30
Flexible Systems for Digital Signal Processing
1996-10-28
Taking Perception Seriously
1997-09-04
John L. Pollock
Implementing Distributed Algorithms Using Remote Procedure Calls
1994-06-02
Instructions for the Preparation of a Camera-Ready Manuscript
1998-02-20
Nomen Nescio
Efficient Rendering of Radiosity using Textures and Bicubic Reconstruction
1996-07-17
A Polynomial-Time Primal-Dual Affine Scaling Algorithm for Linear and Convex Quadratic Programming and its Power Series Extension
1995-03-16
The Planck Surveyor mission: astrophysical prospects
1999-02-09
Structure and Importance of Logspace-MOD-Classes
1998-07-23
An Algebra of Boolean Processes
1995-10-03
Efficient Cryptographic Protocols based on Noisy Channels
1998-07-15
On the Realization of 3-D Binaural Audio Synthesis in Real Time
1997-12-22
Structure Exploiting Tool in Algebraic Modeling Languages
1998-06-29
Localizing a Robot with Minimum Travel
1994-07-11
Optimal Query Bounds for Reconstructing a Hamiltonian Cycle in Complete Graphs extended
1997-05-02
Matching a Set of Strings with Variable Length Don't Cares
1995-12-12
High Performance Fortran Language Specification
1996-03-30
Some Ontological Principles for Designing Upper Level Lexical Resources
1998-05-04
Nicola Guarino
The Batalin-Vilkovisky Method Of Quantization Made Easy
1998-05-23
Omer F. Dayi
Induction of First-Order Decision Lists: Results on Learning the Past Tense of English Verbs
1995-06-28
Power Balance and Apportionment Algorithms for the United States Congress
1998-01-20
Extracting Salient Curves from Images: An Analysis of the Saliency Network
1995-11-14
Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations
1996-11-23
Matthias Blume
Transductive Inference for Text Classification using Support Vector Machines
1999-05-03
Thorsten Joachims
Incorporating Knowledge in Natural Language Learning: A Case Study
1998-07-09
Learning a Class of Large Finite State Machines with a Recurrent Neural Network
1996-03-14
A Probabilistic Parser and Its Application
1996-12-02
Stochastic Reservoir Characterization Conditioned On Seismic Data
1997-12-03
AtDB, the Database, and graphical-web-display of progress by the Arabidopsis Genome Initiative
1997-12-15
Spatila Heterogeneity and the Maintenance of Sex
1997-07-15
Run-TimeManagementofLispParallelismandthe HierarchicalTaskGraphProgramRepresentation
1994-07-01
Constantined Polychronopoulos
Functional Partitioning for Reduced Power
1999-01-30
Refinement in a Type Extension Context
1997-03-03
Unknown
1997-09-18
Notification And Multicast Networks For Synchronization And Coherence
1970-01-01
Learning With Many Irrelevant Features
1996-07-09
Sifting the Network: Performing Packet Triage with NFR
1998-11-23
Specialization of Functional Logic Programs Based on Needed Narrowing
1999-03-31
"Pseudo-Random" Number Generation within Cryptographic Algorithms: the DSS Case
1997-05-31
Prognosticating The Future Of Gravitational Lenses
1997-03-19
Design and Implementation of a Digital Teleultrasound System for Real-Time Remote Diagnosis
1995-09-18
Compressione della voce a 2.4 Kbit/s
1998-12-03
Giovanni Motta
DisLoP: A Research Project on Disjunctive Logic Programming
1997-09-15
Lisp Program-Size Complexity
1998-07-21
G. J. Chaitin
Overcoming the Network Bottleneck in Mobile Computing
1994-11-17
Secure Quality of Service Handling SQoSH
1998-06-02
High-Performance Job-Shop Scheduling With A Time-Delay
1997-04-16
Scalable kernel performance for Internet servers under realistic loads
1998-06-23
Diagrammatic Methods In Statistics And Biasing In The Large-Scale Structure Of The Universe
1995-07-09
Takahiko Matsubara
Moufang loops and Malcev algebras
1995-07-24
P'eter T. Nagy
Translation-Invariant De-noising Using Multiwavelets
1998-05-27
A Note on Scoring Clones Given a Probe Ordering
1996-06-18
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model
1996-06-24
Selection on the Bulk-Synchronous Parallel Model with Applications to Priority Queues
1996-10-23
MIME Multipurpose Internet Mail Extensions:
1994-06-02
Comparing Computational Representations of Herbrand Models
1997-09-11
Robert Matzinger
Characterizing Parallel File-access Patterns on a Large-scale Multiprocessor
1998-12-27
Bockstein Operations In Morava K-Theories
1995-12-22
Andrew Baker Urs W Urgler
Various Kinds of Petri Nets in Simulation and Modelling
1997-03-11
CHECK: A Document Plagiarism Detection System
1998-07-30
Tempest Interface Specification
1995-02-23
Steven K. Reinhardt
Distributed Service Composition
1999-03-18
Signal Processing Schemes for Doppler Global Velocimetry
1998-09-02
Behavioural Theories and The Proof of Behavioural Properties
1995-03-20
A Comparative Study of Simulcast and Hierarchical Coding
1996-03-13
Unknown
1996-05-13
Hopf Bi-Modules and Crossed Modules in Braided Monoidal Categories
1995-10-03
Security and Log Structured File Systems
1998-09-23
Tage Stabell-kul
Understanding as Generalization Not Just Representation
1997-03-21
Steven Phillips
Modeling the Dynamic Mechanical Behavior of Elastomers
1996-09-17
Mode Competition in a Fabry P'erot Semiconductor laser: Travelling Wave Model with asymmetric dynamical gain
1996-01-28
Performance Analysis of Shufflenet with Deflection Routing
1995-01-12
Shueng-han Gary Chan
Landmark Arrays and the Hippocampal Cognitive Map
1994-12-24
Isa Project
1995-12-16
Modelling Conflict Resolution Dialogues Between Believable Agents
1997-02-22
An Evolved Fuzzy Reactive Control System For Co-Operating Autonomous Robots
1996-06-21
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality
1998-06-26
Oliver Ruthing
Increasing Performance With Multiply-Add Units and Wide Buses
1999-02-10
Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation
1998-02-09
New Models for Optimal Truss Topology in Limit Design Based on Unified Elastic/Plastic Analysis
1996-05-07
Robust Face Image Retrieval by Fuzzy Gated Neuronal Architecture
1996-02-26
A Method for Obtaining Randomized Algorithms with Small Tail Probabilities
1997-03-17
Using Learning to Facilitate the Evolution of Features for Recognizing Visual Concepts
1998-04-30
An Approximation Scheme for Evolutive Hamilton-Jacobi Equations
1998-10-29
Perfect factorisations of bipartite graphs and Latin squares without proper subrectangles
1999-01-26
I. M. Wanless
Marcel Bergerman Christopher Lee Yangsheng Xu CMU-RI-TR-94-25
1998-11-24
Unknown
1998-10-15
On Tikhonov Regularization, Bias and Variance in Nonlinear System Identification
1996-11-27
Tor A. Johansen
Multi-Writer Composite Registers
1995-07-14
James H. Anderson
MCLUST: Software for Model-Based Cluster Analysis
1998-11-28
Improved Linear Discrimination Using Time-Frequency Dictionaries
1998-10-19
Just One View: Invariances in Inferotemporal Cell Tuning
1998-01-09
Uncertainty in Intelligent and Transportable Agent Systems
1997-09-16
Extraction of Soft Bit Information with the Use of M-ary Modulation
1996-04-01
Formalization and Parsing of Typed Unification--Based ID/LP Grammars
1995-02-17
Frank Morawietz
Adaptive Filters Based on Tapped Cascaded Allpass Sections
1997-11-14
Constructive Function Approximation: Theory and Practice
1996-09-20
Renormalization group approach to zero temperature Bose condensation
1996-06-22
G. Benfatto
Bound--state asymptotic estimates for window--coupled Dirichlet strips and layers
1997-09-25
Representing Control in the Presence of One-Shot Continuations
1996-05-10
Group-Invariant Percolation on Graphs
1999-03-14
The Domain Of Accentual Lengthening In Scottish English
1997-09-24
On Disconnected Browsing of Distributed Information
1997-03-05
Analysis of LPC/DFT Features for an HMM-based Alphadigit Recognizer
1996-06-20
A short course on the Lie theory of Semigroups II Lie Semialgebras
1995-08-20
Anselm Eggert
An Analysis Framework for Access Methods
1999-02-08
A Series of Controlled Experiments on Design Patterns: Methodology and Results
1998-06-25
Lutz Prechelt Barbara Unger
A Fast Method for Estimating the Uncertainty in the Location of Image Points in 3D Recognition
1996-02-12
Ilan Shimshoni
Supergeometry And Quantum Field Theory, Or: What Is A Classical Configuration?
1997-04-26
T. Schmitt
Levesque's Axiomatization of Only Knowing is Incomplete
1998-05-05
Using MPI on the Cray T3D
1997-06-10
Fuzzy Medical Diagnosis
1997-11-13
F. Steimann
Applying Plan Recognition Algorithms To Program Understanding
1998-09-10
Alamo: An Architecture for Integrating Heterogeneous Data Sources
1998-09-02
Efficient Goal-Directed Exploration
1996-06-12
Spectral Properties Of Galactic And Extragalactic Black Hole Candidates
1997-03-03
Bulk-Insertions into R-Trees
1998-06-17
Terminological Reasoning and Conceptual Modeling for Datawarehouse
1996-08-19
David Rudloff
An Analytical Model and Performance Analysis of Shared Buffer ATM Switches under Non-uniform Traffic
1999-01-24
XTP/PE Design Considerations
1993-05-06
Greg Chesson
Mixing Times for Uniformly Ergodic Markov Chains
1999-04-19
David Aldous
The LRPD Test: Speculative Run--Time Parallelization of Loops with Privatization and Reduction Parallelization
1994-11-12
Real Time Intelligent Signal Validation In Power Plants
1996-03-18
Practical Refinement-Type Checking
1997-07-23
Realistic Input Models for Geometric Algorithms
1998-06-22
Image Retrieval using Color and Shape
1996-04-12
On the impossibility of amplifying the independence of random variables Extended Abstract
1994-05-04
Reducing False Sharing on Shared Memory Multiprocessors through Compile Time Data Transformations.
1994-09-23
Product Line Practice Workshop Report
1997-07-25
A Study in Process Simplification
1997-10-07
On Applying Or-Parallelism to Tabled Evaluations
1997-07-17
A Negotiation-based Interface Between a Real-time Scheduler and a Decision-Maker
1994-03-28
The Preliminary Design Of An Object-Oriented Framework For Combinatorial Enumeration
1995-06-30
The Diameter of Domination k-Critical Graphs
1995-03-28
A Modification of Sugeno Integral Describes Stability and Smoothness of Fuzzy Control
1997-09-20
Peirce-IGTT: A Domain-Independent Problem Solver for Abductive Assembly
1970-01-01
Rotating Machine Condition Classification Using Artificial Neural Networks
1996-12-18
A. C. Mccormick
The Dynamical Structures Of Dense Molecular Clouds In The Galactic Center Region Their Implications
1997-03-03
The Development and Testing of the Ring Based Conference Authentication Service
1970-01-01
Mechanically Verified Abstractions to Finite State Systems - A Case Study of the Alternating Bit Protocol in Isabelle
1998-11-26
Olaf Muller
Unknown
1996-10-21
Doran K. Wilde
Committed Oblivious Transfer and Private Multi-Party Computation
1998-07-15
Jeroen Graaf
Evolving Action Selection and Selective Attention Without Actions, Attention, or Selection.
1998-10-05
Anil K Seth
Design and Implementation of Triveni: a Process-algebraic API for Threads + Events
1998-03-28
Dynamic Scheduling for Mobile Robots
1995-02-13
A Semidefinite Bound for Mixing Rates of Markov Chains
1996-03-03
Nabil Kahale
Low-Speed Wind-Tunnel Investigation of the Stability and Control Characteristics of a Series of Flying Wings With Sweep Angles of
1995-08-16
Dispersion Analysis of a TLM Mesh Using a New Scattering Matrix Formulation
1996-09-30
Refining an ASM Specification of the Production Cell to C++ Code
1997-05-28
Luca Mearelli
Arcing Classifiers
1997-07-22
Leo Breiman
Semantic and Schematic Similarities between Objects in Databases: A Context-based Approach
1995-11-20
User Modeling For Spoken Dialogue System Evaluation
1997-11-17
Faithful couplings of Markov chains: now equals forever
1995-08-30
Jeffrey S. Rosenthal
The Geographic Spread of Influenza
1999-02-08
Set Constructors, Finite Sets, and Logical Semantics
1997-01-21
InfoSleuth: Agent-Based Semantic Integration of Information in Open and Dynamic Environments
1998-03-11
An Optimal Parallel Algorithm for Learning DFA
1995-02-13
Workshop Report on Experiences Using Object Data Management in the Real-World
1999-02-08
Akmal B. Chaudhri
Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis
1998-04-30
Making Type Inference Practical
1997-07-21
A Note on Limit Theorems for Multivariate Martingales
1997-08-11
Uwe Kuchler
Towards the Classification of Algorithmic Skeletons
1996-12-11
Duncan K. G. Campbell
Using Local Trajectory Optimizers To Speed Up Global Optimization In Dynamic Programming
1995-09-16
Christopher G. Atkeson
Performance Tradeoffs for Client-Server Query Processing
1996-03-06
New Generation of
1998-05-29
Foundations of Spatioterminological Reasoning with Description Logics
1998-04-08
Lexicalization of Context
1998-04-29
Graham Wilcock
Dispersive Approach to the Trace Anomaly.
1998-05-26
An Architecture for Managing Virtual Circuit and Virtual Path Services on ATM Networks
1997-10-14
Title, Summary
1998-11-17
Finite Buffer Realization of Input-Output Discrete Event Systems
1998-07-06
Meta-Rule-Guided Mining of Association Rules in Relational Databases
1999-01-18
Parallel Timing Simulation on a Distributed Memory Multiprocessor
1995-05-11
On Surface Approximation using Developable Surfaces
1999-02-25
Information Theory and Noisy Computation
1997-05-28
Abstraction Considered Harmful: Lazy Learning Of Language Processing
1970-01-01
Walter Daelemans
Fourier's Elimination: Which to Choose?
1993-05-10
Jean-louis Imbert
Relative Debugging for Parallel Systems
1997-09-08
Grammar Acquisition Based on Clustering Analysis and Its Application to Statistical Parsing
1997-07-24
Query Optimization for Selections using Bitmaps
1999-04-23
Ming-chuan Wu
On The Relevance Of The Regularity Constraint In Subband Image Coding
1997-11-10
The Service Configurator Framework
1995-02-27
A Parallel Algorithm for Reconfiguring a Multibutterfly Network with Faulty Switches
1996-02-14
An Algorithm For The Numerical Solution Of Differential Equations Of Fractional Order
1998-07-30
Kai Diethelm
Learning to take Actions
1998-03-26
Roni Khardon
Instituto Superior Técnico, Av. Rovisco Pais, 1 P-1000 Lisboa, Portugal
1996-08-11
Optimum Modulo Schedules for Minimum Register Requirements
1995-10-09
Re E. Eichenberger
An Introduction to Mobile UNITY
1997-12-03
ODYSSEUS: A Dynamic Strong-Strong Beam-Beam Simulation
1998-02-02
A Local Fluctuation Theorem
1998-07-13
G. Gallavotti
A Toolbox for the Verification of LOTOS Programs
1998-09-01
Refinement of Theories Represented on Bayesian Networks
1995-04-13
I. Tchoumatchenko
operations on JPEG images
1994-09-22
The impact of Stieltjes' work on continued fractions and orthogonal polynomials: additional material
1998-07-29
Modeling of Adaptable Multimedia Documents
1997-09-17
Stefan Wirag
A Morphing Algorithm for Generating Near Optimal Grids: Applications in Computational Medicine
1995-11-08
Converting Sorting Algorithms to Fast Randomized Ones via Searching
1997-06-11
Query Deforestation
1998-09-29
Transaction-Based Coordination of Software Agents
1998-06-26
Evaggelia Pitoura
Using Subpages for Cache Coherency Control in Parallel Database Systems
1996-12-04
Andreas Listl
Titan: a High-Performance Remote-sensing Database
1998-09-05
The Gtnphone Dialog System
1998-03-31
Efficient Concurrency Control for Broadcast Environments
1998-03-02
Compilation by Transformation in the Glasgow Haskell Compiler
1995-01-25
Content-Based Information Retrieval in Astronomy: From Image Icons to Derived Attributes
1997-10-08
A. Csillaghy
Bayesian Relevance Feedback for Image Retrieval
1997-04-09
Pattern-Based Compression of Text Images
1998-07-17
A Fast Distributed Algorithm for Mining Association Rules
1999-01-18
A Formal Specification of Some User Mode Instructions for the Motorola 68020
1992-11-19
Universal Velocity Correlations in Disordered and Chaotic Systems
1998-10-15
A Memory Distribution Mechanism for Object Oriented Applications
1997-08-01
Foundations Of Temporal Query Languages
1998-08-05
David Toman
Anywhere, Anytime Code Inspections: Using the Web to Remove Inspection Bottlenecks in Large-Scale Software Development
1997-05-13
Single Flux Quantum One-Decimal-Digit RNS Adder
1997-09-11
The Low Activity Phase of Some Dirichlet Series
1997-04-26
Forward Shadow Mapping
1998-02-23
Hansong Zhang
Foundations of Aggregation Constraints
1997-02-25
Inclusion Of New Types In Relational Data Base Systems
1994-02-18
Michael Stonebraker
Optical Character Recognition and Parsing of Typeset Mathematics
1996-01-04
Reading Between the Lines: Using SHOE to Discover Implicit Knowledge from the Web
1998-05-14
Selection-Based Parallel Range-Join in Hypercubes
1997-08-11
Hong Shen
On Travelling
1994-12-29
On the algebraic non-integrability of the Halphen system
1997-05-14
On Formal Quasi-Periodic Solutions of the Schrodinger Equation for a Two-Level System with a Hamiltonian Depending Quasi-Periodically on Time
1998-12-11
Jo~ao C. A. Barata
Erik Kjaer Pedersen
1997-05-23
A Formulation for Active Learning with Applications to Object Detection
1996-06-06
Protecting Poorly Chosen Secrets from Guessing Attacks
1999-04-29
FGFFQ: A Scalable Real-Time Packet Scheduling Technique for Terabit Routers
1998-05-25
Anomalous Angular Momentum Fluctuations For An Ideal Bose Gas In A Rotating Bucket
1997-05-14
Schwarz, Wallace, and Rissanen: Intertwining Themes in Theories of Model Order Estimation
1999-03-17
Aaron D. Lanterman
Second Generation Teleradiology
1998-04-01
Parallelism in MuPAD 1.4
1998-06-10
Computing Optimal Policies for Partially Observable Decision Processes using Compact Representations
1996-09-30
Visualizing Working Sets
1997-05-12
Evangelos P. Markatos
The Supply Chain Demonstrator
1998-07-14
Extensibility in Data Mining Systems
1996-07-10
Computation with the Extended Rational Numbers and an Application to Interval Arithmetic
1996-12-09
A System for the Verification of Phylogenetic Trees in Godel
1995-12-13
Laura Lafave
On M-Channel Linear Phase FIR Filter Banks And Application In Image Compression
1998-01-19
Communication Optimizations for Parallel Computing Using Data Access Information
1995-09-26
Martin C. Rinard
TRIPTYCH: A New FPGA Architecture
1995-12-21
Fr'ed'eric DANG TRAN, Victor PEREBASKINE, Jean-Bernard STEFANI
1996-10-03
Quantifying the Multi-Level Nature of Tiling Interactions
1997-07-11
Modelling Clarity Change In Spontaneous Speech
1997-12-08
Matthew Aylett
An Algebraic Semantics for Hierarchical P/T Nets Extended Abstract
1999-01-28
The Stanford FLASH Multiprocessor Page 1
1998-06-03
An algebraic semantics of Message Sequence Charts
1999-01-28
Some Hints on the Theory and Practice of Authentication in Distributed Systems
1997-11-13
Tage Stabell-kul
Un th'eor`eme de Paley-Wiener pour les groupes de Lie nilpotents
1996-03-20
An Indoor Wireless System for Personalized Shopping Assistance
1994-11-28
ML-Twig User's Manual
1996-09-27
Jussi Rintanen
On Interval Routing Schemes and Treewidth
1996-06-14
General Closed Loop Optimal Solutions for Linear Dynamic Systems with Linear Constraints and Functional
1998-03-17
Ro Elena De Santis
Computational Geometry
1996-06-05
D. T. Lee
Complex Associations: Abstractions in Object-Oriented Modeling
1996-09-13
Bent Bruun Kristensen
An Overview of
1993-06-29
Types that Reflect Changes of Object Usability
1996-12-03
Franz Puntigam
Dark Matter -- Personal View
1994-12-15
On Measure of Approximation by Means of Fourier Series
1994-12-19
Andi Kivinukk
All-du-path Coverage for Parallel Programs
1998-06-09
Statistical Multiplexing of Multiple Time-Scale Markov Streams
1996-09-09
Evolving the Reuse Process at the Flight Dynamics Division FDD Goddard Space Flight Center
1997-06-17
Matematiqki Vesnik
1996-07-08
Performance Comparison of Design Alternatives for Source Policing Devices in ATM Systems
1995-10-25
ACE: And/Or-parallel Copying-based Execution of Logic Programs
1995-01-13
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language
1995-04-02
A Dirichlet type problem for nonlinear degenerate elliptic equations arising in time-optimal stochastic control
1998-10-20
Particle Tracks, Events and Quantum Theory
1998-05-23
A. Jadczyk
Bifurcation and Chaos in a Simple Passive Bipedal Gait
1997-05-05
Programmatic Compression of Images and Sound
1996-05-08
A Simple Model of Cooling Neutron Stars With Superfluid Cores: Comparison With Observations
1999-03-13
Computational Sample Complexity
1998-04-08
A MAC Policy Framework for Multilevel Relational Databases
1996-01-24
Formal Theory for Differential-Difference Operators
1998-11-17
Van Der Put
Accurate Modeling of The Hybrid Hash Join Algorithm
1996-06-10
Proof-Carrying Code
1999-03-27
George C. Necula
Bound states of scalar bosons in extensions of the Standard Model
1998-05-15
Stubborn Sets for Real-Time Petri Nets
1995-07-12
MATRIX: A Reconfigurable Computing Architecture with Configurable Instruction Distribution and Deployable Resources
1997-07-14
Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases
1999-05-10
Restricted 2-Factor Polytopes
1997-04-14
Finite Volume Element Methods for Non-definite Problems
1997-09-18
Ilya D. Mishev
Theory of Correlations in Stochastic Neural Networks
1996-05-27
THE INTERPRETATION OF RAPIDITY GAPS AT HERA Paul Hoyer and C. S. Lam
1997-12-11
Towards Heterogeneous Specifications
1998-09-08
Andrzej Tarlecki
Attacks on Protocols for Server-Aided RSA Computation
1994-09-30
From Formal Security Specifications to Executable Assertions - A Distributed Systems Preliminary Study
1970-01-01
Optimization by Means of Genetic Algorithms
1994-09-05
Thomas Back
Random Unlabelled Rooted Trees Revisited
1998-08-03
Crin Inria-lorraine
Instructions for Authors---UAI Proceedings
1998-04-15
A formalisation of SOCCA using Z; Part 1: the type level concepts
1999-02-05
IPS User's Guide
1992-10-07
The Design and Implementation of a Sequence Database System
1999-02-03
Discrete Event Systems for Autonomous Mobile Agents
1994-09-30
Ruzena Bajcsy
Solving LP Problems Via Weighted Centers
1996-10-15
Remarks on decay of correlations and Witten Laplacians -- Brascamp-Lieb inequalities and semiclassical limit --
1997-11-19
Bernard Helffer
Crack Jump Conditions for Elliptic Problems
1998-05-31
VRweb: A Multi-System VRML Viewer
1998-06-30
April 27, 1998
1999-02-26
Curvatures of the Melnikov type, Hausdorff dimension, rectifiability, and singular integrals on R n
1999-01-25
Hany M. Farag
Some Observations on All-Or-Nothing Transforms
1998-09-06
D. R. Stinson
Reliable Multicast: Where to use FEC
1997-01-09
A Knowledge-Based Perspective of the Distributed Design of Object Oriented Databases
1999-03-03
Mattias Wahde
1998-07-27
SATO: an Efficient Propositional Prover
1998-11-17
Hantao Zhang
Datalog with Integer Periodicity Constraints
1998-08-05
David Toman
A Continuous Approach to Inductive Inference
1994-07-13
A Self-Stabilizing Algorithm For The Maximum Flow Problem
1995-07-12
Storage Jamming
1995-09-13
Spurious Anomalies in Dimensional Renormalization
1995-04-17
T. L. Trueman
System Of Associative Relationships soar
1998-06-29
Yusuf Ozturk
Using Neural Reinforcement Controllers in Robotics
1996-06-11
The Effect of Multiple Time Scales and Subexponentiality in MPEG Video Streams on Queueing Behavior
1997-08-28
Correlations of Quantum Fields on Robertson-Walker Spacetimes
1998-08-07
Beyond the Adiabatic Approximation
1996-09-10
A. Y. Potekhin
U-duality and M-theory, an algebraic approach
1999-01-04
Niels A. Obers
Ornl/tm-12309
1997-10-01
Quality of Service Adaptation in Distributed Multimedia Applications
1997-01-22
Methods of Optimal Shape Design in Electrical Machines: A Comparative Study
1998-10-15
Jan Sikora
Informed Peg-in-Hole Insertion Using Optical Sensors
1994-10-03
An Object Oriented Framework For Modeling And Simulation Of Variable Structure Systems
1996-05-30
Distance Routing: a New Compact Routing Technique on Series Parallel Networks
1998-12-22
Parallelism and Aldor: a first report of Pi
1998-09-23
A Tutorial on Algebraic Topology and Distributed Computation
1994-12-13
Maurice Herlihy
Derivation of Kanade-Lucas-Tomasi Tracking Equation
1998-08-07
Stan Birchfield
Delta Delta Delta
1997-05-23
Tatsuhiko Yagasaki
Derivation of the Beam and Warming Algorithm for Compressible Navier-Stokes Equations
1994-12-15
Tutorial on Filtering, Restoration, and State Estimation
1995-06-19
Edited Christopher Brown
Intensional Programming Languages
1999-04-07
Dialogue Management for Telephone Information Systems
1996-09-22
Optimization Models for Effective Cell Planning Design
1997-12-10
Wavelet Approach To Hamiltonian, Chaotic And Quantum Calculations In Accelerator Physics
1998-06-23
A Note on Comparison Theorems of Splittings and Multisplittings of Hermitian Positive Definite Matrices
1994-04-19
Reinhard Nabben
Dynamic Jointrees
1998-05-16
Adnan Darwiche
Parallelization of the AVL FIRE Benchmark with SVM-Fortran
1995-09-21
Type Inference Verified: Algorithm
1997-01-17
Specification and verification of a TTP protocol for the conditional access to services
1970-01-01
Derivatives as an IR Regulator for Massless Fields
1998-05-23
Optimal Mapping of Sequences of Data Parallel Tasks
1995-04-12
Neutral Networks in Protein Space
1996-11-25
Probing and Fault Injection of Protocol Implementations
1994-10-27
Density-Adaptive Learning and Forgetting
1994-04-04
Marcos Salganicoff
Dynamic Backtracking with Constraint Propagation Application to static and dynamic CSPs
1997-11-05
Goal-Driven Learning: Fundamental Issues and Symposium Report
1993-08-10
On The Rate Of Mixing For p-Shuffles
1999-02-26
Steven P. Lalley
Parameter Estimation In Dynamical Models
1998-03-16
Stable Ergodicity of Skew Products
1999-02-10
The Algorithmic Analysis of Hybrid Systems
1996-06-25
Linear Prediction And Subspace Fitting Blind Channel Identification Based On Cyclic Statistics.
1997-10-21
Distributed Shared Memory Using Reflective Memory: The LAM System
1996-06-26
Entropies Of Scalar Fields On Three Dimensional Black Holes
1998-05-23
Ikuo Ichinose
TheBinding Interface Base
1996-03-13
Rational Creation and Combination of Diverse Natural Language Processing Systems
1997-10-04
John Henderson
Architectural Support for Managing Communication in Point-to-Point Distributed Systems
1998-03-19
Linear Time Hierarchies and Functional Languages
1995-12-20
Eva Rose
Modelling Intelligent Information Systems for Auditing
1997-02-11
Empirical Measurementsof Six Allocation-intensive C Programs
1992-08-04
Transforming an ASF+SDF Specification into a ToolBus application
1997-03-03
Joris Hillebrand
On Improving Simultaneous Reachability Analysis for the Efficient Verification of Deadlock-Freedom
1996-08-23
Modeling of Moving Objects in a Video Database
1997-06-10
Miniature Language Acquisition: A touchstone for cognitive science
1996-05-15
A Borsuk theorem for antipodal links and a spectral characterization of linklessly embeddable graphs
1997-02-07
Declarative interface models for user interface construction tools: the MASTERMIND approach
1995-07-25
Eye On The Prize
1995-05-15
Nils J. Nilsson
Efficient Model Checking Using Tabled Resolution
1997-04-14
Adventures in Associative-Commutative Unification
1998-08-21
A Graphical Interval Logic Toolset for Verifying Concurrent Systems
1993-11-27
Effective lagrangians for the Z boson decay into photons
1999-03-23
M. Stohr
Invariant Sets With Zero Measure And Full Hausdorff Dimension
1998-02-05
Free-Form Surface Signatures: A representation scheme for Object Registration and Recognition
1999-03-09
Optimizing TCP Forwarder Performance
1998-02-09
On Polynomial-Size Programs Winning Finite-State Games
1997-11-13
Helmut Lescow
Extending Iterate Conceptual Clustering Scheme In Dealing With Numeric Data
1995-04-17
Cen Li
Investigating the Applicability of Architecture Description in Configuration Management and Software Deployment
1998-09-05
Matched Myriad Filtering for Robust Communications
1996-10-28
On The Instability Of A Spring-Mounted Circular Cylinder In A Viscous Flow At Low Reynolds Numbers
1998-11-15
A New Model for the Recovery of Cylindrical Structures from Medical Image Data
1997-02-12
Alok Gupta
Resource Management for Real-Time Communication: Making Theory Meet Practice
1970-01-01
Fluctuations And Thermodynamic Variables In Mean Field Spin Glass Models
1997-04-26
Francesco Guerra
A Stable Integer Relation Algorithm
1998-02-23
A Distributed Whiteboard for Network Conferencing
1996-12-29
Steven Mccanne
Fortran vs. C++: Electrostatic Plasma PIC Simulation on the Intel Paragon IBM SP1
1995-02-23
A Multimedia Programming Model Based on Timed Concurrent Constraint Programming
1998-02-20
George A. Papadopoulos
Saol: The Mpeg-4 Structured Audio Orchestra Language
1998-08-23
Eric D. Scheirer
Warp 2.1.2 Application Programming Interfaces
1995-06-27
Distributed Indexing of Autonomous Internet Services
1993-09-29
An Overview Of The Sequoia 2000 Project
1997-07-08
Michael Stonebraker
The Gamma model - a new neural network for temporal processing
1998-02-04
A Speech To Speech Translation System Built From Standard Components
1997-03-27
Detached Eclipsing Binaries as Primary Distance and Age Indicators
1996-08-15
VEIL: Combining Semantic Knowledge with Image Understanding
1995-12-18
A Comment On "leakage" In Adaptive Algorithms
1994-05-25
Design Maintenance Systems
1995-05-03
A Scintillating Fiber Hodoscope: LMPSD at the
1996-03-26
Energy Optimization of Algebraic Multigrid Bases
1999-01-12
Landscape Ruggedness in Evolutionary Algorithms
1997-04-12
Krasimir Kolarov
Trunk Network Fault-Tolerance through Routing Table Updating in the Trunk Network Fault-Tolerance through Routing Table Updating in the Event of Trunk Failure
1997-11-21
Mark C. Sinclair
Visual Specification, Modeling, and Illustration of Complex Systems
1999-03-25
Time-Critical Planning and Scheduling in Stochastic Domains Extended Abstract
1996-12-02
Dipartimento di Informatica e Sistemistica
1970-01-01
Constructions and Bounds for Visual Cryptography
1998-12-16
SCAN/BIST Techniques for Decreasing Test Storage and their Implications to Test Pattern Generation
1970-01-01
Selfconsistency And Objectification
1997-04-26
Pavel B Ona
On Growing Better Decision Treesfrom Data
1997-09-02
Extraction Of Content : Research at Near-Market
1996-12-16
Center for Supercomputing Research and Development
1994-07-13
Retrieval from Image Databases using Scale-Space Matching
1997-08-11
Implementation with Orccad of a Method for Smooth Singularity Crossing in a 6-DOF Manipulator
1998-02-10
On Embedding Binary Trees into Hypercubes
1997-07-23
Intelligent RAM IRAM: the Industrial Setting, Applications, and Architectures
1997-08-05
Centering: A Framework for Modelling the Local Coherence of Discourse
1995-04-10
Schema Evolution in Object Databases: Measuring the Performance of Immediate and Deferred Updates
1995-11-28
Source Separation Using Higher Order Moments
1995-10-14
Jean-francois Cardoso
Unsupervised Learning of Subcategorisation Information and Its Application in a Parsing Subtask
1998-11-30
Sabine Buchholz
Report on ECDS: An Interactive Course on the Internet
1997-04-07
A multigrid smoother for high Reynolds number flows
1997-01-30
Erik Sterner
A Mathematical Model Of Blood Flow In A Coronary Capillary
1996-01-02
Simple Model of Self-Organized Biological Evolution as a Completely Integrable Dissipative System
1998-06-26
LIFTPACK: A Software Package for Wavelet Transforms using Lifting
1997-05-07
A Similarity Graph-Based Approach to Declustering Problems and Its Application towards Parallelizing Grid Files
1995-04-27
`Video orbits': characterizing the coordinate transformation between two images using the projective group
1995-01-05
Discrete Scale Invariance and Other Cooperative Phenomena in Spatially Extended Systems With Threshold Dynamics
1998-08-17
Anders Johansen
Complete Computer System Simulation: The SimOS Approach Page 1 ACCEPTED FOR PUBLICATION IN
1995-05-01
Bubble Wall Dynamics at Finite Temperature
1998-12-18
Chul H
When Neutral Kaons Are Produced in a Hadronic Reaction, Strangeness Conservation Dictates That the Kaons Are Produced in One of the Strangeness Eigenstates, Either a
1998-05-14
2D fluid motion analysis from a single image: application to experimental visualizations of fluid flow
1998-01-22
Neutral meson production in p-Be and p-Au collisions at 450 GeV beam energy
1997-10-03
S rRNA Data Bank
1997-12-15
Closed-Loop Kinematic Calibration of the Sarcos Dextrous Arm
1996-05-30
Convergence in Finite Precision of Successive Iteration Methods Under High Nonnormality
1995-12-14
Serge Gratton
Foundations of Object Oriented Database Concepts
1997-02-26
Multi-Objective Output-Feedback Control via LMI Optimization
1997-05-13
Analyzing Informal Requirements Specifications: A First Step towards Conceptual Modeling
1996-04-29
J. F. M. Burg
Efficient Broadcasting Protocols for Video on Demand
1998-05-08
The Natural Way To Evolve Hardware
1996-02-08
Delta-Gann: A New Approach To Training Neural Networks Using Genetic Algorithms
1996-10-04
Learning Languages by Collecting Cases and Tuning Parameters
1997-01-16
DOW: An Extended Database Browser over the WWW
1997-02-10
Chang-yong Han
Norms Of Factors Of Polynomials
1997-09-18
NP-sets are Co-NP-immune Relative to a Random Oracle
1997-11-05
Nikolai K. Vereshchagin
Results from the Third WWW User Survey
1996-04-02
Value Function Based Production Scheduling
1998-05-09
Parallel Breadth-First BDD Construction
1998-12-21
Wavelet Approach To Hamiltonian, Chaotic And Quantum Calculations In Accelerator Physics
1998-06-23
An Algorithmic Framework for Specifying the Semantics of Discourse Relations
1999-04-07
Alistair Knott
Journal of Lie Theory Volume
1998-06-22
Weighted Least-Squares Criteria For Seismic Traveltime Tomography
1995-04-22
James G. Berryman
The Impact of Nested Agent Models in an Information Economy
1997-07-29
Minimal Relative Normalization in Orthogonal Expression Reduction Systems
1997-05-01
3D Computer Vision for Agrotics: the Potato Operation, an Overview
1994-10-28
Reversible Resolution With An Application To Paraphrasing
1995-07-19
Matthew Hurst
A Nonadaptive NC Checker for Permutation Group Intersection
1998-05-18
V. Arvind
A Parallel Sort-Balance Mutual Range-Join Algorithm on Hypercube Computers
1998-11-18
Organizations, Plans, and Schedules: An Interdisciplinary Perspective on Coordinating AI Agents.
1995-07-12
Edmund H. Durfee
Video Compression for the Pandora Multimedia System
1994-11-15
Dj Clarke
Asymptotic of the Density of States for the Schrodinger Operator with Periodic Electric Potential
1997-09-18
Exact Admission Control for Networks with Bounded Delay Services
1994-08-18
Software Document Integration using Graph Grammar Specifications
1998-08-03
Martin Lefering
Entropy-based Pruning of Backoff Language Models
1998-04-06
Andreas Stolcke
Fair Testing
1999-02-02
Arend Rensink
The OCCOMM Benchmarking Guide Version 1.2
1996-04-18
New Orthonormal Bases And Frames Using Chirp Functions
1998-04-09
Deterministic, Error-Correcting Combinator Parsers
1998-08-15
Global Convergence of a Class of Trust Region Algorithms for Optimization Using Inexact Projections on Convex Constraints
1997-09-30
A. Sartenaer
Field Computation in Motor Control
1996-10-31
Bruce Maclennan
Automatic Camera Calibration
1996-07-08
Star Formation in Cluster Galaxies at
1997-07-03
The Béguin-Quisquater Server-Aided RSA Protocol from Crypto '95 is not Secure
1998-10-30
An Efficient Processor-Network Interface for Local Area Multiprocessors
1995-11-06
A Framework for Evaluating Specification Methods for Reactive Systems
1995-05-18
Ordinal Arithmetic with List Structures
1994-10-27
A Self-Organizing Nonlinear Noise Filtering Scheme
1995-12-19
Ralph Sucher
Computer--Assisted Proofs in Analysis and Programming in Logic: A Case Study
1997-04-26
Simulation of Incompressible Turbulence on Massively Parallel Systems
1995-10-13
Martin Strietzel
Efficient Computation of the Most Probable Motion from Fuzzy Correspondences
1998-08-06
An Astral specification for a railroad controller
1995-11-22
Design And Performance Evaluation Of Indexing Methods For Dynamic Attributes In Mobile Database Management Systems
1997-06-13
Constraint Driven Code Selection for Fixed-Point DSPs
1999-03-02
Search for SUSY Particles in the 161 GeV Data
1997-06-12
A Time Domain Method For Joint Estimation Of Time Delays, Doppler Shifts And Spatial Signatures
1998-06-24
Adventures in Sequent Calculus Modulo Equations
1998-10-01
Patrick Viry
Using Regression-Match Graphs to Control Search in Planning
1999-01-20
Drew Mcdermott
Adaptive Refinement for Mass/Spring Simulations
1996-06-20
Prolog-D-Linda: An Embedding of Linda in SICStus Prolog
1994-01-18
Geoff Sutcliffe
Animats Adaptation to Complex Environments as Learning Guided by Evolution
1995-03-21
Mario Martin
Architectural Support for Compiler-Synthesized Dynamic Branch Prediction Strategies: Rationale and Initial Results
1996-11-12
Providing Social Interaction in the Digital Library
1996-09-19
Mark S. Ackerman
Unknown
1995-05-31
The Structure of Sparse Resultant Matrices
1998-11-21
Incremental Feature Validation: a Synchronous Point of View
1998-12-30
On The Performance Of Recursive Decoding Schemes
1997-02-17
Grating Cell Operator Features for Oriented Texture Segmentation
1998-05-28
Dilatonic Gravity Near Two Dimensions and Asymptotic Freedom of the Gravitational Coupling Constant
1998-05-23
Combining the Functional Requirement and the Design Parameter's Specification to Resolve a Performance Parameter Value
1970-01-01
Heterogeneous Cooperative Knowledge-Base Systems
1997-04-18
Kazumasa Yokota
Http://www.bsp-Worldwide.org/
1997-06-05
Combining the Expressivity of UCPOP with the Efficiency of Graphplan
1997-09-03
Semantics for Hierarchical Task-Network Planning
1998-09-05
The Covariate Order Method for Censored Exponential Regression.
1998-10-05
Distributed Lock Management for Mobile Transactions
1995-11-03
Parallel Solution of the Time-dependent Ginzburg-Landau Equations and Other Experiences Using BlockComm-Chameleon and PCN on the IBM SP, Intel iPSC/860, and Clusters of Workstations
1996-06-01
Bid Evaluation and Selection in the MAGNET Automated Contracting System
1999-03-15
ØG V. Y. Dobrynin
1997-12-26
V. Y. Dobrynin
Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP
1997-04-02
H-BIND: A New Approach to Providing Statistical Performance Guarantees to VBR Traffic
1996-12-29
Edward W. Knightly
The EARA Model for Metaview - A Reference
1994-06-10
Piotr Findeisen
Linear Unlearning for Cross-Validation
1996-02-01
Simulation Of Modern Parallel Systems: A Csim-Based Approach
1997-07-16
Efficient Top-Down Computation of Queries under the Well-Founded Semantics
1993-11-19
Classifying C 1+ Structures on Dynamical Fractals: 1 The Moduli Space of Solenoid Functions for Markov Maps on Train Tracks.
1997-05-09
A Low Bandwidth Broadcasting Protocol for Video on Demand
1998-05-18
Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems
1996-03-14
On a Gap Phenomenon for Isoperimetrically Constrained Variational Problems
1970-01-01
Victor J. Mizel
Testing Single-Parameter Classical Standpoint Cosmology
1996-04-05
G. F. Chew
On the Self-Similar Nature of Ethernet Traffic
1993-06-30
A General Model for Engineering Databases
1996-08-27
Automated Recovery in a Secure Bootstrap Process
1997-10-08
FELINE --- A Case Study in the Design and Implementation of a Co-operating Expert System
1998-07-23
Parallelization of General Linkage Analysis Problems
1996-08-07
Cosmological PPN Formalism and Non-Machian Gravitational Theories
1998-05-14
G. Dautcourt
An Association Thesaurus for Information Retrieval
1998-04-07
On The Double Commutation Method
1997-04-28
F. Gesztesy
Intersection Numbers, Transfers, And Group Actions
1997-10-02
A New Universality of Lyapunov Spectra in Hamiltonian Systems
1997-05-28
Yoshiyuki Y. Yamaguchi
A Finite Element Method for Fully Nonlinear Water Waves
1997-12-09
Balanced Distributed Search Trees Do Not Exist
1996-01-13
User Interface Design: From Work Tasks to Interactive System Designs
1995-06-19
Domain-Specific Design of User Interfaces
1997-07-30
Bengt Sandblad
Lower Bounds for Monotone Span Programs
1997-12-03
New Challenges in User Interfaces, Performance Goals, and DBMS Design
1997-04-12
Joseph M. Hellerstein
Sequential Blind Signal Extraction in Order Specified by Stochastic Properties
1998-07-28
The Graves Theorem Revisited
1996-06-24
Asen L. Dontchev
Atomic Updates of Replicated Data
1998-08-28
Erik Kjaer Pedersen
1997-05-22
Efficient Learning of One-Variable Pattern Languages from Positive Data
1997-04-16
Coagulation and Branching Process Models of Gravitational Clustering
1997-07-22
Ravi K. Sheth
Extending Tcl for Dynamic Object-Oriented Programming
1995-09-29
Visual Servoing using Image Features defined upon. . .
1999-01-07
The Role Of Social Constraints In The Design Of Research Network Information Systems
1996-10-02
Density Function Interpretation of Subspace Classification Methods
1998-02-26
Image Quality and Entropy Masking
1997-03-07
Second Order Surface Analysis Using Hybrid Symbolic and Numeric Operators
1997-05-09
Gershon Elber
Beowulf: A Parallel Workstation For Scientific Computation
1998-05-22
Pseudorandom generators without the XOR Lemma
1998-12-17
Speaking Mode Dependent Pronunciation Modeling In Large Vocabulary Conversational Speech Recognition
1997-05-22
Using Gate Sizing to Reduce Glitch Power
1998-05-19
Etienne Jacobs
Tensile Stress Acoustic Constants of Unidirectional Graphite/Epoxy Composites
1995-03-10
W. H. Prosser
Matematiqki Vesnik
1996-07-07
The Complexity and Entropy of Literary Styles
1998-08-08
I. Kontoyiannis
Consistency of Clark's Completion and Existence of Stable Models
1995-05-03
Connection Analysis: A Practical Interprocedural Heap Analysis for C
1999-02-03
Computation,
1995-10-04
Law, Logic and Language in Legal Computer Science
1997-02-17
Photoproduction of
1997-12-19
Systems Research Center
1996-04-24
Weyl groups of disconnected Lie groups
1995-08-21
Karl-hermann Neeb
Reasoning about Extensions
1994-10-10
DSSA-ADAGE Operational Scenarios and System Vision
1995-08-17
An Approach for Monitoring Intrusion Removal in Real Time Systems
1997-02-20
AMALGAM: Automatic Mapping Among Lexico-Grammatical Annotation Models
1996-06-06
Integration and Handling of Hypermedia Information as a Challenge for Multimedia and Federated Database Systems
1995-07-25
No-Good Backmarking With Min-Conflict Repair in Constraint Satisfaction and Optimization
1996-12-11
NASA Contractor Report 201681
1997-05-06
Cooperation Without Genes, Games Or Cognition.
1997-09-15
Charlotte K. Hemelrijk
A Parallel Functional Database on GRIP
1992-04-23
Water Waves: Linear Potential Theory Results Validated with a Hydrostatic Navier-Stokes Model
1998-05-25
Unknown
1998-08-05
iKP - A Family of Secure Electronic Payment Protocols
1997-12-01
Handwritten Digit Recognition by Neural Networks with Single-Layer Training
1996-04-09
Performance-Polymorphic Execution of Real-Time Queries
1996-03-20
On the Effectiveness of Different Diffusive Load Balancing Policies in Dynamic Applications
1998-11-13
Classification in Feature-based Default Inheritance Hierarchies
1996-06-04
Marc Light
RSVP: A Geometric Toolkit for Controlled Repair of Solid Models
1999-01-25
A Lightweight Solution to Uniform Atomic Broadcast for Asynchronous Systems
1998-03-30
E. Anceaume
Disk Mass Limits and Lifetimes of Externally Illuminated Young Stellar Objects Embedded in the Orion Nebula
1998-06-26
Massive Stars as Important Contributors to Two Micron Light
1995-03-21
James E. Rhoads
A Client-Side Agent for Document Categorization and Exploration
1998-05-18
I/O in Parallel Applications: The Weakest Link
1997-12-04
A Symbolic Generalization of Probability Theory
1998-11-04
A State Space Approach To Joint Aoa And Period Estimation For A Class Of Periodic Discrete Event Processes
1996-12-06
Beowulf: Harnessing the Power of Parallelism in a Pile-of-PCs
1998-05-22
Binding-Time Analysis for Standard ML
1994-09-02
Spatial Interpolation on Distributed, High-Performance Computers
1998-01-24
Don't Be Too Clever: Routing BMMC Permutations on the MasPar MP-2
1996-12-24
Guaranteeing Real-Time Requirements with Resource-Based Calibration of Periodic Processes
1999-01-13
: The DØDetector Upgrade at Fermilab
1997-12-02
Factors Affecting Performance of Ray Tracing Hierarchies
1997-05-02
Abstract Process Structures Extended Abstract
1996-10-31
Multiple Rokhlin Tower Theorem: A Simple Proof
1997-11-18
Interoperability, Distributed Applications and Distributed Databases: The Virtual Table Interface
1998-09-14
Controller
1996-06-20
H. Gemmeke
An Algorithm for the Learning of Weights in Discrimination Functions using a priori Constraints
1997-04-25
Norbert Kruger
Design and Evaluation of a Stochastic Optimal Feed-Forward and Feedback Technology SOFFT Flight Control Architecture
1998-03-27
--- A Parallel Language for Neural Algorithms: Language Reference and Tutorial
1994-06-10
Lutz Prechelt
Enhanced Schema-Based Transformations for Logic Programs and their Opportunistic Usage in Program Analysis and Optimisation
1995-12-07
Edge Colouring Reduced Indifference Graphs
1999-03-01
Micro Benchmark Analysis of the KSR1
1996-06-01
The Optimal Motion Stimulus
1994-10-20
Asymptotics of the Interband Light Absorption Coefficient Near the Band Edge for an Alloy Type Model
1997-04-26
Extending Object-Oriented Programming to Address Hard Optimization Problems
1997-10-17
Glenn Silverstein
From AAPC Algorithms to High Performance Permutation Routing and Sorting
1996-04-01
Control-Based Coordination of Human and Other Activities in Cooperative Information Systems
1997-04-22
Connectionist Layered Object-Oriented Network Simulator CLONES: User's Manual
1998-02-16
Phil Kohn
edited by the OCG
1996-10-09
Edited The Ocg
Properties of the
1995-02-03
Alessandro De Angelis
A Recursive Coalescing Method for Bisecting Graphs
1970-01-01
The REAR Framework for Emulation and Analysis of Embedded Hard Real-Time Systems
1970-01-01
An Analysis of the Effect of Gaussian Error in Object Recognition
1994-02-24
Karen Beth Sarachik
Integrating Creativity and Reading: A Functional Approach
1994-05-31
Naive Bayes for Regression
1998-10-06
Connectedness and Synchronization
1995-12-06
Data Merging for Shared-Memory Multiprocessors
1996-08-16
Beyond the Black Box: Event-based Inter-Process Communication in Process Support Systems
1999-03-29
A Client-Controlled Adaptation Framework for Multimedia Database Systems
1996-11-07
FINDING CUTS IN THE TSP A preliminary report
1996-08-09
Analysis of Practical Backoff Protocols for Contention Resolution with Multiple Servers
1997-01-03
On the Dealer's Randomness Required in Secret Sharing Schemes
1996-06-03
Fractal Feature Analysis and Classification of MS Lesions
1996-12-09
Searching Information Servers Based on Customized Profiles
1996-11-26
Motion Analysis
1999-03-17
Conformal Geometry And Branching Laws For Unitary Representations Attached To Minimal Nilpotent Orbits
1997-11-20
Toshiyuki Kobayashi
Specifying and Testing Conformance to Reference Architectures
1996-07-28
The kink of cellular automaton Rule 18 performs a random walk
1999-03-31
The Procurement of the steel absorber for the TILECAL barrel module 0
1999-03-23
Fast Oriented Line Integral Convolution for Vector Field Visualization via the Internet
1997-03-29
A Simple Treatment of Property Preservation via Simulation
1995-03-30
Ching-tsun Chou
An Iterative Substructuring Algorithm For Problems In Three Dimensions
1991-11-14
Barry F. Smith
Generation of Binary Patterns with Given Spatiotemporal Correlations
1997-05-24
Bayesian Methods for Adaptive Models
1996-05-06
Geoffrey J. Goodhill
1998-01-16
On the Global Convergence of BFGS Method for Nonconvex Unconstrained Optimization Problems
1999-04-12
An Incremental Type Inference System for the Programming Language Id
1970-01-01
Shail Aditya Gupta
An Analysis of Linear Exponentials Based on Extended Sequents
1997-07-29
Information Fusion in Logic: A Brief Overview
1997-04-11
Laurence Cholvy
Front Tracking Simulations Of Regular Mach Reflection
1993-11-29
The Molecular Modeling Toolkit: a case study of a large scientific application in Python
1997-11-03
Konrad Hinsen
Tin-Yau Kwok Dit-Yan Yeung
1995-09-11
The Bounded Real Lemma for Discrete Time-Varying Systems with application to Robust Output Feedback
1994-11-28
A Viscosity Approach To Infinite-Dimensional Hamilton-Jacobi Equations Arising In Optimal Control With State Constraints
1970-01-01
A Pair of Heterogeneous Agents in a Unique Vehicle for Object Motion
1997-01-09
Olivier Aycard
The Convex Analysis of Unitarily Invariant Matrix Functions
1995-10-27
A. S. Lewis
An Analytical Performance Model of Robotic Storage Libraries
1996-06-25
Theodore Johnson
Test Suite Design Annotation Scheme
1996-02-21
Further Travels with my Ant
1995-10-16
Recursive Blocked Data Formats and BLAS's for Dense Linear Algebra Algorithms
1999-03-05
Towards Predictable ILP Performance - Controlling Communication Buffer Cache Effects
1995-12-01
Gradient-Based Learning Algorithms for Recurrent Networks and Their Computational Complexity
1998-08-25
Optimal Code Motion: Theory and Practice
1995-08-21
Implementation of Self-organizing Neural Networks for Visuo-motor Control of an Industrial Robot
1996-06-17
August, Unsupervised segmentation of Markov random field modeled textured images using selectionist relaxation
1997-11-10
The Importance of Models in Bayesian Data Fusion
1998-06-26
Scalable Web Server Design for Distributed Data Management
1998-08-22
Evolutionary Divide and Conquer for the Set-Covering Problem
1995-11-01
Luis Francisco
An Object Model For Distributed And Concurrent Programming Based On Decomposition
1996-11-14
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages
1997-05-22
A Methodology For Model-Based Diagnosis Of Analog Circuits
1997-11-12
Sequentializing Program Dependence Graphs for Irreducible Programs
1970-01-01
Bjarne Steensgaard
Research Report 253 ISBN 82-7368-173-4 ISSN 0806-3036
1997-09-19
SETH - A VLSI Chip for the Real-time Information Dispersal and Retrieval for Security and Fault-Tolerance
1992-07-17
Azer Bestavros
Software Configuration with Feature Logic
1970-01-01
On the Accuracy of Binned Kernel Density Estimators
1995-09-11
The UNIX Time-Sharing System*
1997-04-25
A-quasiconvexity, lower semicontinuity and Young measures
1998-06-18
A Technical Word and Term Translation Aid using Noisy Parallel Corpora across Language Groups
1997-05-01
Galactic Anticenter Co Survey: I.
1997-03-03
Estimation of Pose and Illuminant Direction for Face Processing
1995-02-23
Roberto Brunelli
Generalized Intervals: A Guided Tour
1998-03-18
Separating an Object from its Cast
1997-09-18
On the Design of an Adaptive Meeting Scheduler
1994-11-08
The Complexity and Composability of Secure Interoperation
1994-09-21
Reconstructing the Spectrum of the Pregalactic Density Field From Astronomical Data.
1997-12-11
A. Kashlinsky
Dynamics of a self-gravitating global string with large Higgs boson mass
1998-05-05
Using Sampling and Queries to Extract Rules from Trained Neural Networks
1998-12-21
References
1994-04-11
On a Universal Strong Law of Large Numbers for Conditional Expectations
1998-11-20
The Design of a Test Case Definition Language
1997-09-11
An Efficient Processor Allocation Scheme for Mesh Connected Parallel Computers
1998-09-07
Methods To Estimate Areas And Perimeters Of Blob-Like Objects: A Comparison
1995-03-20
Self-Similarity in World Wide Web Traffic: Evidence and Possible Causes
1998-07-14
ACL --- Eliminating Parameter Aliasing with Dynamic Dispatch
1999-02-10
Dynamical derivation of a quantum kinetic equation for particle production in the Schwinger mechanism
1997-12-15
Preprojective Algebras, Differential Operators And A Conze Embedding For Deformations Of Kleinian Singularities
1998-02-26
William Crawley-boevey
The ODE of World-Class Sprints
1996-05-24
Generating specialized C++ Code from parametrized CLAIRE pseudo-code
1998-08-18
Cole Normale Supérieure
Model fermion Monte Carlo with correlated pairs II
1996-12-10
High Performance Distributed Computing
1996-01-13
Geoffrey C. Fox
GoodeWatch: Supervision of CORBA Applications
1999-05-16
Using Templates to Encode Transfer Rules
1998-10-09
The Diphone program: New features, new synthesis methods and experience of musical use
1997-05-20
Xavier Rodet
Unknown
1997-03-27
Fuzzy knowledge in DEDS control synthesis
1997-09-10
Frantisek Capkovic
A hybrid Newton method for solving the variational inequality problem via the D-gap function
1997-05-22
Partial Linearization Methods in Nonlinear Programming
1995-09-19
Tsukuba Research Center, Real World Computing Partnership Takezono 1-6-1, Tsukuba, Ibaraki 305, Japan Phone: +81-298-53-1663 Fax: +81-298-53-1652 E-mail: kanada@trc.rwcp.or.jp
1994-09-05
Yasusi Kanada
Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming
1994-09-04
The need of AO in Future Space Optical Instruments
1998-11-19
Dornier Satellitensysteme Gmbh dss
An Asymptotically Optimal Multiversion B-Tree
1994-10-06
Learning Quantitative Knowledge for Multiagent Coordination
1999-03-23
Unknown
1999-02-11
A Compile Time Model for Composing Parallel Programs
1994-04-18
Susan Hinrichs
Algebras For Object-Oriented Query Languages
1993-11-29
Scott Lee Vandenberg
A New Method for Analysis of Long-Term Pressure History
1998-05-26
Patrick Gilly
Frameworks for Compound Active Documents
1998-01-19
Peter Wegner
Myrinet - A Gigabit-per-Second Local-Area Network
1995-04-19
Frequency Control in Synchronized Networks of Inhibitory Neurons
1998-08-05
The Classification of Hash Functions
1998-02-05
Security for Decentralized Health Information Systems
1996-09-20
Gerrit Bleumer
Multi-Queue Management and Scheduling for Improved QoS in Communication Networks
1997-09-02
On Parameter Estimation Using Level Sets
1998-08-13
Linear vs. Nonlinear Neutralization of Baroclinic Flows
1998-04-01
Efficient Input Reordering for the DCT Based on a Real-Valued Decimation in Time FFT
1998-02-23
Rainer Storn
Time Reversal Violation in
1998-05-13
Ting-ting Lin
Saying and Seeing It With Feeling: Techniques for Synthesizing Visible, Emotional Speech
1999-03-23
Caroline Henton
Analyzing the dynamics of a Z specification
1997-02-24
Statistical Evaluation of Neural Network Experiments: Minimum Requirements and Current Practice
1996-05-20
Arthur Flexer
RATAN: A Tool for Rate Analysis and Rate Constraint Debugging for Embedded Systems
1996-12-12
Unknown
1995-10-05
Unknown
1997-08-01
Michael J. Pazzani
Matthias Winter
1996-08-22
Matthias Winter
Improving Human Interface in Drawing Tool Using Speech, Mouse and Key-board
1996-03-06
A Process Model for Developing Inductive Applications
1997-08-06
Modelling Bose-Einstein correlations at LEP 2
1997-12-17
CBR in the Pipeline
1998-04-07
Marc Goodman
An Enhanced Distributed Call Admission Control for Wireless Systems
1999-01-05
Unknown
1998-10-08
Energy Based Adaptive Time Step and Inertia-Matrix Based Adaptive Discretisation for Fast Converging Dynamic Simulation
1998-04-09
Ammar Joukhadar
A Position Paper: On Synaptic Signaling with Frequency Neurons
1998-10-16
Dan Lundh
SPRINT: Scalable Partitioning, Refinement, and INcremental partitioning Techniques
1997-07-10
Bilinear Separation of Two Sets in n-Space
1999-02-10
Looking at Full Looking Ahead
1996-12-06
From Reactive Behaviour to Adaptive Behaviour
1997-11-04
Emmet Spier
Paradigms and laboratories in the core computer science curriculum: An overview
1996-07-21
A Novel Derivation Methodology For Polynomial-Lq Controller Design
1996-05-09
Mikael Sternad
Gardens: High Performance Objects, Taskingand Migration for Cluster Computing
1997-06-03
Directional Variability In 1m MEIS II Imagery: An Analysis Using Semi-Variance Range And Slope Shape
1998-09-08
W. G. Tifft
1997-03-20
W. G. Tifft
Techniques for Low Cost Spatial Audio
1993-08-26
David A. Burgess
Linear Regression For Bivariate Censored Data Via Multiple Imputation
1998-12-02
Satchmo: Minimal Model Generation and Compilation System Description
1998-05-07
Integrating Heuristic Preferences Into A Neural Understanding System
1996-02-15
Backpropagation Convergence Via Deterministic Nonmonotone Perturbed Minimization
1995-10-28
Charge collection response of SI GaAs p-i-n detectors
1995-01-18
Unknown
1998-10-06
Parallel Environments for Implementing Neural Networks
1970-01-01
Manavendra Misra
A High-Level Cellular Programming Model for Massively Parallel Processing
1997-01-14
Computing an Appropriate Control Strategy based only on a Given Plant's Rule-Based Model is NP-Hard
1997-07-29
Asymptotic Degeneration of Representations of Quivers
1999-01-26
Remarks on the UA4/2
1998-05-25
Kyungsik Kang
Multidimensional Probabilistic Assessment of Interest and Knowledge in a Noncooperative Dialog Situation
1994-12-22
Games and Full Abstraction for PCF: Preliminary Announcement
1993-09-26
Processing ASN.1 specifications in a declarative language
1970-01-01
Ellemtel Utvecklings Ab
Numerical Evaluation Of Special Functions
1995-04-07
Implementable Failure Detectors in Asynchronous Systems
1998-05-19
Design of Extensible Component-Based Groupware
1999-01-06
Adaptive Probabilistic Networks
1994-07-25
Anticipated Behavior of Long-Step Algorithms for Linear Programming
1994-04-28
Scheduling Time Warp Processes Using Adaptive Control Techniques
1999-03-02
Reduction Operations in Parallel Discrete Event Simulations
1995-02-07
Carmen M. Pancerella
Prototype of the National High-Performance Software Exchange
1995-01-12
A Toolset for Experimental Prototyping of Database-Based Applications
1995-02-06
Uniform Distribution, Distance and Expectation Problems for Geometric Features Processing
1997-10-01
Choosing Subsets with Maximum Weighted Average
1995-04-05
Daniel S. Hirschberg
Operation Planning in Cranio-Maxillo-Facial Surgery
1996-10-18
Petra Bohner
Efficient Policies for Carrying Web Traffic Over Flow-Switched Networks
1998-10-18
The Combinatorics Behind Number-Theoretic Sieves
1997-10-30
Timothy Y. Chow
Virtual Table Tennis and the Design of Neural Network Players
1970-01-01
Plan 9, A Distributed System
1995-12-16
O/oov...hy'...yq+vyyirhrqrq'hqurr` R+vo/oorrssrp+'s+'r...t'riryvro/oorh's'yy's...'urv...v Svphv'vyyir+iwrp'+vthq+frpyhv'
1999-01-21
A Learning Result for Continuous-Time Recurrent Neural Networks
1997-08-25
Eduardo Sontag
Evolutionary Heuristics For The Bin Packing Problem
1995-02-07
Chapter 1
1998-06-09
Michael Brett Camarri
Adaptive Look-Ahead Planning
1998-09-29
A Comparison of a few Simple Multicast Schemes for Deflection Networks
1998-04-23
PTOM - A PASCAL Translator For Mobile Code
1996-08-16
Christian F. Tschudin
Higz Higz Higz Higz Higz Higz Higz Higz Higz Higz Higz Higz Higz Higz Higz Higz Higz Higz Higz
1995-06-15
Chaotic Measures and Real-World Systems:
1996-10-18
Milan Palus
Efficient Algorithm for Finding Two Largest Empty Circles
1999-03-06
Sergei Bespamyatnikh
The Complexity of Finding Most Vital Arcs and Nodes
1998-09-05
Categorization according to Language: A step toward combining Linguistic Knowledge and Statistic Learning
1997-11-05
Emmanuel Giguet
Hebbian Learning of Pulse Timing in the Barn Owl Auditory System
1998-08-06
Managing and Pricing Service Level Agreements for Differentiated Services
1998-12-18
Modal Mutations in Evolutionary Algorithms
1997-09-30
Functional Synthesis Using Area and Delay Optimization
1993-09-22
Capacity Model for Internet Transactions
1970-01-01
Fair Games and Full Completeness for Multiplicative Linear Logic without the MIX-Rule
1999-02-05
Peter Grogono
1996-01-21
On the utility of Plan-space Causal Encodings
1999-03-04
A Symbolic Numeric Environment for Analyzing Measurement Data in Multi-Model Settings
1999-01-12
Christoph Richard
Channel Adaptive Joint Source-Channel Coding of Speech
1998-11-15
Comparative evaluation of alternative induction engines for Feature Based Modelling
1998-07-31
Strictness Analysis in 4D
1993-08-16
A General Architecture for Load Balancing in a Distributed-Memory Environment
1994-04-28
The Mathematical Basis of Molecular Phylogenetics
1995-11-02
Andreas Dress
Information on the NII is not just for Viewing!
1995-03-10
T. V. Raman
The Role of Plan Recognition in Reducing Situational Uncertainty and Directing Attention in Planning
1995-04-27
Sharon Wood
On Feature Selection: Learning with Exponentially many Irrelevant Features as Training Examples
1998-05-11
Andrew Y. Ng
A Computer System for Predicting Membrane Protein Structure
1995-02-09
Improving TLB performance
1998-05-11
Remarks On Filtering Of Semi-Markov Data
1993-05-17
Bernard Delyon
The Characterisation of Predictive Accuracy and Decision Combination
1996-09-15
Kai Ming Ting
Unknown
1998-06-17
Zhe Wu
On the Number of Criteria Needed to Decide Pareto Optimality
1997-11-13
Extended
1994-10-28
Theoretical Analysis of a Reported Weak Gravitational Shielding Effect.
1998-05-23
Giovanni Modanese
Some Glueing Formulas For Spin Polynomials And A Proof Of The Van De Ven Conjecture.
1999-04-21
Victor Pidstrigach
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL
1996-08-30
Cryptanalysis ofthe CFB mode of the DES with a reduced number of rounds
1998-09-11
Classification through Hyperplane Fitting with Feedforward Neural Networks
1995-06-29
Georg Dorffner
Harmonic Functions On Planar And Almost Planar Graphs And Manifolds, Via Circle Packings
1996-04-18
Identifying Contact Formations from Force Signals: A Comparison of Fuzzy and Neural Network Classifiers
1998-01-16
A Scalable Front-End Architecture for Fast Instruction Delivery
1999-03-03
Using continued fractions to compute 2-D integer hulls
1995-09-07
Warwick Harvey
First and Second Order Diffusive Methods for Rapid, Coarse, Distributed Load Balancing Extended Abstract
1996-07-23
Use of Multimedia Input in Automated Image Annotation and Content-Based Retrieval
1995-02-25
Rohini K. Srihari
Eigenvalue Bounds Versus Semidefinite Relaxations for the Quadratic Assignment Problem
1999-02-10
Kurt M. Anstreicher
Shared Remote Control of a Video Conferencing Application: Motivation, Design, and Implementation
1998-11-04
A New SQL-like Operator for Mining Association Rules
1970-01-01
Linear Assignment Problems and Extensions
1998-06-09
Chaotic time series Part I: Estimation of some invariant properties in state space
1995-02-13
Reasoning About Another Agent Through Empathy
1995-06-26
Electromagnetic Theory on a Lattice
1996-04-05
W. C. Chew
Illumination Invariant Image Indexing Using Moments and Wavelets
1998-06-24
Query Processing Issues in Imagemultimedia Databases
1999-05-07
Improved Parity-Declustered Layouts for Disk Arrays
1996-04-18
Restricting the Weak-Generative Capacity of Synchronous Tree-Adjoining Grammars
1996-05-02
Stuart M. Shieber
Maps: A Compiler-Managed Memory System for Raw Machines
1999-03-01
Positive Commutators and Spectrum of Nonrelativistic QED
1997-05-14
Twisted bimodules and Hochschild cohomology
1998-08-11
Thorsten Holm
New Interpolation Algorithms for Multiple-Valued Reed-Muller Forms
1995-11-03
Provable Security Against a Differential Attack
1998-10-08
Computational Complexity and Knowledge Complexity
1994-11-22
IML++ v. 1.2: Iterative Methods Library Reference Guide
1995-08-30
Region-Based Enhancement And Analysis Of Sar Images
1998-06-01
Universality of Normal and Exotic Collective Nuclear States
1998-05-23
Solving Difference Constraints Incrementally
1999-01-12
On A Conjecture Of Fill And Holst Involving The Move-To-Front Rule And Cache Faults
1998-11-03
Martin Hildebrand
The Discovery of Two Giant Arcs in the Rich Cluster A2219 with the Keck Telescope
1998-05-12
Multiple Parallel Access in Visual Attention
1970-01-01
A Hierarchy of Totally Ordered Multicasts
1995-11-30
Using Object Oriented Technology to Measure a Software Process
1996-11-22
Mobile Agents for WWW Distributed Database Access
1999-04-06
Statistical Properties of the Wavelet Variance Estimator for Non-Gaussian/Non-Linear Time Series
1998-05-27
A Theory of Analyst Forecast Bias
1995-11-12
On Lowest-Density MDS Codes
1998-06-04
On the Stability of Edges in Planar Delaunay Triangulations
1997-01-17
Frank Weller
Alternative Flare Activity Indicator: Mad
1997-03-03
Singularities of the Effective Fugacity on the Ising Model on the Cayley Tree
1998-01-12
Power Defaults preliminary report
1998-09-18
Addressing Communication Latency Issues on Clusters for Fine Grained Asynchronous Applications - A Case Study
1999-03-02
Enumeration Of Trees And One Amazing Representation Of The Symmetric Group
1998-08-26
Developing Multiply Tagged Corpora for Lexical Research
1997-03-20
Diffusion Enhances Spontaneous Electroweak Baryogenesis
1998-05-15
Incremental Roadmaps and Global Path Planning in Evolving Industrial Environments
1995-11-16
Exploring Alternative Operators and Search Strategies in Genetic Programming
1997-10-16
Computer-assisted exercise ECG analysis: real-time scheduling within MS-DOS on PCs
1998-06-04
Fermion Mass Matrices versus Cabibbo--Kobayashi--Maskawa Matrix
1998-05-24
Guillotine subdivisions approximate polygonal subdivisions: Part III - Faster polynomial-time approximation schemes for geometric network optimization
1998-10-07
Joseph S. B. Mitchell
A High-Performance Microarchitecture with Hardware-Programmable Functional Units
1996-10-12
Toward a Modal Theory of Types for the Pi-Calculus
1996-04-09
Roberto M. Amadio
A Standard Audit Trail Format
1997-11-15
Matt Bishop
Constrainedness and the Phase Transition in Job Shop Scheduling
1997-04-16
Properties Of A Possible Class Of Particles Able To Travel Faster Than Light L. Gonzalez-Mestres
1998-05-25
L. Gonzalez-mestres
Supervised Learning in Fuzzy Neural Networks
1995-04-26
Solutions in Self-dual Gravity Constructed Via Chiral Equations
1998-05-23
Tonatiuh Matos
Ab Initio Calculations of Anharmonicity of theC-H stretch mode in HCN and GaAs
1995-03-03
Searches for Scalar Top and Scalar Bottom Quarks at LEP2
1998-03-07
Excitatory-Inhibitory Network in the Visual Cortex: Psychophysical Evidence
1997-07-07
Multidisciplinary Aerospace Design Optimization: Survey of Recent Developments
1996-02-21
Self-Similar Measures And Intersections Of Cantor Sets
1997-09-23
Yuval Peres
Kolmogorov Complexity Justifies Software Engineering Heuristics
1998-07-21
Grobner Bases, Standard Forms of Differential Equations and Symmetry Computation
1995-08-20
Cv
1999-04-08
Mauricio G. C. Resende
Constituting a Receptor-Ligand Information Base from Quality-Enriched Data
1996-02-15
Dual Kalman Filtering Methods for Nonlinear Prediction, Smoothing, and Estimation
1997-11-13
An Estimate For A Restricted X-Ray Transform
1998-02-11
Daniel M. Oberlin
Artificial Intelligence in Air Traffic Flow Management
1996-02-20
Composing Haggis
1997-11-25
Simon Peyton Jones
Stochastic Grammatical Inference of Text Database Structure
1999-02-08
Search Reduction in Hierarchical Distributed Problem Solving
1995-07-12
Supervised Learning in Recurrent Networks
1996-11-16
Kenji Doya
Computer Algebra Methods for Equivariant Dynamical Systems
1998-07-28
High Performance Computing in the U.S. in 1995 -- An Analysis on the Basis of the TOP500 List
1996-02-01
Analyse De L'espace Du Problème De Satisfaction De Contraintes Maximale
1999-03-01
JAWS: A Framework for High-performance Web Servers
1997-12-16
Modeling with Structures in Statistical Machine Translation
1999-01-20
Secure Resource Access for Mobile Agents
1998-12-20
James Riely
MBD Research Activities at Vienna University of Technology
1998-06-16
Configuration Space of Surface-Surface contact
1999-03-12
J. Wallner
Constrained Optimization Of Filter Banks InSubband Image Coding
1998-08-18
A Domain-Independent Framework for the Analysis of the CCP Language AKL Extended Abstract
1996-09-14
Review of Particle Physics: C. Caso
1998-06-05
A Formula For The Essential Spectral Radius Of Ruelle's Transfer Operator On Smooth H Older Spaces
1997-04-26
Particle Identification
1995-04-05
Formalization and Application of a Unifying Model for Name Management
1996-09-26
Isomorphisms between Predicate and State Transformers
1995-11-24
Optimal Risk Control and Dividend Distribution Policies. Example of Excess-of Loss Reinsurance for Insurance Corporation
1998-09-08
Michael Taksar
Quadratic-Type Lyapunov Functions for Competitive Neural Networks with Different Time-Scales
1997-11-30
Anke Meyer--base
NetSolve: A Network Server for Solving Computational Science Problems
1995-11-30
Jack Dongarra
National HPCC Software Exchange
1995-02-13
Formal Specification and Verification Techniques for RISC Pipeline Conflicts
1995-08-16
Ramayya Kumar
Mean Field Theory of The Edge of Chaos
1995-03-30
Howard Gutowitz
Root-n Convergent Transformation-Kernel Density Estimation
1970-01-01
TREC 7 Ad Hoc, Speech, and Interactive tracks at MDS/CSIRO
1999-02-08
Convexity, Lipschitz property and differentiability in two--stage stochastic nonlinear programming problems
1997-06-06
A Multilevel Prolog Representation Of Strategies For Combining Modules
1997-01-10
A Pavol N
TDF User's Manual Release 2.01
1995-10-30
The Other Asymptotic Theory Of Lossy Source Coding
1996-03-06
D. L. Neuhoff
Submitted: March 3, 1998 Accepted: June 30, 1998
1998-07-02
A Brief Survey of Recent Edge-Preserving Smoothers
1970-01-01
Nilpotente Liealgebren und endliche Pro-p-Gruppen
1995-08-20
J Urgen Wisliceny
Bounded Query Classes and the Difference Hierarchy
1995-01-05
Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems
1998-08-13
Experimental Investigation Of An Agent Commitment Strategy
1998-09-22
Recognition Of Spelled Names Over The Telephone
1997-02-06
Issues When Designing Filters in Messaging Systems
1995-08-03
Natural Niching for Evolving Cooperative Classifiers
1996-11-28
The learning barrier: Moving from innate to learned systems of communication
1998-10-20
Michael Oliphant
Unstructured Mesh Computations On Networks Of Workstations
1997-06-13
Attention in Iconic Object Matching
1998-04-26
Reasoning with Individuals in Concept Languages
1998-02-02
Andrea Schaerf
Simulating Forward-Branching Systems with Constructor Systems
1997-01-23
Software Design for Longitudinal Data Analysis
1996-09-24
A Backward-Induction Algorithm for Computing the Best Convex Contrast of Two Bivariate Samples
1995-11-15
D. W. Müller
Samad.Hayati@jpl.nasa.gov; 818 354-8273
1997-02-06
Symbolic and Subsymbolic Learning for Vision: Some Possibilities
1995-09-06
Vasant Honavar
Diophantine Approximation of a Plane
1998-02-23
Unknown
1970-01-01
On the Design and Implementation of DSM-Threads
1997-05-19
Frank Mueller
A Note on a Lattice Path Approach to Counting Partitions With Minimum Rank
1999-01-02
Adaptive Representation of Dynamics During Learning of a Motor Task
1994-06-14
Rethinking the Taxonomy of Fault Detection Techniques
1996-04-05
The SPLASH-2 Programs: Characterization and Methodological Considerations
1995-07-18
Mathematical Derivation of Chiral Anomaly in Lattice Gauge Theory with Wilson's Action
1997-08-21
Tetsuya Hattori
An Approach to Conceptual Text Retrieval Using the EuroWordNet Multilingual Semantic Database
1997-03-22
AGD-Library: A Library of Algorithms for Graph Drawing
1997-08-25
Motion Segmentation and Tracking Using Normalized Cuts
1997-09-12
On the Spectra of Certain Classes of Room Frames
1997-12-26
Cryptanalysis of Ladder-DES
1999-01-18
Eli Biham
SUBMISSION FOR SPECIAL ISSUE ON COMPUTER SIMULATION for IIE Transactions on IE Research
1996-06-21
Paul A. Fishwick
Data Structures for Irregular Applications
1996-02-21
MindReader: Querying databases through multiple examples
1998-06-13
WearCom: A Wearable Communication Space
1997-11-25
Plant Control in the Multi Level Intelligent Adaptive Controller MLIAC Architecture
1995-11-24
Lifting Independence Results in Bounded Arithmetic
1999-03-02
Mario Chiari
The Derivation of Compositional Programs
1994-08-19
Bayesian Piecewise Linear Regression Using Multivariate Linear Splines
1999-02-02
Control of Mechanical Systems with Symmetries and Nonholonomic Constraints
1995-03-03
Using the Mach Communication Primitives in X11
1970-01-01
Racial Harmony in Genetic Algorithms
1970-01-01
Conor Ryan
Long-Lasting, Long-Range Detection Facilitation
1998-05-05
Typed Closure Conversion for Recursively-Defined Functions Extended Abstract
1998-09-23
Russian Doll Search for Solving Constraint Optimization Problems
1999-01-16
Faster Approximate Agreement with Multi-Writer Registers
1997-07-28
Eric Schenk
Orthogonal Multiwavelets with Vanishing Moments
1998-09-27
On the reduction of composed relations from the number field sieve Extended Abstract
1996-07-04
Dipartimento di Informatica e Sistemistica Universit a Di Roma la Sapienza" Via Salaria 113, 00198 Roma, Italy
1996-05-29
The Mincer Metaphor: A New View on Problem-Solving Methods For Knowledge-Based Systems?
1995-10-05
DFLOPS: A Data Flow Machine for Production Systems
1999-05-04
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions
1997-02-07
SCIENCE FOR THE 21st CENTURY
1995-08-07
Area Preserving Homeomorphisms of Open Surfaces of Genus Zero
1996-02-03
John Franks
Efficient Approximation Algorithms for the Hamming Center Problem
1999-01-12
Dryden Flight Research Center Edwards, California
1997-02-05
Parallel simulation of a Foreign Exchange Market Model
1996-11-22
Pragmatic Design with Ada
1997-03-11
Reference Model for Metadata: A Strawman
1995-03-07
Francis Bretherton
What is Wrong With Us? Improving Robustness Through Social Diagnosis
1998-04-08
Estimation OfMultipath Propagation Parameters From Measured Channel Data
1997-12-30
The Profit of Learning Exceptions
1970-01-01
Towards Rigorous Analysis of Fusion Models: The MIRG Experiences
1998-04-07
ARHON: A Multimedia Database Design for Image Documents
1998-01-21
Recurrent Multilayer Perceptrons for Identification and Control: The Road to Applications
1995-09-14
K. Tutschku
Empirical Studies of a Safe Regression Test Selection Technique
1998-06-03
Making Behaviour a Concrete Architectural Concept
1998-10-22
R. J. A. Buhr
Effects of Attenuation and Blurring in Cardiac SPECT and Compensations Using Parallel Computers
1996-11-18
An Application Framework for Access to B-ISDN Services
1998-03-11
Ivan J. Griffin
Time Optimal Trajectory Planning in Dynamic Environments
1997-05-12
Paolo Fiorini
Predicting File System Actions from Prior Events
1996-09-27
Constructing Skeletons in Clean The Bare Bones
1997-08-14
Marco Kesseler
Error Bounds for Inconsistent Linear Inequalities and Programs
1999-02-10
O. L. Mangasarian
Smoothness Of Harmonic Functions And Time Reversal Of Markov Processes
1998-06-13
Jean Picard
The Berry-Esseen Bound For Student's Statistic
1999-04-21
Fast Local Covers
1998-04-02
Multidimensional Dependencies in Classification and Ordination
1998-11-03
Carles M. Cuadras
Representation and Symbolic Manipulation of Linearly Inductive Boolean Functions
1995-08-04
Equality Elimination for the Inverse Method and Extension Procedures
1994-12-30
Neural Learning of Embodied Interaction Dynamics
1999-01-04
Information Retrieval Course Material of the Course held in the Summer Term 1993 Chapter 8: IR and Databases
1996-02-22
Norbert Fuhr
Evolution of Simple Virtual Robots Using Genetic Algorithms
1995-11-06
John Franklin Walker
Integration into Constraint Programming and Parallelization of OR/AI Search Methods
1999-01-21
Table Image Understanding
1996-06-06
BOAT - Optimistic Decision Tree Construction
1999-05-04
Julia Sets of Complex Polynomials and Their Implementation on the Computer
1998-10-14
An Ontology of Meta-Level Categories
1994-01-17
Liouville-Neumann Approach to the Nonperturbative Quantum Field Theory
1998-05-24
Sang Pyo Kim
Eye in hand Calibration
1997-09-12
Instrumentation Tools
1998-11-25
Building Knowledge Base Management Systems
1997-12-09
Text Structure Aiming at Machine Translation
1995-12-19
A study of Grammatical Inference Algorithms in Automatic Music Composition and Musical Style Recognition.
1997-05-06
Camera-Ready Copy for the UM97 Proceedings: Instructions and Template Files
1997-03-25
Diagnosing Explainable Heterogeneity of Variance in Random Effects Models
1997-11-06
Imprimitivity For C*-Coactions Of NON-AMENABLE GROUPS
1996-06-24
S. Kaliszewski
The Artificial Evolution of Real Intelligence by Natural Selection
1997-07-16
Semilinear Predictability Minimization Produces Well-Known Feature Detectors
1996-03-06
Perfect Play - using Nine Men's Morris as an example
1996-11-05
Thomas Lincke
Energy Computation in Wormhole Background with the Wheeler-DeWitt Operators
1998-05-26
Remo Garattini
Cybernetics, vol. SMC-6, June 1976, pp. 448-452. To74 Toussaint, G.T., "Bibliography on estimation of misclassification,"
1997-01-28
Resilient Multicast Support for Continuous-Media Applications
1997-06-05
Direct Differential Range Estimation Using Optical Masks
1996-08-23
Fuzzy Full-Text Searches in OCR Databases
1997-09-25
The Hazards of Fancy Backtracking
1996-11-08
Andrew B. Baker
Planform: An Open Environment for Building Planners
1970-01-01
Lightweight Structured Text Processing
1999-04-26
A Homological Characterization Of Hyperbolic Groups
1998-05-21
Interfacing Heterogeneous Systems through Functionally specified Transactions Extended Abstract
1993-04-28
Superselection structures for C
1997-02-04
Interconnect Delay and Area Estimation for Multiple-Pin Nets
1999-03-14
A Framework for Game TreeAlgorithms
1993-12-20
Arie De Bruin
Extrapolation Techniques For Constructing Higher Order Finite Element Methods
1993-02-01
U. R Ude
Approximating Value Trees in Structured Dynamic Programming
1996-08-13
Use of Case-Based Reasoning in the Domain of Building Regulations
1996-11-26
Theory of Phase Transitions 1, the State of a Superconducting Material Near the Critical Temperature is Described By a Complex-Valued
1995-10-20
Preprocessing in BE/FE Domain Decomposition Methods
1999-03-25
Digital Technical Journal Vol. 7 No. 3 1995
1997-04-12
On The Determination Of A Potential From Three Spectra
1997-08-21
Fritz Gesztesy
An Interprocedural Parallelizing Compiler and Its Support for Memory Hierarchy Research
1998-07-10
Morphological Segmentation Of Motion Field In Image Sequence Coding
1997-10-07
Towards Exploiting Generic Procedures in Model-Based Computing
1998-11-25
Sheila A. Mcilraith
INTERVAL ARITHMETIC: A Fortran 90 Module for an Interval Data Type
1996-12-08
R. Baker Kearfott
Algorithm-Based Diskless Checkpointing for Fault Tolerant Matrix Operations
1994-12-30
Reliable Cellular Automata With Self-Organization
1999-02-02
Peter G Acs
Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels
1999-01-14
The Design And Implementation Of A Parallel Unstructured Euler Solver Using Software Primitives
1994-06-07
List Scheduling with and without Communication Delays
1992-11-11
PICGAL: Practical use of Formal Specification to Develop a Complex Critical System
1997-10-02
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus
1998-01-29
Inria Rocquencourt
Unknown
1997-11-14
Polymorphic Type Assignment and CPS Conversion
1998-09-23
Target Independence of the `Proton Spin' Effect
1998-05-23
G. M. Shore
The Brightest Stars In Galaxies As Distance Indicators
1997-03-03
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection
1998-01-25
Defaults and Relevance in Model Based Reasoning
1997-04-28
Virtual Sardinia: a Hypermedia Fly-through with Real Data
1995-11-27
Is the rapid radio variability seen in PKS 0537-441 due to microlensing?
1997-04-15
A Necessary and Sufficient Condition for Deadlock-Free Routing in Cut-Through and Store-and-Forward Networks
1995-11-28
Regular Inference as a graph coloring problem
1997-12-11
Jacques Nicolas
Lance Hammond and Kunle Olukotun CSL-TR-98-749 February 1998
1998-07-21
<E-962>Magnetoconvection Dynamics in a Stratified Layer. I. 2D Simulations and Visualization
1993-10-28
The Amber Machine
1995-05-30
Luca Cardelli
Alexander Turbiner
1997-10-22
Alexander Turbiner
Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems
1992-12-14
Kevin Jeffay
SOME ASPECTS OF MULTIGRID METHODS ON NON-STRUCTURED MESHES H. Guillard, N. Marco
1995-03-31
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model
1996-06-24
Unknown
1997-12-06
Modelling QoS Characteristics of Multimedia Applications
1998-11-23
Combining Linguistic and Knowledge-Based Engineering for Information Retrieval and Information Extraction
1998-11-26
A Computer Simulation Study of Liquid Crystal Formation in a Semi-Flexible System of Linked Hard Spheres
1998-04-05
M. R. Wilson
Computing Minimum Cut Sets for Circular-Arc Graphs --- a New Approach
1999-02-08
Filtering Involuntary Motion of People with Tremor Disability Using Optimal Equalization
1995-11-25
A Reverse Engineering Environment Based on Spatial and Visual Software Interconnection Models
1994-05-10
Implementing an Irregular Application on a Distributed Memory Multiprocessor
1996-02-21
Adaptive Beamforming For Slow Fading Rayleigh Signals
1995-07-11
Progress Towards Quantum Computation
1995-12-13
Visual Surveillance of Human Activity
1997-11-26
A Distributed Media Access Control For Wireless ATM Environments
1998-06-12
Equationnal Semantics
1998-10-21
The Architecture of the Ara Platform for Mobile Agents
1997-10-09
Dynamically Adding Symbolically Meaningful Nodes to Knowledge-Based Neural Networks
1998-12-21
Parallel Updating Techniques in Image Restoration
1997-11-12
P. Blaznik
Causal Behaviours and Nets
1995-09-15
Joost-pieter Katoen
Chaotic Measures and Real-World Systems:
1996-10-18
Milan Palus
On Exactly Solvable Potentials
1998-05-13
Darwin Chang
A Bibliography of Publications in the Journal of the Society for Industrial and Applied Mathematics. Series A, On control and SIAM Journal on Control
1998-12-09
Sjcoa Issn
Real-Time Lip-Tracking For Lipreading
1997-05-20
Relational Database Integration in the IBM AS/400
1995-09-26
High Performance Dynamic Linking Through Caching
1997-10-14
Parallelization of an Implicit Runge-Kutta Method for Molecular Dynamics Integration
1995-05-26
Conceptual Design of Data Warehouses from E/R Schemes
1999-01-20
The Performance of Camera Translation Direction Estimators from Optical Flow: Analysis, Comparison, and Theoretical Limits
1996-05-06
An Analysis Of Nonpersistent Csma With Power Capture In Wireless Star-Like Networks
1998-02-09
Short Notes on the Schema Theorem and the Building Block Hypothesis in Genetic Algorithms
1998-04-14
Ralf Salomon
Pricing the Internet
1994-02-10
Hal R. Varian
CAM-BRAIN - Towards the Genetic Programming of a Billion Neuron Artificial Brain which Grows/Evolves at Electronic Speeds in a Cellular Automata Machine
1998-07-23
Hugo De Garis
Boosting Multiprocessor Program Performance using Optimized Cache Coherence Protocols
1997-04-10
Fredrik Dahlgren
Congestion Control in Multicast Transport Protocols
1998-07-02
On the Properties for Iteration of a Compact Operator with Unstructured Perturbation
1997-06-26
Jarmo Malinen
BY MIGUEL A. ARINO IESE UNIVERSIDAD DE NAVARRA Avda. Pearson 21 08034 Barcelona SPAIN aarino@iese.es
1995-10-09
Miguel A. Arino
Unknown
1994-06-07
Peter C. Wayner
The Geometric Mechanics of Undulatory Robotic Locomotion
1998-02-05
A graphical MSC editor
1997-11-03
Power Functions and Their Use In Selecting Distance Functions for Document Degradation Model Validation
1998-05-08
Temporal Structures
1995-04-15
Object-Oriented Network Programming An Overview of CORBA Dr. Douglas C. Schmidt schmidt@cs.wustl.edu
1997-03-06
The MeV Spectrum of Cygnus X-1 as Observed with COMPTEL
1997-11-19
Caroline Esther Jesurum
1998-06-12
Caroline Esther Jesurum
Multiresolutional Encoding/Decoding in Embedded Image and Video Coders
1997-11-04
Pierre Bastien, Roger Hajjar, and Daniel Nadeau
1970-01-01
Unknown
1998-03-21
Research Proposal Coordinated Allocation of Resources in Multiprocessors
1995-01-19
Eric W. Parsons
Lexical Permutation Sorting Algorithm
1998-06-23
Implementation of the IsGroupOf PDU for Network Bandwidth Reduction
1996-10-23
Space Inversion Symmetry Breaking And Pattern Selection In Nonlinear Optics
1999-01-21
'lvwulexwhg,qirupdwlrq5hwulhydoxvlqjd0xowl
1997-06-10
Subjectivity and GenVoca Generators
1995-12-31
Don Batory
Journal of Graph Algorithms and Applications
1997-12-08
The Influence of Turbulence on the Solar P-Mode Frequencies
1998-08-17
Howard Hua
1998-11-16
Attention-driven Expression and Gesture Analysis in an Interactive Environment
1996-01-24
A Framework for Heterogeneous Concurrency Control Policies in Distributed Applications
1996-04-10
August 31, 1998
1998-10-26
Convergence of the Vanishing Viscosity Approximation for Superpositions of Confined Eddies
1998-09-15
Towards Validation of Internet Agents
1997-10-29
Computational Types from a Logical Perspective
1997-10-16
Supporting Combined Human and Machine Planning: An Interface for Planning by Analogical Reasoning
1997-11-20
Mobile Agents for Mobile Computing
1998-01-09
Using Tickets to Enforce the Serializability of Multidatabase Transactions
1995-04-05
Search Reduction in Hierarchical Distributed Problem Solving
1995-07-12
On The Virial Theorem For The Relativistic Operator Of Brown And Ravenhall, And The Absence Of Embedded Eigenvalues
1997-11-29
Combining Strategical and Tactical Decisions in Scheduling Office Delivery Activities
1999-04-21
A Two-Stage Approach for Computing Cubature Formulae for the Sphere
1998-09-09
An Authentication Framework for Web Access to Remote Hosts
1998-12-23
ActiveAnnotations of WebPages
1998-05-18
Query-Driven Horizontal Class Partitioning for Object-Oriented Databases
1998-10-16
Termination Transformation by Tree Lifting Ordering
1998-12-02
Polyhedral Approximation of Convex Sets With an Application to Large Deviation Probability Theory
1995-10-27
Supporting Fine-Grained Data Lineage in a Database Visualization Environment
1997-04-12
On Spectral Condition of J-Hermitian Operators
1999-02-24
Modulo Scheduling for the TMS320C6x VLIW DSP Architecture
1998-10-21
Eric Stotzer
Study of Semileptonic Decays of
1998-03-18
Framework for Developing Extensible and Reusable Parallel and Distributed Applications
1999-01-12
Lifshitz Asymptotics and Localization for Random QuantumWaveguides
1997-12-10
Geometric Approach to Inverse Scattering for the Schrodinger Equation with Magnetic and Electric Potentials
1997-04-28
Silke Arians
Identification Of Unsettable Flip-Flops For Partial Scan And Faster Atpg
1996-10-07
Implementing Ada 9X features using POSIX Threads: Design Issues
1994-05-07
Image Sequence Analysis using Fuzzy Relational Structures
1997-10-29
Fetal ECG extraction with nonlinear state space projections
1998-03-11
Structuring Protocols with Data Streams
1995-12-15
Spectral Analysis of Randomly Scattered Signals using the Wavelet Transform
1998-02-12
Analyticity Of Solutions Of The Generalized Korteweg-de Vries Equation With Respect To Their Initial Values
1997-01-14
Bing-yu Zhang
An Efficient Algorithm for Temporal Abduction
1998-02-05
Artificially Growing A Numeral System
1996-08-14
James R Hurford
Probability Update: Conditioning vs. Cross-Entropy
1997-05-29
Run-time Techniques for Exploiting Irregular Task Parallelism on Distributed Memory Architectures
1997-03-28
On Approximability of the Minimum-Cost k-Connected Spanning Subgraph Problem
1998-12-10
Standard Formatted Data Units --- Control Authority Procedures
1995-11-15
Blue Book
Tool Support for Design Methods - The DOCASE Object-Oriented Approach
1997-09-05
Learning Comprehensible Descriptions of Multivariate Time Series
1970-01-01
Mohammed Waleed Kadous
WebWatcher: Knowledge Navigation in the World Wide Web
1997-10-31
A Unix Network Protocol Security Study: Network Information Service
1993-09-08
The Parallel Complexity of Positive Linear Programming
1996-09-30
The Nano Processor: a Low Resource Reconfigurable Processor
1995-03-20
Unknown
1998-02-11
A High Level Visual Notation for Understanding and Designing Collaborative, Adaptive Behaviour in Multiagent Systems
1997-09-23
Lang's Conjectures, Fibered Powers, and Uniformity
1996-03-14
The Complexity of Two-Point Boundary-Value Problems With Piecewise Analytic Data
1999-05-04
Arthur G. Werschulz
Parallel Numerical Algorithms and Software
1998-05-27
Block-Based Winner-Takes-All Reconstruction of Intermediate Stereoscopic Images
1998-02-02
Smoothers for Optimization Problems
1995-04-10
Eyal Arian
Software Development Based on Executable Specifications and Transformations
1995-12-07
The Matrix Model for M Theory as an Exemplar of Trace or Generalized Quantum Dynamics
1998-05-24
Stephen L. Adler
Well-Founded Inference and 3-Valued Logics
1998-10-02
David Pearce
Structural Fault Detection In Random Macro Textures
1998-05-18
Numerical Simulations Of Spin Glass Systems
1997-02-26
Watson, A. B. 1990. Gain, noise, and contrast sensitivity of linear visual neurons. Visual Neuroscience 4, 147-157.
1994-10-05
Andrew B. Watson
The Multifractal Structure Of Super-Brownian Motion
1998-05-19
Skeletonizations Of Phase Space Paths
1998-05-05
John T. Whelan
Java PathFinder User Guide
1999-04-03
Klaus Havelund
and Thomas Gross
1996-02-27
Specification and Synthesis of Plans Using the Features and Fluents Framework
1997-01-22
Lars Karlsson
`Mediated reality'
1998-01-03
Steve Mann Nnlf
Angewandte Mathematik und Informatik Universit at zu K oln
1970-01-01
Deterministic Analysis of Flow and Congestion Control Policies in Virtual Circuits
1996-09-04
Glish: A Software Bus for High-Level Control
1997-11-13
Vern Paxson
Debugging Functional Programs
1999-04-28
Distributed Trustees and Revocability: a Framework for Internet Payment
1999-02-11
Using Microbenchmarks to Evaluate System Performance
1992-09-08
Grobner Bases, Standard Forms of Differential Equations and Symmetry Computation
1995-08-21
Morphological Disambiguation by Voting Constraints
1996-10-31
Kemal Oflazer
Adaptive DSM-Runtime Behavior via Speculative Data Distribution
1999-01-13
Frank Mueller
Linkage Learning Genetic Algorithm in C++
1998-04-26
q-Deformed Fock spaces and modular representations of spin symmetric groups
1997-02-03
M=B,8m:9$K4p$E$/@5B'2=0x;R$N:GE,2=
1998-12-21
On Gaugino Condensation with Field-Dependent Gauge Couplings
1998-05-23
Coordinating Parsing and Grammar
1996-02-06
Robert Frank
Energy Constraints On Parameterized Models
1995-06-02
A Hybrid Method for Extraction of Logical Rules From Data
1998-05-16
The Fixed-Point Algorithm and Maximum Likelihood Estimation for Independent Component Analysis
1999-02-04
Aapo Hyvarinen
Asset Library Open Architecture Framework - Sharing Reusable Assets
1996-03-21
Adaptive Real-Time Many-to-many Group Multicast
1998-01-11
Bayesian Knowledge-Bases
1996-08-11
Playing Nim on a simplicial complex
1997-12-26
Statistical Modelling of Time Series Using Non-Decimated Wavelet Representations
1997-09-17
Sensor/Actuator Placement via Optimal Distributed Control of Exterior Stokes Flow
1998-02-02
Josip Loncaric
Assessing The Human Health Risk Of Atmospheric Particles
1998-07-20
Canonical Frames for Planar Object Recognition
1995-03-23
On the Relationship Between CAMP and ADAGE
1995-09-18
Don Batory
Algorithmic Engineering Applied to the QR-RLS Adaptive Algorithm
1997-04-03
A Multi-Steering Trailer System: Conversion Into Chained Form Using Dyanmic Feedback
1995-01-27
Change Management Needs Integrated Process and Configuration Management
1999-01-24
Gregor Joeris
Matrix Market : A Web Resource for Test Matrix Collections
1996-05-31
Indexing, navigation and retrieval of multimedia structured documents : the PRIME information retrieval system
1997-04-29
The Remote Enqueue Operation on Networks of Workstations
1997-12-11
Unknown
1997-08-02
Multiple Object Interfaces in Object-Oriented Control Systems
1998-09-25
Querying Sequence Databases with Transducers
1998-03-23
Anthony Bonner
Datalog with Integer Periodicity Constraints
1996-01-25
The IDOS system: An Approach for Distributed Internet Interactions
1998-04-05
Yosi Ben-asher
Set Constraints: Results, Applications and Future Directions
1995-01-28
Alexander Aiken
Alice DIVER: A Software Architecture for the Rapid Prototyping of Virtual Environments
1993-09-29
Defining and Parsing Visual Languages with Layered Graph Grammars
1999-01-14
Optimal Deterministic Approximate Parallel Prefix Sums and Their Applications
1995-08-10
Program Comprehension For Reverse Engineering
1994-08-11
Spencer Rugaber
The Matched Delay Technique: Theory and Practical Issues
1996-06-26
Towards a Formal Taxonomy of Hybrid Uncertainty Representations
1997-03-21
Connections between Nonlinearity and Restrictions, Terms and Hypergraphs of Boolean Functions
1998-05-05
Fast Far Field Approximation For Calculating The Rcs Of Large Objects
1997-07-25
An Optical Model for the Prototype Module Performance from Bench Measurements of Components and the Test Module Response to Muons
1999-03-23
Mapping Parallel Computations on...
1997-02-20
A Logic for Representing and Reasoning About Robotic Navigation on a Shop Floor
1997-03-02
Wanlin Pang
Issues in the Compile-Time Optimization of Parallel Programs
1994-07-05
Towards a Duration Calculus Proof Assistant in PVS
1996-08-04
Jens Ulrik Skakkebaek
Translation between S/R and Promela
1998-02-17
Ratan Nalumasu
HiRel: Hybrid Automated Reliability Predictor HARP Integrated Reliability Tool System Version 7.0 - HARP Graphics Oriented GO Input User's Guide
1998-03-26
The OMC-1 molecular hydrogen outflow as a fragmented stellar wind bubble
1996-10-10
A Quantitative Analysis of Cache Policies for Scalable Network File Systems
1996-08-06
Applying Patterns and Frameworks to Develop Object-Oriented Communication Software
1999-02-16
Douglas C. Schmidt
The Maximum of the Degree of Nonholonomy for the Car with Trailers
1993-11-25
WebSubmit: Web-based Applications with Tcl
1998-12-30
The search for the decay of Z boson into two gammas as a test of Bose statistics
1998-05-15
On A Order Reduction Theorem In The Lagrangian Formalism
1998-05-14
D. R. Grigore
TRIBORS: A Triplet-Based Object Recognition System
1995-01-10
Kari Pulli
A Growing Neural Gas Network Learns Topologies
1995-02-05
Bernd Fritzke
On the Integrability Condition in the Multiplicative Ergodic Theorem for Stochastic Differential Equations
1997-10-15
High-Performance Caching With The Lava Hit-Server
1998-06-23
Concepts and Implementation of a Rule-based Process Engine
1996-08-01
Burkhard Peuschel
Empirical Generalization Assessment of Neural Network Models
1995-08-24
A Constraint-Satisfaction Approach for 3D Vision/Touch-Based Object Recognition
1996-01-28
Common Lisp Analytical Statistics Package: User Manual
1995-02-17
Unknown
1999-05-08
Planar Manipulation on a Conveyor with a One Joint Robot
1996-02-01
Generating Parallel Execution Plans with a Partial-Order Planner
1995-06-17
Craig A. Knoblock
Sequence Alignment and Phylogeny Construction
1999-02-06
Theoretical And Numerical Analysis On A Thermo-Elastic System With Discontinuities
1970-01-01
General Limitations on Machine Learning
1997-07-29
Combined supervised and unsupervised learning for system diagnosis using Dempster-Shafer theory
1997-05-02
Thierry Denoeux
Symbolic Trajectory Evaluation
1996-12-24
Long Term Estimates For Sorting Strategies Of The Lhc Dipoles
1998-06-29
Recoverable Mobile Environments: Design and Trade-off Analysis
1997-01-27
Finite Resolution Aspect Graphs of Polyhedral Objects
1995-11-05
Presentation Order and on-Line Learning
1995-04-24
A Note on the Law of Large Numbers for Fuzzy Variables
1997-12-14
Incomplete Cholesky Factorizations With Limited Memory
1997-09-10
Optimization of Queries with User-defined Predicates
1998-01-28
Expressing Composite Events In Infosleuth
1999-04-06
Registration of Uncertain Geometric Features: Estimating the Pose and its Accuracy
1998-09-10
Xavier Pennec
Incremental Finite-State Parsing
1998-10-26
Secure Computing on the Internet
1998-08-05
PEA - a Personal Email Assistant with Evolutionary Adaptation
1998-06-19
Werner Winiwarter
Security and Document Compatibility for Electronic Refereeing
1996-10-09
Theoretical Overview Of Jet Photoproduction At Hera
1998-05-24
Michael Klasen
Improved Routing and Sorting on Multibutterflies
1997-06-02
Neuro-Fuzzy Approaches to Collaborative Scientific Computing
1997-03-25
High Performance Transaction Systems on the SB-PRAM
1995-06-13
Yoky Matsuoka
1995-07-21
More Optimism about Real-Time Distributed Commit Processing
1997-10-02
Formally Biorthogonal Polynomials and a Look-Ahead Levinson Algorithm for General Toeplitz Systems
1992-10-06
Spatial Cognition: Behavioral Competences, Neural Mechanisms and Evolutionary Scaling
1999-04-01
Hanspeter A. Mallot
Modified Chebyshev Polynomial Preconditioner for Least Squares Problems on Massively Distributed Memory Computers
1997-08-10
Tianruo Yang
Higher Dimensional Representations of Graphs
1998-11-16
Structured Hardware Compilation of Parallel Programs
1994-10-02
The ODP Trader Functionality Applied to the Integrated Road Transport Environment
1995-02-06
Claudia Popien Hager
Evolutionary Design of Neural Architectures
1997-05-16
Institut fur Mathematik, Universitat Wien
1997-07-24
N. Nadirashvili
The "Art of Trellis Decoding" is Computationally Hard -- for Large Fields
1997-03-20
Linear Programming For the Encyclopedia of Microcomputers
1995-09-22
Nimrod Megiddo
Study of Implications of VC Merging in Multiprotocol Label Switching
1998-07-01
Predicting Lifetimes in Dynamically Allocated Memory
1997-12-19
Evaluation of a Semi-Automated Theorem Prover Part I
1998-09-25
Helen Lowe
Security for Network Attached Storage Devices
1997-12-05
Building Chinese Walls in Standard Unix
1998-06-26
Simon N. Foley
An Overview of the Edinburgh Logical Framework
1996-07-18
A High-Level Visual Language for Generating Web Structures
1998-11-10
Towards Programming by Examples Properties
1997-02-27
Pierre Flener
Bounds on the Zeros of a Renormalization Group Fixed Point
1997-04-26
Basic Paramodulation
1995-12-15
Wavelet Shrinkage For Nonequispaced Samples
1998-05-08
Binary Restoration of Thin Objects in Multidimensional Imagery
1998-03-06
A Nonce-Based Protocol For Multiple Authentications
1998-01-20
Dynamic Typing and Subtype Inference
1995-05-30
Alexander Aiken Manuel F Ahndrich
Filters as a Language Support for Design Patterns in Object-Oriented Scripting Languages
1999-03-17
Adaptive Sensor Models
1996-12-17
A Safety Kernel for Traffic Light Control
1998-09-01
Paul Ammann
Mon. Not. R. Astron. Soc.
1996-12-11
Vlsi Implementation Of A Nonlinear Image Interpolation Filter
1996-11-08
A Multidimensional Study on Parallel Switch-Level Circuit Simulation
1998-10-20
Scalable Cluster Computing with MOSIX for LINUX
1999-03-29
A Modular Measure of Competitive Performance for Distributed Algorithms
1995-07-21
Parts Manipulation on an Intelligent Motion Surface
1995-09-01
Better Optical Triangulation through Spacetime Analysis
1995-08-05
Aroma: Language Support for Distributed Objects
1993-09-05
A Search-Based System for Manufacturing Scheduling
1996-02-20
Pattern Analysis and Synthesis in Attractor Neural Networks
1998-01-12
H. Sebastian Seung
Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems
1998-10-23
John C. Lin
1996-01-30
Notes on Stereoscopic Vision
1998-03-16
P. Perona
Automatic Synthesis of Device Drivers for Hardware/Software Co-design
1994-11-10
The Dynamics Of Localized Solutions Of Non-Local Reaction-Diffusion Equations
1999-04-22
Michael J. Ward
UM-PRS V3.0 Programmer and User Guide
1997-07-30
Axioms for Synchronous Interaction
1997-09-26
Justin Pearson
An Algorithm for Optimal Winner Determination in Combinatorial Auctions
1999-01-29
Tuomas Sandholm
Implementing the Data Diffusion Machine using Crossbar Routers
1996-05-21
Machine Readable Dictionaries: What Have We Learned, Where Do We Go?
1999-03-05
Nancy Ide
Controlling User Interface Objects Through Pre- and Postconditions
1993-03-26
RPA Pathwise Derivative Estimation of Ruin Probabilities
1999-03-17
Felisa J. V'azquez-abad
Investigation of the use of Neural Networks for Computerised Medical Image Analysis
1998-08-18
Shane Dickson
Team Theoretic Approach for Sensing Based Robot Navigation
1998-03-20
Issues in the Design and Implementation of User-Level DMA
1997-06-23
Understanding Mobile Agents via a non-interleaving semantics for Facile
1997-06-18
An Algorithm to Compute the Minkowski Sum Outer-face of Two Simple Polygons
1996-04-09
G. D. Ramkumar
Logtalk: Object-Oriented Programming in Prolog
1998-05-13
Low-Mass Binaries in Young Stellar Clusters: A Deep Near-Infrared Adaptive Optics Survey
1998-11-19
Pseudospectra of Linear Operators
1996-02-07
Lloyd N. Trefethen
Scheduling Block-Cyclic Array Redistribution
1997-05-06
Published in the Computational Fluid Dynamics Journal, vol.5, no.2, July 1996, in a special issue dedicated to Professor Antony Jameson for his 60th birthday.
1997-04-02
M. B. Giles
The deformation of the interacting nucleon in the Skyrme model
1998-05-11
Estimating the Probability of Approximate Matches
1998-03-30
Stefan Kurtz
Admissible Functions and Asymptotics for Labelled Structures by Number of Components Edward A. Bender Center for Communications Research 4320 Westerra Court San Diego, CA 92121, USA
1997-12-26
A Non--Linear Integration Process for the Selection of Visual Information
1994-10-26
Molecular Replacement Real Space Averaging
1996-03-14
Comparison of Neural and Statistical Classifiers -- Theory and Practice
1997-10-03
Mobility in the Intelligent Network Architecture
1996-11-13
Operations and Cooperations in Elliptic Cohomology, Part I: Generalized modular forms and the cooperation algebra
1995-01-08
Critical Properties of the One-Dimensional Forest-Fire Model
1998-01-19
ProCoS II
1998-12-27
Jonathan Bowen Et Al
Uniqueness for Gibbs States of Quantum Lattices in Small Mass Regime
1970-01-01
The Relationship Between Knowledge, Belief, and Certainty
1996-09-30
Joseph Y. Halpern
Document No. TR-95-5499-02 29 November 1995
1997-10-28
Aditi Users' Guide
1995-09-07
Solving Shape-Analysis Problems in Languages with Destructive Updating
1997-09-18
Storage Assignment using Expression Tree Transformations to Generate Compact and Efficient DSP Code
1998-12-10
A Framework for Customizing Coherence Protocols of Distributed File Caches
1996-06-06
Characterization of Stability for Cone Increasing Constraint Mappings
1997-02-20
Documenting Software Systems with Views
1994-05-10
Constructions of Self-Complementary Circulants With No Multiplicative Isomorphisms
1998-09-01
Low Density Parity Check Codes over
1996-09-25
An Optimal Parallel Algorithm for the All-Nearest-Foreign-Neighbors Problem in Arbitrary Dimensions
1997-10-21
Thomas Dean
1997-04-08
Thomas Dean
Architecture for Iterative Learning of RecursiveDefinitions
1995-08-16
Pavel Brazdil
Toward the Design Quality Evaluation of Object-Oriented Software Systems
1996-12-23
Some Experiments with Array Data Collected in Actual Urban and Suburban Environments
1997-01-30
The Cdf And DØB Physics Upgrades
1998-05-06
Arthur K. A. Maciel
Fakultat fur Mathematik, Universitat Bielefeld 33615 Bielefeld, Germany
1999-04-26
John R. Klein
Virtual Memory vs. The File System
1993-10-14
Michael N. Nelson
Compiler-Assisted Checkpointing
1995-01-12
Paul Layzell
1998-01-14
Paul Layzell
The Stellar Dynamics of M87
1996-10-16
David Merritt
Grammar Acquisition Based on Clustering Analysis and Its Application to Statistical Parsing
1997-09-01
Combining Stabilized Finite Element Methods
1997-10-17
Robust Multigrid Preconditioning for Parameter-Dependent Problems I: The Stokes-type Case
1997-11-28
Joachim Schoberl
An Energy-Based Hysteresis Model For Magnetostrictive Transducers
1997-09-23
Springbok: A Rapid-Prototyping System for BoardLevel Designs
1995-12-21
Issues in Software Cache Coherence
1998-06-10
Sprite on Mach
1993-05-06
Michael D. Kupfer
IPC: Implicitly Parallel C Extended Abstract
1995-02-23
Mechanising Partiality
1997-09-30
Manfred Kerber
Issues In the Design of a Collaborative Distributed Operating System
1998-11-05
Fields in Physics are like Curried Functions or Physics for Functional Programmers
1995-06-06
Gary T. Leavens
Finite-State Phonology In Hpsg
1997-07-25
Steven Bird
Implementing Interactive Applications in C++
1996-08-22
Ari Jaaksi
A Method of Automatically Aligning Japanese English Newspaper Articles
1999-02-13
Query Routing in Large-scale Digital Library Systems
1999-03-02
Ling Liu
Folds, Bosonization and non-triviality of the classical limit of 2D string theory
1998-05-14
Virtual Tools: A Framework for Simplifying Sensory-Motor Control in Complex Robotic Systems
1996-05-31
Stochastic Petri Net Analysis of a Replicated File System
1997-01-03
Is Intractability of Non-Monotonic Reasoning a Real Drawback?
1996-02-06
The Underlying Action Calculus.
1998-02-09
Automated Debugging of Syntax Errors
1970-01-01
When Robots Meet People: Research Directions In Mobile Robotics
1998-09-29
Sebastian Thrun
Extracting Semistructured Information from the Web
1999-01-18
Scheduling Large Parametric Modelling Experiments on a Distributed Meta-computer
1997-08-29
Oriented Graph Coloring
1998-12-13
Eric Sopena
Computing Approximate Solutions for Conic Systems of Constraints
1998-05-19
J. Renegar
A New Approach To The Compensation Of Aliasing In Transform And Subband Coders
1996-12-04
Frank Heinle
Model Checking of Probabilistic and Nondeterministic Systems
1996-01-31
Luca De Alfaro
Mid-Level Networks Potential Technical Services
1994-06-02
Vikas Aggarwal
Pattern Search Algorithms For Bound Constrained Minimization
1998-10-06
Application Of Correlation Memory Matrices In High Frequency Asset Allocation
1997-03-24
A Silicon Axon
1995-08-18
Towards an Ontology of Problems
1996-01-29
Martin Zwick
On the Complexity of Modular Model Checking
1996-07-18
Moshe Y. Vardi
An Evaluation of Memory Consistency Models for Shared-Memory Systems with ILP Processors
1998-02-11
Supervised Control of Complex Systems satisfying a Bounded Amplitude Performance Criterion
1997-04-03
Correctness Proofs for Two Protocols
1996-02-07
Uri Abraham
Matching Operating Systems to Application Needs: A Case Study
1996-04-04
Martin Herdieckerhoff
An Empirical Comparison of the Kendall Square Research KSR-1 and Stanford DASH Multiprocessors
1995-04-16
Breaking Generalized Diffie-Hellman Modulo a Composite is no Easier than Factoring
1998-09-17
FORE Systems, Inc.
1995-10-24
Automation of Linear and Nonlinear Control Systems Design By Evolutionary Computation
1995-12-14
Rapid Prototyping using Formal Specifications
1998-07-22
Decidable Higher-Order Unification Problems
1997-08-22
Christian Prehofer
The Market for Motion Pictures: Rank, Revenue, and Survival
1997-11-21
Visual Languages for Tele-Action Objects
1995-06-08
Shi-kuo Chang
Moving from GUIs to PUIs
1970-01-01
Matthew Turk
Omega Psi ff Phi
1996-07-18
A MATLAB Compiler and Restructurer for the Development of Scientific Libraries and Applications
1970-01-01
Unknown
1996-08-26
A Classification and Comparison Framework for Software Architecture Description Languages
1999-02-11
Termination of Associative-Commutative Rewriting by Dependency Pairs
1998-01-12
On-line Learning and the Metrical Task System Problem
1998-08-12
Commutativity of the Schur Algebra
1997-05-26
Mina Teicher
Observation of
1995-09-27
A Direct Algorithm for Type Inference in the Rank 2 Fragment of the Second-Order
1993-12-02
Type Checking Higher-Order Polymorphic Multi-Methods
1999-03-19
Stephan Merz
Multiplicative Ergodicity for an Irreducible Markov Chain
1999-01-29
Visulan: A Visual Programming Language for Self-Changing Bitmap
1998-06-05
Kakuya Yamamoto
On the Diameter of Convex Polytopes
1997-10-09
A Symbolic Method to Reduce Power Consumption of Circuits Containing False Paths
1995-03-27
The Regularization Method for an Obstacle Problem
1997-09-28
Unknown
1995-01-18
A New Economical Mixed Finite Element Formulation And The Mac Method For The Stokes Equations
1996-06-03
Houde Han
The Expert System
1995-12-19
Geometric Comparison of Classifications and Rule
1995-04-26
Wavelets In Optimisation And Approximations
1997-03-05
Shape Memory Alloy Actuator Controller Design for Tactile Displays
1995-10-19
Logical Support for Modularisation
1997-10-09
From Circuit to Signal - development of a piecewise linear simulator
1998-05-19
Constructing Refinement Operators by Decomposing Logical Implication
1997-05-15
Dynamics of Rule Induction by Making Queries: Transition Between Strategies
1996-05-27
Model-Based Circumnavigating Autonomous Robots
1995-10-12
A Formal Framework for Feature Interaction with Emphasis on Testing
1995-09-18
Jens Chr Godskesen