Using the Visibility Complex for Radiosity Computation
1998-05-20
SMART: Towards Spatial Internet Marketplaces
1997-06-25
Active Structured Documents as User Interfaces
1996-07-18
Vincent Quint inria
The Applied Apprenticeship Approach AAA: An Object-Oriented/Object-Based Framework for CS2
1997-05-20
Beyond Competitive Analysis
1997-12-18
Multigrid aircraft computations using the OPlus parallel library
1997-04-01
A Cortical Model of Cognitive 40 Hz Attentional Streams, Rhythmic Expectation, and Auditory Stream Segregation
1998-08-27
Bill Baird
Pattern Recognition using Comprehensive Features and Integrated Classifiers
1995-07-10
Practically Frameless Rendering
1995-03-24
Generalized Transformations and the Theory of Grammar
1996-02-06
Systematic Comparison of Approaches to Ramification Using Restricted Minimization of Change
1996-01-23
Erik Sandewall
Is There A Domain Wall Problem?
1998-05-15
Gia Dvali
Linear Algorithms for Partitioning Embedded Graphs of Bounded Genus
1996-07-15
A Speech-to-Speech Translation based Interface for Tourism
1998-11-05
Preliminary Investigation into the Performance Evaluation of Machine Vision Systems
1997-01-30
A Guide for New Referees in Theoretical Computer Science
1997-08-15
Ian Parberry
Maintenance of the Set of Segments Visible from a Moving Viewpoint in Two Dimensions
1996-07-03
Band Search: an Efficient Alternative to Guided Depth-first Search
1996-01-30
Intelligent Software Agents For Non-Traditional Information Sharing Environments
1994-11-22
Implementing Parallel Shortest-Paths Algorithms
1996-01-26
Control of Rotor Speed for a Model Helicopter: A Design Cycle
1995-06-26
Communication Based FPGA Synthesis for Multi-Output Boolean Functions
1995-06-13
Bayesian Learning in Reproducing Kernel Hilbert Spaces -- The Usefulness of the Bayes Point
1999-04-06
Towards English into Romanian Translation via Oz
1996-02-01
Liviu-virgil Ciortuz
Main-Memory Management to support Orthogonal Persistence for Java
1998-11-25
Malcolm Atkinson
A Weakly Stable Algorithm for General Toeplitz Systems
1970-01-01
A Probabilistic Analysis of the Rocchio Algorithm with TFIDF for Text Categorization
1996-04-26
Thorsten Joachims
A Hybrid Video Codec with Block-Based and Mesh-Based Motion Compensation Modes
1997-01-30
Supporting Transcontinental Collaborative Work in Persistent Virtual Environments
1998-05-20
Encapsulation and Composition of Ontologies
1998-09-10
Congruence Types
1996-12-19
Gilles Barthe
Managing Uncertainty IN PRELIMINARY AEROSHELL DESIGN ANALYSIS
1997-08-05
Using Taxonomy, Discriminants, and Signatures for Navigating in Text Databases
1997-06-28
LIE-POINT SYMMETRIES AND NONLINEAR DYNAMICAL SYSTEMS Symmetry and approximate symmetries of nonlinear equations: bifurcations, center manifolds, and normal form reduction
1997-05-14
Consonants
1996-09-14
Monitoring changing dynamics with correlation integrals: Case study of an epileptic seizure
1996-09-05
David E. Lerner
Dynamic Voting for Consistent Primary Components
1997-06-15
The k-Extensions of some new Mahonian statistics
1996-03-12
Semantic Matching in Rewrite Theories
1997-09-02
Rapports de Recherche
1993-03-29
An ATM Network Simulator to Study Admission Control and Routing Algorithms
1994-08-01
Hinge-Bending Motion in Citrate Synthase Arising from Normal Modes Calculations
1995-11-17
Computing the Singular Value Decomposition with High Relative Accuracy
1997-02-11
Combining VDM-SL Specifications with C++ Code
1998-11-26
Accessing Space Science Data Using The Internet
1996-08-27
Behavior-Based Control: Examples from Navigation, Learning, and Group Behavior
1997-10-24
Maja J Matari'c
Mystudentsref.bib
1998-08-28
A Remark On Sets Having The Steinhaus Property
1997-12-19
Mihai Ciucu
Diameter Rigidity Of Spherical Polyhedra
1997-08-13
Werner Ballmann
Some Problems And A Few Solutions For Open-Ended Evolutionary Robotics
1998-05-26
Nick Jakobi
Superconvergence Estimates for the Numerical Computation of Heteroclinics for Maps
1998-06-19
Software Design for Parallel Systems
1995-04-24
Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models
1997-12-05
Interface and Execution Models in the Fluke Kernel
1999-01-07
View-Based Access Control with High Assurance
1998-09-25
Xiaolei Qian
Virtual Private Resources - An Approach for Long-term Binding of Services
1997-08-29
Record-Boundary Discovery in Web Documents
1999-01-23
Other Complexity Classes and Measures
1998-05-08
Probabilistic Guarantees for Fault-Tolerant Real-Time Systems
1998-02-23
Diagnosis of Tank Ballast Systems
1997-05-12
Concurrent Transition Systems
1992-06-15
Eugene W. Stark
Collective Memory Search
1997-02-23
Thomas Haynes
Bayes Linear Covariance Matrix Adjustment for Multivariate Dynamic Linear Models
1997-06-16
Unknown
1998-03-20
KAM-Renormalization Group Analysis of Stability in Hamiltonian Flows
1997-06-03
On Batch MeansIn The Simulation And Statistics Communities
1996-02-26
Michael Sherman
Complete Contingency Planners
1994-04-14
TRIPTYCH: An FPGA Architecture with Integrated Logic and Routing
1995-12-21
Automated Reasoning for Theory-Building in the Social Sciences
1996-03-22
Synthetic Animals in Synthetic Worlds
1996-12-20
Groupe De Bioinformatique Ura
Dynamic Constraint Satisfaction using Case-Based Reasoning Techniques
1997-11-05
Lisa Purvis
Quasi-Minimal Enumeration Degrees and Minimal Turing Degrees
1997-04-30
Modelling Rational Agents in a Dynamic Environment: Putting Humpty Dumpty Together Again
1996-01-25
InfoPad - An Experiment in System Level Design and Integration
1997-05-29
Robert Brodersen
A Customized Grammar Workbench
1995-03-08
Compactly Supported Solutions of Two-Scale Difference Equations
1996-12-11
Serbo-Croatian Lvcsr On The Dictation And Broadcast News Domain
1998-02-13
The Index of Discontinuous Vector Fields
1995-08-01
Integrated Parallel Prefetching and Caching
1996-02-12
Pict: A Programming Language Based on the Pi-Calculus
1997-03-19
Knowledge Discovery in an Object-Oriented Oceanographic Database System
1998-01-07
Victor Reiner
1997-12-26
Victor Reiner
Dreme: for Life in the Net
1996-11-04
Matthew Fuchs
Compiling C for the EARTH Multithreaded Architecture
1996-07-12
Cauchy--Szego kernels for Hardy spaces on simple Lie groups
1996-02-06
Visual Formalisms Revisited
1999-02-19
C++ Expression Templates Performance Issues in Scientific Computing
1998-01-15
Homogeneous Conformal String Backgrounds
1998-05-23
M. Gasperini
Detour: a Case for Informed Internet Routing and Transport
1998-10-23
Evaluating and Improving WWW-Aided Instruction
1998-02-03
Samuel A. Rebelsky
Fast and Scalable Handoffs for Wireless Internetworks
1998-12-23
Venkata N. Padmanabhan
December 19, 1996 CMU-CS-96-201
1998-02-20
Inference of Variable-Length Linguistic and Acoustic Units By Multigrams
1999-03-01
Resource Allocation in Stored Video-On-Demand Systems
1996-11-26
Wu-chi Feng
The Object-Oriented Database System Manifesto
1996-05-20
Why Is It So Difficult For A Robot To Pass Through A Doorway Using UltraSonic Sensors?
1995-10-07
Folding Rulers inside Triangles
1998-06-26
Brendan J. Frey
1997-10-03
A Novel Formal Semantics for a Parallel Object-Oriented Language
1998-10-26
Statistical Estimation of the Switching Activity in VLSI Circuits
1996-06-20
Quorum Systems Constructed from Combinatorial Designs
1998-04-29
Virtual Wires: Overcoming Pin Limitations in FPGA-based LogicEmulators
1993-04-05
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level
1996-01-09
Safe Motion Planning for Car Like Vehicles
1998-04-09
Th. Fraichard
On Edge Numberings of the n-cube Graph
1997-11-17
Managing Very Large Scientific Data Collections
1998-10-27
Chaitanya Baru
Automatic Compositional Verification of Some Security Properties
1998-10-06
A Hybrid Statistical and Feedforward Network Model for Forecasting with a Limited Amount of Data: Average Monthly Water Demand Time-series
1995-07-16
Grace Widjaja Rumantir
Matthias M. Wloka and Robert C. Zeleznik
1994-09-27
Necessary Conditions for Subdivision Surfaces
1997-02-17
FOCUS : Searching for Multi-colored Objects in a Diverse Image Database
1997-11-03
Declarative Debugging in Constraint Logic Programming
1997-02-18
Alexandre Tessier
A Distributed Location System for the Active Office
1994-05-03
On the Complexity of Sparse Elimination
1998-11-21
Ioannis Z. Emiris
Pin-down Cache: A Virtual Memory Management Technique for Zero-copy Communication
1997-11-11
Proof of Correctness of Object Representations
1995-10-24
Stereo and Color Analysis for Dynamic Obstacle Avoidance
1999-02-19
Lambda-lifting as an optimization for compiling Scheme to C
1996-06-30
Tanel Tammet
Conditional Distribution Learning with Neural Networks and Its Application to Channel Equalization
1997-10-04
Speech rhythm in English and Japanese
1998-07-20
Dimensionality Reduction in Basis-function Networks: Exploiting the link with fuzzy system
1997-05-20
Restructuring Sequential Fortran Code into a Parallel/Distributed Application
1996-09-19
Fundamental Limits and Tradeoffs of Providing Deterministic Guarantees to VBR Video Traffic
1995-02-15
An Analysis of Ontology Mismatches;
1997-08-07
An Efficient Signal Distinction Scheme for Large-scale Free-space Optical Networks Using Genetic Algorithms
1995-12-15
Agent-Oriented Robot Task Transformation
1998-01-27
Werner Kalkhoff
Compiling Lazy Pattern Matching
1995-02-23
Luc Maranget
Multiresolution Representation and Visualization of Volume Data
1998-12-09
Limitations of the QRQW and EREW PRAM Models
1996-11-07
Krzysztof Lorys
Empirically-Derived Analytic Models of Wide-Area TCP Connections
1993-06-17
Vern Paxson
Francisco Facchinei
1996-11-14
amdb: An Access Method Debugging Tool
1998-08-12
Tame Minimal Non-Polynomial Growth Strongly Simply Connected Algebras
1999-04-21
Rainer Norenberg
Geometric Range Searching and Its Relatives
1997-09-02
Hierarchic Voronoi Skeletons
1994-12-20
Definitional Programming in GCLA - Techniques, Functions, and Predicates
1996-04-19
Olof Torgersson
Visualizing Dynamic Software System Information through High-level Models
1999-04-20
Unknown
1998-01-27
A Simpler Minimum Spanning Tree Verification Algorithm
1995-07-31
Valerie King
A Comparison of Sender-Initiated and Receiver-Initiated Reliable Multicast Protocols
1997-09-04
Measuring Correlations in Protein Sequences
1996-12-12
Accelerating Markovian Analysis of Asynchronous Systems using String-based State Compression
1998-11-11
A Discrete Ordinates Algorithm for Domains with Embedded Boundaries
1997-04-17
Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case
1997-06-06
A Calculus For Overloaded Functions With Subtyping
1998-02-24
Giuseppe Castagna
Stochastic Model for the Motion of a Particle on an Inclined Rough Plane and the Onset of Viscous Friction
1997-12-08
G. G. Batrouni
Nonparametric Curve Estimation By Wavelet Thresholding With Locally Stationary Errors
1998-05-25
The Effect of Randomness on Long Range Order in the Two-Dimensional Half-Filled Hubbard
1997-09-04
C. Huscroft
Incremental Formalization: a Key to Industrial Success
1998-01-09
Acknowledgments
1994-10-26
David Christopher Sehr
LAPACK working note 66 A Characterization of Polynomial Iterative Methods
1997-10-01
Victor Eijkhout
Cascaded Adaptive Control of Ocean Vehicles With Significant Actuator Dynamics
1995-01-20
Leen Dikken
1994-11-16
Atsushi Higuchi
1998-03-27
Unknown
1997-07-07
Compression Guidelines For Diagnostic Telepathology
1997-01-22
Longitudinal Spin Fluctuations in Nearly Isotropic Ferromagnet CdCr
1998-12-15
A Physics-based Talking Head for Interface Agent
1997-05-01
A Query Translation Scheme for Rapid Implementation of Wrappers
1995-05-08
Timing Analysis, Dynamical Systems and Exotic Linear Algebra
1998-06-09
Jeremy Gunawardena
Logic Programming with Preferences and Constraints
1998-08-27
Mercure At Trec7
1999-02-08
What Bayes Has To Say About The Evidence Procedure
1995-09-11
The Expected Lifetime of "Single-Address-Space" Operating Systems
1970-01-01
Hairdressing in Groups: A Survey of Combings and Formal Languages
1999-04-21
Sarah Rees
Automating Feature Set Selection for Case-Based Learning of Linguistic Knowledge
1997-10-03
Claire Cardie
Performance Measurement of a Parallel Input/Output System for the Intel iPSC/2 Hypercube
1993-03-22
An Analysis of Internet Inter-Domain Topology and Route Stability
1996-07-13
Learning First Order Theories
1970-01-01
Marco Botta
Automated Model Selection for Simulation
1995-12-11
On Parallel Complexity of Planar Triangulations
1995-10-16
Temporal Relations: Reference Or Discourse Coherence?
1995-08-09
Andrew Kehler
Part-of-Speech Tagging with Neural Networks
1995-11-24
Helmut Schmid
An aggregation-based solution method for M/G/1-type processes
1999-03-01
Weakly Coupled Bound States In Quantum Waveguides
1997-04-26
Architectural Retiming: AnOverview
1996-01-03
Supervenience and Implementation: Virtual and Physical Machines
1998-01-31
Aaron Sloman
On Detection of Cyclostationary Signals
1998-09-05
The Elusive Third Component
1998-09-04
James F. Meyers
An Evaluation of Bipartitioning Techniques
1995-12-21
A Bi-Level Language for Software Process Modeling
1999-05-04
Reflection in Rewriting Logic and its Applications in the Maude Language
1997-10-29
Manuel Clavel
Evolution Mimétique, extension aux espaces réels
1998-10-28
A Local Riemann Hypothesis, I
1998-08-21
Rate-Controlled Service Disciplines
1994-06-06
Digital Television Archives - Combining Computer Technology and Video
1996-07-07
Rune Hjelsvold
Close-Form Solution and Parameter Selection For Convex Minimization Based Edge-Preserving Smoothing
1999-02-07
Stan Z. Li
Symmetric Pants Decompositions of Riemann Surfaces
1994-10-10
Subvarieties Of Semiabelian Varieties
1995-02-08
Dan Abramovich
The Analysis Of Iterative Elliptic PDE Solvers Based On The Cubic Hermite Collocation Discretization
1995-06-15
Yu-ling Lai
Towards a Systematic Evaluation of Machine Translation Systems
1996-11-17
Generalization to Novel Images in Upright and Inverted Faces
1995-07-14
CONCAT - Connotation Analysis of Thesauri Based on the Interpretation of Context Meaning
1999-01-11
Heuristic and Randomized Optimization for the Join Ordering Problem
1997-05-30
Mobile wavelet method. Application to active contour modeling and surface reconstruction.
1996-03-13
Towards Efficient Motion Planning for Manipulators with Complex Geometry
1995-06-07
Acquiring Visual-Motor Models for Precision Manipulation with Robot Hands
1996-11-08
A Central Limit Theorem for Local Lyapunov Exponents
1998-08-24
Efficient Timing Analysis of a Class of Petri Nets
1995-04-15
Unknown
1994-07-28
Off-the-Shelf, Real-Time, Human Body Motion Capture for Synthetic Environments
1996-06-10
Slotted-FIFO Communication for Asynchronous Distributed Systems
1970-01-01
Glauber Theory of Final-State Interactions in ... Scattering
1998-05-23
Forschungszentrum Julich Gmbh
Fault Tolerant Multi-Layer Perceptron Networks
1997-07-16
Learning Large DeBruijn Automata with Feed-Forward Neural Networks
1995-02-14
Review of Particle Physics: R.M. Barnett
1996-08-01
Evolutionary Robotics: Exploiting the full power of selforganization
1998-07-29
Stefano Nolfi
Modeling Growth with L-Systems
1996-05-08
High Degree Solutions of Low Degree Equations
1998-08-21
Resource ReSerVation Protocol RSVP -- Version 1 Functional Specification
1997-05-28
Formulating Haskell
1997-06-10
Simon Thompson
Raisins, Sultanas, And Currants: Lexical Classification And Abstraction Via Context Priming
1994-09-02
David J. Hutches
Parallel Simulation of the Ising Model
1994-03-16
Zhangxin Chen And Peter Oswald
1997-10-03
Zhangxin Chen
Robert A. Harrington
1997-04-22
Matrix and Vector Sequence Transformations Revisited
1970-01-01
Ray Patterns Of Matrices And Nonsingularity
1999-01-05
Binary Star Measurements with the Starfire Optical Range Adaptive Optics Systems
1998-11-19
Eiji Ogasa
1997-05-23
Eiji Ogasa
Study Of Some Properties Of
1997-03-11
Possibilistic Previsions
1998-08-26
Probability Estimation By Feed-Forward Networks In Continuous Speech Recognition
1997-06-11
Unknown
1998-09-10
C. S. Wood
A Novel Architecture for Traffic Control
1995-01-18
Learning Language Using Genetic Algorithms
1996-11-21
Department Of Mathematics
1994-10-08
Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer
1994-08-25
On the Localization of Feedforward Networks
1997-02-04
Nonnodal Condensation of General Symmetric Eigenvalue Problems
1997-06-11
An explicit Eta rewrite rule
1995-01-12
Evidence for Adaptive Evolutionary Convergence in the Base Composition . . .
1997-01-09
Subgroups Of So3 Associated With Tilings
1996-01-09
Charles Radin
System-Level Synthesis Using Evolutionary Algorithms
1997-09-24
Teaching Mathematics to Software Engineers
1996-10-14
Jeannette M. Wing
Practical Algorithms for Online Routing on SIMD Meshes
1994-11-23
CARIN: A Representation Language Combining Horn Rules and Description Logics
1997-10-20
Sigma<F15...
1998-06-09
Codes for Interactive Authentication
1999-02-08
Baryon and Lepton Number Assignment in
1998-05-15
Nonlinear Dynamics In An Extended Neighbourhood Of The Translunar Equilibrium Point
1996-08-14
Data Structures and Algorithms for Navigation in Highly Polygon-Populated Scenes
1998-10-20
Simultaneous Parallel Reduction on SIMD Machines
1995-10-06
Conditional Subgradient Optimization --- Theory and Applications
1995-09-19
Locating Nearby Copies of Replicated Internet Servers
1997-04-23
Co-evolution in a Rugged Fitness Landscape
1998-09-25
Hard Real-Time Scheduling: The Deadline-Monotonic Approach
1998-02-25
Convergence of Normalized Quadratic Forms
1998-12-11
Talking Heads: Developing Pull
1993-05-08
Carol Leon-yun Wang
EOFs of One-Dimensional Cyclostationary Time Series: Computations, Examples and Stochastic Modeling
1995-12-05
Worst-Case Execution Time Analysis on Modern Processors
1995-08-04
Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine
1993-03-15
Lang's Conjectures, Fibered Powers, and Uniformity
1996-03-14
Simultaneous Multithreading: Maximizing On-Chip Parallelism
1998-03-02
ANTabu
1999-01-11
FORTH-ICS / TR-171 July 1996
1996-08-09
Communication Overhead for Space Science Applications on the Beowulf Parallel Workstation
1998-05-22
Using Object-Grammars for Internet Data Warehousing
1997-01-13
Modular Denotational Semantics for Compiler Construction
1998-02-05
An Extension of the Standard Model With a Single Coupling Parameter
1998-05-24
A Bene S Formula For A Buffer With Fractional Brownian Input
1995-06-13
Half-explicit Runge-Kutta methods with explicit stages for differential-algebraic systems of index 2
1998-06-10
M. Arnold
Generation of Efficient Interprocedural Analyzers With
1995-12-14
On Floating Point Errors in Cholesky
1994-10-08
James Demmel
An Actor Dependency Model of Organizational Work - With Application to Business Process Reengineering
1994-12-01
When Are Methods Complementary?
1998-10-13
Richard F. Paige
Hebbian Learning in Networks of Spiking Neurons Using Temporal Coding
1999-01-06
Application Scaling under Shared Virtual Memory on a Cluster of SMPs
1999-04-05
Euler Characteristics For Links Of Schubert Cells In The Space Of Complete Flags
1997-04-23
Analysis on Secret Sharing Schemes With Non-Graphical Access Structures
1997-06-26
Teamwork
1970-01-01
Adaptive Training Of Feedback Neural Networks For Non-Linear Filtering
1998-05-13
Agile Software Engineering Environment over the Internet
1998-01-18
Mikio Aoyama
A Critical Look at Critics in HTN Planning
1995-05-09
Conceptual Query Formulation and Retrieval
1998-02-11
How to Build Modeling Agents to Support Web Searchers
1997-06-09
Linear Feature Extractors Based on Mutual Information
1996-08-23
Software Agents: Completing Patterns and Constructing User Interfaces
1993-11-12
Deriving Properties of Belief Update from Theories of Action
1997-10-22
Orientation Contrast Sensitivity From Long-Range Interactions in Visual Cortex
1997-11-05
Efficient Parsing for Bilexical Context-Free Grammars and Head Automaton Grammars
1999-02-05
A Ruggedness Evaluation of Procedures for Damage Threshold Testing Optical Materials
1995-07-06
Implementation Approaches for Reconfigurable Logic Applications
1996-08-23
Unknown
1996-09-28
P. Doulai
Model Checking a Software Architecture
1999-04-16
The Ideas of Gravitational Effective Field Theory
1998-05-23
John F. Donoghue
Bell Laboratories Russian Text-To-Speech System
1998-03-12
Internet Protocols for Network-Attached Peripherals
1998-07-02
Supersymmetric Qcd Corrections To The Charged Higgs Boson Decay Of The Top Quark
1998-05-14
A Numerical Study of a Class of FETI Preconditioners for Mortar Finite Elements in Two Dimensions
1999-01-25
SCROOGE: Perceptually-Driven Polygon Reduction
1998-02-27
M. Reddy
Exon Shuffling in Protein Evolution: Evidence from Reading Frame Statistics
1997-11-06
SAHARA Semi-Automatic Help for Aerial Region Analysis
1999-01-27
Scalable High-Performance Event Filtering for Dynamic Multi-point Applications
1996-01-26
Douglas C. Schmidt
A Modeling Framework For Speech Motor Development And Kinematic Articulator Control
1995-06-08
Frank H. Guenther
Measuring the Effectiveness of Retrieval Systems that Create Rankings
1999-01-17
Submitted to
1998-06-16
D. Heath Jones
Genetic Algorithms for Generating Minimum Path Configurations
1996-05-03
Rover: A Toolkit for Mobile Information Access
1996-12-03
Office Note Series on Global Modeling and Data Assimilation
1997-09-15
Reasoning with Individuals in Concept Languages
1999-02-04
Andrea Schaerf
Challenges Concerning Public-Key in DCE
1996-12-07
Chapter 5: On the Orthogonality of Assignments and Procedures in ALGOL
1997-01-19
Local Type Argument Synthesis with Bounded Quantification
1997-11-12
Resource and Knowledge Discovery in Global Information Systems: A Multiple Layered Database Approach
1999-01-18
Masque/sql-- An Efficient and Portable Natural Language Query Interface for Relational Databases
1998-04-26
Connectionist Speaker Normalization And Adaptation
1998-03-29
Case: Interaction between Syntax and Discourse Grammar
1998-10-06
Traffic Characterization Algorithms for VBR Video in Multimedia Networks
1997-02-18
Vectorization of Multiple Small Matrix Problems
1994-04-13
A Short Trip to SU
1997-09-16
Phonetic Context-Dependency In a Hybrid ANN/HMM Speech Recognition System
1997-01-28
Segmentation of Natural Images using Hierarchical and Syntactic Methods
1998-05-04
Management of Sensori-Motor Activity in Mobile Robots
1998-07-11
The Swarm Simulation System: A Toolkit for Building Multi-agent Simulations
1999-03-17
Introducing Explanations In Temporal Object Specification
1997-02-17
D = 11 Supermembrane Instantons, ... Strings And The Super Toda Molecule
1998-05-23
Carlos Castro
Belief Modelling in Dialogues With Unreliable Input
1996-09-22
Unknown
1992-07-28
Characterizing Mildly Mixing Actions by Orbit Equivalence of Products
1998-03-17
Efficient Data Placement For Processor-In-Memory Array Processors
1997-08-21
New Multiparty Authentication Services and Key Agreement Protocols
1999-02-12
Erratum: Conditions For Optimality Of The Huffman Algorithm
1970-01-01
A Boundary Value Problem Approach to the Optimization of Chemical Processes Described by DAE Models
1997-04-03
Case-Based Initialization of Genetic Algorithms
1994-11-29
Efficient Software-Based Fault Isolation
1995-10-12
----------------- Anl-93/40 -----------------
1994-04-15
Andrew J. Conley
Globus: A Metacomputing Infrastructure Toolkit
1996-11-23
The Virtual System Model: A Scalable Approach to Organizing Large Systems
1992-12-09
Barry Clifford Neuman
MacromodelingOf Analog Circuits For Hierarchical Circuit Design
1996-02-13
Support for Nomadism in a Global Environment
1997-10-22
An Interpretation of Typed OOP in a Language with State
1995-02-02
Fault Tolerance Methods for Computing The Transitive Closure of A Database Relation
1998-08-03
J. Shao
Database Management for Interactive Display of Large Architectural Models
1997-02-04
Thomas A. Funkhouser
Evaluation of a Real-Time eXtensionRTX on Windows/NT
1999-04-12
The Robot Localization Problem
1995-08-10
Adaptation of Generic Models in Model-driven Knowledge Acquisition
1995-08-02
Klas Orsvarn
LIGHTNING Network and Systems Architecture
1996-12-05
Y. -j. Chen
Genetic Fuzzy Systems: A Tutorial
1997-12-11
Francisco Herrera
A Multiagent Planning Architecture
1998-03-23
Modeling Object Recognition as a Markov Decision Process
1996-05-15
Bruce A. Draper
Symbolic Equivalence Checking
1998-09-01
Classification in Feature-based Default Inheritance Hierarchies
1993-11-16
Marc Light
General Dynamic Routing with Per-Packet Delay Guarantees of
1997-11-26
Distributed Generation of Suffix Arrays
1997-05-07
Tight Upper Bounds for Cell Loss Probabilities in ATM Multiplexers and Required Bandwidth Estimation
1997-08-19
Experiments for Advanced Backbone Services
1997-07-01
Three-Dimensional Object Recognition from Single Two-Dimensional Images
1998-02-06
David G. Lowe
Maneuverable Nurbs Models Within A Haptic Virtual Environment
1997-08-21
SCAM: A Copy Detection Mechanism for Digital Documents
1995-07-27
Minimizing ROBDD Sizes of Incompletely Specified Boolean Functions by Exploiting Strong Symmetries
1997-02-04
Michael A. Casey, William G. Gardner, Sumit Basu
1995-10-06
Autonomous Agents, AI and Chaos Theory
1999-01-19
George Kiss
Direct Physical Modeling and Automatic Code Generation for Mechatronics Simulation
1997-02-27
Issues in the Design and Implementation of User-Level DMA
1997-06-23
Ejava - Causal Extensions For Java
1998-08-03
Unknown
1998-10-16
Solving Geometric Constraints By Homotopy
1970-01-01
Dominique Michelucci
Using Lexical Chains to Build Hypertext Links in Newspaper Articles
1996-09-04
Stephen J. Green
Wave-Indices: Indexing Evolving Databases
1998-12-27
EulerGROMOS
1995-11-22
Two Novel Multiway Circuit Partitioning Algorithms Using Relaxed Locking
1996-07-18
Identifying Tuple Usage Patterns in an Optimizing Linda Compiler
1997-09-22
Deinterleaving Radar Pulse Trains Using Neural Networks
1996-12-09
M USLI: A Classification Scheme For Laryngealizations
1994-12-16
Handling Continuous Media in Mobile Computing Environment
1996-04-05
An Approach to Quality of Service Management in Distributed Multimedia Application: Design and an Implementation
1997-12-02
Scalable Trigram Backoff Language Models
1996-06-24
Data Semantics:
1995-10-16
A. Sheth
Maximal Smoothings of Real Plane Curve Singular Points
1998-12-21
Forward Jet and Particle Production at HERA
1998-09-24
Communicating with Low-Diffraction Lasers and Mirrors
1995-01-04
Richard Beigel
Fine-Grained Object Based Load Distribution
1998-08-25
Christian Damsgaard Jensen
How to Break Another "Provably Secure" Payment System
1996-09-20
Unsupervised Classification with Non-Gaussian Mixture Models using ICA
1998-12-30
Rationality and Intelligence
1997-01-30
Stuart Russell
Deductive Repository Technology: Supporting Effective Domain Modelling and Validation
1996-01-05
Finite Fields in AXIOM
1997-08-12
Competitive Equilibrium
1997-01-13
Amy Greenwald
Efficient Computation of Fixpoints that Arise in Complex Program Analysis
1992-12-02
PKCS #7: Cryptographic Message Syntax Standard
1993-03-23
Improved Algorithms for Topic Distillation in a Hyperlinked Environment
1998-05-13
A Cluster-based Approach for Routing in Dynamic Networks
1997-08-14
Transition De Phase Pour Le Mod ` Ele De Kac En Dimension Deux.
1997-12-16
Thierry Bodineau
Exploiting A Priori Information In Multiple-Channel Signal Detection
1998-09-12
Dieter Fox
1998-09-29
Reliable Communication over Partially Authenticated Networks
1998-01-15
Modelling Support for Network-Based Multimedia Presentation
1997-11-07
A Utility Cognizant Approach to Handling Mixed Transaction Workload in Database Systems
1997-04-04
Network Performance Effects of HTTP/1.1, CSS1, and PNG
1997-06-25
When Gravity Fails: Local Search Topology
1997-12-28
Object Test Coverage Using Finite State Machines
1995-11-19
Minimal Covers of Maximal Antichains for Interval Orders
1997-08-07
Holist and Serialist Strategies in Complex Reasoning Tasks: Cognitive Style and Strategy Change
1998-03-20
Flow Analysis in the Geometry of Interaction
1996-12-04
On Fixed Gain Recursive Estimation Processes
1998-03-17
Accelerating Partial Order Planners by Improving Plan and Goal Choices
1996-02-02
Ffl Ffl Ffl
1998-06-05
An Overview of
1996-04-05
Even with Arbitrary Transfer Functions, RCC Cannot Compute Certain FSA
1996-09-24
Mark Ring
Approximate Solutions of Nonlinear Conservation Laws and Related Equations
1997-04-08
From Rote Learning to System Building
1990-09-14
A Mechanistic Approach To The Prediction Of Material Removal Rates In Rotary Ultrasonic Machining
1994-08-18
Fifth MSI-Stony Brook Workshop on Computational Geometry - Abstracts of Talks
1995-10-28
On Unique Satisfiability and the Threshold Behavior of Randomized Reductions
1994-06-03
On The Rapid Computation Of Various Polylogarithmic Constants
1999-01-04
A Neuro-Dynamic Programming Approach To Admission Control In Atm Networks: The Single Link Case
1999-02-24
Learning Changing Concepts by Exploiting the Structure of Change
1998-09-20
Characterizing the Run-time Behavior of Stochastic Local Search
1998-02-09
On the Importance of Checking Cryptographic Protocols for Faults
1997-07-21
Compile-time Inter-query Dependence Analysis
1997-11-20
Conflict Detection and Resolution in Collaborative Planning
1996-06-27
LMS-Based Simplifications to the Kalman Filter Multiuser CDMA Detector
1998-12-24
Automated Tracking and Grasping of a Moving Object with a Robotic Hand-Eye System
1994-06-20
File : Compact
1993-04-02
On ... Control for Dead-Time Systems
1997-12-02
Nondestructive Evaluation of Plates Using Eddy Current Methods
1997-02-04
Finite Element Solution of an Improperly Posed Elliptic Cauchy Problem
1999-04-08
W. Lucht
Atkin's Test: News From The Front
1991-03-07
Exploiting the Locality of Data Structures in Multithreaded Architecture
1998-01-05
Caching in with Multigrid Algorithms: Problems in Two Dimensions
1996-06-22
Craig C. Douglas
List Processing in Real Time on a Serial Computer
1994-12-07
Henry G. Baker
LSBATCH: A Distributed Load Sharing Batch System
1995-03-07
IaDEA: A Development Environment Architecture for Building Generic Intelligent User Interface Agents
1998-04-28
Fast Bypass Algorithms for High-Speed Networks
1995-03-23
Long Term Monitoring of Tilecal Response in ATLAS: Design Considerations
1999-03-23
Inductive Hypothesis Validation and Bias Selection in Unsupervised Learning
1997-07-10
Some Improvements To The Shenoy-Shafer And Hugin Architectures For Computing Marginals
1999-02-03
The DigitalDesk Calculator: Tactile Manipulation on a Desk Top Display
1993-03-08
Pierre Wellner
Corporate Hedging: What, Why and How?
1998-12-08
Michael P. Ross
Artificial Intelligence and Intrusion Detection: Current and Future Directions
1996-10-03
Jeremy Frank
Optimal Algorithms for Finding Nearest Common Ancestors in Dynamic Trees
1996-02-08
Stephen Alstrup
Branching Ratios in Proton Antiproton Annihilation at Rest from Large
1998-05-15
Efficient Parallel Evaluation of Straight-line Code and Arithmetic Circuits
1997-05-14
Multimessage Multicasting with Forwarding
1996-10-17
Teofilo F. Gonzalez
A Framework for Argumentation-Based Negotiation
1998-08-27
Speedup of Band Linear Recurrences in the Presence of Resource Constraints
1996-06-05
Autolink - Putting SDL-based test generation into practice
1998-06-12
Far-Infrared Spectroscopy Of Normal Galaxies With Iso-Lws
1999-03-08
<E-385>by
1998-11-25
Richard S. Stevens<e
Representation and Learnability in Visual Languages for Web-based Interpersonal Communication
1997-07-16
Steven L. Tanimoto
A Framework for Ad-Hoc Type Inference
1995-01-18
Quantization For Distributed Estimation With Communication And Storage Constraints
1997-10-28
Least Squares Integration of One-Dimensional Codistributions with Application to Approximate Feedback Linearization
1996-01-10
Leveled Commitment Contracting among Myopic Individually Rational Agents
1998-12-16
The Emergence of Phonology from the Interplay of Speech Comprehension and Production: A Distributed Connectionist Approach
1998-02-03
Monadic Simultaneous Rigid
1998-10-25
Yuri Gurevich
The Evaluation Of Image Quality For Training Simulators Using Artificial Intelligence
1995-07-25
Information Theoretic Implications of Embodiment for Neural Network Learning
1997-07-15
The Impact of Spatial Layout of Jobs on Parallel I/O Performance
1999-02-10
A Simple Framework For Filtering Queued Smtp Mail cyberwar Countermeasures
1998-12-10
Parallelizing The Qr Algorithm For The Unsymmetric Algebraic Eigenvalue Problem: Myths And Reality
1994-10-08
A Taxonomy of Correctness Criteria in Database Applications
1995-10-26
Iterative Methods for the Solution of Very Large Complex Symmetric Linear Systems of Equations in Electrodynamics
1996-04-09
The Sleep Set Method Revisited
1994-11-13
Kimmo Varpaaniemi
Discrete-Time Rigidity-Constrained Optical Flow
1997-06-10
Portable Self-Describing Binary Data Streams
1995-10-27
Greg Eisenhauer
Periodic Sorting On Two-Dimensional Meshes
1994-06-16
Rolf Wanka
Radio CBR - An Application Proposal
1999-03-29
Conor Hayes
Vertex Splitting and Tension-Free Layout
1995-08-29
Aligning Sentences In Bilingual Corpora Using Lexical Information
1995-04-11
Stanley F. Chen
A Top-10 Approach to Prefetching on the Web
1996-08-30
The Role Of WordNet in The Creation of a Trainable Message Understanding System
1997-03-27
Reliable Hardware Barrier Synchronization Schemes
1996-09-25
Ustat : A Real-time Intrusion Detection System for Unix
1994-11-15
Koral Ilgun
Physics Opportunities Above the Greisen-Zatsepin-Kuzmin Cutoff: Lorentz Symmetry Violation at the Planck Scale
1997-12-26
Luis Gonzalez-mestres
CDF/PUB/EXOTIC/CDFR/3440 FERMILAB-PUB-96/029-E Search for Chargino-Neutralino Production in
1998-05-25
Specifying Complex and Structured Systems with Evolving Algebras
1997-12-18
Wolfgang May
Operating System Support for Easy Development of Distributed File Systems
1998-08-06
On-Line Stochastic Processes in Data Compression
1997-03-19
Suzanne Bunton
Planning Robot Motion Strategies under Geometric Uncertainty Constraints
1998-04-09
Feature Normalization for Video Indexing and Retrieval
1997-02-24
On the reformulation of nonlinear complementarity problems using the Fischer-Burmeister function
1999-03-11
Roberto Andreani
Analyzing Traffic Flow By A Cellular Automaton
1998-07-02
Untraceable Mobility or How to Travel
1999-01-15
Mots Autodescriptifs Et Co-Descriptifs
1970-01-01
Bernard Germain-bonne
The Artificial Evolution of Cooperation
1998-09-10
Nicolas Meuleau
Recognition by Prototypes
1995-05-17
Ronen Basri
An Annotation Scheme for Free Word Order Languages
1997-07-17
ObjectStream: Generating Stream-Based Object I/O for C++
1998-12-20
Noncommutative Lattices And Their Continuum Limits
1997-04-26
On Multi-User Write-Efficient Memories
1999-04-21
Simultaneous Quantifier Elimination
1998-10-02
Creating a Research Infrastructure for Reengineering
1996-05-07
Modal Deduction in Second-Order Logic and Set Theory
1995-02-08
Heisenberg Spin Glass on a Hypercubic Cell
1996-07-18
Daniel A. Stariolo
Statistics Under the BST Model
1994-10-26
Departament Llenguatges
Image Enhancement By Nonlinear Wavelet Processing
1998-04-09
J. E. Odegard
Atomoid: A New Prospect in Reaction-Formation System Spontaneous Hypercycles Guided by Dissipative Structural Properties
1998-07-22
Published in Proceedings of the IEEE Virtual Reality Annual International Symposium 1997 VRAIS'97, IEEE Computer Society Press, 121-128
1997-06-03
More on Critical Phenomena in Growth Systems
1997-04-26
Andrei Toom
Bandwidth Scheduling for Wide-Area ATM Networks Using Virtual Finishing Times
1995-10-05
ATM, AAL5 and Multimedia Devices
1993-08-11
The Transactional Object Cache as a Basis for Persistent Java System Construction
1997-07-24
Lower Bounds for Identifying Subset Members with Subset Queries
1999-03-12
E. Knill
Efficiently Computing a Good Segmentation
1998-10-09
Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes
1995-01-16
A Real-Time Concurrency Control Protocol For Main-Memory Database Systems
1998-11-25
Ozg Ur Ulusoy
Cilk 2.0 Reference Manual
1970-01-01
Cut Times For Simple Random Walk
1996-10-21
Gregory F. Lawler
Rational Series over Dioids and Discrete Event Systems
1996-05-20
Stephane Gaubert
Transinformation of Object Recognition and its Application to Viewpoint Planning
1997-12-17
The Need for a Failure Model for Security
1995-02-17
Catherine Meadows
Towards A Cat/cal Software Autoadapting To End-User Learning-Style
1996-04-03
WebOS: Operating System Services for Wide Area Applications
1997-12-03
Lessons Learned from SUIT, the Simple User Interface Toolkit
1994-10-29
Hypertext Paths and the World-Wide Web: Experiences with Walden's Paths
1997-11-10
Cohomology Rings of Symplectic Cuts
1998-10-19
Fully Automated Image Registration of DSA Images with Combined Small Markers
1997-08-15
Cooperation In A Multi-Agent Community
1999-01-19
TACTICS for User Interface Design: Coupling the Compositional and Transformational Approach
1993-10-28
Srdjan Kovacevic
Monadic State: Axiomatization and Type Safety
1997-04-08
Passive Detection of Sporadic E Using GPS Phase Measurements
1997-05-12
Architecture and Implementation of the Active Object-Oriented Database Management System SAMOS
1995-12-07
Advanced Visual Surveillance using Bayesian Networks
1995-09-25
Unknown
1996-01-04
Dual-Buffering Strategies in Object Bases
1994-05-17
An Algebraic Framework for Separate Type-Checking
1998-08-05
Davide Ancona
Adaptive Approach To Blind Source Separation With Cancellation Of Additive And Convolutional Noise
1998-07-28
Limitations of the QRQW and EREW PRAM Models
1996-09-12
Krzysztof Lorys
Dim A Distributed Information Management System For The Delphi Experiment At Cern
1995-01-30
Efficient Process Migration for Parallel Processing on Non-Dedicated Networks of Workstations
1970-01-01
Attempto Controlled Natural Language for Requirements Specifications
1998-07-22
Characterization and Modeling of MPEG Video Traffic on Multiple Timescales
1995-05-05
Nemo Semret
Noise Reduction Of Speech Signals Using The Rank-Revealing Ullv Decomposition
1997-12-12
Combining Automatic and Manual Index Representations in Probabilistic Retrieval
1994-06-13
Fluctuations In The Hopfield Model At The Critical Temperature
1998-12-15
Barbara Gentz
On A Perturbation Approach For The Analysis Of Stochastic Tracking Algorithms
1997-12-17
A Programming Interface for Application-Aware Adaptation in Mobile Computing
1997-05-24
All Geometries of the Mathieu Group M11 Based on Maximal Subgroups
1996-08-20
AA manuscript no.
1998-05-24
A Parameter-Based Message-Passing Parser for MT of Korean and English
1998-05-20
Composition and Refinement Mapping based Construction of Distributed Applications
1994-09-21
Logical and Physical Versioning in Main Memory Databases
1997-06-26
Metadatabase and Search Agent for Multimedia Database Access over Internet
1997-01-01
Nouns and Verbs in Tagalog: a reply to Foley
1998-06-19
Paul Kroeger
Parameter-Induced Aliasing and Related Problems can be Avoided Towards a More Abstract View of Variables
1998-03-30
Towards A More
Quadratic Filters for Object Classification and Detection
1997-03-24
Semantics of Horn and Disjunctive Logic Programs
1995-09-10
The Open Information Locator Project
1995-11-10
Rethinking Grounding
1998-07-13
Tom Ziemke
A Unified Gradient-Descent/Clustering Architecture for Finite State Machine Induction
1994-01-15
Towards Supporting Hard Schema Changes in TSE
1995-08-23
Spherical functions and conformal densities on spherically symmetric CAT-1-spaces
1998-06-25
Case-based Reasoning for the Case Method
1995-06-14
Stephen Slade
Regularization Tools for Training Large-Scale Neural Networks
1996-05-14
A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty
1995-11-17
Objects in Forum
1995-10-14
Near Optimal Hierarchical Encoding of Types
1997-02-05
Identical Parallel Machines Vs. Unit-Time Shops, Preemptions Vs. Chains, And Other Offsets In Scheduling Complexity
1998-07-30
Vadim G. Timkovsky
Recent Enhancements to PVM
1995-10-16
A Penalized Fischer-Burmeister Ncp-Function: Theoretical Investigation And Numerical Results
1997-09-16
A Calculus Supporting Structured Proofs
1999-01-29
Probabilistic Constraints in Language Acquisition
1997-10-28
Semi-Definite Relaxations for Minimum Bandwidth and other Vertex-Ordering problems
1998-12-15
The Parallel Asynchronous Recursion Model
1995-09-08
On a Multi--Objective Evolutionary Algorithm and Its Convergence to the Pareto Set
1998-07-13
Gunter Rudolph
Design, Implementation, and Evaluation of a Software-based Real-Time Ethernet Protocol
1998-01-30
Deciphering Core Collapse Supernovae: Is Convection the Key? I. Prompt Convection
1996-11-20
The Improved Unsymmetric Lanczos Process on Massively Distributed Memory Computers
1997-03-16
Tianruo Yang
ASHISH MEHRA ashish@eecs.umich.edu
1970-01-01
Unknown
1996-07-12
The Mobile People Architecture
1999-02-02
Six--jet decay of off--shell WW pairs at
1998-05-25
Limit sets of free groups, Hausdorff dimension and subshifts of finite type
1996-03-06
Shmuel Friedland
Task Dependence and Termination in Ada
1997-10-28
Laura K. Dillon
A New Model for Algorithm Animation Over the WWW
1996-10-03
Real Quantifier Elimination in Practice
1998-09-10
Matrix Representation of Linear Operators on Product Spaces
1997-08-07
Klaus-j. Engel
Animal and Robot Navigation
1995-06-17
Ulrich Nehmzow
Perturbative Universality in Soft Particle Production
1997-11-19
FOCUS: The Interactive Table for Product Comparison and Selection
1996-12-02
Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults
1995-06-29
Dramatic Presence
1994-03-15
On Automatic Differentiation of Codes with COMPLEX Arithmetic with Respect to Real Variables
1995-08-11
Stochastic Process Algebras
1997-06-25
The J-Machine Multicomputer: An Architectural Evaluation
1996-09-08
Sharpening Enhancement of Digitized Mammograms with Complex Symmetric Daubechies Wavelets
1996-01-10
A Status Report on Research in Transparent Informed Prefetching
1996-09-27
A Parallel Algorithm for Approximating the Minimum Cycle Cover
1996-08-20
Tracking Myocardial Deformation Using Spatially-Constrained Velocities
1996-01-19
Zippering: Managing Intermittent Connectivity in DIANA
1996-02-13
Extending Dixon's Resultant by Using Pseudo-Inverse Matrices and Its Applications to Geometric Reasoning
1998-02-10
Tran Quoc-nam
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems
1998-12-28
Julia Padberg
A Framework for the Manipulation of a Multiversion Database
1996-10-29
On The Statistical Properties Of Diffie-Hellman Distributions
1998-11-12
A Compiler Supporting Distributed Shared Memory System
1997-12-02
Quality Enhancement Of Coded And Corrupted Speeches In Gsm Mobile Systems Using Residual Redundancy
1997-03-21
Splitting in large dimension and infrared estimates II - Moment inequalities
1997-04-26
B. Helffer
The Geometry of Halo Orbits in the Circular Restricted Three-Body Problem
1996-10-25
Type Specialisation for the
1996-03-29
John Hughes
Emerging Tools for Experimental Mathematics
1998-12-09
: A C++ Library for Automata and Expressions
1995-03-20
Structure and Returns to Scale of Real-Time Hierarchical Resource Allocation
1998-10-30
Timothy Van Zandt
Small Scale Processes and Entrainment in a Stratocumulus Marine Boundary Layer
1999-01-11
Limiting Cases of Impulsive Manipulation
1997-01-29
Inferring Structure in Semistructured Data
1997-04-22
Object-Oriented Specifications of Distributed Systems in theľ-Calculus and Maude
1999-03-22
Ulrike Lechner
Early CAE promises
1997-11-14
Yoram Reich
Complexity Results for Blocks-World Planning
1995-02-17
Discovering Generalized Episodes Using Minimal Occurrences
1997-02-28
Historical Links to a Lie Theory of Semigroups
1995-08-21
Parallel Image Compression on a Workstationcluster using PVM
1996-10-10
A. Uhl
Vertex Operators in Algebraic Topology
1998-04-14
Andrew Baker
Client-Network Interaction in a Real-Time Communication Environment
1992-11-19
Learning the Suitability of Simple Behaviors to Obtain Composite Behaviors for Autonomous Agents
1996-06-10
Andrea Bonarini
High Performance Principal Component Analysis with ParAL
1998-03-12
Marwan A. Jabri
Transformation and Exchange of Multimedia Objects in Distributed Multimedia Systems
1997-03-25
Quality of Service Routing for Supporting Multimedia Applications
1996-04-10
An Algebra of Mixin Modules
1997-10-09
Parallel Genetic Algorithms
1995-10-06
Efficient B-rep Generation of Low Degree Sculptured Solids using Exact Arithmetic
1997-06-30
The Karlsruhe-Verbmobil Speech Recognition Engine
1997-05-02
Dynamic Video Coding - An Overview
1998-08-06
Shade: A Fast Instruction-Set Simulator for Execution Profiling
1995-07-31
Robert F. Cmelik
Using a Case Base of Surfaces to Speed-Up Reinforcement Learning
1997-08-08
Chris Drummond
An Explicit Large Versus Small Field Multiscale Cluster Expansion
1997-04-26
Supporting Complexity in Distributed Virtual Reality Systems
1970-01-01
Chris Greenhalgh
LIBTP: Portable, Modular Transactions for UNIX
1999-01-27
Michael Olson
Two-Dimensional Superfluids
1997-02-04
A. P. Young
Time-Optimal Algorithms for Generalized Dominance Computation and Related Problems on Mesh Connected Computers and Meshes with Multiple Broadcasting
1997-01-19
Ion Stoica
Specializing Object-Oriented RPC for Functionality and Performance
1998-03-10
Applying Compiler Techniques to Cache Behavior Prediction
1997-07-10
Assigning Real-Time Tasks to Homogeneous Multiprocessor Systems
1994-01-07
On the Instanton Contributions to the Masses and Couplings of
1998-05-23
Trends and Open Problems in the Theory of Random Dynamical Systems
1997-11-18
Ludwig Arnold
Complexity issues in Markov decision processes
1998-05-05
Practical Experience in the Dangers of Heterogeneous Computing
1996-08-30
Trace-Driven Simulation of Data-Alignment and other Factors affecting Update and Invalidate Based Coherent Memory
1995-11-06
Non-systematic Search and Learning: An empirical study
1998-11-06
All 0-1 Polytopes are Traveling Salesman Polytopes
1994-06-13
L. J. Billera
Time Series Prediction by Using a Connectionist Network with Internal Delay Lines
1999-02-05
Eric A. Wan
Asymptotically Optimal Sequential Tests For Nonhomogeneous Processes
1997-06-10
Alexander Tartakovsky
Performance of Barrier Synchronization Methods in a Multi-Access Network
1970-01-01
Customized Dynamic Load Balancing for a Network of Workstations
1998-05-04
Multiframe Structure from Motion in Perspective
1995-04-12
John Oliensis
Instruction Level Power Analysis and Optimization of Software
1996-08-09
Low-Power Low-Voltage Chopped Amplifier with a New Class AB Output Stage for Mixed Level Applications
1997-12-22
LINCKS - A Platform for Computer Supported Cooperative Work
1994-09-16
Martin Sjolin
Transformations of Gibbs measures
1997-11-13
E Velde
Combining Lazy Narrowing with Disequality Constraints
1998-04-27
Ana Gil-luezas
The Bucket Box Intersection bbi Algorithm For Fast Approximative Evaluation Of Diagonal Mixture Gaussians
1997-02-06
A Unified Formalization of Four Shared-Memory Models
1992-09-15
Fast Decoding Algorithms for Fractal Image Compression Institut fur Informatik --- Report 86
1997-03-18
Raouf Hamzaoui
The Convex Analysis of Unitarily Invariant Matrix Functions
1995-10-27
A. S. Lewis
Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components
1994-06-02
Solving Optimisation Problems with Catamorphisms
1996-09-17
Time-Scale Detection of Microemboli in Flowing Blood with Doppler Ultrasound
1998-10-23
Modelling Water Quality for Water Distribution Systems
1999-02-19
Easier Ways to Win Logical Games
1997-05-26
Ronald Fagin
Experiences with a Mobile Testbed
1998-06-15
A Stochastic Case Frame Approach for Natural Language Understanding
1997-02-06
Topics in Singular Perturbations and Hybrid Asymptotic-Numerical Methods
1995-07-10
Michael J. Ward
A simple language for generic dialogues: "Speech acts" for communication
1998-04-29
Stefano A. Cerri
A CSP approach to sequential consistency
1994-02-01
Gavin Lowe
Making Complex Timing Relationships Readable: Presburger Formula Simplification using Don't Cares
1997-10-14
Domains: A Framework For Structuring Management Policy
1992-11-01
SLICOT Drives Tractors!
1999-02-05
Peter Benner
An Analytical Theory of Mathematical Morphology
1993-11-29
Memory Management Hardware, and its Support for Operating Systems
1996-04-01
Physics and chemistry of the Purcell's alignment
1998-05-12
A. Lazarian
General Algorithms for Permutations in Equational Inference
1998-07-06
FFTs in External or Hierarchical Memory David H. Bailey December 30, 1989 Ref:
1998-11-05
David H. Bailey
Hardware/Software Codesign of the Stanford FLASH Multiprocessor
1997-12-20
On the Intersection Multiplicity of Images by an Etale Morphism
1997-03-10
Krzysztof Jan Nowak
A Reflective Implementation of a Distributed Programming Model
1998-06-30
A Limit Evolution Problem for Time-Dependent Point Interactions
1997-04-26
MACA-BI MACA By Invitation - A Receiver Oriented Access Protocol for Wireless Multihop Networks
1970-01-01
Random Walk Construction of Spinor Fields on Three Dimensional Lattice
1998-05-23
Design and Implementation of an Adaptive Task Mapping Environment for Parallel Programming
1998-05-08
Finite Size Scaling of Branch-Points in Lattice Models
1996-04-26
Charged Particle Cross Sections in Photoproduction and Extraction of the Gluon Density in the Photon
1998-10-07
H Collaboration
Optimizing Relational Queries by Materializing Natural Joins
1998-03-26
A Procedure For 3d Motion Estimation From Stereo Image Sequences For A Mobile Mapping System
1998-06-22
Compressing TCP/IP Headers for Low-Speed Serial Links
1990-03-02
Contour Matching Using Epipolar Geometry
1998-11-24
A Fast On Algorithm For Adaptive Filter Bank Design
1997-11-19
A Provably Good Multilayer Topological Planar Routing Algorithm In IC Layout Designs
1995-07-09
Utopia: A Load Sharing Facility for Large, Heterogeneous Distributed Computer Systems
1995-03-18
Efficient Lossless Coding Of Medical Image Volumes Using Reversible Integer Wavelet Transforms
1998-01-20
Extraordinary Behavior in Correlated Site-Bond Percolation
1970-01-01
See Me, Hear Me: Integrating Automatic Speech Recognition And Lip-Reading
1995-08-21
Dimitris Lioupis, Andreas Pipis, Michael Stefanidakis
1998-02-18
Field theory and KAM tori
1995-09-11
The Compositional Rule of Inference: Introduction, . . .
1998-09-06
Speech Recognition by Composition of Weighted Finite Automata
1999-01-01
Knowledge Reuse in Multiple Classifier Systems
1998-03-24
A Modular Algebraic Multilevel Method
1999-01-29
J Urgen Fuhrmann
Analyses and Optimizations for Shared Address Space Programs
1998-01-29
A Constraint Satisfaction Framework for Decision Under Uncertainty
1995-06-29
Dynamic Query Operator Scheduling for Wide-Area Remote Access
1998-03-06
Michael J. Franklin
Predicting Time Series with Support Vector Machines
1997-05-15
The SAGA Cross: The Mechanics of Recombination for Species with Variable-length Genotypes
1997-07-16
Applying Plan Recognition Algorithms to Program Understanding
1998-09-10
A Note on Large Graphs of Diameter Two and Given Maximum Degree
1997-01-09
Alternating-time Temporal Logic
1997-08-18
Mahesh Jayaram
1996-04-12
Mahesh Jayaram
Lower Power Bus Encoding
1999-03-25
Dialog Act Classification With The Help Of Prosody
1996-05-24
J. A. Sellwood
1997-01-10
J. A. Sellwood
EvolvingAlgebras 1993: Lipari Guide
1996-06-24
Yuri Gurevich
Unknown
1998-01-10
Multiple Scattering as a Diffusion Process
1995-05-31
Jos Stam
A Unix Network Protocol Security Study: Network Information Service
1993-05-03
On a Problem of Potential Wells
1995-10-27
Reasoning about Information Change
1996-12-13
A Recurrence for Counting Graphical Partitions
1997-12-26
Physical Modeling of Controlled Aircraft
1997-02-06
Dieter Moormann
Hardware Solutions for Evolutionary Robotics
1998-01-27
Dario Floreano
Computer-Assisted Gripper and Fixture Customization via Rapid Prototyping
1998-08-07
Journal of Graph Algorithms and Applications
1997-11-09
M 'etodos Explicitos Por Ajuste De Exponencial Para Simulacao Electrica De Circuitos Em Arquitecturas Paralelas
1995-04-03
Semantic and Pragmatic Relations and Their Intended Effects
1998-08-19
Alistair Knott
Charging And Accounting Architecture For IP Multicast Is Over ATM
1998-06-15
Entropy for Translation-Invariant Random-Cluster Measures
1997-04-26
Stabilization of TVAR models: A Regularization Approach
1999-03-08
Independent Component Analysis in the Presence of Gaussian Noise by Maximizing Joint Likelihood
1998-06-23
Aapo Hyvrinen
A Type-based Diagnoser for CHIP
1998-11-02
Marco Comini W/lodek Drabent
Pattern Search Methods For Linearly Constrained Minimization
1998-12-22
Reusable Software in Computer Vision
1998-08-06
An Asynchronous Process Algebra with Multiple Clocks
1997-02-19
Message-Passing Performance of Various Computers
1997-01-25
Further Experimental Evidence against the Utility of Occam's Razor
1998-06-16
Geoffrey I. Webb
A Tupleware Approach To Domain Decomposition Methods
1997-06-25
Craig C. Douglas
A Distributed Implementation of the Land-Use Change Analysis System LUCAS Using PVM
1997-07-29
Sound Change In Functional Phonology
1970-01-01
Paul Boersma
Scannerless generalized-lr parsing Eelco Visser
1999-03-16
How to Write a Proof
1994-07-25
Supporting Document
1998-06-05
M arten Gulliksson and Per- Ake Wedin
1999-02-26
Squeezed Thermal Vacuum and the Maximum Scale for Inflation
1995-11-24
Computing Time-Varying Stability Radii Via Discounted Optimal Control
1997-08-18
Fabian Wirth
View-based Object Recognition Using Image Lines
1997-12-10
Encoding of Analog Signals for Binary Digital Channel
1997-11-19
Sergei L. Bezrukov
Towards a Formal Treatment of Implicit Invocation
1997-09-29
A Visual Object-Oriented Multimodeling Design Approach for Physical Modeling
1970-01-01
Paul A. Fishwick
Behavioral Representations for VCO and Detectors in Phase-Lock Systems
1995-04-04
Partial Correctness for Probabilistic Demonic Programs
1997-11-12
A geometrical version of Noether's theorem in supermechanics.
1998-05-12
Communicating Evolving Algebras
1997-05-15
Towards Realistic Dynamic Simulation: Deformations and Collisions Models
1998-04-09
How to Respond to Student Initiatives in Tutoring Systems
1996-04-22
Class Refinement and Interface Refinement in Object-Oriented Programs
1998-09-06
Anna Mikhajlova
Can Punctuation Help Parsing?
1995-08-30
Bernard E M Jones
Easily Computable Optimum Grasps in 2-D and 3-D
1995-08-18
Spherical Wave Front Generation in Lattice Computers
1995-05-03
Grounding Robotic Control with Genetic Neural Networks
1995-02-10
Plugging Anti And Output Dependence Removal Techniques Into Loop Parallelization Algorithms
1998-05-19
From HTML to usable data Problems in meaning and credibility in the WWW
1998-05-06
Designing Record Systems
1997-05-02
Martin Sulzmann
Type Inference with Constrained Types
1998-10-09
Motion Planning on a Graph
1997-09-04
A Formal Approach for Horizontal Fragmentation in Distributed Deductive Database Design
1996-10-05
Beyond Time-Frequency Analysis: Energy Densities In One And Many Dimensions
1998-04-09
Richard G. Baraniuk
Amalgam Spaces and Generalized Harmonic Analysis
1999-03-31
Hans G. Feichtinger
An Approach for Improving Execution Performance in Inference Network Based Information Retrieval
1994-10-25
Eric W. Brown
Implementing Fine-Grain Distributed Shared Memory On Commodity SMP Workstations
1999-01-17
A Formal Specification in Z of the Relational Data Model, Version 2, of E. F. Codd
1995-05-29
On the Dynamic Persistence of Cooperation: How Lower Fitness Induces Higher Survivability
1999-04-08
The Nature of Synchronisation
1998-05-13
Jane Hillston
Cryptography in OpenBSD: An Overview
1999-04-26
Instructions to Authors
1995-07-02
Hamiltonians on Random Walk Trajectories Pablo A. Ferrari
1997-09-01
Pablo A. Ferrari
ATM Rate Based Congestion Control Using a Smith Predictor: an EPRCA Implementation
1999-03-27
Maintaining Integrity Constraints across Versions in a Database
1996-10-29
Stochastically Guided Disjunctive Version Space Learning
1998-02-17
INCOME/STAR: Facing the Challenges for Cooperative Information System Development Environments
1970-01-01
Motion Verbs and Semantic Features in TAG
1998-12-31
Image Compression via Joint Statistical Characterization in the Wavelet Domain
1999-04-19
Organization of Knowledge using Order Factors
1997-04-21
Multi-agent 3D tracking and segmentation using stereo
1993-11-19
The Control Component of OMRS
1997-04-16
Alessandro Coglio
A High Performance Runtime System for Parallel Evaluation of Lazy Languages
1994-09-16
Interactive Resource Allocation by Problem Decomposition and Temporal Abstractions
1995-11-11
Berthe Y. Choueiry
Prolog/Database Parallel Programming: The '?-aX,bY,cX,Y' Challenge
1998-10-13
On Parity Functions in Conformal Field Theories
1998-08-28
Verification Support Environment VSE
1998-02-27
The Linux CD-ROM HOWTO
1998-04-25
Experimenting with Nonmonotonic Reasoning
1970-01-01
Département de Mathématiques et Informatique
1996-07-05
Neil Ghani
Scheduling and Binding Bounds for RT-Level Symbolic Execution
1997-07-15
3D Surface Reconstruction Using Occluding Contours
1995-11-09
Improving the Efficiency of s Generation Algorithm for Shake and Bake Machine Translation Using Head-Driven Phrase Structure Grammar
1999-02-06
Fred Popowich
Hopf Bifurcation At K-Fold Resonances in Reversible Systems
1998-09-24
Redundancy and Inconsistency Detection in Large and Semi-structured Case Bases
1998-09-09
Acknowledgements
1993-06-23
Queries, Rules and Definitions as Epistemic Sentences in Concept Languages
1994-10-21
Efficient motion planning for an L-shaped object
1997-09-18
Multiway Cut
1999-02-03
A Fast Algorithm for Nonstationary Delay Estimation
1998-06-19
H. C. So
Parameterized Linear Systems in the Behavioral Approach
1998-04-22
Discriminability-Based Transfer between Neural Networks
1994-03-10
L. Y. Pratt
Safety and Security of Programmable Network Infrastructures
1998-09-08
An Application of Terminological Logics to Case-based Reasoning
1996-08-16
Jana Koehler
Light-Front View of The Axial Anomaly
1998-05-15
Chueng-ryong Ji
Object-Oriented Functional Spreadsheets
1970-01-01
Parsing of Context-Free Languages
1996-09-19
Telladoy, Ellen Khayata, and John M.
1996-11-23
Segmentation and Classification of Combined Optical and Radar Imagery
1999-01-06
Report of a Workshop on Future Directions in Programming Languages and Compilers
1996-06-11
Abstractions for Fault-Tolerance
1995-07-12
Fuzzy Control Revisited - Why Is It Working?
1996-01-16
Joachim Weisbrod
The Use of Overcomplete Logics in Summary Data Management
1970-01-01
John F. Roddick<e
A Parallel Genetic Algorithm for the Set Partitioning Problem
1994-09-06
David Levine
On Homotopy-Smoothing Methods for Variational Inequalities
1997-02-04
The Flux Phase Of The
1997-04-26
Elliott H. Lieb
Smith Theory and the Functor
1992-08-23
Making Paths Explicit in the Scout Operating System
1997-11-25
An Analytic Solution Method For Bi-Criteria Quadratic Network Programs
1995-06-08
Unit Commitment In Thermal Power Generation Using Genetic Algorithms
1970-01-01
Dipankar Dasgupta
Rollit: An Application Builder
1994-05-04
Lightweight Transactions on Networks of Workstations
1997-10-20
Combining Monaural Noise Reduction Algorithms And Perceptive Preprocessing For Robust Speech Recognition
1999-01-28
Legal Expert System KONTERM - Automatic Representation of Document Structure and Contents
1994-04-01
A Simple Mechanism For The Polygonalization Of Railway Wheels By Wear
1996-04-06
E. Brommundt
Structural Analysis
1996-02-06
Different States of Water in Hydrogels?
1998-04-14
Design Pattern Oriented Programming
1999-04-30
Target Reaching Behavior Learning with Occlusion Detection and Avoidance for A Stereo Vision-Based Mobile Robot
1996-06-11
On the Linear Compensation of Hysteresis.
1998-10-27
The rule of Littlewood/Richardson and its treatment by a computer
1995-08-21
Hartmut Schlosser
Necessary Conditions for Uniform Convergence of Finite Difference Schemes for Convection-Diffusion Problems With Exponential and Parabolic Layers
1995-11-30
Differences between Active-Explorers and Passive-Observers in Virtual Scene Recognition
1999-02-12
Finite Element Thin Plate Splines for Surface Fitting
1997-11-30
Explicit Parallel Programming in C++ based on the Message-Passing Interface MPI
1995-10-19
Rule Discovery in Alarm Databases
1997-04-16
Avoiding Memory Contention on Tightly Coupled Multiprocessors
1994-04-09
Sequential Bifurcation And Dynamic Rearrangement Of Columnar Patterns During Cortical Development
1997-05-15
Form Factors Of Semileptonic
1998-05-22
Exploiting Causal Independence in Bayesian Network Inference
1996-12-11
A Gauss-Seidel Type Solver for Special Convex Programs, with Application to Frictional Contact Mechanics
1996-04-03
E. A. H. Vollebregt
Molecular and Ionised Gas Motions in the Compact HII region G29.96--0.02
1999-01-18
S. L. Lumsden
Computational Methods for Local Regression
1991-06-29
Intelligent Robotic Systems in Service of the Disabled
1996-03-08
So Far Schematically yet So Near Semantically
1995-06-29
Amit Sheth
Artificial Evolution in the Physical World
1997-06-04
Adrian Thompson
Logical and Computational Aspects of Programming with Sets/Bags/Lists
1994-01-27
Requirements for an Effective Architecture Recovery Framework
1996-11-18
Dynamic Extentions of Self-Organizing Maps
1994-04-08
Wolfgang Rosenstiel
A Refinement of Ball's Theorem on Young Measures
1997-04-30
Norbert Hungerbuhler
Advanced Transaction Models in Workflow Contexts
1996-03-15
Mean field methods for classification with Gaussian processes
1998-12-22
Ole Winther
Global Optimization Using Local Information with Applications to Flow Control
1997-08-19
Approximate Scaling Properties of RNA Free Energy Landscapes
1995-09-27
Comment on "Possibility of quantum mechanics being nonlocal."
1998-10-22
Geometric Approach to Inverse Scattering for the Schrodinger Equation with Magnetic and Electric Potentials
1997-04-28
Silke Arians
Unknown
1995-06-27
Distributed Simulation of Timed Petri Nets: Exploiting the Net Structure to Obtain Efficiency
1995-06-01
Giovanni Chiola
Regularization of Prestack Data
1997-05-21
A. J. Berkhout
Concatenation-Based Greedy Heuristics for the Euclidean Steiner Tree Problem Extended Abstract
1998-01-26
Blind Source Separation using Algorithmic Information Theory
1998-04-21
Petteri Pajunen
Decision Trellis Models for Tuple Categorization in Databases
1996-07-01
Generating Test Matrices for the One- and Two-Sided Jacobi Methods
1999-01-19
A Comparison Of Two Paradigms For Distributed Computing
1994-03-21
Indexing SGML files using LT NSL
1998-07-17
Designing SpeechActs: Issues in Speech User Interfaces
1998-11-25
A Tool Set For Enterprise Modelling
1970-01-01
Jussi Stader
Data Retrieval Through Virtual Experimentation
1995-03-13
A High Performance Multimedia Server For Broadband Network Enviromment
1999-01-04
A State Aggregation Approach To Hierarchical Supervisory Control With Applications To A Transfer-Line Example
1998-08-19
A Genetic Algorithm for the Set Covering Problem
1994-10-06
Developing and Integrating PRODAG into the Arcadia Environment
1994-02-23
Generations of Quarks and Leptons from Noncompact Horizontal Symmetry
1998-05-23
Kenzo Inoue
Migrating from An Object Based Approach to an Object Oriented Approach to Software Design
1995-10-26
Combining a Connectionist Type Hierarchy with a Connectionist Rule-Based Reasoner
1997-07-31
Unknown
1999-01-21
Navier-Stokes equations for a stochastic particle systems on the lattice
1997-04-26
On Random Greedy Triangle Packing
1997-12-26
David A. Grable
Cohomology of Modules in the Principal Block of a Finite Group
1995-12-21
D. J. Benson
Penelope's Graph: A Hard Minimum Cost Tension Instance
1996-10-30
Malika Hadjiat
Complementary Cycles Containing Prescribed Vertices in Tournaments
1999-01-23
Pointwise estimates of the weighted Bergman projection kernel in C^n using a weighted L² estimate for the ... equation
1998-01-11
Henrik Delin
Never Look Back: An Alternative to Centering
1999-01-04
Michael Strube
Experimental Results on Variable Structure Adaptive Robot Control without Joint Velocity Measurement
1996-12-20
The Role of Lazy Evaluation in Amortized Data Structures
1996-05-28
Chris Okasaki
On the Convergence of Multipoint Iterations
1995-07-19
G. W. Stewart
Word Spotting: Indexing Handwritten Archives
1997-08-11
3D Recovery Using Calibrated Active Camera
1996-12-19
Asymmetric Coding in m-WFA Image Compression
1998-11-03
The Role of Commitment in Cooperative Negotiation
1994-11-08
Retargetable Assembly Code Generation by Bootstrapping
1998-06-17
A Formal Basis for the Perception of Programming as a Language Design Activity
1998-09-27
Stop-and-Go Service Using Hierarchical Round Robin
1997-08-07
S. Keshav
Early Visual Learning
1996-01-11
Adaptive Vocabularies For Transcribing Multilingual Broadcast News
1998-03-03
Inf'erence Grammaticale R'eguli`ere : Caract'erisation De L'ensemble Des Solutions Canoniques
1997-12-11
Jacques Nicolas
Dept. of Computer Science
1996-01-17
Contexts, Locality and Generality
1998-07-10
Hidden Markov Models in Computational Biology: Applications to Protein Modeling UCSC-CRL-93-32
1994-10-27
Navigating In Unfamiliar Geometric Terrain
1996-04-30
Tractable Partially Ordered Sets Derived from Root Systems and Biased Graphs
1997-08-25
Nuclear Mass Number
1998-01-13
Lawrence W. Townsend
Learning Autonomous Navigation Abilities Using Hyper Basis Functions Networks
1996-12-12
Movement, Activity, and Action: The Role of Knowledge in the Perception of Motion
1997-06-13
Aaron F. Bobick
-D Facial Pose and Gaze Point Estimation using a Robust Real-Time Tracking Paradigm
1998-06-13
Norms that Generate the Same Wijsman Topology on Convex Sets
1995-10-27
Pietro Poggi-corradini
Orthogonal Polynomials, L²-Spaces and ENTIRE FUNCTIONS
1997-04-29
Adaptive Vector Quantization Using Generalized Threshold Replenishment
1997-04-03
Re-opening Closures
1995-04-28
Incremental Gradient Algorithms With Stepsizes Bounded Away From Zero
1998-08-11
M. V. Solodov
A Simple Computational Market for Network Information Services
1997-12-01
A Theorem-Proving Approach to Jobshop Scheduling
1995-03-31
Francesca Toni
An Extension Of Zeilberger's Fast Algorithm To General Holonomic Functions
1998-07-02
Eric Chyzak
Automated Mathematical Induction
1995-02-16
On the Compactness of Bounded Degree Graphs for Shortest Path Interval Routing
1997-01-31
Cyril Gavoille
A Secure Environment for Untrusted Helper Applications
1996-06-12
Using Vapnik-Chervonenkis Dimension to Analyze the Testing Complexity of Program Segments
1994-09-22
Continuous and discrete wavelet X-ray transform
1999-01-20
Rob A. Zuidwijk
TPascal - A Language for Task Parallel Programming
1998-01-30
Reconfigurable Processor Employing Optical Channels
1998-07-07
Ralf Wieting Michael Sonnenschein
1995-07-26
A Method Of Blind Separation On Temporal Structure Of Signals
1998-07-08
Approximation Bounds for a General Class of Precedence Constrained Parallel Machine Scheduling Problems
1997-12-01
Inductive Definability with Counting on Finite Structures
1995-02-08
Reducing Overheadin Flow-Switched Networks: An Empirical Study of Web Traffic
1998-03-19
The Discrete 2-Center Problem
1997-07-18
User-Level DMA without Operating System Kernel Modification
1996-11-06
Monte Carlo simulations of 4d simplicial quantum gravity
1995-04-07
Fakult At F Ur Informatik
1998-01-19
The Transis Approach to High Availability Cluster Communication
1996-08-19
Dynamic Scheduling on Parallel Machines
1998-11-13
Modular Heterogeneous System Development: A Critical Analysis of Java
1998-01-23
A Case-Based Approach to Intelligent Information Retrieval
1996-05-17
Topological Defects With Non-Symmetric Core
1998-05-24
Geometric Matching in Computer Vision Algorithms and Open Problems
1993-08-07
Thomas M. Breuel
Communicating Agents For Concurrent Temporal Tableaux
1995-03-20
Robert Johnson
Constructing Conjunctive Tests For Decision Trees
1995-05-25
Zijian Zheng
Self-Nonself Discrimination in a Computer
1995-10-27
Control problems with state constraints for the Penrose-Fife phase-field model
1997-11-19
Parallelizing the Divide and Conquer Algorithm for the Symmetric Tridiagonal Eigenvalue Problem on Distributed Memory Architectures
1998-03-09
Jack Dongarra
Vapnik-Chervonenkis entropy of the spherical perceptron
1998-01-12
Data Layout for Interactive Video-on-Demand Storage Systems
1997-08-23
Note on Products of Bezoutians and Hankel Matrices
1996-02-02
The Fast Steepest Descent Path Algorithm For Analyzing Scattering From Two-Dimensional Objects
1997-07-25
Vertical Decompositions for Triangles in 3-Space
1995-02-23
Moderate Deviations for Iterates of Expanding Maps
1996-04-21
Amir Dembo
IRAS 23385+6053: A Prototype Massive Class 0 Object
1998-07-24
X-ray evolution in the ROSAT Brightest Cluster Sample
1998-05-25
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
1997-02-19
Franz Baader
Magnetic Charge as a "Hidden" Gauge Symmetry
1998-05-24
D. Singleton
A Portable 3D FFT Package for Distributed-Memory Parallel Architectures
1996-02-05
Harmony User Guide - Version 1.4
1998-06-30
On Finiteness Theorems and Porcupine varieties in Lie algebras
1995-07-24
Genetic Optimization Using Derivatives
1998-08-25
Decidable Hybrid Systems
1998-09-16
Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions
1995-08-01
CSCL '95 Proceedings 1 October 1995
1998-11-27
A Formal Object-Oriented CASE Tool for the Development of Complex Systems
1996-04-18
A Theory of Specular Surface Geometry
1996-10-18
The Race, the Hurdle, and the Sweet Spot:
1998-05-04
David E. Goldberg
Evaluating Constraint Processing Algorithms
1998-10-15
Absorbing Boundary Conditions for the Schrodinger Equation
1995-04-19
Multiple Trace Composition and Its Uses
1995-12-20
Adam Sah
A Note On The Decay Of Correlations Under delta-Pinning
1998-12-15
Handling Speech Repairs and Other Disruptions Through Parser Metarules
1997-01-21
A COMPARISON OF RADIATION BOUNDARY CONDITION STRATEGIES FOR HELMHOLTZ EQUATIONS Catherine Piellusch-Castle
1994-04-29
Abstraction Methods for Resource Allocation
1996-02-12
Multiprocessor Resource Estimation Using a Stochastic Modeling Approach
1996-10-03
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems
1999-01-11
Marina Lenisa
Unsupervised Part-of-speech Tagging
1996-12-18
Lightweight Transactions on Networks of Workstations
1997-10-20
Dynamic Optimization Of Interval Narrowing Algorithms
1997-05-29
Robust Incremental Optical Flow
1997-12-05
Michael Julian Black
On Extreme Singular Values of Matrix Valued Functions
1996-06-24
On Maximal Primitive Fixing Systems
1996-05-22
Performances of Parallel Branch and Bound Algorithms with Best-First Search
1994-11-21
The NOT GL survey for multiply imaged quasars
1998-05-12
A Mobile QoS Interpretation, Definition and Maintenance Framework for 3
1998-11-16
Straight-Line Drawing Algorithms for Hierarchical Graphs and Clustered Graphs
1996-09-15
NP-Hardness of Some Linear Control Design Problems
1996-11-08
SNOWBALL: Scalable Storage on Networks of Workstations with Balanced Load
1998-09-30
Parallel Decomposition of Unstructured FEM-Meshes
1996-02-14
Versatile Benchmarking for Concurrent Production System Architectures
1996-02-16
Pose and Motion from Contact
1998-10-29
Animation Support for a Conceptual Modelling Language
1997-08-22
Reduction of Lexical Redundancy via Semantically-driven Syntactic Generalisations
1995-06-01
Cornelia M. Verspoor
Design and Evaluation Tools for Automated Highway Systems
1996-05-28
Fast Similarity Search in the Presence of Noise, Scaling, and Translation in Time-Series Databases
1999-02-23
Some Properties of Possibilistic Linear Equality and Inequality Systems
1998-01-24
Robert Fuller
IOA: A Language for Specifying, Programming, and Validating Distributed Systems
1998-03-03
Scheduling Messages on Controller Area Network for Real-Time CIM Applications
1997-05-16
Model Checking of Probabilistic and Nondeterministic Systems
1998-03-19
Luca De Alfaro
Evolution of Artificial Neural Networks Grounded in Virtual Ecosystems
1994-05-11
Kingsley F. Kerce
A scale-dependent cosmology for the inhomogeneous Universe
1998-05-22
Frank Piessens And Eric Steegmans
1995-11-01
Configuration Management via Constraint Programming
1994-10-21
Notions of Upward Compatibility of Temporal Query Languages
1997-04-04
W. B. Langdon
1996-01-25
W. B. Langdon
Relative Perturbation Bounds for the Unitary Polar Factor
1996-02-15
Ren-cang Li
Momentum Loss in Proton-Nucleus and Nucleus-Nucleus Collisions
1998-03-27
Cosmological Perturbations seeded by Topological Defects: Setting the Initial Conditions
1997-08-01
Splining on Lie Groups
1996-01-07
Claire Tomlin
Beppe Had a Dream
1995-10-04
Maria Simi
On Extreme Singular Values of Matrix Valued Functions
1996-06-24
A Simple Algorithm for Finding the Maximum Recoverable System State in Optimistic Rollback Recovery Methods
1997-09-22
NGC 2419, M92, and the Age Gradient in the Galactic Halo
1970-01-01
Performance Analysis of ATM Switches with Self-Similar Input Traffic
1997-11-11
Situated Plan Attribution
1997-09-11
Reachability in Live and Safe Free-Choice Petri Nets is NP-complete
1997-02-21
Javier Esparza
NewsComm: A Hand-Held Interface for Interactive Access to Structured Audio
1998-04-06
Convergence Of A Branching Particle Method To The Solution Of The Zakai Equation
1970-01-01
Scheduling Mechanisms Reducing Contention Situations in Multimedia Systems
1996-01-04
Tu Chemnitz-zwickau
Run--Time Methods for Parallelizing Partially Parallel Loops
1995-05-25
Existence of Stationary Points for Reduced-Order Hyperstable Adaptive IIR Filters
1997-05-02
Registers On Demand, an integrated region scheduler and register allocator
1998-09-02
Performance Verification Using PDL and Constraint Satisfaction
1995-06-13
How to Make Replicated Data Secure
1998-10-08
A Server Of Distributed Disk Pages Using A Configurable Software Bus
1998-09-05
Comparison of Different Image Subband Coding Methods at Low Bit Rates
1996-11-21
On the local Hamiltonian structure of vector fields
1994-11-21
P. Crehan
Remarks On The Relation Between Quantum Dynamics And Fractal Spectra
1997-04-26
Reconstruction of Tomographic Data by Markov Random Fields
1998-03-17
Marek Zimanyi
An Actor Based Programming System for Heterogeneous Processing
1997-03-21
The Sensitivity Of Spline Functions On Triangulations To Vertex Perturbation
1998-04-29
An Assessment of Beowulf-class Computing for NASA Requirements: Initial Findings from the First NASA Workshop on Beowulf-class Clustered Computing
1998-01-08
Phonetically Driven Phonology: The Role of Optimality Theory and Inductive Grounding
1998-09-15
Bruce P. Hayes
Reducibility and Completeness In Multi-Party Private Computations
1995-11-23
On Assessing the Association Relationship for Bivariate Current Status Data
1998-12-02
An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams
1996-07-21
Types for Active Objects Based on Trace Semantics
1996-03-11
Franz Puntigam
Dario BAMBUSI* Dipartimento di Matematica dell'Universit`a Via Saldini 50, 20133 MILANO, Italy.
1997-04-26
Dario Bambusi
Fortran Subroutines For Approximate Solution Of Dense Quadratic Assignment Problems Using Grasp
1997-04-11
Ecological Robotics: A Schema-theoretic Approach
1996-09-06
Towards Programmable Networks
1996-10-18
A Modular Approach for Programming Distributed Real-Time Systems
1996-05-22
Quantum Searching
1997-11-11
Modula-P -- a Language for Parallel Programming andthe Implementation of its Channel Communication
1995-05-10
Jurgen Vollmer
Incomplete Factorization Preconditioning For Linear Least Squares Problems
1994-06-02
Hot-carrier degradation in DMOS power devices
1997-12-22
Lifestreams: Organizing your Electronic Life
1995-09-12
Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms
1994-10-23
On-Line Subspace Estimation Using a Schur-Type Method
1995-10-25
Jurgen Gotze
Property Preserving Abstractions for the Verification of Concurrent Systems *
1998-05-15
Observational Uncertainty in Plan Recognition Among Interacting Robots
1995-07-12
Partially Smooth Variational Principles and Applications
1997-02-11
Polynomial Time Algorithm Solving the Refutation Tree Problem for Formal Graph Systems
1997-09-30
CMU Report on TDT-2: Segmentation, Detection and Tracking
1999-04-12
Design and Implementation of a Packet Switched Routing Chip
1970-01-01
Christopher Frank Joerg
Incremental Tradeoff Resolution in Qualitative Probabilistic Networks
1997-06-13
Allocation Of Periodic Hard Real-Time Tasks
1970-01-01
P. Altenbernd
Quantifying the Multi-Level Nature of Tiling Interactions
1998-08-04
Methods and Practical Issues in Evaluating Alignment Techniques
1998-10-01
Michel Simard
Maintaining Temporal Coherency of Virtual Data Warehouses
1998-07-30
Noisy Time Series Prediction using Symbolic Representation and Recurrent Neural Network Grammatical Inference
1997-12-18
An Information-Theoretic Analysis of Hard and Soft Assignment Methods for Clustering
1997-08-05
Message Authentication using Hash Functions- The HMAC Construction
1996-12-19
hp FEM for Reaction-Diffusion Equations II: Regularity
1997-02-14
Continuous Monitoring and Performance Specification
1998-07-01
About a Decomposition of the Space of Symmetric Tensors of Compact Support on a Riemannian Manifold
1994-09-06
Unknown
1996-11-19
The Standard ML Implementation of an Engine for the Abstract Interpretation of Logic Programs
1996-08-01
A Singular Loop Transformation Framework Based on Non-singular Matrices
1993-07-02
Mixed Depth Representations for Dialog Processing
1998-09-30
On the Revision of Probabilistic Belief States
1995-01-30
Craig Boutilier
Analyzing the Behavior and Performance of Parallel Programs
1996-08-06
Vikram S. Adve
Institut fur Theoretische Physik ETH-Honggerberg, CH-8093 Zurich, Switzerland
1997-07-24
M. Griesemer
A View Of The Em Algorithm That Justifies Incremental, Sparse, And Other Variants
1997-10-19
On Aitken's Method And Other Approaches For Accelerating Convergence Of The EM Algorithm
1998-09-03
G. J. Mclachlan
Rapid Incremental Parsing with Repair
1999-02-03
Steven P. Abney
Resolving Result Set Contention in Heterogeneous Library Information Systems
1996-01-17
Parallel Multilevel Methods With Adaptivity on Unstructured Grids
1998-07-31
Measuring Organization and Asymmetry in Bihemispheric Topographic Maps
1998-09-05
Predicting the Intonation of Discourse Segments From Examples in Dialogue Speech
1996-06-23
Wide-Area ATM Networking for Large-Scale MPPs
1998-06-08
A Logical Model of Competence and Performance in the Human Sentence Processor
1997-07-31
Matthew Walter Crocker
A Bottom-Up Interpreter for a Database Language with Updates and Transactions
1996-04-24
An Empirical Comparison of Decision Trees and Other Classification Methods
1998-01-31
Decidability of Duration Calculi on Restricted Model Classes
1998-03-02
Département de Mathématiques et Informatique
1997-09-09
Arnaud Beauville
The Expected Lifetime of "Single-Address-Space" Operating Systems
1998-09-30
Modeling and Querying Primitives for Digital Media
1994-11-01
Interleaving Sequences to Maximize the Minimum Prefix Sum
1996-12-17
Tracy Kimbrel
Fault Diagnosis in Discrete-Event Systems: Framework and Model Reduction
1998-08-17
A Unified Characterization of Nonunique Response in Elastic/Perfectly-Plastic and Elastic/Locking Structures Using Constraint Qualifications
1996-05-07
The Eigenvalue Sum For A One-Dimensional Potential
1997-04-26
Database Support for Computer Supported Cooperative Work
1999-04-12
An Analytical Study of Object Identifier Indexing
1998-04-06
Kjell Bratbergsengen
Most Latin Squares Have Many Subsquares
1998-02-15
Public Domain Optical Character Recognition
1996-06-07
Expressing Fine-Grained Parallelism Using Distributed Data Structures
1995-11-28
Suresh Jagannathan
Preserving transience in numerical solutions of Volterra integral equations of convolution type
1998-12-16
Refining internal choice in PEPA models
1998-04-21
A New Orthogonal Multiprocessor and its Application to Image Processing
1998-10-06
Rate Analysis for Embedded Systems
1997-09-23
Planning With Graded Nondeterministic Actions: A Possibilistic Approach
1997-01-08
Costa Pereira
Refutation of C. W. Misner's claims in his article "Yilmaz Cancels Newton"
1998-05-13
Point-based Temporal Extensions of SQL and their Efficient Implementation
1998-08-05
David Toman
Molecular Dynamics Simulation On Commodity Shared-Memory Multiprocessor Systems With Lightweight Multithreading
1999-02-01
Logistics: A Systems Oriented Approach
1996-11-20
Program Optimization for Concurrent Multithreaded Architectures
1997-12-19
Data Sieving and Collective I/O in ROMIO
1998-08-18
J¨urgen Fritsch
1998-02-13
GARGOYLE: Portable, low-cost, and efficient active vision
1997-01-26
Parallel Object-Oriented Programming with QPC++
1996-11-01
Dietrich Boles
Generative Components: One Step Beyond Generic Programming
1998-05-11
Covering Arrays of Strength Three
1998-09-12
L E C T R O N I C
1998-10-02
Zhan Shi
The Analysis of German Separable Prefix Verbs in the Microsoft Natural Language Processing System
1970-01-01
Classification of Microcalcifications by Artificial Neural Networks
1997-08-26
An Improved Logging and Checkpointing Scheme for Recoverable Distributed Shared Memory
1997-03-12
Relaxation of Disordered Magnets in the Griffiths' Regime
1997-04-28
Unification of Concept Terms Extended Abstract
1999-02-08
Superlinear Convergence Of A Stabilized Sqp Method To A Degenerate Solution
1997-02-07
Stephen J. Wright
Symbolic Composition
1998-01-27
Implications of MIME for Internet Mail Gateways
1992-06-11
Group N. Borenstein
Portable Distributed Priority Queues with MPI
1996-03-06
Changing Conditional Beliefs Unconditionally
1998-08-28
Efficient Execution of Operations in a DBMS for Multidimensional Arrays
1998-09-04
NICONET Report 1998-7 Direct Formulae for the
1998-10-15
WISE: Business to Business E-Commerce
1998-11-10
Score Sequences Of Multitournaments
1998-05-03
Genetic Algorithms for Changing Environments
1998-12-27
John J. Grefenstette
Detection of Non-Symmetrical Damage in Smart Plate-Like Structures
1998-01-31
A Simple Algorithm for Nearest Neighbor Search in High Dimensions
1996-02-02
Multi-level Rate-based Flow Control for ABR Traffic
1996-11-07
Comparison of Nonlinear Control Designs for a Ducted Fan Model
1998-10-23
Invited Talk: 1:30pm
1995-12-12
The single-particle density of states, bound states, phase-shift flip, and a resonance in the presence of an Aharonov-Bohm potential
1997-04-26
Alexander Moroz
Unknown
1997-04-24
Constraint Retraction in FD
1996-12-03
Designing a Videoconference System for Active Networks
1998-06-26
Mobile Agents in Distributed Information Retrieval
1998-12-06
Inheritance Modeled with Explicit Bindings: An Approach to Typed Inheritance
1998-11-08
Franz J. Hauck
Improved Algorithms via Approximations of Probability Distributions
1997-01-17
A Network-Centric Knowledge Representation System
1997-04-01
An Automatic Mesh Generator using Geometric Rules for Two and Three Space Dimensions
1999-03-25
Joachim Schoberl
Plausibility Measures: A User's Guide
1999-02-11
Matching Algorithms for Bipartite Graphs
1993-03-05
A New Inductive Approach to the Lace Expansion for Self-Avoiding Walks
1997-10-27
High-Level Synthesis of Scalable Architectures for IIR Filters Using Parameterized MCM's
1996-06-05
Speech-Based Information Retrieval for Digital Libraries
1998-02-19
Douglas W. Oard
On The Lattice Point Problem For Ellipsoids
1999-04-21
Indexing, Elaboration and Refinement: Incremental Learning of Explanatory Cases
1993-07-21
Ashwin Ram
Composition Methods for the Simulation of Arrays of Chua's Circuits
1998-09-29
Analysis and Application of Subdivision Surfaces
1996-08-28
Jean E. Schweitzer
Computation of Discrete Logarithms in Prime Fields
1998-05-12
Tuning Image Filters Using Feed-Forward Networks
1997-11-26
Affine-by-Statement Scheduling of Uniform Loop Nests over Parametric Domains
1993-01-15
: An Infrastructure for Building Distributed Services
1998-03-25
Extraction Of A Speech Signal In The Presence Of A Musical Note Signal
1997-03-14
Testing Membership in Unitriangular Matrix Groups
1996-03-05
Towards Declarative GIS Analysis
1996-11-27
Efficient Software Synchronization on Large Cache Coherent Multiprocessors
1994-03-18
Dynamic Constraints and Object Migration
1997-03-08
Jianwen Su
THE IMPACT OF PROGRAMMING STYLE ON THE PERFORMANCE OF SCHEME PROGRAMS by LARS THOMAS HANSEN
1994-02-12
Lars Thomas Hansen
Parallel Recombinative Simulated Annealing: A Genetic Algorithm
1995-04-21
The Capacity of Wireless Networks
1999-02-12
A Next Generation Information Gathering Agent
1998-08-29
Constraint Logic Programming in the Sequent Calculus
1994-01-16
Mobile Code Paradigms and Technologies: A Case Study
1999-02-03
The Graphlet System System Demonstration
1996-09-15
Michael Himsolt
A Visual Interface for Querying a CASE Repository
1998-04-08
Hui Liu
Frank Pipitone and William Adams Navy Center for Applied Research in Artificial Intelligence, Naval Research Laboratory, Washington, DC 20375-5000
1970-01-01
Concurrent Programming in Haskell
1997-02-18
Jos'e L. Freire
A Stochastic Process Model for Transient Trace Data
1996-10-28
Anup Mathur
An Overview of Computer Viruses in a Research Environment
1992-04-14
Matt Bishop
Corpus Encoding Standard: SGML Guidelines for Encoding Linguistic Corpora
1999-03-05
Nancy Ide
Computing with Bayesian Multi-Networks
1996-02-20
Eugene Santos
Massively Parallel Matching of Knowledge Structures
1994-04-28
Jan-Willem Maessen
1970-01-01
Jan-willem Maessen
Decision-Theoretic Diagnosis-Repair Planning Using Bayesian Networks
1998-06-17
Architecting Video-On-Demand Systems: Davic 1.0 And Beyond
1996-07-04
Alexandros Eleftheriadis
RISC Microprocessors and Scientific Computing
1998-11-05
David H. Bailey
On Some Promise Classes in Structural Complexity Theory
1997-05-28
Occam: Specification and Compiler Correctness Part I: The Primary Model
1996-06-24
Bounding the Suboptimality of Reusing Subproblems
1998-11-18
A Discrete-Event Systems Approach to Modeling Dextrous Manipulation
1995-11-08
Subpixel Contour Matching Using Continuous Dynamic Programming
1998-11-23
Marc Berthod
Chimeric Alignment by Dynamic Programming: Algorithm and biological uses
1996-08-02
Issues in the Design of an Extensible Operating System
1995-07-13
Finite Element Multiwavelets
1970-01-01
V. Strela
Dario BAMBUSI* Dipartimento di Matematica dell'Universit`a Via Saldini 50, 20133 MILANO, Italy.
1997-04-26
Dario Bambusi
Evolutionary Algorithms Support Refueling of Pressurized Water Reactors
1996-07-03
A Problem With Non-Abelian Duality?
1995-11-24
Performance Modeling of ECS
1996-04-11
Notes on q-ary Interleaved Sequences
1999-04-29
On Existence and Weak Stability of Matrix Refinable Functions
1997-09-01
Hierarchical Concurrency in Jade
1995-05-20
The Time-1 Fraction
1994-10-15
New Telephone Speech Corpora at CSLU
1995-06-23
Adaptive K-Step Iterative Methods For Nonsymmetric Systems Of Linear Equations
1995-08-26
Curvature Continuous Blend Surfaces
1994-03-25
Issues in Designing Scalable Systems with k-ary n-cube cluster-c Organization
1994-09-30
Morphology with a Null-Interface
1994-01-10
k-Arbiter: A safe and general Scheme for h-out of-k mutual exclusion problems
1970-01-01
Duplication and Partial Evaluation
1998-04-06
Open Maps as a Bridge Between Algebraic Observational Equivalence and Bisimilarity
1997-11-26
Phenomena of Autonomy with Explanations in Introspective Language
1998-06-10
Lars Lofgren
Ellipse-Specific Direct Least-Square Fitting
1996-08-20
Genetic and Evolutionary Algorithms in the Real World
1999-03-31
David E. Goldberg
Nonlinear Microwave Switching Response Of Bscco Single Crystals
1998-11-10
Sequential Equivalence Checking without State Space Traversal
1998-05-19
C. A. J. Van Eijk
Building a Java Software Engineering Tool for Testing Java Applets
1996-03-22
Analysis Of Barriers To Control Of Manipulators Within Accessible Output Sets
1997-05-27
Detecting Neutrinos from AGN: New Fluxes and Cross Sections
1996-07-17
Gary C. Hill
ABS Plastic RPCs
1996-03-07
Acknowledgments
1994-04-25
Using Quaternions to Represent Rotation
1997-02-07
Acid/hnn: Clustering Hierarchies Of Neural Networks For Context-Dependent Connectionist Acoustic Modeling
1998-02-13
Quasilinear Time Complexity Theory
1994-06-23
Time and Cryptography
1997-05-07
Towards a Statistical Approach to Testing Object-Oriented Programs
1997-03-04
H. Waeselynck
Reliable Multicasting in High-speed LANs
1996-09-04
Superlinear Convergence of an Interior-Point Method for Monotone Variational Inequalities
1996-08-11
Approximation Algorithms for Mixed Postman Problem
1997-11-30
MOBILE-IP MRSVP Internet Cellular Phone?
1997-12-07
PLAPACK: Parallel Linear Algebra Package
1996-12-19
Implementing Global Address Space in Distributed Local Memories
1995-03-09
The Low Activity Phase of Some Dirichlet Series
1997-04-26
Key Management for Restricted Multicast using Broadcast Encryption
1999-03-11
Deriving a Bilingual Lexicon for Cross Language Information Retrieval
1997-03-17
D. Hiemstra
Real Inferno
1998-04-29
Eric Grosse
Adaptive Equalization in Oversampled Subbands
1998-11-01
Types for Access Control
1998-10-20
A Framework for Organization and Representation of Concept Knowledge in Autonomous Agents
1994-04-14
Paul Davidsson
The Conley Index for Decompositions of Isolated Invariant Sets
1997-12-20
Andrzej Szymczak gda'nsk
Using Genetic Algorithms for Concept Learning
1997-08-22
A FormalFramework for High Level Synthesis
1997-12-19
Fast Hybrid Solution Of Algebraic Systems
1997-06-25
Convergence of the Natural Approximations of Piecewise Monotone Interval Maps
1997-05-13
K-12 Internetworking Guidelines
1996-10-17
A Set-Oriented Method Definition Language for Object Databases
1998-09-06
A Time/Structure Based Model for Estimating Software Reliability
1996-04-05
Off-line Parsability and the Well-foundedness of Subsumption
1970-01-01
Stable Computation of the Complex Roots of Unity
1995-01-13
Stephen R. Tate
OSI IS-IS Intra-domain Routing Protocol
1991-12-31
Space Efficient Conservative Garbage Collection
1995-05-05
Hans-juergen Boehm
CommonKADS Models for Knowledge Based Planning
1996-09-18
Unknown
1995-10-22
Local Basic Linear Algebra Subroutines LBLAS for distributed memory architectures and languages with array syntax
1970-01-01
Parallel Classification on SMP Systems
1998-03-28
Optimal Self--Routing of Linear-Complement Permutations in Hypercubes
1998-10-26
C. S. Raghavendra
A Comparative Study of Distributed Shared Memory System Design Issues
1994-09-12
On the convergence of Parallel Simulated Annealing
1996-07-17
Christian Meise
Generalization Capability of Homogeneous Voting Classifier Based on Partially Replicated Data
1996-05-29
Jacek Jelonek
Dynamic Conditional Independence Models And Markov Chain Monte Carlo Methods
1996-08-23
An Architecture For Exploiting Qualitative, Scene-Specific Context In High Level Computer Vision
1997-07-22
Rajiv Chopra
Noncoherent RAKE-Receiver with Optimum Weighted Combining and Improved Closed-Loop Power Control
1996-05-29
A Fibrational Semantics for Logic Programs
1995-12-11
Y. Kinoshita
A Special Class Of 2-Generator Kleinian Groups
1994-03-18
Elena Klimenko
A Portable Browser for Performance Programming
1997-08-15
Call-By-Name CPS-Translation as a Binding-Time Improvement
1996-12-05
Pulse-Based 2D Motion Sensors
1999-02-17
Strong Self-Reducibility Precludes Strong Immunity
1995-06-05
Automatic Recognition Of Rice Fields From Multitemporal Satellite Images
1998-06-22
The DŘExperiment Significant Event System
1996-05-14
Inertial Manifolds of Parabolic Differential Equations Under Higher-Order Discretizations
1998-05-20
Maximal Disks and the Tully-Fisher Relation
1970-01-01
Efficient Methods for Identification of Volterra Filter Models
1998-04-09
Introducing the new LOKI97 Block Cipher
1998-08-10
Lawrie Brown
Improved Heterogeneous Distance Functions
1997-01-22
Integrating Logical Functions with ILF
1995-05-03
A Case Study of Parallelization: A Simple Fractal Generator
1996-11-20
Bounds For Heights Of Integer Polynomial Factors
1998-02-03
Planning and Acting in Partially Observable Stochastic Domains
1997-12-17
K Q M L a s a n a g e n t c o m m u n i c a t i o n l a n g u a g e
1998-03-19
Group Membership Protocol: Specification and Verification
1998-03-06
Scalar Measures of Performance in Rare-event Situations
1997-12-08
Caren Marzban
The Formation of Galactic Disks
1997-11-18
Analytic Variations On The Common Subexpression Problem
1999-03-12
A New Approach to Subdivision Simplification
1995-09-21
Scientific Communication and Dynamic Documents
1998-10-08
Jerzy Karczmarczuk
Computer Simulations of Adaptive Behavior in Animats
1996-12-20
Jean-arcady Meyer
Concept Vectors: A Synthesis of Concept Mapping and Matrices for Knowledge Representation in Intelligent Tutoring Systems
1998-01-12
An Adaptive Network Prefetch Scheme
1999-03-28
Towards Incorporating Computer Applications in Cooperative Work Arrangements
1998-01-07
Retrieval and Reasoning in Distributed Case Bases
1996-05-20
If I were you, I wouldn't trust myself
1996-03-18
Anne Reboul
A Wavelet-based Solution to the Inverse Problem for Fractal Interpolation Functions
1970-01-01
Kathrin Berkner
Accessing the Web: Exploiting the Data Base Paradigm
1998-09-11
Special Year on Logic and Algorithms Tutorial Notes: Expressive Powers of Logics Tutorial Lectures by Phokion Kolaitis
1997-09-09
Eric Allender
In Action
1996-07-12
The Semantics of Viewcharts
1995-12-21
Possible Functional Roles of the Bipartite Dendrites of Pyramidal Cells
1998-03-23
Canonical Dirichlet operator and distorted Brownian motion on Poisson spaces
1996-12-10
The system architecture of the Pocket Companion
1997-05-01
Remarks on our paper: "On the exponential function of an invariant Lie semigroup"
1995-07-25
Object--Oriented Pattern--Based Parallel Programming with Automatically Generated Frameworks
1999-03-02
Parallel Processing Method of Combinatorial Problem Solving Based on Implicit Stochastic Divide-and-Conquer
1995-01-11
Yasusi Kanada
Minimization of Sequential Transducers
1998-02-06
Mehryar Mohri
Entropy Of Convolutions On The Circle
1997-06-16
Tree-based Classifiers and GIS for Biological Risk Forecasting
1997-06-02
Flexible and Efficient Sharing of Protected Abstractions
1998-10-05
Tests on Semi-Lagrangian Transport and Interpolation
1994-12-04
M. Van Loon
Light-Front QCD
1998-05-22
On Understanding Types, Data Abstraction, and Polymorphism
1996-06-06
Some Properties of Five-Coefficient Refinement Equation
1970-01-01
Using Coffi
1996-10-30
Clark Verbrugge
Comparison of Wavelet-based and Statistical Speckle Filters
1999-03-25
The COSMOS Artificial Life System
1998-01-27
Tim Taylor
Mining a Natural Language Corpus for Multi-Relational Association Rules
1999-02-10
Object Distribution Networks for world-wide document circulation
1999-03-21
Event and State-Based Debugging in TAU: A Prototype
1998-08-06
An Hybrid Motion Controller for a Real Car-Like Robot Evolving in a Multi-Vehicle Environment
1998-04-09
Non-Cooperative Target Classification Using Hierarchical Modeling of High Range Resolution Radar Signatures
1997-09-09
Kie B. Eom
Detecting Periodic Behavior In Nonstationary Signals
1998-12-22
Artificial Evolution in the Physical World
1998-10-06
Adrian Thompson
Toric Varieties and Algebraic Monoids
1995-08-20
Karl-hermann Neeb
DBE: A Tool for Trace Driven Memory Simulation
1997-10-06
Vesa Hirvisalo
Automatic Interprocedural Optimization for Object-Oriented Languages
1996-02-29
Lattice Formulation of Supersymmetric Yang-Mills Theories without Fine-Tuning
1997-05-22
Nobuhito Maru
Combinatorial algorithms for DNA sequence assembly
1996-05-01
Metrics of Error Locating Codes
1996-11-21
Interactive Ray Tracing on a Virtual Shared-Memory Parallel
1995-12-12
Remote Application-level Processing through Derived Event Channels in ECho
1999-02-28
Greg Eisenhauer
Dilepton Enhancement by Thermal Pion Annihilation in the CERES Experiment
1997-02-13
Power System Small Signal Stability Analysis Using Genetic Optimization Techniques
1998-09-08
Extracting Geometric Information from Architectural Drawings
1996-05-31
Quantum Mechanics In Phase Space
1997-05-13
Brian C. Hall
Soft Multiuser Decoding for Vector Quantization over a CDMA Channel
1999-01-12
Learning-Based Ventricle Detection from Cardiac MR and CT Images
1995-07-14
Maximum Likelihood Estimation for Yield Analysis
1996-12-18
Database Views with Dynamic Assertions
1996-09-02
The Global Control of Shock Waves
1970-01-01
J. E. Rubio
Detection Of The Galaxy Lensing The Doubly--Imaged Quasar Sbs 1520+530
1999-03-28
GAUGINO CONDENSATION, S-DUALITY AND SUPERSYMMETRY BREAKING IN SUPERGRAVITY MODELS Z. Lalak
1998-05-23
Zero Skew Clock Routing With Minimum Wirelength
1993-02-04
An Improved Master Theorem for Divide-and-Conquer Recurrences
1997-01-30
Salvador Roura
AIAA 95-6093 Low-Speed Wind Tunnel Tests of Two Waverider Configuration Models
1995-05-01
Distribution and Persistence in Multiple and Heterogeneous Address Spaces
1995-03-10
Paulo Ferreira
Unknown
1998-11-03
Effective Potential Improvements,
1998-05-13
G. Amelino-camelia
Filtering Techniques for Complex Geometry Fluid Flows
1999-01-08
Stiff Oscillatory Systems, Delta Jumps and White Noise
1999-03-05
B. Cano
Kirchhoff Simulation, Migration, and Inversion using Finite Difference Traveltimes and Amplitudes Part II: Modeling
1997-03-12
From Rewrite Rules to Bisimulation Congruences Peter Sewell
1998-05-29
Peter Sewell
Prolegomena to a Task-Method-Knowledge Theory of Cognition
1998-05-15
J. William Murdock
Schoof's Algorithm and Isogeny Cycles
1994-04-12
U. M. R. D'algorithmique Arithm'etique
Efficiently Exploring a Continuous Unknown Domain by an Ant-Inspired Process Extended Abstract
1998-07-31
Implementing Calendars and Temporal Rules in Next Generation Databases
1995-06-03
Characterizing the Benefits of Model-Based Vs. Direct-Control Learning in Exploration
1998-03-10
A Sublinear Bipartiteness Tester for Bounded Degree Graphs
1999-02-07
"Transpose Free" Alternating Direction Smoothers for Serial and Parallel Multigrid Methods
1997-10-01
The Utility of Foresight in Single Server Scheduling
1994-06-28
Adam Rifkin
Improving Robot Plans During Their Execution
1994-03-25
Numerical Experiments With Preconditioning By Gram Matrix Approximation For Non-Linear Elliptic Equations
1996-10-16
Gheoghe Juncu
The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and their Model Checking in High Level Languages.
1997-12-18
Anatol Slissenko
The LIVING IN A LATTICE Rule Language
1998-06-19
Formal Verification of a PowerPC Microprocessor
1995-11-15
Andreas Kuehlmann
Temporal Generalization of Simple Recurrent Networks
1998-01-09
Concise Description to Recover a Signal
1997-10-17
A Genuinely Multidimensional Upwind Scheme And Efficient Multigrid Solver For The Compressible Euler Equations
1995-02-02
David Sidilkover
A Human Centered Perspective for Mobile Information Sharing and Delivery
1996-07-18
Selection of observations in signal reconstruction with applications in MR-imaging
1997-12-22
Constraining Planning Episodes in an Interleaved Architecture
1998-09-03
Neuro-Fuzzy Systems for Function Approximation
1997-03-21
Implementation and Evaluation of a Multimedia File System
1998-01-30
Carnot and InfoSleuth: Database Technology and the World Wide Web
1998-04-01
Unknown
1997-05-07
Semantic Query Caching for Heterogeneous Databases
1999-03-21
On Computing an Eigenvector of a Tridiagonal Matrix
1997-08-12
K V Fern
A General Class of Nonlinear Normalized Adaptive Filtering Algorithms
1998-10-07
Combining Trace Sampling with Single Pass Methods for Efficient Cache Simulation
1997-10-15
Convergence To Second Order Stationary Points In Inequality Constrained Optimization
1970-01-01
Design Tradeoffs in Partial Order Plan Space Planning
1994-03-28
Subbarao Kambhampati
A stably Bernoullian diffeomorphism that is not Anosov
1998-07-07
Michael Shub
Replication Requirements in Mobile Environments
1997-09-02
Design and Evaluation of an Electromagnetic Beam Waveguide for Measuring Electrical Properties of Materials
1998-03-27
M. C. Bailey
A Machine-Independent DMA Framework for NetBSD
1998-06-23
Jason R. Thorpe
Cache-Based Data Distribution Constrained Scheduling
1998-12-17
MechanicalVerification of Concurrent Systems with TLA
1992-09-14
Local and Global Behavior of Moving Polytope Algorithms
1997-11-06
Beidi Soumana Hamma
Jukka Hekanaho
1970-01-01
Single Connection Emulation SCE: An Architecture for Providing a Reliable Multicast Transport Service
1995-04-25
Does Tutoring Really Have to be Intelligent?
1998-09-17
Wendy E. Mackay
Emergence of Simplified Tree Adjoining Grammar Conventions in an Agent Population
1997-11-10
An Algorithm for Multi-Relational Discovery of Subgroups
1997-07-07
The Level-1 Calorimeter Trigger For The Cms Detector
1994-05-20
A Workflow Management and Simulation System and Its Supporting Object-Oriented Knowledge Base Management System
1997-06-26
Mahesh K. Jagannath
Gauge theory for embedded surfaces, I
1997-04-09
DVispatch: A Visual Language with Distributed Rewriting
1998-07-07
How Architecure Evolution influences the Scheduling Discipline used in Shared-Memory Multiprocessors
1993-08-29
Evangelos P. Markatos
Optimal Time Segmentation For Signal Modeling And Compression
1998-02-25
Mobile Computation
1997-02-12
Luca Cardelli
WISE: Business to Business E-Commerce
1999-03-29
Partial Deduction and Driving are Equivalent
1996-12-05
Explicit Ramsey graphs and orthonormal labelings
1995-04-13
Noga Alon
Java Security: From HotJava to Netscape and Beyond
1997-12-05
Using WordNet in a Knowledge-Based Approach to Information Retrieval
1995-01-09
Using Genetic Algorithms to Design Constant Weight Codes
1996-05-29
Optimal Multiuser Cdma Decoder Using Grouped Coordinate Ascent And The Dwt
1997-10-21
An Autonomous Blimp
1997-10-08
Logic Journal
1997-08-10
A Light Hierarchy for Fast Rendering of Scenes with Many Lights
1998-06-24
Deriving Optimized Integrity Monitoring Triggers from Dynamic Integrity Constraints
1996-02-19
M. Gertz
Implementing Global Memory Management in a Workstation Cluster
1995-08-31
The Proper Treatment of Optimality in Computational Phonology
1998-05-04
Lauri Karttunen
A Toy Model For Star-Disc Collisions
1999-03-25
Ladislav Subr
A CSCW Framework for Networked Multimodal Synthetic Environments
1998-05-18
Detecting Coarse-Grain Parallelism Using an Interprocedural Parallelizing Compiler
1995-09-15
Ordered Overlaps in Disordered Mean-Field Models
1999-04-01
Amir Dembo
The Design And Implementation Of A Data Level Database Inference Detection System
1998-09-22
Safe Cooperative Robot Patterns via Dynamics on Graphs
1998-09-23
Performance Evaluation of Reversible Integer-to-Integer Wavelet Transforms for Image Compression
1999-03-17
Exploration in Machine Learning
1994-02-25
Michael P. Frank
Data Replication in Mariposa
1995-12-23
A Quality Design Solution for Object Synchronization
1997-02-05
Ant'onio Rito Silva
Efficient Integration of Declarative Paradigms into Symbolic Computation Systems
1970-01-01
Georgios Grivas
On the Level Sum of Two Convex Functions on Banach Spaces
1996-06-23
M. Volle
Dynamic Scheduling in an Implicit Parallel System
1997-02-18
On Elasticity ofPorous Media
1998-01-09
Fritz Gassmann
Sharing and Reusing Therapeutic Knowledge for Managing Leukemic Children
1996-11-08
HyperScribe: A Data Management Facility for the Dataflow Visualization Pipeline
1997-08-12
H. Wright
Characterization Hierarchy containing Augmented Characterizations
1998-07-08
Microprocessor Design Verification by Two-Phase Evolution of Variable Length Tests
1997-06-03
Exponential Family Inference for Diffusion Models
1997-08-14
Efficient Implementation of Multi-Triangulations
1998-07-10
Forward jet production in DIS at HERA
1998-09-14
M. Riveline zeus Collaboration
Large-Scale Interoperability of Legacy Object Bases
1996-02-16
InVeSt: A Tool for the Verification of Invariants
1998-06-10
Dense Quantum Coding and a Lower Bound for 1-way Quantum Automata
1998-10-08
An Optimal Parallel Algorithm for Learning DFA
1999-03-28
Osamu Watanabe
Near Far Robust Time Delay Estimation For Asynchronous Ds-Cdma Systems With Bandlimited Pulse Shapes
1999-01-12
Ostman Bjorn Ottersten
The Computation of Polylogarithms
1997-06-09
David C. Wood
Performance Analysis of Distributed Information Retrieval Architectures
1995-08-18
Formation of Neural Structures
1999-01-11
Architectural Mechanisms for Explicit Communication in Shared Memory Multiprocessors
1997-04-08
Wavelet Thresholding in Anisotropic Function Classes and Application to Adaptive Estimation of Evolutionary Spectra
1997-09-29
SunPerformanceTuningOverview
1993-03-10
ATUMM: an Authoring Tool for User Model Management
1994-10-20
Irrational Numbers of Constant Type --- A New Characterization
1998-02-21
Optimal Transmit Spectra for HDSL2
1998-07-31
A Generic Integration Architecture for Cooperative Information Systems
1996-04-08
File-Access Characteristics of Parallel Scientific Workloads
1970-01-01
Self-Similarity Through High-Variability: Statistical Analysis of Ethernet LAN Traffic at the Source Level
1997-04-15
Logical Aspects of Set Constraints
1996-10-11
Dexter Kozen
Reinforcement Learning: Theory and Practice
1998-12-17
Konkoly Thege M. Ut
Games and Full Abstraction for FPC
1997-02-25
A User-Level Process Package for PVM
1970-01-01
Parallel Algorithms to Solve Banded Linear Systems
1970-01-01
Stefan Bondeli
Feature-Based Process Planning in the AMRF
1993-05-10
Relativistic Quantum Kinetic Equation Of The Vlasov Type For Systems With Internal Degrees Of Freedom
1997-09-25
Some Optimal Algorithms for Decomposed Partially Ordered Sets
1996-01-21
Vijay K. Garg
Cache-Partitioned Tiling for Data Reuse Across Loop Nests
1995-03-20
Making Objects More Knowledgeable
1997-07-04
BoosTexter: A System for Multiclass Multi-label Text Categorization
1999-02-10
Sophisticated Cooperation in FA/C Distributed Problem Solving Systems
1997-09-26
A Framework for Goal-Driven Learning
1994-05-31
Optimal Pairs Of Incomparable Clouds In Multisets
1998-07-07
Fractal Image Compression via Nearest Neighbor Search
1996-01-09
Dietmar Saupe
Applicability of Importance Sampling for Rayleigh Fading Mobile Radio Channels
1998-01-20
Armin Dekorsy
Cryptographic Support for Fault-Tolerant Distributed Computing
1996-07-06
Icon-based Animation from the Object and Dynamic Models based on OMT
1998-09-21
Developing numerical libraries in Java
1998-02-12
Using Graph Layout to Visualize Train Interconnection Data
1998-05-14
A Paraconsistent Relational Data Model
1998-04-22
Developments and Trends in the Parallel Solution of Linear Systems
1999-03-04
Performance
1997-01-14
Debugging Prolog Programs Declaratively
1996-10-15
Simin Nadjm-tehrani
A Computational Model of Color Perception and Color Naming
1994-06-24
Johan Maurice
Tadiff, A Flexible C++ Package For Automatic Differentiation using Taylor series expansion
1997-04-22
PAC Associative Reinforcement Learning
1995-03-20
Claude-nicolas Fiechter
Mutual information, Fisher information and population coding
1998-06-15
Motion Estimation In MPEG-2 Video Encoding Using A Parallel Block Matching Algorithm
1999-02-09
LAPACK Working Note 117 A Fortran 90 Interface for LAPACK: LAPACK90, version 1.0
1997-03-19
On a Criterion for the Existence of at Least Four Solutions of Functional Boundary Value Problems
1997-11-17
Svatoslav Stan Ek
A Seminar-Based Course That Attempts to Provide a More "academic" Approach to Software Engineering.
1995-03-10
Mike Holcombe
Performance Modeling of Parallel Systems with Flexible Precision
1994-09-30
GASS: A Data Movement and Access Service for Wide Area Computing Systems
1999-02-10
Time Out of Joint: Attractors in Asynchronous Random Boolean Networks
1997-05-06
Stable Families Of Basis Functions And Complexity Lower Bounds
1996-09-08
RSVP over ATM Implementation Guidelines
1997-07-15
Dovetailing of Acoustics and Prosody in Spontaneous Speech Recognition
1998-12-15
Negotiated versus Cost-Based Transfer Pricing
1999-01-16
A Constraint-Based Interactive Train Rescheduling Tool
1997-07-03
A lower estimate for the Lebesgue constants of linear means of Laguerre expansions
1997-10-31
George Gasper
Uniformly Querying Knowledge Bases and Data Bases
1994-10-18
Paolo Bresciani
Specifications of EDPEPPS Toolset Prototype DRAFT
1997-10-06
Object Recognition with a Sparse and Autonomously Learned Representation Based on Banana Wavelets
1997-01-22
Experience with industrial applications on MIMD machines
1995-05-01
Automatic Interpretation of Human Faces and Hand Gestures Using Flexible Models
1995-05-11
OmegaGamma
1996-05-21
Leslie Ann Goldberg
CODA: Convergence Diagnosis and Output Analysis Software for Gibbs sampling output Version 0.30
1996-03-07
The New Identity for the Scattering Matrix of Exactly Solvable Models
1997-12-09
Vladimir Korepin
Optimizing Partially Ordered Transport Services For Multimedia Applications
1997-05-02
Undoing Actions in Collaborative Work: Framework and Experience
1994-03-30
A Method Of Similarity Metrics Using Fuzzy Integration
1996-07-05
Database Program Mapping onto a Shared-Nothing Multiprocessor Architecture: Minimizing Communication Costs
1997-06-04
File-Access Characteristics of Parallel Scientific Workloads
1970-01-01
Optimization and Serializability of Update Transactions in Marked Databases
1970-01-01
A Tableau Calculus for Partial Functions
1998-05-07
Do Algorithm Animations Aid Learning?
1996-08-23
Improving Human Interface in Drawing Tool Using Speech, Mouse and Key-board
1996-03-06
An Empirical Analysis of C Preprocessor Use
1997-05-01
A Fast, Robust Algorithm for Total Variation Based Reconstruction of Noisy, Blurred Images
1996-08-02
The Acquisition of Lexical Semantics for Spatial Terms: A Connectionist Model of Perceptual Categories
1992-08-29
Terrance Philip Regier
On A Coupled Kuramoto-Sivashinsky And Ginzburg-Landau Type Model For The Marangoni Convection
1997-04-26
Lawrence D. Huebner, Kenneth E. Rock, Randall T. Voland, and Allan R. Wieting NASA Langley Research Center Hampton, VA
1996-06-17
Rafael Navarro Javier Portilla Instituto de Optica "Daza de Valdés", CSIC. Madrid. Spain
1998-06-12
A Stable Integer Relation Algorithm
1998-02-23
Adaptive Error Control in Topology Optimization?
1998-10-22
J. Petersson Et Al
Defibrillation in Models of Cardiac Muscle
1996-06-15
Arun V. Holden
Optimizing Relational Queries in Connection Hypergraphs: Nested Queries, Views, and Binding Propagations
1998-03-05
Jia Liang Han
Statistical Guides for Literary Analysis: A Test
1993-07-21
Interprocedural Array Data-Flow Analysis for Cache Coherence
1996-03-22
Lynn Choi
How To Use Kyst
1995-05-22
Let Your Fingers do the Spelling: Implicit disambiguation of words spelled with the telephone keypad
1996-12-18
James Raymond Davis
Emotions - The missing link?
1998-11-29
Outperforming the Gibbs sampler empirical estimator for nearest neighbor random fields
1995-08-11
When Java Was One: Threats From Hostile Byte Code
1997-09-10
Mark D. Ladue
The Royal Tree Problem, a Benchmark for Single and Multi-population Genetic Programming
1996-08-23
False Sharing Elimination by Selection of Runtime Scheduling Parameters
1997-06-09
Partial Functions, Ordered Categories, Limits and Cartesian Closure
1998-03-11
C. Barry Jay
Voice Conversion By Codebook Mapping Of Line Spectral Frequencies And Excitation Spectrum
1999-04-28
March 18, 1996
1996-03-20
Measuring the Capacity of a Web Server
1997-10-22
A Formal Analysis of Solution Caching
1992-12-01
Baryonic Dark Matter in Globular Clusters
1996-10-01
Adding preferences to CUF
1994-02-10
Chris Brew
ParTy - A Parallel-Types Analyser
1997-10-16
O Pias De Castro
On Using Network RAM as a non-volatile Buffer
1998-08-19
Specification of Workflow Management Systems with UML
1998-08-20
Pavel Hruby
Cognitive Media Types as Indices for Hypermedia Learning Environments
1994-05-31
Robust Parsing of Spoken Dialogue Using Contextual Knowledge and Recognition Probabilities
1996-06-25
Kernel Principal Component Analysis
1997-09-01
ZN-Face: A system for access control using automated face recognition
1996-03-25
Toward An Adaptive Command Line Interface
1998-10-05
Multivariate Autoregressive Models for Classification of Spontaneous Electroencephalogram During Mental Tasks
1996-08-06
Linear Programming
1995-09-22
Nimrod Megiddo
Learning Micro-Planning Rules for Preventative Expressions
1996-08-29
Geert Boeije Peter Vanrolleghem BIOMATH, Universiteit Gent, Coupure 653, 9000 Gent, Belgium
1998-08-19
The Convoluted History of Minimal Encoders
1998-09-25
Hans-andrea Loeliger
Concurrent Procesing of Linearly Ordered Data Structures on Hypercube Multicomputers
1995-04-04
XtalView
1997-04-03
Upgrading Software Maintenance for Components
1998-04-22
Jeffrey Voas
Antibracket, Antifields and Gauge-Theory Quantization
1997-04-26
Performance and Efficiency: Recent Advances in Supervised Learning
1999-04-01
Monitoring Fault Condition During Manufacturing Using The Karhunen-Loève Transform
1997-08-11
A theory of nonmonotonic rule systems I
1994-07-06
A. Nerode
Improved Low-Density Subset Sum Algorithms
1997-01-24
OPT: An Approach to Organizational and Process Improvement
1994-10-19
Importance Sampling For Large Atm-Type Queueing Networks