Lower Bounds and Parallel Algorithms for Planar Orthogonal Grid Drawings Extended Abstract
1994-11-26
Interface Agents that Learn: An Investigation of Learning Issues in a Mail Agent Interface
1997-04-14
Technical Report
1996-05-07
Quark Mass Anomalous Dimension to
1998-05-24
K. G. Chetyrkin
Holcf = Hol + Lcf
1998-12-21
Incorporation of Landmark Error Ellipsoids for Image Registration Based on Approximating Thin-Plate Splines
1998-04-06
Finding Regions Fast:
1993-12-08
Active Implicit Surface for Animation
1999-04-19
Marie-paule Cani-gascuel
Censored Local Likelihood
1996-10-16
Clive R. Loader
New Tests For Stationarity And Parity Reversion: Evidence On New Zealand Real Exchange Rates
1998-11-30
Man Machine Service embedded in Logic Programming
1998-07-22
Average Optimality in Markov Games with General State Space
1997-06-06
Ulrich Rieder
Bursty Traffic and Finite Capacity Queues
1997-10-06
Fergal Toomey
Hierarchical Characterization and Flow Modeling of Computer Network Traffic Using Real-time Measurements
1994-09-19
Implementation and Performance of a Grand Challenge 3d Quasi-Geostrophic Multi-Grid code on the Cray T3D and IBM SP2
1995-03-15
Portable Performance of Data Parallel Languages
1997-09-28
The Van Den Berg-Kesten-Reimer Inequality: A Review
1999-01-21
Error ofKernel Estimator: Monitoring Convergence of Markov Samplers
1995-07-26
Bin Yu
An Adaptive Protocol for Reliable Multicast in Mobile Multi-hop Radio Networks
1998-12-04
A Query Interface for Heterogenous Biological Data Sources
1994-02-28
A Case for Buffer Servers
1999-03-03
The Internet Software Visualization Laboratory
1997-05-27
Local Linear Perceptrons for Classification
1996-04-05
Aimo Tietavainen
1996-06-20
Integrated Browsing and Querying for Image Databases
1999-03-19
Efficient Signature Schemes Based on Birational Permutations
1994-05-03
Adi Shamir
Discounted Linear Exponential Quadratic Gaussian Control
1999-01-18
Learning to Classify Text from Labeled and Unlabeled Documents
1999-01-22
Visualising Granularity in Parallel Programs: A Graphical Winnowing System for Haskell
1995-02-23
A General Duality Principle for the Sum of Two Operators
1996-06-24
H. Attouch
Agents in Cyberspace - Towards a Framework for Multi-Agent Systems in Information Discovery
1998-02-13
The Visual Specification of Context
1998-12-16
Gated SSA Based Demand-Driven Symbolic Analysis
1994-09-19
Monte Carlo study of exact S-matrix duality in non simply laced affine Toda theories
1998-05-14
M. Beccaria
An IR Approach for Translating New Words from Nonparallel, Comparable Texts
1998-07-22
On the Admissible Rules of Intuitionistic Propositional Logic
1999-03-05
Rosalie Iemhoff
CMS Level 1 Calorimeter Trigger Performance Studies
1995-01-11
Evolutionary Learning of a Fuzzy Control Rule Base for an Autonomous Vehicle
1997-02-15
Stardust: an Environment for Parallel Programming on Networks of Heterogeneous Workstations
1998-03-30
A Framework for Parallel Programming in Java
1997-12-12
___________________________________________________________
1996-09-18
An Interior Point Method for Multifacility Location Problems with Forbidden Regions
1997-11-06
Numerical Calculation Of Singularities For Ginzburg-Landau Functionals
1997-06-18
The Computational Complexity of Abduction
1995-08-07
Spinning-current Hall plate with integrated switches
1997-12-22
Job Scheduling for Torus Connected Networks
1997-01-23
Demand-based Document Dissemination for the World-Wide Web
1995-03-03
Azer Bestavros
Toolkits for Multimedia Interface Design
1994-03-02
Inferring Web Communities from Link Topology
1998-04-06
Photoproduction Results from H1
1996-01-16
Klaus Wacker
Reusable Usability Analysis with Markov Models
1999-02-17
A Tool For Developing Interactive Configuration Applications
1996-08-14
Corresponding
1996-06-24
A Fuzzy-Neural Network Based on the Backpropagation Algorithm
1995-04-26
Data mining, Hypergraph Transversals, and Machine Learning
1997-06-02
Enhancement And Recognition Of Noisy Speech Within An Autoregressive Hidden Markov Model Framework Using Noise Estimates From The Noisy Signal
1998-09-28
A General Technique for Eliminating Spurious Oscillations in Conservative Schemes for Multiphase and Multispecies Euler Equations
1970-01-01
Design of Pi
1998-09-23
Optimal Portfolio Selection with Fixed Transactions Costs in the presence of Jumps and Random Drift
1996-09-23
A computer tool for simulation and analysis: the Robotics Toolbox for MATLAB
1999-02-12
Peter I. Corke
Midgap Defect Modes In Dielectric And Acoustic Media
1997-10-03
A One-Dimensional Model for Many-Electron Atoms in Extremely Strong Magnetic Fields: Maximum Negative Ionization
1997-11-30
BROOM: Buffer Replacement using Online Optimization by Mining
1998-08-18
An MPI Implementation of the BLACS
1996-09-03
A PIM-aided Kalman Filter for GPS Tomography of the Ionospheric Electron Content
1998-12-15
Dark Matter Search With Thermal Detectors
1996-03-15
Local Scaling in Conceptual Data Systems
1999-01-30
Rapid Bushy Join-order Optimization with Cartesian Products
1995-12-01
Model Based Segmentation of Clinical Knee MRI
1997-12-02
Iurp0lfurvriw9lvxdo%dvlf
1999-01-08
Normalizing Strategies for Multithreaded Interpretation and Compilation of Non-Strict Languages
1995-05-04
Shail Aditya
Confluently Persistent Deques via Data-Structural Bootstrapping
1993-03-20
Robert Tarjan
A Transformation System for Interactive Reformulation of Design Optimization Strategies
1996-06-06
A General Purpose Shared-Memory Model For Parallel Computation
1997-10-20
Vijaya Ramachandran
Experiences toward an Object-oriented Approach to Structured Parallel Programming
1996-01-29
On Dynamically Generated Parton Distribution Functions and Their Properties
1996-07-29
Ji Chla
ATT at TREC-6: SDR Track
1998-03-25
Constructing Interactive Network Visual Interfaces
1998-05-28
Eugene A. Morelli
1998-06-09
Eugene A. Morelli
Practical Byzantine Fault Tolerance
1999-01-14
Learning to Recognise 3D Objects from 2D Views
1996-02-06
Statistical Modelling of Transmission Holding Time in PAMR Systems
1998-11-19
Francisco Barcel
Reciprocity Theorems For Holomorphic Representations Of Some Infinite-Dimensional Groups
1999-03-26
Communication Modeling of Heterogeneous Networks of Workstations for Performance Characterization of Collective Operations
1998-12-10
A High Speed Implementation of Adaptive Shaping for Dynamic Bandwidth Allocation
1997-10-10
Formally Based Profiling for Higher-Order Functional Languages
1998-10-14
Convection Enhanced Diffusion for Random Flows
1998-06-08
Efficient Shared Memory with Minimal Hardware Support
1998-06-01
Dactl: An Experimental Graph Rewriting Language
1998-02-20
Design and Evaluation of a Computation Partitioning Framework for Data-Parallel Compilers
1999-01-03
A Complete Set of Satisfaction Rules for Property Detection in Distributed Computations
1996-07-11
G-Networks With Triggered Batch State-Dependent Movement
1998-06-29
Stability and Passivity Analysis of Systems with Time Varying Parameters
1997-11-19
Variations Of The Boundary Geometry Of 3-Dimensional Hyperbolic Convex Cores
1998-08-21
Francis Bonahon
A New Interface forHOL - Ideas, Issues and Implementation
1995-06-10
Donald Syme
Some Properties of Riesz Means and Spectral Expansions
1997-10-07
A Guide for New Referees in Theoretical Computer Science
1993-08-04
Ian Parberry
Non-Perturbative Results For High-T QCD
1998-05-23
R. Jackiw
An Algoritm for Automatic Control of a High Speed Power Converter Implemeted on a Custom DSP
1998-02-03
Performance Evaluation of a Bandwidth Allocation Scheme for Guaranteeing Synchronous Messages with Arbitrary Deadlines in an FDDI Network
1996-02-09
Angewandte Mathematik und Informatik Universit at zu K oln
1970-01-01
Relativized Relation Algebras
1999-01-21
Maarten Marx
High Speed Switch Scheduling for Local Area Networks
1994-10-02
Modelling Cooperative Behaviour for Resource Access in a Compositional Multi-Agent Framework
1998-05-07
Bootstrap Method for Measurement Error Model
1998-11-27
Kinetic Approach to Fractional Exclusion Statistics
1998-05-14
Hierarchically Classifying Documents Using Very Few Words
1998-01-15
Parallelization Strategies for the Ant System
1998-08-05
Probability Densities From Distances and Discrimination
1998-09-21
Multiple Paths Join for Nested Relational Databases
1995-09-07
Integrating Diverse Information Resources Into Dialogue Updates
1997-10-06
Robin Cooper
A Data Mining Framework for Adaptive Intrusion Detection
1999-01-21
A Note on the Oscillator Group
1995-08-20
Norbert Dorr
Breeder Genetic Algorithms for Airfoil Design Optimisation
1995-12-20
Combining Multiple Motion Estimates for Vehicle Tracking
1996-01-26
VIZ: A Data-Reactive Visualization Language
1996-03-25
Rejection of Incorrect Answers from a Neural Net Classifier
1994-08-04
Exponential Integrators For Quantum-Classical Molecular Dynamics
1998-07-24
Ploxoma: Testbed for Uncertain Inference
1995-12-29
H. Blau
Splitting a Logic Program
1998-12-10
BREAKTHROUGH TO AWARENESS: A Neural Network Model of Conscious and Unconscious Perception.
1996-04-30
J. G. Taylor
Anonymity Loves Company: Anonymous Web Transactions with Crowds
1998-10-23
Learning an Intersection of a Constant Number of Halfspaces over a Uniform Distribution
1994-04-15
The Complexity Of Optimal Queueing Network Control
1997-12-18
Individual Based Modelling in an Explicitly Spatio-temporal Ecosystem
1997-12-16
Overfitting Avoidance as Bias
1994-07-05
Cullen Schaffer
Stability of the Iterative Process
1997-06-06
B. U. A. P. Mexico
An Incompleteness Handling Methodology for Validation of Bayesian Knowledge Bases
1997-12-04
David J. Bawcom
Subtopic Structuring for Full-Length Document Access
1993-04-09
Computational Problems in Strong Visibility
1997-06-24
Quo Vadis - A Framework for Intelligent Routing in Large Communication Networks
1995-12-21
Comparative Multivariate Visualization Across Conceptually Different Graphic Displays
1995-06-21
Abduction for Knowledge Assimilation in Deductive Databases
1997-12-20
Derandomized Graph Products
1997-03-17
Providing security to the building licenses delivering process in the city of Torino
1997-07-01
A Concurrent and Distributed Extension of Scheme
1996-01-22
Christian Queinnec
Revisiting the Relationship Between Non-Blocking Atomic Commitment and Consensus
1996-05-17
Rachid Guerraoui
High order Ito-Taylor approximations to heat kernels
1997-12-18
Arturo Kohatsu-higa
Distance Based Revision Of Preferential Logics
1998-05-19
Performance Analysis of Combining Multistage Interconnection Networks
1998-09-07
Learning Parameterized Models of Image Motion
1997-06-02
Constraint Matching Retrieval in
1997-07-22
Duncan K. G. Campbell
Recognizing Color Patterns Irrespective of Viewpoint and Illumination
1999-01-14
R.j. Protheroe
1996-12-22
R. J. Protheroe
Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis
1998-04-30
An Efficient Subsumption Algorithm for Inductive Logic Programming
1997-07-23
Wavelet Based SAR Speckle Reduction and Image Compression
1970-01-01
PQ-trees and maximal planarization - An approach to skewness
1970-01-01
Set Theory and Physics
1997-10-16
K. Svozil
Position-Based Physics: Simulating the Motion of Many Highly Interacting Spheres and Polyhedra
1996-06-23
Victor J. Milenkovic
Biased Leftist Trees and Modified Skip Lists
1999-01-18
Formal Verification in Robotics: Why and How?
1997-01-24
Serial Simulation of Reconfigurable Mesh, an Image Understanding Architecture
1998-05-05
A New Approach to Match Operating Systems to Application Needs
1997-05-21
Fractal Function Estimation via Wavelet Shrinkage
1997-10-21
Yazhen Wang
Implementation Tradeoffs in Distributed Shared Memory Machines
1997-09-02
Metrics for Database Systems: An Empirical Study
1998-02-11
Sequential Circuit Synthesis at the Gate Level
1995-08-22
Ellen Marie Sentovich
A Comparison of Parallel Algorithms for Multi-dimensional Integration
1998-09-08
Routing Algorithms for Torus Networks
1995-07-26
A Scalable Monitoring Architecture for Managing Distributed Multimedia Systems
1997-06-19
A Hierarchical Sensory-Motor Architecture of Oscillating Cortical Area Subnetworks
1998-08-26
Wannier-Bloch oscillators
1997-07-21
Fusion of Loops for Parallelism and Locality
1996-11-25
A New Unconstrained Differentiable Merit Function for Box Constrained Variational Inequality Problems and a Damped Gauss-Newton Method
1997-09-11
Using Predicated Execution to Improve the Performance of a Dynamically Scheduled Machine with Speculative Execution
1998-01-27
Computing System Descriptions for Systems Software
1995-10-07
A Fuzzy Approach to Pose Determination in Object Recognition
1997-11-26
Ellen L. Walker
Synthesizing Customized Planners from Specifications
1998-03-31
Organizing Programs Without Classes
1999-01-15
Weak* Sequential Compactness and Bornological Limit Derivatives
1995-10-26
Local Memory Reference Behavior of Fine-Grain Multithreaded Execution
1970-01-01
Utilizing Fuzzy Data and Rules for Discrete Control of Semiconductor Manufacturing Processes
1996-07-25
The Number of Dependent Arcs in an Acyclic Orientation
1996-12-17
Logic Programming and Negation: A Survey
1970-01-01
Realization of an HPF Interface to ScaLAPACK with Redistributions
1996-05-05
An Effective Axiomatization for Real Time ACP
1999-01-13
A Multilevel Cost-Space Approach To Solving The BalancedLong Transportation Problem
1994-06-17
Applications of Quantifier Elimination Theory to Control Theory
1995-09-15
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space
1996-10-21
Compensations in Small Divisor Problems
1998-11-02
Some Concurrency Models In A Categorical Framework Extended Abstract
1998-10-19
Measurements of Diffractive Structure Functions at HERA
1998-12-15
Fast Estimation Of Diameter And Shortest Paths without Matrix Multiplication
1998-04-10
Haruzo Hida and Yoshitaka Maeda
1998-02-01
Regularity of Interacting Nonspherical Fermi Surfaces: The Exact Self--Energy
1997-05-21
Minimum-Cost Bounded-Skew Clock Routing
1995-02-16
A Meta-Interpreter for Circuit-Extraction
1997-06-10
Krishnaprasad Thirunarayan
Service Models and Pricing Policies for an Integrated Services Internet
1994-04-28
Scott Shenker
An Axiomatization for Regular Processes in Timed Branching Bisimulation
1999-01-13
Wan Fokkink
Revenue Equivalence of Leveled Commitment Contracts
1999-03-13
Finding Clusters in Network Link Strength Data
1998-12-21
Todd L. Graves
Evaluation of the Sequence Data Assemble Software "Shotgun"
1995-02-09
Diagnostic Reasoning with Anaesthesia Knowledge
1998-01-20
An Alternative Paradigm for Data Evaluation in Remote Sensing Using Multisensor Data Fusion
1999-03-30
Olaf Hellwich
Dynamic Verification of C++ Generic Algorithms
1996-10-16
Multifractals, Encoded Walks and the Ergodicity of Protein Sequences
1995-10-04
A Non-quasiconvex Subgroup of a Hyperbolic Group with an Exotic Limit Set
1995-12-19
Ilya Kapovich
Mapping Tools for the Triptych FPGA
1994-12-06
Sets and Functions: A Foundation for Digital Libraries, through Streams, Spaces, Structures, and Scenarios S4
1998-06-15
A Matrix Characterization for
1998-10-16
Christoph Kreitz
Comparisons of the Cosine Measure and Sub-String Indexing on Usenet News Articles
1995-11-08
Fredrik Kilander
The Product of Four Hadamard Matrices
1997-03-19
Genetic Algorithm involving Coevolution Mechanism to Search for Effective Genetic Information
1999-02-08
MR Image Estimation from Sparsely Sampled Radial Scans
1997-12-22
Gravity from Dirac Eigenvalues
1997-08-22
Subsumption Algorithms for Concept Languages
1999-02-04
A Structuring Algorithm for Decompilation
1998-09-27
Cristina Cifuentes
Remarks On Chiral Symmetry Breaking With Massless Fermions
1998-05-13
Rainer Dick
THESIS DESCRIPTION AND EVALUATION OF A META-SEARCH AGENT Submitted by
1996-10-04
Daniel Dreilinger
Computing Envelopes in Four Dimensions with Applications
1994-05-20
Integration of Concurrency Control in a Language with Subtyping and Subclassing
1998-03-11
Segmentation by Grouping Junctions
1998-04-25
Thomson Consumer Electronics Corporate Research INH 700 P.O. Box 6139, Indianapolis, IN 46206-6139 Email:
1998-02-03
Edwin A. Heredia
Distributing Equational Theorem Proving
1993-06-08
J. Avenhaus delta J. Denzinger
RapidSimulation of Urban Traffic using FPGAs
1995-04-28
A new analysis method for very high definition Imaging Atmospheric Cherenkov Telescopes as applied to the CAT telescope
1998-04-20
Macroscopic-Microscopic Mass Models
1998-01-19
An Algorithm for Maintaining Consistent View of Processes in Distributed Systems
1997-02-28
Dang Van Hung
Design and Analysis of Turbo Codes on Rayleigh Fading Channels
1997-09-25
Transactional Client-Server Cache Consistency: Alternatives and Performance
1997-04-14
Kenji Mase
1997-04-23
Kenji Mase
Duplicate Removal in Information Dissemination
1997-03-07
Many Higgs Doublet Supersymmetric Model, Flavor Changing Interactions and Spontanoeus CP Violation
1998-05-13
PICARD: The Next Generator
1996-10-04
A Framework for Temporal Data Models: Exploiting Object-Oriented Technology
1999-01-14
The TRANSPOSE Machine A Global Implementation of a Parallel Graph Reducer
1998-04-05
Memoing Evaluation for Constraint Extensions of Datalog
1997-10-10
Making Pure Object-Oriented Languages Practical
1998-11-25
On Finding the Strongly Connected Components in a Directed Graph
1995-10-08
GADGET: Goal-Oriented Application Design Guidance for Modular Visualization Environments
1998-09-29
Pursuit: Visual Programming in a Visual Domain
1994-03-22
Surgical Applications of Milli-Robots.
1995-04-10
Integrating Hands-on Work into the Formal Languages Course via Tools and Programming
1996-07-15
Susan H. Rodger
Querying TSQL2 Databases with Temporal Logic
1998-08-05
White Paper On Reverse Engineering
1994-04-05
Spencer Rugaber
Making a Low-Dimensional Representation Suitable for Diverse Tasks
1998-11-13
Computer Design Strategy for MCM-D/Flip-Chip Technology
1997-07-29
Learning to Adapt to Changing Environments in Evolving Neural Networks
1995-12-13
Integrating Data/Program Structure and their Visual Expressions in the Visual Programming System
1998-09-24
Adaptive Animat Navigation Based on a Flexibility Model for the Environment
1996-05-13
Solar-Powered, Formation-Enhanced Aerial Vehicle Systems for Sustained Endurance
1998-04-13
The Kaon-Photoproduction Of Nucleons In The Chiral Quark Model
1998-05-15
Zhenping Li
Non-Oscillatory Boundary Treatment for Staggered Central Schemes
1997-11-05
A Symbolic Description of Punning Riddles and Its Computer Implementation
1998-04-10
Information-Conserving Object Recognition
1998-07-31
Generalised Solutions, Discrete Models And Energy Estimates For A 2d Problem Of Coupled Field Theory
1998-08-15
R. V. N. Melnik
Dynamite: A flexible code generating language for dynamic programming methods used in sequence comaprison.
1998-08-14
Methodology of Time Delay Change Determination for Uneven Data Sets
1998-04-14
Extrapolation And Related Techniques For Solving Elliptic Equations
1992-04-04
U. R Ude
A New Formalization for Script-based Story Understanding
1970-01-01
Scalable Parallel Implementations of List Ranking on Fine-grained Machines
1996-08-22
Spectral Properties of a Hybrid Thermal-Nonthermal Isotropic Plasma
1998-10-19
Message-Passing Algorithms for a SIMD Torus with Coteries
1997-09-28
Extracting Support Data for aGiven Task
1999-01-18
Waveform iteration and one-sided Lipschitz conditions
1997-11-25
I. Bremer
Stochastic Models for DIV-CURL Optical Flow Methods
1996-06-05
Intelligent Communication Filtering for Limited Bandwidth Environments
1996-10-29
March 21, 1997 Ergodicity of Hard Spheres in a Box N'andor Sim'anyi
1997-04-26
This work was supported in part by DARPA grant number N00014-91-J-4043. The second author was supported during the final preparation of
1999-03-22
Robust Hedging of the Lookback Option
1997-06-15
David G. Hobson
Implicit-Explicit Runge-Kutta Methods for Time-Dependent Partial Differential Equations
1970-01-01
A Formal Model to Support Subject-Oriented Programming
1995-08-22
From Agent Theory to Agent Construction: A Case Study
1997-09-03
Data-Oriented Language Processing An Overview
1996-12-12
Multiscale Texture Segmentation using Wavelet-Domain Hidden Markov Models
1998-10-30
Difference Sets and Computability Theory
1997-06-04
Lecture Notes in Computer Science
1999-02-10
Nelson H. F. Beebe
A globality theorem for Lie-wedges that are bounded by a hyperplane-ideal
1995-08-21
Dirk Mittenhuber
A Model for Coordinating Interacting Agents
1997-02-01
A Real Holomorphy Ring Without The Schmüdgen Property
1997-07-29
Murray A. Marshall
An Indexed Bibliography of Genetic Programming
1998-09-03
Jarmo T. Alander
Implementation of a Discretionary Access Control Model for Script-based Systems
1995-04-17
Knowledge Representation in the TRAINS-93 Conversation System
1996-08-28
Finite Axiom Systems for Testing Preorder and De Simone Process Languages
1998-10-22
Irek Ulidowski
Is Skeletal Planning in Real-World, High-Frequency Domains Possible?
1997-02-14
Davis and Putnam were already checking forward
1996-05-07
Robust Recovery of Ego-Motion
1994-01-12
KnightCap: A chess program that learns by combining TDlambda with game-tree search
1998-06-16
A Framework for Parallel Adaptive Finite Element Methods and its Template Based Implementation in C++
1998-02-12
.0 General
1993-05-24
Automatic Parameter Selection by Minimizing Estimated Error
1999-02-05
High-Speed Visual Estimation Using Preattentive Processing
1995-07-21
The Virtual Venue: User-Computer Interaction in Information-Rich Virtual Environments
1996-09-23
Software Architecture Of The Hippi To Xunet Atm Adapter
1997-10-03
David M. Putzolu
Multiplexing Traffic at the Entrance to Wide-Area Networks
1993-01-29
Ramon Caceres
Analytical Study of the Interplay Between Architecture and Predictability
1998-03-09
On Architecture Independent Design and Analysis of Parallel Programs
1996-08-15
The INRECA-II Methodology for Building and Maintaining CBR Applications
1998-01-14
Penalized Discriminant Analysis
1994-12-22
Applying Goals and Cases to Business Decision Making
1995-06-14
Stephen Slade
Optimization of Memory Organization and Hierarchy for Decreased Size and Power in Video and Image Processing Systems
1996-02-07
Stochastic Inference of Regular Tree Languages
1998-06-09
Experience Using Design Patterns to Develop Reuseable Object-Oriented Communication Software
1995-07-04
Douglas C. Schmidt
A Flexible Operation Execution Model for Shared Distributed Objects
1996-07-05
Performance of a Fully Parallel Sparse Solver
1997-04-10
A Survey of Languages Integrating Functional, Object-oriented and Logic Programming
1998-02-15
Deciding Term Aboutness Probabilistically
1995-10-02
Ioannis K. Argyros
1997-09-26
Ioannis K. Argyros
A Simple Linear Time Algorithm for Embedding Maximal Planar Graphs
1996-11-05
Hermann Stamm-wilbrandt
Proxy Cache Coherency and Replacement-Towards a More Complete Picture
1999-01-28
Selection Schemes, Elitist Recombination, and Selection Intensity
1999-01-25
Dirk Thierens
Final Iterations in Interior Point Methods - Preconditioned Conjugate Gradients and Modified Search Directions
1998-09-05
Weichung Wang
The Pessimism behind Optimistic Simulation
1996-03-07
Learning Complex, Extended Sequences Using The Principle Of History Compression
1995-08-21
Jurgen Schmidhuber
Object-Oriented Specification of Coordinated Collaboration
1997-07-11
L. P. J. Groenewegen
Landscape Ruggedness in Evolutionary Algorithms
1997-04-12
Krasimir Kolarov
Neural Network Prediction of Disruptions in a Tokamak Plasma Markus Svensén
1996-01-29
Proofs of Soundnessand Completeness of Type Inference for HMX
1997-05-02
Martin Sulzmann
A new finiteness condition for monoids presented by complete rewriting systems after Craig C. Squier
1994-08-22
Succinctness of Descriptions of SBTA-Languages
1996-07-22
A Capacitively Loaded PIFA for Compact Mobile Telephone Handsets
1997-12-09
Planning with Closed-Loop Macro Actions
1997-09-01
Solving the Linda multiple problem
1996-07-12
An English Constraint Grammar ENGCG a surface-syntactic parser of English
1997-05-26
Processing Transactions over Optimistic Atomic Broadcast Protocols
1999-05-07
Center for Biological and Computational Learning and Artificial Intelligence Laboratory MIT Cambridge, MA 02139
1999-04-06
A Study of the Fairness of the Fast Reservation Protocol
1996-06-12
Olga Casals
Dealing with Vehicle/Terrain Interactions when Planning the Motions of a Rover
1998-04-09
Plan Execution in a Temporal Logic Environment
1996-09-04
D. Dengler
On Models of Gaussian Reciprocal Processes and the Reconstruction of Periodic Jacobi Matrices
1998-04-22
Discovering Generalized Episodes Using Minimal Occurrences
1996-08-15
Rate-Constrained Block Matching Algorithm
1997-01-21
Processor Capacity Reserves: Operating System Support for Multimedia Applications
1994-11-26
An Interactive Image Index
1994-09-13
William F. Eddy Audris Mockus
Server Operating Systems
1996-07-17
Determining Asynchronous Pipeline Execution Times
1996-12-11
Operations and Cooperations in Elliptic Cohomology, Part I: Generalized modular forms and the cooperation algebra
1995-01-09
January 6, 1997
1997-02-27
Shuzhong Zhang
Polygonal Decomposition into Singular and Regular Regions
1999-03-02
Jairo Rocha
Chronological Objects for Data Analysis
1996-07-29
Media Streaming Protocol: An Adaptive Protocol For The Delivery Of Audio And Video Over The Internet
1998-11-06
Are "Disks in the Air" Just Pie in the Sky?
1995-04-18
Some Results Concerning the Ends of Minimal Cuts of Simple Graphs
1998-04-15
Small Ramsey Numbers
1998-07-09
Stanisl/aw P. Radziszowski
QD-Janus: A Sequential Implementation of Janus in Prolog
1993-06-30
Saumya K. Debray
Modelling Operating System Structures by Timed Stream Processing Functions
1997-09-29
Some General Criteria on Equations to Guarantee Poly-time Functions
1970-01-01
Automated Interpretation of Myocardial SPECT Perfusion Images Using Artificial Neural Networks
1998-12-04
Xtoys: Cellular Automata on Xwindows
1995-08-29
Michael Creutz
Terminological Cycles: Semantics and Computational Properties
1996-03-03
Designing Data Flow Graphs by Graph Grammars
1997-06-18
The Categorical Product Data Model as a Formalism for Object--Relational Databases
1997-01-24
The Capacitated K-Center Problem
1997-09-14
Instruction Set Design and Optimizations for Address Computation in DSP Architectures
1998-02-03
Singularities at infinity and their vanishing cycles, II. Monodromy
1999-01-29
Constraint Satisfaction: The Approximability of Minimization Problems
1997-09-04
Supporting Conflict Resolution in Cooperative Design Systems
1999-01-08
Mark Klein
Efficient 2-Pass N-Best Decoder
1997-04-14
Linear Algebra Research on the AP1000
1970-01-01
A Comparison of ADIFOR-Generated versus Hand-Generated Derivatives for a Complicated Statistical Function
1997-01-27
IBM Research Report
1998-05-30
Data Oriented LP with Magritte
1998-07-22
Jos'e Paulo Leal
Modeling Coarticulation in Synthetic Visual Speech
1999-02-03
Nonparametric Estimation Of A Generalized Additive Model With An Unknown Link Function
1998-07-06
Joel L. Horowitz
A Framework for Evaluating Specification Methods for Reactive Systems
1997-01-15
Posterior Integration in Dynamic Models
1994-02-08
Peter Mueller
Foundations of Object-Oriented Languages
1997-09-03
Viscoelastic Effects in 3D Microphase Separation of Block Copolymers: Dynamic Mean-Field Density Functional Approach
1998-06-08
Material Classification of Magnetic Resonance Volume Data
1992-11-19
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra
1998-12-21
An Analysis of Dynamic Branch Prediction Schemes on System Workloads
1996-10-14
Positivity Problems and Conjectures in Algebraic Combinatorics
1999-02-10
Richard P. Stanley
An Efficient Protocol for Authenticated Key Agreement
1998-09-01
Normalized Cuts and Image Segmentation
1998-09-04
Axiomatic Justifications Of The Utility Principle -- A Formal Investigation
1996-01-03
Nonstandard Set Theories and Information Management
1995-07-07
Varol Akman
Parallel Implementation of a Data-Transpose Technique for the Solution of Poisson's Equation in Cylindrical Coordinates
1997-03-19
Test Case Preparation using a Prototype
1998-10-08
Task Scheduling using Block Dependency DAG of Block-Oriented Sparse Cholesky Factorization
1999-03-15
MULTIGRID TECHNIQUES FOR HIGHLY INDEFINITE EQUATIONS Yair Shapira Computer Science Department, Technion Gamma
1995-06-07
Yair Shapira
Padma: An Architecture for Adaptive Multimedia Systems
1997-07-05
Choosing the Relaxation Parameter For the Solution of Nonlinear Magnetic Field Problems by the Newton-Raphson Method
1998-05-13
Multi-window FTP Systems in Java: A Network Client
1999-01-20
Bijo Thomas
Technical Report 73 January, 1992
1997-04-21
A new estimate for a problem of Steinhaus
1996-09-19
Mihail N. Kolountzakis
Inferring Ordered Trees from Local Constraints
1997-11-10
A Class of Composable High Level Petri Nets
1997-02-14
Conservation Laws With Vanishing Nonlinear Diffusion And Dispersion
1996-07-02
Roberto Natalini
Scripted Documents: A Hypermedia Path Mechanism
1998-09-18
Polle T. Zellweger
An Extensible Meta-Learning Approach for Scalable and Accurate Inductive Learning
1996-10-11
Philip Kin-wah Chan
Resampling and its Avoidance in Genetic Algorithms
1998-04-14
Ralf Salomon
Distribution Ray Tracing: Theory and Practice
1998-01-23
The Search For Black Holes In X-Ray Binaries: An Update
1998-05-12
Solar Neutrino Oscillations in the Moon
1998-05-15
Brian Mason
Traffic Jams, Granular Flow, and Soliton Selection
1997-02-07
Checking for Race Conditions in File Accesses
1997-03-28
Approximately Learning Regular Languages with respect to Reversible Languages: A Rough Set Based Analysis
1996-05-10
On Reduction via Determinization of Speech-Recognition Lattices
1997-07-08
Fast Connected Components Algorithms For The Erew Pram
1970-01-01
Content-based Image Database Retrieval Using Variances of Gray Level Spatial Dependencies
1998-10-07
Principal Component Analysis and Large-Scale Correlations in Non-Coding Sequences of Human DNA.
1997-02-01
Simulating Threshold Circuits by Majority Circuits
1998-04-30
Some convergence results for the Newton-GMRES algorithm
1993-09-13
Implementing Distributed Real-time Control Systems in a Functional Programming Language
1996-04-04
Claes Wikstrom
Treillis de Galois de donn'ees multivalu'ees et intervalles
1997-12-01
Institut for Fysik og Astronomi, Aarhus Unversitet Ny Munkegade, DK-8000 Arhus C
1996-09-05
Unknown
1996-07-01
Proceedings of the 18th International Symposium on Computer Architecture, pp. 266-275, 1991
1999-03-28
On Compact Representations of Propositional Circumscription
1996-12-18
Programming with Dynamic Predicate Logic
1998-11-14
Jan Van Eijck
CCF: Collaborative Computing Frameworks
1998-04-01
Polaris: Improving the Effectiveness of Parallelizing Compilers
1995-08-24
HPMDs of type 2
1996-01-10
Time-Frequency Acoustic Processing and Recognition: Analysis and Analog VLSI Implementations
1999-04-02
Robert Timothy Edwards
Compiling For Distributed Memory Multiprocessors Based On Access Region Analysis
1997-09-12
Covariant Bimodules and Differential Calculi on Quantum Groups of Type B, C, D
1995-08-21
Axel Schuler
Kit Algebras
1997-03-03
Thomas Br Ustle
Correctness in General Configurations of Transactional Components
1999-03-05
The BSD Packet Filter: A New Architecture for User-level Packet Capture
1992-12-20
Steven Mccanne
Iterative Generation of 3-D Models from a Set of Images
1998-05-12
Automated Model Selection for Simulation
1998-04-13
Some Developments of the Blackwell-MacQueen Urn Scheme
1996-10-21
Jim Pitman
-1 Addition and Related Arithmetic Operations with Threshold Logic
1997-06-10
Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently
1992-06-25
First Flights at Genetic-Algorithm Kitty Hawk
1994-11-28
David E. Goldberg
Designing a BSP version of ScaLAPACK
1998-12-08
Automatic Differentiation as a Tool for Sensitivity Analysis of a Convective Storm in a 3-D Cloud Model
1996-07-24
Description Logics for Natural Language Processing
1994-07-13
Triangulations and moduli spaces of Riemann surfaces with group actions
1995-09-17
Fixing the "Broken-link" Problem: The W3Objects Approach
1997-04-23
Algorithms for Fixture Design
1996-09-12
Is It Alive Or is It a Cellular Automaton?
1999-03-31
Kari Eloranta
INVESTIGATING THE BEHAVIOUR OF Qlambda
1997-11-03
Testing for Parametric Faults in Static CMOS Circuits
1996-03-19
Fast Wavelet Packet Image Compression
1997-11-20
Spatial Models of Pollen Dispersal in the Forage Grass Meadow Fescue
1997-07-29
Sorting by Parallel Insertion on a One-Dimensional Sub-Bus Array
1996-09-19
Curve Reconstruction: Connecting Dots with Good Reason
1999-03-25
A Discriminative Filter Bank Model For Speech Recognition
1995-06-22
Directing Attention to Onset and Offset of Image Events for Eye-Head Movement Control
1998-03-05
Experience Using Design Patterns to Develop Reuseable Object-Oriented Communication Software
1995-08-15
Douglas C. Schmidt
On-Line New Event Detection using Single Pass Clustering
1998-04-15
Linear Concurrent Constraint Programming: Operational and Phase Semantics
1998-06-03
Recognition of Complex Objects with an Active Vision System
1998-10-13
Formal Real-Time Imagination
1995-11-12
Quantization Of A Class Of Piecewise Affine Transformations On The Torus
1997-04-26
A Congruence for Gamma Programs
1996-08-01
Priority Queues and Multi-sets
1994-08-10
A Class of Fast Methods for Processing Irregularly Sampled or Otherwise Inhomogeneous One-Dimensional Data
1998-04-29
Sampling and Reconstructing Manifolds Using Alpha-Shapes
1998-06-22
Algorithmic Representation of Visual Information
1970-01-01
Enforcing Schedulability of Multi-Task Systems by Hardware-Software Codesign
1997-02-17
ANN Based Forecasting of VBR Video Traffic for Dynamic Bandwidth Allocation in ATM Networks
1995-04-04
Representation and Management Issues for Case-Based Reasoning Systems
1993-09-18
Igor Jurisica
The Digital Office: Overview
1998-05-31
Genotype by Environment variance heterogeneity in a two-stage analysis
1970-01-01
Formalizing Narratives using Nested Circumscription
1996-09-10
Quantum conductivity corrections in Si-MOS structures in the regime of high electron concentrations.
1998-12-11
Continuation Method for Total Variation Denoising Problems
1995-04-24
Data-Parallel Design of an Interval-Based Constraint Language: Analysis of Speed-Ups
1997-08-12
Modeling with Cubic A-Patches
1998-07-22
The Evolution of Sporting Strategies
1995-11-19
Power Series Expansions And Invariants Of Links
1997-09-04
Xiao-song Lin
A Hybrid Nearest-Neighbor and Nearest-Hyperrectangle Algorithm
1994-11-08
Dietrich Wettschereck
. . . from QCD sum rules
1998-05-13
On Quantum Statistical Mechanics On Robertson-Walker Spacetimes
1998-08-07
M. Trucks
Linear Mappings And Generalized Upper Spectrum For Dimensions
1998-04-21
Arbiter Meta-Learning with Dynamic Selection of Multiple Classifiers
1998-03-28
Alexey Tsymbal
Improving the Alternating Fixpoint: The Transformation Approach
1997-04-27
Ulrich Zukowski
Reflections on Distributing agents
1998-10-12
Provably Correct Algorithms for Multiframe Structure from Motion: the Case of Constant Translation Direction
1995-10-06
John Oliensis
Measures on Corson Compact Spaces
1995-08-24
Centering in Japanese Discourse
1997-08-12
Maxmin Fair Routing in Connection-Oriented Networks
1998-12-13
Dynamic QOS Control and Resource Reservation
1998-01-29
Tatsuo Nakajima
Optimal Positioning in Derivative Securities
1998-01-28
A Synthetic View of Belief Revision with Uncertain Inputs in the Framework of Possibility Theory
1997-06-30
Stabilization of Relative Equilibria
1998-06-15
Symbolic Mathematics System Evaluators
1996-08-28
Richard J. Fateman
New Approximation Algorithms for Graph Coloring
1994-03-14
Avrim Blum
Dimensionality of Illumination Manifolds in Eigenspace
1996-01-02
Shree K. Nayar
Simulations Between Two Reconfigurable Mesh Models
1997-11-18
Département de Mathématiques et Informatique
1996-06-14
Serge Vaudenay
The Problems of Designing a Conversation Scheme for Concurrent Object Oriented Languages
1995-08-08
A. Romanovsky
Trust and Partial Typing in Open Systems of Mobile Agents
1998-07-13
Applications of the Situation Calculus To Formalizing Control and Strategic Information: The Prolog Cut Operator
1997-04-25
Fangzhen Lin
Regularization of Ill-Posed Problems by Envelope Guided Conjugate Gradients
1996-12-04
Complex Multiplication and Explicit Class Field Theory
1998-08-31
Kiran S. Kedlaya
Exploration in Machine Learning
1994-02-25
Michael P. Frank
Parallel Simulation of Transmission Line Systems on Printed Circuit Boards
1970-01-01
Key Words in Context, an example
1970-01-01
Distributed Computing On An Fddi Based Network
1998-07-09
Identifying Regular Languages over Partially-Commutative Monoids
1997-11-07
Object to Multisensor Coregistration with Eight Degrees of Freedom
1995-05-09
Object-Space Parallel Polygon Rendering On Hypercube-Connected Multicomputers
1997-05-02
S. Jeschonnek, T. W. Donnelly
1998-07-16
Joint Compression And Restoration Of Images Using Wavelets And Non-Linear Interpolative Vector Quantization
1998-02-02
INQUERY Does Battle With TREC-6
1998-02-12
Block Allocation in Video Servers for Availability and Throughput
1996-11-06
The Smart Access Memory: An Intelligent RAM for Nearest Neighbor Database Searching
1997-05-22
Independent Component Analysis of Electroencephalographic Data
1996-07-10
Copy Detection Mechanisms for Digital Documents
1995-05-03
A Structure-Based Approach to Querying Semi-Structured Data
1998-02-28
Mary Fernandez
Simulating an Object-Oriented Financial System in a Functional Language
1998-08-26
Structural Operational Semantics as a Basis for Static Program Analysis
1996-12-19
Daniel Le M'etayer
A Natural Language Approach To Multi-Word Term Conflation
1997-06-13
CRT-95-19 VEHICLE ROUTING WITH MULTIPLE USE OF VEHICLES by Eric D. Taillard
1996-11-27
Graphically Displaying Text
1999-01-21
Stephen G. Eick
AP/Linux - A modern OS for the AP1000+
1997-10-20
Semi-Markov Processes With Phase-Type Sojourn Times
1995-06-29
State-space Planning by Integer Optimization
1999-03-30
Optimizations for Location-aided Routing LAR in Mobile Ad Hoc Networks
1998-11-24
Krisrose@ens-Lyon.fr
1999-02-25
Kristoer H. Rose
Twenty-One at TREC-7: Ad-hoc and Cross-language track
1999-01-25
To Weight or not to Weight: Where is the Question?
1997-10-04
Cyclotomic q-Schur algebras
1997-11-25
An Intelligent System for Pacemaker Reprogramming
1999-03-17
A Distributed Scaleable Real-Time Add-On for Operating Systems
1998-06-30
A Prediction--Verification Strategy for Object Recognition using Local Appearance
1999-03-02
Radio Continuum Evidence for Outflow and Absorption in the Seyfert 1 Galaxy Markarian 231
1998-12-03
TOP500 Supercomputer Sites
1970-01-01
The Investigation of a Structured Markovian Traffic Source Model
1997-03-06
Stephen Bates
Characterization Results for d-Horn Formulas,
1998-09-29
Carlos Areces
Specialization in Populations of Artificial Neural Networks
1995-12-01
Contextual Net Unfolding and Asynchronous System Verification
1997-06-27
Alex Semenov
Anonymous RPC: Low-Latency Protection in a 64-Bit Address Space
1994-10-02
Neural Dual Extended Kalman Filtering: Applications In Speech Enhancement And Monaural Blind Signal Separation
1997-07-03
Intelligent Simulation in Designing Complex Dynamic Control Systems
1997-05-03
Feng Zhao
Integro-Differential Model for Pattern Formation in Bacterial Swarm
1997-09-08
Mixed Categories as Head Sharing Constructions
1997-07-22
On MCMC Sampling in Hierarchical Longitudinal Models
1998-10-07
A Memory-Conserving Hybrid Method For Solving Linear Systems With Multiple Right Hand Sides
1970-01-01
An Efficient Accelerated Waveform Method for Parallel Transient Simulation of Semiconductor Devices
1997-03-13
Tianruo Yang
Self-Delegation with Controlled Propagation -- or -- What If You Lose Your Laptop
1997-09-27
QCD at finite baryon density with t-asymmetric fermions
1998-05-12
Utilizing Scenarios in the Software Development Process
1994-05-12
Constructing Fuzzy Controllers with B-Spline Models - Principles and Applications
1998-10-10
Interior Point Methods In Semidefinite Programming With Applications To Combinatorial Optimization
1997-03-11
Farid Alizadeh
Writer and Writing-Style Classification in the Recognition of Online Handwriting.
1998-05-19
Disjunction of Horn theories and their cores
1999-01-11
Symmetry Of Tilings Of The
1998-07-11
Charles Radin
Equilibrium Statistical Mechanics Of Frustrated Spin Glasses: A Survey Of Mathematical Results
1997-04-26
Dimitri Petritis
Enabling Synchronous Joint-Working In Java
1998-03-03
Vladimir Minenko
Exploiting Constraints as Background Knowledge for Genetic Algorithms: a Case-study for Scheduling
1998-04-07
Status Report On The Nomad Experiment
1997-06-19
B. Schmidt
Synthesis from Knowledge-Based Specifications
1998-06-10
Cooperation between Pronoun and Reference Resolution for Unrestricted Texts
1997-05-13
Some Decidability Results for Duration Calculus under Synchronous Interpretation
1999-03-09
LECTURE 9 Statistical mechanics of semiflexible polymers: theory and experiment
1998-08-03
Reflections on Undo
1996-11-14
A Supernova at
1995-04-07
A Programming Methodology for Dual-tier Multicomputers
1999-02-22
A Protocol for Maintaining Multidatabase Referential Integrity
1995-11-22
Peter D. Karp
Localization Of Distributed Sources
1998-11-30
Composing the user interface with Haggis
1996-06-08
General Classes Of Control-Lyapunov Functions
1996-10-29
A Classification System for Credit Card Transactions
1995-11-21
Using Local-Spin
1997-06-23
Practical Multi-Resolution Source Coding: TSVQ Revisited
1998-04-23
Michelle Effros
The GCHQ Protocol and its Problems
1997-03-07
Denotational Versus Declarative Semantics For Functional Programming
1998-04-27
A Reverse Engineering Methodology For Data Processing Applications
1994-04-05
A First Generation DPGA Implementation
1995-05-22
Xgobi: Interactive Dynamic Graphics In The X Window System With A Link To S
1998-11-16
Contrasting the Cognitive Effects of Graphical and Sentential Logic Teaching: Reasoning, Representation and Individual Differences
1995-01-23
Gibbs States Of The Hopfield Model With Extensively Many Patterns
1997-04-26
Anton Bovier
Improving Environmental Robustness In Large Vocabulary Speech Recognition
1995-12-21
Type Extension and Efficient AST Manipulation
1995-04-19
Resource Optimization Via Structured Parallel Programming
1995-09-26
Approximately Learning Regular Languages with respect to Reversible Languages: A Rough Set Based Analysis
1996-05-10
Elisabetta Marcelli
1997-04-26
Decidability of Bisimilarity for One-Counter Processes
1999-03-04
Petr Jancar
Signals, Timers, and Continuations for Multithreaded User-Level Protocols
1998-04-20
The size and growth rate of the Internet
1998-10-03
A Deterministic Linear Time Algorithm for Geometric Separators and its Applications
1998-07-11
Abductive reasoning through Filtering
1998-11-24
Chitta Baral
Kin Selection and Cooperating Agents
1996-02-28
Programmable Active Memories: Reconfigurable Systems Come of Age
1998-12-21
A Quality of Service Decision Model for ATM-LAN/MAN Interconnection
1998-02-12
Physically-Based Combinations of Views: Representing Rigid and Nonrigid Motion
1994-09-13
The Automatic Classification of Outdoor Images
1997-02-08
Implementing Semantic-Based Decomposition of Transactions
1997-08-29
An Overview of the Tigger Object-Support Operating System Framework
1999-02-08
Vinny Cahill
A Hardware Emulator For Binary Neural Networks
1998-12-21
Marcin Skubiszewski
Computing Small Search Numbers in Linear Time
1998-12-09
Block Jacobi Preconditioning of the Conjugate Gradient Method on a Vector Processor
1970-01-01
A Neural Model Of High-Level Motion Processing: Line Motion And Formotion Dynamics
1999-01-16
Selection of Distance Metrics and Feature Subsets for k-Nearest Neighbor Classifiers
1997-05-13
PILOT:a language and a control execution system for telerobotics
1995-09-08
Hierarchical Time-Extended Petri Nets H-EPNs Based Error Identification and Recovery for Multilevel Systems
1999-03-19
Exciting Avocados and Dull Pears
1998-12-18
Floriana Grasso
Status of this Memo
1993-05-03
All-or Nothing Disclosure of Secrets
1998-07-15
An Explanation-Based Approach to Improve Retrieval in Case-Based Planning
1995-09-02
Visual Imagery for Subsea Teleprogramming
1995-02-20
On the Torus Quantization of Two Anyons with Coulomb Interaction in a Magnetic Field
1997-04-26
Luca Salasnich
Memory Models
1998-06-01
An Unconditionally Stable Splitting Scheme For A Class Of Nonlinear Parabolic Equations
1997-09-03
On the Generation of Alternative Explanations with Implications for Belief Revision
1996-02-20
Eugene Santos
Adaptive Optimization For Self: Reconciling High Performance With Exploratory Programming
1995-01-17
Robotic Hands : Modelisation, Control and Grasping Strategies
1998-04-09
Reconstructed Intentions in Collaborative Problem Solving Dialogues
1997-01-31
Semi-Oriented Bootstrap Percolation in Three Dimensions
1997-02-12
Reinier P. Bikker
Improvement of CSP resolution algorithms using partial orders on domain values
1996-05-09
Towards the Automatic Verification of Informal Proofs
1999-05-10
Claus Zinn
Formulation and Spatila Aggregation of Agricultural Production Relationships . . .
1998-10-27
Models for Concurrent Constraint Programming
1999-05-07
Holey Schröder Designs of Type 2 n u 1
1997-09-30
Rigid Motion and Structure from Curves Using Scale Space
1998-05-07
Monopole and electrically charged dust thin shells in general relativity: Classical and quantum comparison of hollow and atomlike configurations
1998-05-05
Konstantin G. Zloshchastiev
Probabilistic Planning in the Graphplan Framework
1998-05-13
SPACE: An Accurate Layout-to-Circuit Extractor for High-Speed MOS and Bipolar Circuits
1995-04-18
Detecting CompositeEvents in Active Database Systems Using Petri Nets
1995-12-07
Combining inference and disinference rules with enumeration for model building Extended Abstract
1998-09-02
An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures
1997-08-04
A Finite Axiomatization of Inductive-Recursive Definitions
1999-01-05
Peter Dybjer
Extracting Schema from Semistructured Data
1997-11-21
Bargaining by Artificial Agents in Two Coalition Games: A Study in Genetic Programming for Electronic Commerce
1997-11-13
Simplex Scheduling: More than Lifetime-Sensitive Instruction Scheduling
1998-06-29
Benoit Dupont De Dinechin
Real-Image-Based Virtual Studio
1998-07-29
Simulation of DNA Solvation on a Shared-Memory Parallel Computer
1994-06-15
Gregg M. Skinner
Some Bounds on the Complexity of Gradients, Jacobians, and Hessians
1993-03-23
Concurrent Reading and Writing of Clocks
1996-04-20
Leslie Lamport
Two-Level Caching of Composite Object Views of Relational Databases
1994-10-26
Efficient Parallel Solutions Of Large Sparse SPD Systems On Distributed-Memory Multiprocessors
1992-08-20
Chunguang Sun
Stochastic Self-Stabilization
1998-05-07
Xuerong Mao
Limit Moves as Censored Observations of Equilibrium Futures Price in GARCH Processes
1997-07-21
Self Regenerative Markov Chain Monte Carlo
1998-04-27
Data Access Library for DAQ Prototype-1 Configuration Databases
1997-08-13
Supporting Real-Time Update of an Environment Representation for Autonomous Mobile Robots
1996-01-02
Jonathan Berry
1994-12-06
A Bilinear Extension of Subspace Identification for Systems Subject to White Inputs
1996-11-05
Learning from the Schema Learning System
1996-08-20
Bruce A. Draper
Definitional Concurrent Constraint Programming
1993-10-14
Determination of the Point of Fixation in a Head-Fixed Coordinate System
1998-10-02
Jin Liu
A Framework for Assertion-based Debugging in Constraint Logic Programming
1998-11-02
Convergence Of Solitary-Wave Solutions In A Perturbed Bi-Hamiltonian Dynamical System. I. Compactons And Peakons
1997-02-06
Maximal Sublattices And Frattini Sublattices Of Bounded Lattices
1997-01-15
Integration of Color, Edge, Shape, and Texture Features for Automatic Region-Based Image Annotation and Retrieval
1998-04-10
A. Murat Tekalp
Asymptotically efficient estimation in the Wicksell problem
1970-01-01
Adaptive Grid Radiation Hydrodynamics with
1994-05-10
M. Gehmeyr
A High-Performance Fast Fourier Transform Algorithm for the Cray-2 David H. Bailey July 10, 1986 Ref:
1998-11-05
David H. Bailey
Generating normative rules with ILP techniques
1997-07-14
Nienke Den Haan
Interactive Out-Of-Core Isosurface Extraction
1998-09-22
Determining The Gaze Of Faces In Images
1994-06-13
The Distribution of Barred Galaxies in the Virgo Cluster
1998-05-14
Victor Andersen
Derandomizing and Rerandomizing Variance Estimators
1997-12-22
Hierarchical Taxonomies using Divisive Partitioning
1998-03-16
Daniel Boley
Hilbert Space Representation of the Minimal Length Uncertainty Relation
1998-05-11
PARNASS: Porting Gigabit-LAN components to a workstation cluster
1997-11-25
Evolving Robot Behaviours with Diffusing Gas Networks
1998-10-08
Creating Surface Models in Virtual Reality
1998-05-25
A Matrix Dynamics Approach To Golomb's Recursion
1997-12-26
Discrete Decision Problems, Multiple Criteria Optimization Classes and Lexicographic Max-Ordering
1998-01-22
Matthias Ehrgott
Gaussian Process Classification and SVM: Mean Field Results and Leave-One-Out Estimator
1999-03-22
A Bibliography of Publications in the Journal of Mathematical Physics: 1965-1969
1998-10-25
The Internal Geometry Of An Evaporating Black Hole
1994-05-11
DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases
1997-09-26
Pricing Framework for a Differential Services Internet
1999-01-07
Dependent Types with Explicit Substitutions: A meta-theoretical development
1997-09-10
Inria Rocquencourt
Symmetry Results for Semilinear Elliptic Systems in the Whole Space
1998-03-20
Boyan Sirakov
Quantification of Mixing and Mixing Rate from Experimental Observations
1998-03-18
Mobile Computing Architecture for a Battlefield Environment
1998-11-28
An Overview of Active Information Gathering in InfoSleuth
1999-02-17
On Interval Routing Schemes and Treewidth
1996-09-03
On Deflection Worm Routing on Meshes
1997-01-25
Multilevel Visualization of Clustered Graphs
1996-05-31
Cool Stars in TOPP.
1998-03-25
Parallelization Strategies for the VMEC Program
1998-09-01
Linear Time And Memory-Efficient Computation
1994-06-23
Kenneth W. Regan
Half-Sync/Half-Async
1997-01-29
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
1997-02-27
A Variational Approach to Subdivision
1995-12-12
Leif Kobbelt
<e-267>Merlise A. Clyde
1999-02-10
Adaptive Parallelism For Computing On Heterogeneous Clusters
1996-10-25
Kam Hong Shum
Lattice Codes Can Achieve Capacity on the AWGN Channel
1997-09-11
A Random Energy Model For Size Dependence: Recurrence Vs. Transience
1997-07-18
Christof Kulske
Acquisition and Maintenance of Text-based Plans
1998-09-09
Generating Plans to Succeed in Uncertain Environments
1996-03-08
Hamiltonians on Random Walk Trajectories Pablo A. Ferrari
1997-09-01
Pablo A. Ferrari
The PVM Concurrent Computing System: Evolution, Experiences, and Trends
1999-01-27
Parallel Algorithms for Constructing the Convex Hull in 2-Dimensions
1996-10-08
N Asokan
Automatic Extraction of Textured Vertical Facades from Pose Imagery
1998-01-25
Context in Discrete Constraint Satisfaction Problems
1996-05-06
Efficient Resolution of Singularities of Plane Curves
1996-10-11
Dexter Kozen
Network Caching Resource Allocation for Multimedia Objects 1
1996-11-26
On the Dynamics of Learner Models
1995-11-29
A. Paiva
Singular Hankel Matrices
1996-02-02
Theoretical And Computational Investigations Of Nonlinear Waves In Magnetohydrodynamics
1997-02-14
Random Shuffles And Group Representations
1997-05-04
A Simple Computational Market for Network Information Services
1995-05-26
Statistical Analysis Procedures for Software Complexity Assessment Data
1998-02-11
Stephen G. Macdonell
Sensor Array Processing for Scattered Sources
1997-11-07
Mats Bengtsson
PDS: Direct Search Methods For Unconstrained Optimization On Either Sequential Or Parallel Machines
1998-10-06
Virginia Torczon
An Emperical Study of Off-Line Permutation Packet Routing on 2-Dimensional Meshes Based on the Multistage Routing Method
1994-02-02
Chameleon --- A New Kind of Stream Cipher
1997-03-01
Improved Predictability Of Two-Dimensional Turbulent Flows Using Wavelet Packet Compression
1994-10-31
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines
1998-07-09
Zhenyu Qian
Combining Databases and Knowledge Bases for Assisted Browsing
1995-01-25
Assessing Connections in Networks of Biological Neurons
1996-07-14
Intelligent Assistance for Navigating the Web
1996-10-17
Christopher A. Welty
Image Registration using Multiresolution Frequency Domain Correlation
1998-11-13
Affordable Classes of Normal Logic Programs
1997-04-11
Jennifer Seitzer
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report
1998-10-07
A Complete Axiom System for Isomorphism of Types in Closed Categories.
1998-05-15
Design: Educational Electronic Multi-Player Games
1997-01-31
Joanna Lynn Mcgrenere
High Level Parallel Programming: The Illinois Concert System
1997-10-02
Performance of Sequential SLG Evaluation
1996-02-04
Experimental Task Analysis
1998-10-02
A Calculation Method For The Three-Dimensional Boundary-Layer Equations In Integral Form
1996-12-16
Bilal Mughal
Exploring the Bounds of Web Latency Reduction from Caching and Prefetching
1999-01-21
Convergence of the Natural Approximations of Piecewise Monotone Interval Maps
1997-05-13
ERROR AND COMPLEXITY ANALYSIS FOR A COLLOCATION-GRID-PROJECTION PLUS PRECORRECTED-FFT ALGORITHM FOR SOLVING POTENTIAL INTEGRAL EQUATIONS WITH LAPLACE OR HELMHOLTZ KERNELS J. R. Phillips
1995-06-01
J. R. Phillips
Computing Distances Between Convex Sets and Subsets of the Positive Semidefinite Matrices
1998-11-20
Michael W. Trosset
Effects of Temporal Correction on Intelligibility of Foreign-Accented English
1998-02-17
Systems Programming with C++ Wrappers
1995-10-04
Douglas C. Schmidt
`Video orbits': characterizing the coordinate transformation between two images using the projective group
1995-01-05
Efficient Resumption of Interrupted Warehouse Loads
1999-02-13
Topology of Dupin hypersurfaces with six distinct principal curvatures
1996-03-06
Fuquan Fang
Measuring Point Set Similarity with the Hausdorff Distance: Theory and Applications
1996-07-04
Scott D. Cohen
English Error Correction: A Syntactic User Model Based on Principled "Mal-Rule" Scoring
1998-12-09
Case Studies In Performance Modelling And Simulation Of Distributed Information Systems
1999-01-12
Implementing N-body Algorithms Efficiently in Data-Parallel Languages
1997-09-04
Yu Hu
Decidable Matching for Convergent Systems
1994-10-27
Look-Ahead Value Ordering for Constraint Satisfaction Problems
1996-12-06
The Path of a Triangulation
1999-03-30
Oswin Aichholzer
An Environment for the Development of Numerical Programs Using MATLAB
1970-01-01
-Stability and Error Estimates for Approximate Hamilton-Jacobi Solutions.
1970-01-01
Chi-tien Lin
Classifying High Dimensional Spectral Data By Neural Networks
1970-01-01
Dr. N. A. Campbell
Explicit Learning in ACT-R
1997-05-13
Niels Taatgen
Semantical Analysis of Perpetual Strategies in lambda-calculus
1998-04-22
Many-body systems in Einstein-Maxwell-Dilaton theory
1998-05-14
Kiyoshi Shiraishi
Admissible Pruning Strategies based on plan minimality for Plan-Space Planning
1995-04-21
Subbarao Kambhampati
Using a Visual Constraint Language for Data Display Specification
1993-05-10
Isabel F. Cruz
Placement and Routing for Three-Dimensional FPGAs
1996-04-13
Inheritance Operations in Massively Parallel Knowledge Representation
1999-03-05
Optimizing Bioreactors by Extremum Seeking
1998-05-07
Integrating Models of Discrimination and Characterization for Learning from Examples in Open Domains
1998-08-31
Paul Davidsson
Daniel Farmer
1994-07-28
The text/enriched MIME Content-type
1994-10-07
Synthesis of Verifiably Hazard-Free Asynchronous Control Circuits
1995-01-26
Cluster communication using a PCI to SCI interface
1996-10-07
Multifrontal Techniques for Chemical Process Simulation on Supercomputers
1994-03-02
An Approximate Algorithm For The Partitionable Independent Task Scheduling Problem
1997-01-08
Sparse RSA Secret Keys and Their Generation
1997-01-25
On the Spectrum of Odd Order Self Adjoint Ordinary Differential Operators on the Real Line With Quasi-Periodic Coefficients
1997-04-26
Continuous Characterizations of the Maximum Clique Problem
1996-05-13
Design, Implementation and Evaluation of SCORE a System for COntent based REtrieval of pictures
1996-07-16
Enumeration of Remarkable Families of Polyominoes
1998-10-15
Dominique Gouyou-beauchamps
Simulative Performance Evaluation of the Temporary Pseudonym Method for Protecting Location Information in GSM Networks
1998-11-25
Syntactic Analysis of Convergence in Genetic Algorithms
1999-04-20
Making Stochastic Networks Deterministic
1997-07-02
Stefan M. Ruger
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems
1997-04-18
Michael Luck
The First Two Rounds of MD4 are Not One-Way
1997-05-17
Hans Dobbertin
Electromagnetic Corrections for Pions and Kaons : Masses and Polarizabilities
1997-12-11
Johan Bijnens
Storage-Efficient Finite Field Basis Conversion
1998-07-21
Method Engineering for Multi-Perspective Software Development
1996-07-02
Is Vbr Video Non-Stationary Or Self-Similar? Implications For Atm Traffic Characterisation
1997-03-06
Complex Structures in Quantum Field Theory
1997-04-26
Rainer Dick
Unknown
1993-12-08
Applying Theories of Communicative Action in Generation Using Logic Programming
1997-08-23
Matthew Stone
User Interface Constraints for Immersive Virtual Environment Applications
1995-08-30
A Dialog Control Algorithm and Its Performance
1993-11-20
The Functional Transfer of Knowledge for Coronary Artery Disease Diagnosis
1998-02-05
Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems
1998-02-25
Kevin Jeffay
Induction of decision trees using RELIEFF
1996-05-31
Igor Kononenko Edvard
Using Peer Support to Reduce Fault-Tolerant Overhead in Distributed Shared Memories
1996-06-11
RANDOM WALK ON PERIODIC TREES Christiane Takacs
1997-01-17
Christiane Takacs
Fuzzy Optimization of Distribution Networks by using Genetic Algorithms
2036-02-07
Discrete-time Process Algebra and the Semantics of SDL
1997-10-20
On sensing and off-line interpreting in GOLOG
1998-09-15
Robust l1 Estimation with Applications to Robust Fault Detection Using the Popov-Tsypkin Multiplier
1999-02-26
Search Costs in Quadtrees and Singularity Perturbation Asymptotics
1996-07-05
Thomas Lafforgue
Socially Emotional: Using Emotions to Ground Social Interaction
1997-11-30
Walter Van De Velde
A Locally Optimal Design Algorithm for Block-Based Multi-Hypothesis Motion-Compensated Prediction
1998-02-01
New Techniques for Computing Four-Finger Force-Closure Grasps of Polyhedral Objects
1997-02-07
MPICH on the T3D: A Case Study of High Performance Message Passing
1997-12-26
Generating Functions for Shifted Plane Partitions
1995-07-18
C. Krattenthaler
Model-Based Color Image Sequence Quantization
1996-10-10
A Certification Infrastructure for ATM
1995-07-24
Performance Effects of Scheduling Strategies for Master/Slave Distributed Applications
1998-10-09
Gary Shao
Recognition of Printed Digits using Zernike or Orthogonal Fourier-Mellon Moments
1997-06-18
A Look at Function Symbols and Planning
1996-12-21
Eric Jacopin
CYES-C++: A Concurrent Extension of C++ through Compositional Mechanisms
1996-05-01
I/O, Performance Analysis, and Performance Data Immersion
1996-10-31
MMH: Software Message Authentication in the Gbit/second Rates
1999-02-08
Superlinear Convergence Estimates for a Conjugate Gradient Method for the Biharmonic Equation
1996-06-07
Using Model-Checking for Timed Automata to Parameterize Logic Control Programs
1998-02-04
Value Prediction in VLIW Machines
1999-03-02
+ Status:
1997-09-23
A Behaviour-oriented Approach to an Implicit "Object-understanding" in Visual Attention
1999-03-10
KBS Maintenance as Learning Two-Tiered Domain Representation
1997-06-18
Gennady Agre
Base Polytopes of Series-Parallel Posets: Linear Description and Optimization
1996-12-21
Predicate Migration: Optimizing Queries with Expensive Predicates
1995-06-04
MIME Multipurpose Internet Mail Extensions Part One:
1993-09-30
RAIL: Road Recognition from Aerial Images Using Inductive Learning
1998-06-22
Misclassification Minimization
1970-01-01
O. L. Mangasarian
Cooperation of Synthesis, Retargetable Code Generation and Test Generation in the MSS
1998-06-17
Characterization Of Time-Series By Dynamical Clustering
1996-02-22
Egorov Theorems and equidistribution of eigenfunctions for the quantized sawtooth and Baker maps.
1997-04-26
M. Degli Esposti
Ground Nonmonotonic Modal Logics
1996-09-24
Triangular Lie bialgebras and matched pairs for Lie algebras of real vector fields on S
1995-05-03
Frank Leitenberger
Cryptographically Resilient Functions
1997-12-07
Automatically Improving Agents Behaviors in an Urban Simulation
1998-09-17
RODAIN: A Real-Time Object-Oriented Database System for Telecommunications
1997-03-11
Extracting Microscopic Models from Kinetic Data
1995-09-26
Mark M. Millonas
Combining Language Generation and Belief Modelling into a Flexible Hypertext System
1997-04-15
A Parallel Performance Study of Jacobi-like Eigenvalue Solution
1995-01-12
GSPN and SPA Compared in Practice - Modelling A Distributed Mail System
1995-10-03
An Undergraduate Course in Parallel Computing for Scientists and Engineers
1970-01-01
Manavendra Misra
Experiments with FOIL to induce spatial representations
1996-06-27
Construction of an alternation-based English valency dictionary
1999-02-12
June 1997
1997-06-27
Making Maximum Entropy Computations Easier by Adding Extra Constraints Extended Abstract
1997-03-12
Using Spread-Spectrum Ranging Techniques for Position Tracking in a Virtual Environment
1997-03-13
Physical and Computational Domain Decompositions for Modeling Subsurface Flows
1998-08-10
An Evaluation of the Pavane Visualization System
1995-07-25
A Language-Independent, Data-Oriented Architecture for Grapheme-to-Phoneme Conversion
1970-01-01
Computing Lower Bounds on Functional Units before Scheduling
1995-03-24
Expressive Power of the ACLT Reaction Specification Language
1997-09-25
Discovery of Frequent Episodes in Event Sequences
1998-06-22
Modeling Interference Effects In Instructed Category Learning
1996-07-12
Evaluating the Effectiveness of Derivation Replay in Partial-order vs State-space Planning
1994-09-10
Termination Analysis based on Operational Semantics
1997-05-14
Declarative systems architecture: a quantitative approach AQUA Final Report
1997-12-17
Simon Peyton Jones
Self-Interpretation and Reflection in a Statically Typed Language
1997-07-17
Martin Odersky
Specifying Active Database Systems in an Object-Oriented Framework
1996-10-25
On the Castelnuovo regularity for curves
1995-02-23
Assessing Software Designs using Capture-Recapture Methods
1996-05-30
Generalized Jackson kernels in approximation theory
1999-01-26
Richard Greiner
Semigroups and Scattering Theory for a Scalar Field on Curved Space-Time
1997-04-26
Edward P. Furlani
Calogero-Sutherland model from excitations of Chern-Simons vortices
1998-05-26
An Efficient Optimal Solution Method for the Joint Replenishment Problem
1996-06-28
Evolution of Elliptical Galaxies
1998-02-06
Autonomous and Adaptive Agents that Gather Information
1998-01-09
Collective and Cooperative Group Behaviours: Biologically Inspired Experiments in Robotics
1997-08-12
MPI on the I-WAY: A Wide-Area, Multimethod Implementation of the Message Passing Interface
1996-05-28
The Shape of a Typical Boxed Plane Partition
1998-09-10
Design and Implementation of ET++, a Seamless Object-Oriented Application Framework
1995-01-17
Replicated Process Allocation for Load Distribution in Fault-Tolerant Multicomputers
1997-03-05
A new protocol for the integration of Voice and Data over PRMA
1998-04-07
Neometric Spaces
1997-09-10
Mechanics for Vibratory Manipulation
1997-01-30
Quantized Kronecker flows and almost periodic quantum field theory
1997-04-26
Multiple Reflections in One-Dimensional Quantum Scattering
1998-01-01
Wolf Jung
A More Attractive and Interactive TV
1998-09-25
Time-Constrained Loop Pipelining
1996-03-01
Transportable Agents
1994-11-16
Research Report
1996-12-04
GRAPESPH with Fully Periodic Boundaries: Fragmentation of Molecular Clouds
1998-03-16
Ralf Klessen
Dialogue Modelling in the Framework of an Interactor Model
1996-07-10
The Virtual Tricorder: A Uniform Interface for Virtual Reality
1995-07-28
Matthias M. Wloka
Precise Flow-Insensitive May-Alias Analysis is NP-Hard
1996-10-16
Susan Horwitz
Adaptive Spline Generation: A New Algorithm for Solving Stochastic Dynamic Programs
1996-08-28
Symbol-by-Symbol MAP Decoding of Nonbinary Codes
1999-04-13
Multimedia Authoring, Development Environments, and Digital Video Editing
1970-01-01
The Impact of Nested Agent Models in an Information Economy
1997-07-29
Optimal Routing in 2-jump Circulant Networks
1996-06-03
Borut Robic
Hiding Routing Information
1996-08-05
Environmental Sound Recognition: A Statistical Approach
1997-09-18
Christophe Couvreur
Telltale User Documentation
1995-10-12
Grace Crowder
Distilling Reliable Information From Unreliable Theories
1995-08-22
Sean P. Engelson
Rough Set Based Classification Methods and Extended Decision Tables
1996-02-05
Polygons are Anthropomorphic
1997-08-19
Godfried Toussaint
Three-Dimensional Field-Programmable Gate Arrays
1995-06-03
The Application Of Word Image Matching In Text Recognition
1992-10-13
Modeling Systematic Variations in Pronunciation via a Language-Dependent Hidden Speaking Mode
1996-11-20
Application Of A Human Auditory Model To Loudness Perception And Hearing Compensation
1995-02-06
Hypertext Transfer Protocol -- HTTP/1.1
1996-09-05
On the Relationship between Logic Programs and Specifications
1999-04-14
HASSE: a Tool for Analyzing Causal Relationships in Parallel and Distributed Systems
1995-11-08
Scalable Transactional Cache Coherency: Towards Scalable Persistent Systems
1997-09-23
Stan C. Kwasny Barry L. Kalman
1997-11-15
in the Subject line: On Digital's EASYnet: CRL::TECHREPORTS On the Internet: techreports@crl.dec.com
1997-09-03
David Lomet
Structure Matching And Transformation With Distributed Representations
1997-06-19
Tony A. Plate
An Overview of Cost-based Optimization of Queries with Aggregates
1998-01-28
Interface Pinning And Finite Size Effects In The 2d Ising Model
1997-04-26
C. -e. Pfister
Genetic Algorithms in Timetabling and Scheduling
1996-01-19
Eliminating Dead Code on Recursive Data
1998-10-13
Software Architecture of Ubiquitous Scientific Computing Environments for Mobile Platforms
1995-04-19
Monoplanar Camera Calibration - Iterative Multi-Step Approach
1995-10-13
Tool Support For Collaborative Software Prototyping
1998-09-05
How to Write awk and Perl Scripts to Enable your EDA Tools to Work Together
1970-01-01
On Convergence of Iterative Methods for a Fourth-Order Discretization Scheme
1996-08-17
Jun Zhang
C++ Class Library Data Management for Scientific Visualization
1999-01-13
Tracking Targets in FLIR Images by Region Template Correlation
1997-07-15
H. S. Parry
A Multi-Modal Logic for Stereotyping
1995-09-20
Ullrich Hustadt
Theory and Algorithms for Plan Merging
1998-09-10
Duplication of Coding Segments in Genetic Programming
1998-08-03
Thomas Haynes
Natural Language Grammatical Inference with Recurrent Neural Networks
1998-08-18
A Neural Network Approach To Routing In Multihop Radio Networks
1970-01-01
Test Suites for Quality Evaluation of NLP Products
1998-01-26
Comparison of the H.263 and H.261 Video Compression Standards
1995-11-30
Detecting Pipeline Structural Hazards Quickly
1995-10-27
Hiding More of Hidden Algebra
1999-02-18
Joseph Goguen
An Improved Active Shape Model: Handling Occlusion and Outliers
1998-10-21
Second-Order Recurrent Neural Networks Can Learn Regular Grammars From Noisy Strings
1997-02-20
An Olog k-approximation algorithm for the k minimum spanning tree problem in the plane
1996-05-12
Maxwell-Chern-Simons theory in covariant and Coulomb gauges
1998-05-23
Kurt Haller
A Golden Ratio Notation for the Real Numbers
1996-02-05
Pietro Di Gianantonio
Programming for Fun: MUDs as a Context for Collaborative Learning
1998-01-12
Amy Bruckman
Predictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains
1994-11-08
Perfect Simulation for Spatial Point Processes
1999-03-01
Document Identification for Copyright Protection using Centroid Detection
1998-01-27
Qualitative Reasoning about Perception and Belief
1997-10-22
Representing and Integrating Multiple Calendars
1998-09-05
A Coincidence Array Demonstrator ASIC for the RD27 Muon Trigger
1994-07-15
On Representing Salience and Reference in Multimodal Human-Computer Interaction
1998-07-10
ARIES: A Rearrangeable Inexpensive Edge-based On-line Steiner Algorithm
1996-11-15
A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard
1996-07-26
An Experimental and Theoretical Comparison of Model Selection Methods
1997-12-30
Communication Protocols Verification with Esterel
1997-11-11
Open to Suggestions
1996-04-22
A Class Based Approach To Domain Adaptation And Constraint Integration For Empirical M-Gram Models
1997-05-20
Klaus Ries
On Risky Methods for Local Selection under Noise
1998-07-09
Gunter Rudolph
An Approach for Analyzing the Robustness of Windows NT Software
1998-07-02
Integrating Algorithm Animation into a Declarative Visual Programming Language
1995-08-14
An Inductive Logic Programming Method for Corpus-based Parser Construction
1997-03-20
Design and Evaluation of an Advance Reservation Protocol on top of RSVP
1999-02-16
Lambda! Considered Both as a Paradigmatic Language and as a Meta-Language
1997-02-05
Alberto Pravato Roversi
Matematiqki Vesnik
1996-07-07
Decision-Theoretic Cooperative Sensor Planning
1997-01-15
A Randomized Fully Polynomial Time Approximation Scheme for the All Terminal Network Reliability Problem
1996-10-15
David R. Karger
Efficient Markovian couplings: examples and counterexamples
1998-04-28
Krzysztof Burdzy
The Value of the Four Values
1997-10-20
An Efficient Delay-Constrained Minimum Spanning Tree Heuristic
1996-05-13
Improvement of Stereo Disparity Estimation Through Balanced Filtering: The Sliding-Block Approach
1998-01-05
Abstraction as a Fundamental Concept in Teaching Computer Science
1994-03-17
G Unther G Orz
Column-Based Strip Packing using Ordered and Compliant Containment
1996-09-03
On Goursat Normal Forms, Prolongations, And Control Systems
1995-01-27
D. Tilbury
An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States
1996-09-07
On the Automatic Synthesis of Functional Dependency Graphs From Libraries of Component Models
1998-02-05
Simple Termination is Difficult
1998-04-02
The Physics Inside Topological Quantum Field Theories
1998-05-25
Roger Brooks
A Constraint-based Spatial Extension to SQL
1998-08-17
Theory and Computation for the Microstructure Near the Interface Between Twinned Layers and a Pure Variant of Martensite
1970-01-01
Computably Categorical Structures and Expansions by Constants
1998-05-01
Merging Interactive, Modular, And Object-Oriented Programming
1992-04-23
Sho-huan Simon Tung
Automated Supershell Recognition in Spiral Galaxies Employing Hydrodynamic Simulations
1998-11-24
Acceleration of Integer Programming by Siblings' Exchange of Pruning Thresholds
1995-01-18
Incorporating Invariances in Support Vector Learning Machines
1997-01-22
A Quantitative Steinitz' Theorem
1970-01-01
A Practical Time-Delay Estimator for Localizing Speech Sources with a Microphone Array
1996-02-14
August 5, 1996 Tomasz / Luczak
1996-08-24
Neural Network Design For A Natural Language Parser
1997-09-02
Theory and Practice of Vector Quantizers Trained on Small Training Sets
1993-01-05
-- a Pattern Recognition Tool for the HERA-B Main Tracking System -- Quick
1997-02-12
Naming and Addressing of Objects without Unique Identifiers
1992-03-27
Logics for Cryptographic Protocols - Virtues and Limitations
1996-10-26
On the Size of Classes with Weak Membership Properties
1998-03-26
Marius Zimand
A New Scheme for Incremental Learning
1996-04-03
Partial Linearization Methods in Nonlinear Programming
1995-09-19
Some Wavelet Analyses of Point Process Data
1998-01-21
David R. Brillinger
Nonstationary Flows With Viscous Heating Effects
1997-09-16
A Review of A Posteriori Error Estimation Techniques for Elasticity Problems
1997-11-14
R. Verf Urth
Security&Distributed Systems
1994-05-26
Jonathan Moffett
Modeling and Estimation for Doppler-shifted Random Processes
1998-04-16
Pin Assignment for Multi-FPGA Systems
1994-12-06
7 A. Kalavade, and E.A. Lee, "A Hardware/Software Codesign Methodology for DSP Applications, "
1994-12-06
J. K. Ousterhout
Matematiqki Vesnik
1996-07-08
Wavelet Accelerated Regularization Methods for Hyperthermia Treatment Planning
1996-05-13
Peter Maass
Agnostic Classification of Markovian Sequences
1998-01-05
Autoscheduling in a Distributed Shared-Memory Environment
1994-07-01
Compact real-time 2-D gradient-based analog VLSI motion sensor
1999-04-07
Rainer A. Deutschmann
Time Out of Joint: Attractors in Asynchronous Random Boolean Networks
1999-01-09
3-D Orientation Vector Estimation for Sub-Components of Space Object Imagery
1998-04-21
Lower Bounds on Threshold and Related Circuits via Communication Complexity
1996-05-02
Mobile Ambients --Annex--
1997-06-23
Bayesian Relevance Feedback for Image Retrieval
1996-07-31
Random Polynomials and Polynomial Factorization
1996-04-29
Delaying Variable Binding Commitments in Planning
1998-09-16
Progressive Meshes
1997-05-23
Enhancement Of The Horn And Schunck Optic Flow Algorithm By Means Of Median Filters
1999-02-03
A Probabilistic Approach To The Estimation Of The Distribution Of The Target Location Point
1996-02-20
M. A. Tabatabai
Wait-freedom vs. t-resiliency and the robustness of wait-free hierarchies Extended Abstract
1998-01-13
Validating Bayesian Prediction Models: a Case Study in Genetic Susceptibility to Breast Cancer
1997-10-31
D1.7/2 POSIX-Style Parallel File Server for the GPMIMD: Final Report
1996-03-05
Agent Based Internet Database Services
1999-01-29
A System for Induction of Oblique Decision Trees
1996-07-15
Coca: A Debugger for C Based on Fine Grained Control Flow and Data Events
1998-10-14
Mireille Ducass
On the Intrinsic Complexity of Language Identification
1999-02-10
SEKI Report
1998-07-17
Serge Autexier
An Approach for Classification of Integrated Circuits by a Knowledge Conserving Library Concept
1970-01-01
W. Thronicke
Shaken not stirred: On Permanence in Ecological Communities
1999-01-27
Local Observability of Rolling
1998-03-22
Almost Optimal Convergence of the Point Vortex Method for Vortex Sheets using Numerical Filtering
1970-01-01
-D SIMD Algorithms in the Perfect Shuffle Networks
1998-04-05
Requirements Engineering: An Integrated View of Representation, Process, and Domain
1994-12-05
Automatic Calibration For 3-D Free-Hand Ultrasound
1998-03-03
Adaptive Broadcasting With Faulty Nodes
1997-11-24
Andrzej Pelc
Unavoidable Binary Patterns
1994-07-28
Julien Cassaigne
Retrieving Information in Distributed Multimedia Databases
1996-11-22
The Morley rank of a Banach space
1997-04-11
Incremental Updates of Inverted Lists for Text Document Retrieval
1993-11-19
Specification of tools for Message Sequence Charts
1999-01-28
XCON - A Motif Based Toolkit for Graphical User Interface Design for Control Applications
1996-04-15
Multiagent Systems: A Survey from a Machine Learning Perspective
1997-02-17
In-Place Sorting With Fewer Moves
1998-12-30
Hilbert Series of Group Representations and Gröbner Bases for Generic Modules
1997-10-09
Shmuel Onn
Reasoning about Object-Z specifications
1998-12-15
Graeme Smith
On the Rank of Extreme Matrices in Semidefinite Programs and the Multiplicity of Optimal Eigenvalues
1998-02-03
Uniform Resource Locators
1993-10-15
Utopia: A Load Sharing Facility for Large, Heterogeneous Distributed Computer Systems
1997-05-20
A Randomized Heuristic Approach to Register Allocation
1996-04-17
Multiple Lesion Track Structure Model
1997-09-10
A Critical Look at Design, Verification, and Validation of Large Scale Simulations
1999-01-21
D. E. Stevenson
The graph-based logic of ER-diagrams and taming heterogeneity of semantic data models
1997-11-14
ICA Mixture Models for Unsupervised Classification of Non-Gaussian Sources and Automatic Context Switching in Blind Signal Separation
1999-03-02
Motion Detection using Randomized Hough Transform Heikki Kalviainen, Erkki Oja and Lei Xu
1998-03-16
Management Tools for Distributed Interoperable Environments
1998-03-24
Asymptotic Results for Multiplexing Subexponential On-Off Processes
1998-06-26
August 27, 1996
1996-08-27
Synchronous Kahn Networks
1996-03-20
On The Nilpotency Of The Jacobson Radical Of Semigroup Rings
1998-01-27
Chain Graphs: Semantics and Expressiveness
1997-08-28
Remco R. Bouckaert
Interpolative Coding Of Image Sequences Using Temporal Linking Of Motion-Based Segmentation
1996-01-25
Decision Making in Intelligent User Interfaces
1998-03-18
A Compilation System that Integrates High Performance Fortran and Fortran M
1994-02-06
Breaking the Time Complexity of Fractal Image Compression
1994-05-20
Dietmar Saupe
CheckFLIP++: A knowledge acquisition tool for the fuzzy constraints-based *FLIP++ scheduling library
1997-06-22
Wolfgang Slany
Unknown
1996-07-30
Guide to the HYDRA Reduction Task DOHYDRA
1998-06-27
Francisco Valdes
TALx86: A Realistic Typed Assembly Language
1999-04-07
Maximum Principle And Local Mass Balance For Numerical Solutions Of Transport Equation Coupled With Variable Density Flow
1998-06-02
P. Frolkovi C
A Formal Specification of GoF Design Patterns
1999-01-22
Quality Adaptation in a Multisession Multimedia System: Model, Algorithms and Architecture
1998-06-18
Md. Shahadatullah Khan
Supporting Heterogeneous Network Computing: PVM
1995-10-15
Semi-Definite Relaxations for Minimum Bandwidth and other Vertex-Ordering problems
1998-12-15
Primitive and Quasi Primitive Elements in Weyl Modules for Type
1999-04-21
Nanhua Xi
A Protocol Simulator for the Thunder and Lightning ATM Network
1996-03-07
Clustering Techniques for Minimizing External Path Length
1996-08-20
An Analytical Approach to File Prefetching
1996-11-26
Stability of Learning in Classes of
1995-07-05
An Empirical Evaluation of Virtual Circuit Holding Time Policies in IP-over-ATM Networks
1996-09-04
Performance Models for Exponentially Distributed Shared Memory Multiprocessor Systems
1995-06-13
The Spring Virtual Memory System
1994-06-09
Takagi/Naito's algorithm revisited
1997-05-18
Mediator Languages - a Proposal for a Standard
1996-12-21
Reasoning and Knowledge over Impossible Worlds
1999-03-16
Coordinating Human and Computer Agents
1998-12-04
Keith S. Decker
Transmit Spectra Adaptive to Noise and Interference at Activation for HDSL2
1998-09-04
Inferability of Recursive Real-Valued Functions
1997-09-26
Alleviating Priority Inversion and Non-determinism in Real-time CORBA ORB Core Architectures
1998-02-25
Curved Fences For Part Alignment
1996-12-23
Kinks - Gradient Flow and Dynamics
1998-05-26
N. S. Manton
Indexing and Compression in Data Warehouses
1999-04-20
Foundations of Quantum Mechanics
1998-01-14
Dr. H. Osborn
On the Function of Intonation in Wee Utterances
1996-04-11
Jacqueline Kowtko
An Overview of the Rialto Real-Time Architecture
1999-02-12
Block diagonal preconditioners for the Schur complement method
1998-02-17
Definiteness In The Hebrew Noun Phrase
1999-02-05
Shuly Wintner
Hierarchical Concurrency in Jade
1995-05-20
Topics in Nonlinear Systems: Stability, Spectra and Optimization
1997-12-11
I.P. Brawn, R.E. Carney, J. Garvey, D. Rees, R. Staley, P. Watkins, A.T. Watson
1995-01-21
A Computer Implementation of Psychoacoustic Grouping Rules
1997-02-08
Daniel Pw Ellis
Iterated Soft-Decision Interference Cancellation for CDMA
1997-09-08
An adaptive semi-Lagrangian advection scheme and its parallelization
1998-08-06
Calculation of Noise Distribution in Mesoscopic Dynamics Models for Phase-Separation of Multicomponent Complex Fluids.
1997-07-31
Tracing Protocols
1998-07-04
Gerard J. Holzmann
Downward Collapse from a Weaker Hypothesis
1998-07-24
A Genetic Algorithm for the Optimisation of a Multiprocessor Computer Architecture
1995-12-14
Making Trust Explicit in Distributed Commerce Transactions
1995-10-12
Overview of
1998-11-27
Linux System Administrators' Guide 0.6
1997-11-14
Lars Wirzenius
Sense extensions as Lexical Rules
1994-11-17
Mean and Variance of Implicitly Defined Biased Estimators such as Penalized Maximum Likelihood: Applications to Tomography
1997-05-27
Jeffrey A. Fessler
Integrating Task and Data Parallelism with the Collective Communication Archetype
1994-06-15
Crossover in the critical behavior of the two dimensional classical XY model
1998-05-12
Jae-kwon Kim
A Toolset for Program Understanding
1993-06-14
Smodels an Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs
1997-05-23
A Map Acquisition, Storage, Indexing, and Retrieval System
1995-09-20
How To Use Kyst
1995-05-22
October 1994 To be publishedinOp erationsResearch Letters
1997-06-02
Multidimensional Integrable Vacuum Cosmology With Two Curvatures
1998-05-14
Chromatic Index Critical Graphs of Orders 11 and 12
1997-09-18
Eckhard Steffen
Quantum Privacy Amplification and the Security of Quantum Cryptography Over Noisy Channels
1996-04-30
Event-Based Modeling and Analysis of Distributed Workflow Executions
1996-05-30
Mathias Weske
Accurate Solution of Weighted Least Squares by Iterative Methods
1997-02-07
Centre for Cognitive Science
1998-02-12
A Flexible Security System for Metacomputing Environments
1998-12-04
Scientific Computing on Bulk Synchronous Parallel Architectures
1995-11-10
Robust Information Extraction From Spoken Language Data
1999-05-03
Automatic Generation Of Detailed Pronunciation Lexicons
1997-09-01
A Re-Examination of Brute-Force Search
1995-05-29
Is Continuation-Passing Useful for Data Flow Analysis?
1995-05-04
On the Ubiquity of Information Services and the Absence of Guaranteed Service Quality
1998-09-30
Gerhard Weikum
Incremental Polymorphism
1970-01-01
Hierarchical Ring Topologies and the Effect of their Bisection Bandwidth Constraints
1996-09-14
Abundance similarities between the RCrB star V854Cen and the born-again Sakurai's object
1998-01-13
Discretization of Timed Automata
1995-07-28
Interacting Learning-Goals: Treating Learning as a Planning Task
1995-04-19
The PEP Tool
1997-07-02
Bernd Grahlmann
Generalized Skeleton Formation for Texture Segmentation
1996-04-25
New Features for Confidence Annotation
1999-03-02
Algorithms for Generalized Digital Images Represented by Bintrees
1991-03-20
Unknown
1995-12-18
Relational Learning of Pattern-Match Rules for Information Extraction
1999-01-28
Activity selective SPIHT coding
1998-11-25
A General Framework for Vertex Orderings, With Applications to Netlist Clustering
1996-05-01
Conservation Of Statistics And Generalized Grassmann Numbers
1998-05-14
O. W. Greenberg
Image Compression via Joint Statistical Characterization in the Wavelet Domain
1998-10-16
Unknown
1995-02-27
Digital Upconversion Architecture for Quadrature Modulators
1998-08-25
Sensitivity of pp-Bremsstrahlung to Meson-Exchange Currents
1998-05-23
Norges Teknisk-Naturvitenskapelige Universitet
1999-01-13
Affine Stereo Calibration
1996-11-28
Domain Specific Languages for ad hoc Distributed Applications
1997-09-08
A Variant of the Biconjugate Gradient Method Suitable for Massively Parallel Computing
1997-09-25
Networks of Preemptible Reactive Processes: An Implementation
1999-02-25
Microprocessor Design Verification
1994-10-21
Warren A. Hunt
Hierarchical Automatic Function Definition in Genetic Programming
1998-08-18
John R. Koza
An Automatic Face Identification System Using Flexible Appearance Models
1995-05-11
Algorithmic Bombardment for the Iterative Solution of Linear Systems: A Poly-Iterative Approach
1997-08-03
A Simple Example for Nqthm: Modeling Locking
1997-07-04
Matt Kaufmann
G. G. Batrouni
1997-12-08
Constructions of Mixed Covering Codes
1994-04-05
Patric R. J. Stergrd
A Compositional Modeling Language
1997-09-12
Machine Learning for the Detection of Oil Spills in Satellite Radar Images
1997-07-17
On Simple and Secure Key Distribution
1994-12-06
Vibrational Eigenstates of Four-Atom Molecules: A Parallel Strategy Employing the Implicitly Restarted Lanczos Method
1997-10-22
A Middle Ware for Transparent Access to Multiple Spatial Object Databases
1998-03-19
Designing a Distributed Authorization Service
1994-09-01
A Storage Algorithm For Two-Layered Neural Networks
1994-07-02
R. Monasson
Children's Collaborative Playcrafting
1970-01-01
Assessing Aspect-Oriented Programming: Preliminary Results
1999-04-20
Performance of Time Warp Protocols for Transaction Management in Object-Oriented Systems
1998-05-27
A Linguistic Framework for Dynamic Composition of Dependability Protocols
1998-02-02
A Method to Construct Reconfigurable Simulators from Architecture Templates
1997-12-22
Recent Advances in Feature Extraction and Acoustic Modeling for Automatic Speech Recognition
1997-07-24
Renato De Mori
The Short Quartet Method
1998-10-29
Fast Simulation Methods for the Detection of Reflection - and Crosstalk Effects During the Design of Complex Printed Circuit Boards
1970-01-01
Packing Random Intervals On-Line
1998-07-28
Group Actions on Magic Squares
1970-01-01
Wolfgang Muller
A Multimedia Document Retrieval System Using Partially-Ordered/Partially-Reliable Transport Service
1996-08-19
A Study on the Coding Efficiency of Block Transforms, Cosine-Modulated Perfect-Reconstruction Filter Banks and Wavelets
1995-01-31
Nuno Vasconcelos
Classical and Quantum Dissipation in Non Homogeneous Environments
1995-03-28
Program Abstraction in a Higher-Order Logic Framework
1998-04-14
Automated System Monitoring and Notification With Swatch
1993-11-15
Relationlog: A Typed Extension to Datalog with Sets and Tuples
1997-02-13
Mengchi Liu
Semantic Lego
1995-05-10
David A. Espinosa
Optimization Schemes for Neural Networks
1993-08-25
The Impact of External Dependency in Genetic Programming Primitives
1997-11-27
. Such an amplification is either due to the anisotropy of distribution of random magnetic fields
1995-04-11
Lecture 2000: More than a course across wires
1997-09-30
Matteo Novaga
1998-12-21
Effective Continuous-Time Formulation for Short-Term Scheduling: I. Multipurpose Batch Processes
1999-03-08
Generalized Abelian Deformations: Application to Nambu Mechanics
1997-04-26
Universit'e De Bourgogne
MindShape: a neurocomputer concept based on afractal architecture
1991-11-02
Beyond Neuro-Fuzzy: Perspectives And Directions
1996-11-21
Detlef Nauck
Sphalerons And Electroweak Strings
1998-05-15
On-Demand Asynchronous Atomic Broadcast
1995-08-15
A User Agent Configuration Mechanism For Multimedia Mail Format Information
1992-06-11
Group N. Borenstein
Anosov Actions on Non--Commutative Algebras
1997-04-26
Message-Based Bucket Brigade: An Algorithm forthe Apportionment of Credit Problem
1999-03-17
Marco Dorigo
"Receiver Makes Right" Data Conversion in PVM
1995-03-24
Making Paths Explicit in the Scout Operating System
1998-10-31
Yet Another java.lang.Class
1998-09-24
Notes On Surgery And
1997-05-23
John Roe
On the Complexity of the Class of Regions Computeable By a Two-Layer Perceptron
1996-12-09
Eddy N. Mayoraz
Extensions to ANSAware for advanced mobile applications
1997-01-27
Red Quasars Not So Dusty
1997-08-18
What is a File Synchronizer?
1998-04-22
Parameterized Complexity Analysis in Robot Motion Planning
1996-01-16
Learning Autonomous Navigation Abilities Using Hyper Basis Functions Networks
1996-12-12
Why Use Evolving Algebras for Hardware and Software Engineering?
1996-06-24
Egon Borger
Reconstruction from Three Images of Six Point Objects
1994-10-03
Anders Heyden
Lightweight Transactions on Networks of Workstations
1998-04-14
A New Class Of Soliton Solutions For The modified Kadomtsev-Petviashvili Equation
1997-05-14
W. Renger
Multimodality Exploration in Training an Unsupervised Projection Pursuit Neural Network
1998-01-01
Testing linear restrictions on cointegrating vectors: Sizes and powers of Wald tests in finite samples
1999-03-10
Alfred A. Haug
Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation
1997-10-14
The Molecular Modeling Toolkit: a case study of a large scientific application in Python
1997-11-03
Konrad Hinsen
Current Status of the Control System for the PLS 2 GeV Linac
1996-01-17
An example of a solvable Lie algebra
1995-08-20
Michael Wustner
Omnipotence Without Omniscience:
1994-04-14
Learning Object-Oriented Software Development with the Demeter Method
1992-09-21
Karl J. Lieberherr
Super Logic Programs
1997-05-14
A Layered Architecture for Office Delivery Robots
1997-08-28
Liquid Software: A New Paradigm for Networked Systems
1998-11-17
Ensemble Learning using Decorrelated Neural Networks
1999-02-03
Bruce E. Rosen
NOMaD: Applying a genetic-algorithm/heuristic hybrid approach to optical network topology design
1997-09-06
M. C. Sinclair
Self-Organizing Maps And Software Reuse
1997-12-19
Dieter Merkl
An Architecture for A Wide Area Distributed System
1996-07-11
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects
1998-12-10
Marina Lenisa
Chapter for S. O'Nuallain, P. McKevitt E. MacAogain Eds,
1996-09-07
John A. Barnden
On The Shintani Zeta Function For The Space Of Pairs Of Binary Hermitian Forms
1996-02-22
Akihiko Yukie
Generalized Soft-Thresholding and Varying-coefficient Models
1970-01-01
Artur Klinger
Pitfalls in Designing Substitution Boxes
1997-03-24
Singular Limit Of Solutions Of The Equation
1999-01-11
Kin Ming Hui
M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J
1998-08-07
J. -p. Eckmann
Rebetzky,
1998-05-29
Probabilistic Reliable Message Transmission
1996-01-23
A Software Engineering Approach to Neural Network Specification
1996-09-30
Erich Schikuta
On the Possibility of a Tidally Excited Low-Frequency . . .
1997-07-10
Coefficients of Polynomials of Restricted Growth on the Real Line
1998-04-26
Lawrence A. Harris
Turning Yahoo into an Automatic Web-Page Classifier
1998-04-15
Semi-Structured Information: A Modal Logic Approach
1997-10-31
Natasha Alechina
On the Relation Between Primitive Recursion, Schematization, and Divergence
1998-04-15
Miki Hermann
Formalizing New Navigation Requirements for NASA's Space Shuttle
1970-01-01
Ben L. Di Vito
Central Limit Theorems For Quadratic Forms With Time Domain Conditions
1996-07-12
A Comparison of
1999-02-03
William H. Wilson
Dynamic Vision System: Modeling the prey recognition of common toads
1970-01-01
Inheritance and Complementation: A Case Study of Easy Adjectives and Related Nouns
1994-11-04
Wavelets in Statistics: A Review
1999-01-09
A. Antoniadis
Possible biases induced by MCMC convergence diagnostics
1997-12-18
Pact - A Fault Tolerant Parallel Programming Environment
1994-08-02
Joachim Maier
Intelligent Gradient-Based Search of Incompletely Defined Design Spaces
1996-01-17
Extension of Martin-Lf's Type Theory with Record Types and Subtyping
1997-11-06
Affine Order-Statistic Filters: "Medianization" of Linear FIR Filters
1997-10-22
Fast Parallel Implementation of Lazy Languages - The EQUALS Experience
1994-06-02
A Downward Collapse Within The Polynomial Hierarchy
1999-03-28
Edith Hemaspaandra<f. E+> +<f. E
Schedulability and Safety Analysis in the Graphical Communicating Shared Resources
1996-03-07
On the Mass Distribution of Planetesimals in the Early Runaway Stage
1998-07-02
C. Krattenthaler
1997-12-26
C. Krattenthaler
Binary Periodic Synchronizing Sequences
1995-08-05
Marcin Skubiszewski
Solving the Near-Field Problem
1998-04-08
Limits on Nuclear Gamma-Ray Emission from Orion
1996-07-10
From the book: Handbook of Intelligent Control: Neural, Fuzzy, and Adaptive Approaches, White, D. Sofge, D., eds., Van Nostrand Reinhold, 1992.
1995-11-15
The most-continuous part of the Plancherel decomposition for a reductive symmetric space
1995-08-09
A Query Language and Processor for a Web-Site Management System
1998-03-15
Kazhdan Constants Associated with Laplacian on Connected Lie Groups.
1997-11-05
Electron Conduction Along Quantizing Magnetic Fields in Neutron Star Crusts
1996-09-10
A. Y. Potekhin
SENTINEL: A Multiple Engine Information Retrieval and Visualization System
1998-10-29
Modular Flow Analysis for Concurrent Software
1997-09-14
Matthew B. Dwyer
A Multithreaded Message Passing Environment for ATM LAN/WAN
1998-07-09
Redefintions of Histories by Measurements - An Explanation of "Nonlocality" Observed in EPR-Bohm Experiments
1997-05-23
Yuri F. Orlov
What is pragmatics? Some clues from the web
1997-10-07
Staffan Larsson
A General Duality Principle for the Sum of Two Operators
1996-06-24
H. Attouch
CRL: High-Performance All-Software Distributed Shared Memory
1995-03-27
A Tuner that Accelerates Parameters
1998-04-03
Proxy Servers and Databases for Managing Web-based Information
1997-04-08
Database Systems - Breaking Out of the Box
1996-10-17
NOP - a compact input format for nonlinear optimization problems
1996-05-06
A. Neumaier
Nimrod Megiddo
1995-09-22
Nimrod Megiddo
Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds
1995-05-01
Leveraging Mediator Cost Models with Heterogeneous Data Sources
1997-03-24
On-line Learning and the Metrical Task System Problem
1999-04-14
Extended
1998-03-16
Scalable Reliable Multicast with Layered Recovery and Low-Overhead Network Delay Estimation
1999-04-16
Optimal Parallel 2-D FIR Digital Filter with Separable Terms
1999-02-24
Formalizing Dependency Directed Backtracking and Explanation Based Learning in Refinement Search
1996-04-17
Subbarao Kambhampati
Estimating Equations for Clustered Data Based on Extended Quasilikelihood
1998-11-05
Daniel B. Hall
On The Pairing Of The Softmax Activation And Cross--Entropy Penalty Functions And The Derivation Of The Softmax Activation Function
1970-01-01
The Hector Distributed Run--Time Environment
1999-02-03
Eelco Visser
1999-03-16
Object Associations - A Simple and Practical Approach to Virtual 3D Manipulation
1995-05-31
Block Addressing Indicesfor Approximate Text Retrieval
1997-12-12
!schoenw@cs.utwente.nl?
1997-07-01
J. Schonwalder
An Implementation of Gröbner bases in Mathematica
1995-03-16
Bruno Buchberger
Independent One-Time Passwords
1997-05-08
Aviel D. Rubin
Why Functional Programming Matters
1996-10-15
Multitaper Spectral Estimation of Power Law Processes
1997-08-12
Mirror Symmetry And Elliptic Curves
1997-03-18
Robbert Dijkgraaf
A New Approach to Updating Beliefs
1996-09-30
Extended Aggregation Relationships for Process Specification and Enactment in Active Databases
1996-11-21
Modular Aspects of Rewrite-Based Specifications
1998-04-02
Bernhard Gramlich
The Homology of Homotopy Inverse Limits
1997-01-14
Paul G. Goerss
Two-Way Induction
1995-07-26
Pedro Domingos
The Role of Automated Word Classification in the Summarization of the Contents of Sets of Documents
1995-06-24
A Multi-Level Hierarchical Cache Coherence Protocol for Multiprocessors
1992-12-15
On the Relativistic Structure of Logical Time in Distributed Systems
1995-05-17
Friedemann Mattern
Expressing Rhetorical Relations in Instructional Text: A Case Study of the Purpose Relation
1996-08-29
On the Power of Quantum Finite State Automata
1997-08-09
Simplifying the Development of Fault-Tolerant Distributed Applications
1996-04-04
Techniques for the Power Estimation of Sequential Logic Circuits Under User-Specified Input Sequences and Programs
1995-04-07
Direct Numerical Simulation of the Developing Region of Turbulent Planar Jets
1999-03-29
Pricing Multicast Communication: A Cost-Based Approach
1999-03-18
Turbulence Effects in Planetesimal Formation
1997-10-10
Lindsay S. Hodgson
Complete Controllability of Continuous-Time Recurrent Neural Networks
1996-10-19
Eduardo Sontag
Transfer Of Contrast Sensitivity In Linear Visual Networks
1994-10-05
Andrew B. Watson
On the Computation of Multidimensional Aggregates
1996-08-12
Explicit Rate Flow Control For Abr Services In Atmnetworks
1998-03-18
An Overview of Abduction as a General Framework for Knowledge-Based Systems
1995-11-19
Tim Menzies
Verifying Temporal Properties in Discrete Event Systems
1996-04-03
Roger Germundsson
Segmentation by Multiresolution Histogram Decomposition
1997-02-24
A Global Topological Map formed by Local Metric Maps
1998-12-14
Evolving Cellular Automata with Genetic Algorithms: A Review of Recent Work
1997-08-19
A Functional Approach to External Graph Algorithms
1999-02-24
High-Energy Nuclear Physics With Lorentz Symmetry Violation
1997-08-21
Luis Gonzalez-mestres
Verifying a Performance Estimator for Parallel DBMSs
1998-10-12
Deictic Codes for the Embodiment of Cognition
1997-03-21
Pattern Reduction In The Paper Cutting Problem
1997-04-04
Rotation, Scale and Translation Invariant Digital Image Watermarking
1999-01-19
Joseph J. K
Path Profile Guided Partial Dead Code Elimination Using Predication
1997-09-17
Automated Learning for Reducing the Configuration of a Feed-Forward Neural Network
1996-08-04
Prefetching and Caching for Query Scheduling in a Special Class of Distributed Applications
1997-08-01
Through the Labyrinth Evolution Finds a Way: A Silicon Ridge
1998-05-21
Parameterized Heuristics for Intelligent Adaptive Network Routing in Large Communication Networks
1997-07-30
Performances En Séparation De Sources.
1998-02-02
Virtual Wires: Overcoming Pin Limitations in FPGA-based Logic Emulation
1993-11-18
Jonathan William Babb
Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time
1996-12-10
Modeling Interactions of the Rat's Place and Head Direction Systems
1996-01-09
Exploiting the Temporal Structure of MPEG Video for the Reduction of Bandwidth Requirements
1998-09-05
Prehomogeneous Vector Spaces Eisenstein Series And Invariant Theory
1996-05-21
Akihiko Yukie
Nomenclator Descriptive Query Optimization for Large X.500 Environments
1992-05-15
Differential BDDs
1996-05-08
A BLAS-3 Version of the QR Factorization with Column Pivoting
1996-08-06
Radix-4 Vectoring Cordic Algorithm And Architectures
1996-11-12
On Introducing Higher Order Functions in ABEL
1995-12-22
Ole-johan Dahl
Efficient enumeration of instantiations in Bayesian networks
1997-05-28
Visualization of Scalar Topology for Structural Enhancement
1998-04-26
Grammatical Trigrams: A Probabilistic Model of Link Grammar
1995-10-12
Recursive Flexible Multibody System Dynamics using Spatial Operators
1997-07-17
A. Jain
Module-Based Reinforcement Learning: Experiments with a Real Robot
1998-10-12
Csaba Szepesv Ari
Knowledge Based Approach To Consonant Recognition
1997-11-02
A. Samouelian
Protocols for High Speed Networks: Life After ATM?
1996-10-04
Rounding Errors in Solving Block Hessenberg Systems
1998-09-05
Koszul Algebras From Graphs and Hyperplane Arrangements
1998-04-23
Flow Graph Balancing for Minimizing the Required Memory Bandwidth
1997-09-11
Implementing Parallel Shortest Paths Algorithms
1994-09-22
Undiscounted Value Iteration in Stable Markov Decision Chains with Bounded Rewards
1998-03-17
Rolando Cavazos-cadena
Memory Efficient Software Synthesis from Dataflow Graph
1998-11-19
Analyzing refinements of state based specifications: the case of TB nets
1994-03-10
Manifolds With Singularities
1997-02-07
Boris Botvinnik
Search for
1998-05-15
Pyungwon Ko
Ultra Low Power CMOS Technology
1995-03-28
Gradient Descent: Second-Order Momentum and Saturating Error
1996-04-17
Barak Pearlmutter
Using Problem Generators to Explore the Effects of Epistasis
1998-06-03
Microprocessor Design Verification by TwoPhase Evolution of Variable Length Tests
1997-06-03
A Deduction Procedure for Conditional Rewriting Systems with Built-in Predicates
1997-10-09
Mauricio Ayala Rinc'on
FORSCHUNGSZENTRUM J ULICH GmbH
1994-12-22
TCP over ATM: ABR or UBR?
1997-02-21
Hypertext Transfer Protocol - HTTP/1.1
1996-04-23
Improved Algorithms and Data Structures for Solving Graph Problems in External Memory
1997-05-22
Eric J. Schwabe
A Practical Soft Type System for Scheme
1998-08-25
Fault Investigation and Trial
1992-12-30
Chonchanok Viravan
Simulative Inference in a Computational Model of Belief
1997-01-24
Modeling Of Time Constituents For Speech Understanding
1999-02-18
Response Properties Of A Foveated Space-Variant Cmos Image Sensor
1998-03-27
A Fast Solver Of Radiosity Equation Systems
1997-05-16
The Constraint-Based Layout Framework LayLab and Its Applications
1996-01-29
Winfried H. Graf
Aspects of an object model for Mobile Information Systems
1998-07-08
Thomas Kirste
Saturation and Stability in the Theory of Computation over the Reals
1997-07-21
A Methodology For Developing Agent Based Systems For Enterprise Integration
1995-09-07
Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case
1996-04-29
The Mobility Workbench - A Tool for the pi-Calculus
1994-09-09
A Forbidden-Suborder Characterization Of Binarily-Composable Diagrams In Double Categories
1996-04-18
Migrating Sockets---End System Support for Networking with Quality of Service Guarantees
1999-02-02
Complexity-Theoretic Analogs of Rice's Theorem
1997-08-05
Functional Representation Of Kauppi's Concept Operations And Concept Associations
1998-11-26
Marko Junkkari
Experiments in Stylistic Analysis
1996-11-08
Strategic Knowledge in Design: a Compositional Approach
1999-02-08
Efficient Compression Of Arbitrary Multi-View Video Signals
1998-03-11
Jeffrey Scott Mcveigh
Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields
1997-04-26
Jan Philip Solovej
An Analysis of Local Feature Extraction in Digital Mammography
1999-02-25
Proximal Minimization Methods with Generalized Bregman Functions
1995-03-28
Krzysztof C. Kiwiel
The Viva File System
1993-02-02
Recurrent Multilayer Perceptrons for Identification and Control: The Road to Applications
1998-11-09
K. Tutschku
Finding Best Simultaneous Diophantine Approximations Using Sequences Of Minimal Sets Of Lattice Points
1996-12-09
Meta Object Facility MOF Specification
1999-04-13
Highway Scene Analysis in Hard Real-Time
1998-09-25
PAC Learning with Simple Examples
1996-01-16
Cooperation Policies for Traders
1995-03-28
C. Burger
Modelling, Analysis Synthesis of Hybrid Systems
1996-07-31
J1.10 EARTH RADIATION BUDGET EXPERIMENT ERBE DATA SETS FOR GLOBAL ENVIRONMENT AND CLIMATE CHANGE STUDIES T. Dale Bess
1996-12-05
More On Recurrence and Waiting Times
1997-08-29
Abraham J. Wyner
Introspective Computer Systems
1996-10-02
Rok Sosic
Approximating Unstructured Task Parallelism in Series-Parallel Form
1997-05-23
Ginzburg-Landau Dynamics With A Time-Dependent Magnetic Field
1996-11-04
Hans G. Kaper
The Synchronization Mechanisms of Multimedia Information in the Distributed Hypermedia System "Harmory"
1999-01-27
Computing Bisimulations for Stochastic Process Algebras using Symbolic Representations
1998-07-17
Case Studies of SNePS
1994-10-24
Stuart C. Shapiro
Testing the Robustness of the Genetic Algorithm on the Floating Building Block Representation.
1999-02-08
Methodology for Distributed Usability Evaluation in Collaborative Virtual Environments
1998-10-23
Jolanda G. Tromp
Anatomy of a Message in the Alewife Multiprocessor
1993-10-09
Fast Adaptive Previewing by Ray Tracing
1996-07-31
Upcoming Numerical Linear Algebra Issues in Systems and Control Theory
1997-01-15
Paul Van Dooren
Dynamic Analysis of Mobility and Graspability of General Manipulation Systems
1970-01-01
Operabotics
1995-07-17
A Survey of Routing Techniques for Mobile Communications Networks
1998-10-16
A Formal Temporal Object-Oriented Data Model
1996-04-24
CatLA - a System for Automatic Acquisition of Subcategorization Information
1999-03-04
Subcategorization Information
Analysis of RNA Sequence Structure Maps by Exhaustive Enumeration - I. Neutral Networks
1995-12-06
Constraint Networks: A Survey
1999-03-25
Stochastic Nonlinear Bilevel Programming
1997-01-20
Michael Patriksson
Techniques for Explicit Feedback Control of TCP
1998-12-05
A New Asynchronous Pipeline Scheme: Application To The Design Of A Self-Timed Ring Divider
1970-01-01
A Domain-Specific Language For Video Device Drivers: From Design To Implementation Scott Thibault , Renaud Marlet , Charles Consel
1997-08-06
Tales of Debugging from The Front Lines
1999-01-19
Towards a Uniform Relational Semantics for Tabular Expressions
1998-07-01
Updated Parameter Limits of the Left-Right Symmetric Model
1998-05-23
Jukka Sirkka
PHC Format Description
1998-11-28
Performance of PISTON on the AP1000
1997-10-20
A Multi-Level Organization of Semantic Primitives that Enables an Autonomous Design Agent to Learn Model of Interaction with the Environment
1998-11-06
Logistica-Cfp: An Implementation Of Constraint Functional Programming
1995-06-23
David E. Leasure
Deciding When to Commit To Action During Observation-based Coordination
1995-07-13
Deforming The Point Spectra Of One-Dimensional Dirac Operators
1997-05-13
Gerald Teschl
The Partitioned Optical Passive Stars POPS Topology.
1996-01-15
Internal Analogy in Theorem Proving
1996-04-19
Erica Melis
A Fast Selection Algorithm for Meshes with Multiple Broadcasting
1997-02-09
Problems In Low-Dimensional Topology
1997-05-23
Frank Quinn
In Proceedings of the 1993 Connectionist Models Summer School, M. Mozer, P. Smolensky, D. Touretzky, J. Elman, and A. Weigend, eds., Lawrence Erlbaum Associates, pp. 11-19, 1994
1994-08-29
Use of Collateral Text in Image Interpretation
1994-08-12
The "Casual Cashmere Diaper Bag": Constraining Speech Recognition Using Examples
1999-04-09
Paul Martin
Low-Dimensional Linear Representations of Aut F n , . . .
1999-04-21
A. Potapchik
-Coloring Algorithm for 3-Colorable Graphs
1996-09-04
Kinematical Covariance and Dynamical Symmetry on a Net of Algebras
1996-11-11
On Proof Normalization in Linear Logic
1997-09-29
Hackers Luddites 1
1997-10-14
Rena Upitis
Bounding the Expected Length of Longest Common Subsequences and Forests
1998-09-16
Nuclear Effects On The Spin-Dependent Structure Functions
1998-05-11
Jerzy Szwed
Questions About Tame Algebras
1996-03-06
Collected Peter Draxler
On the Behavior of the Total Variation in CWENO Methods for Conservation Laws
1999-03-16
Doron Levy
Programming a Digital Watch In ESTEREL v3
1997-10-22
An Experimental Evaluation of the Parallel I/O Systems of the IBM SP and Intel Paragon Using a Production Application
1996-12-11
Endogenously Chosen Boards of Directors and Their Monitoring of the CEO
1995-11-02
Efficient Implementation of FFT-Like Algorithms on MIMD Systems
1998-08-26
Michael N
Point-based Temporal Extension of SQL
1997-03-31
David Toman
Overview of Quality of Service for Distributed Objects
1997-03-25
David E. Bakken Bbn Systems
An Algebraic Specification of a Model Factory, Part III
1997-03-03
Application Of Machine Learning For Machine Monitoring And Diagnosis
1999-04-12
Efficient Design of Neural Networks for Time Series Prediction
1996-04-22
Radu Drossu Zoran Obradovi'c
QCD Spectra and Random Matrix Models
1998-06-17
View Synchronous Communication in Large Scale Networks
1995-11-30
Economies Of Scale In Long And Short Buffers Of Large Multiplexers.
1995-03-03
GEMM--Based Level 3 BLAS: High-Performance Model Implementations and Performance Evaluation Benchmark
1995-11-27
Loop Equations and Virasoro Constraints in Non-perturbative 2-D Quantum Gravity
1997-03-18
The Schema Theorem and Price's Theorem
1994-04-15
Lee Altenberg
Nonconfigurational tense in Wambaya
1997-03-04
Learning of Concepts from Visual Examples
1995-08-11
A Hardware Architecture for Gigabit Multicasting
1996-07-02
Spatial Joins Using R-trees: Breadth-First Traversal with Global Optimizations
1997-06-30
Light-Driven Global Illumination with a Wavelet Representation of Light Transport
1996-09-17
Interior Point Methods For Global Optimization
1996-01-04
Transparent Migration and Rollback for Unmodified Applications in Workstation Clusters
1998-09-02
Modification of Shared Resources in AL-1/D
1998-07-20
Accurate Interconnect Modeling: Towards Multi-million Transistor Chips As Microwave Circuits
1996-11-12
Mechanisms for System-Level Fault Tolerance in Real-Time Systems
1994-02-08
Highly Portable and Efficient Implementations of Parallel Adaptive N-Body Methods
1997-09-01
Decentralized Group Hierarchies in UNIX: An Experiment and Lessons Learned
1998-09-14
On The Forward Checking Algorithm
1998-08-12
Efficient Construction of a Small Hitting Set for Combinatorial Rectangles in High Dimension
1997-06-17
The Role of Transfer in Learning extended
1998-09-29
Sebastian Thrun
The Complexity and Enumerative Geometry of Aspect Graphs of Smooth Surfaces
1995-03-24
Confidence Relations and Ordinal Information
1998-08-26
Gert De Cooman
A nonlinear Lax-Milgram lemma arising in the modeling of elastomers
1996-09-17
Has to Be Given Special Consideration:
1997-04-04
Quadrics On Complex Riemannian Spaces Of Constant Curvature, Separation Of Variables And The Gaudin Magnet
1996-12-16
A Hybrid Method Based On The Multiconductor Transmission Line Equation And The Method Of Moments
1970-01-01
Electronic Structure and Resistivity of the Double Exchange Model
1999-01-22
Drawing Clustered Graphs on an Orthogonal Grid
1999-04-26
NL Interfaces and the Turing Test
1997-02-04
Garbage Collecting The Internet
1997-04-07
Shaping Space: The Possible and the Attainable in RNA Genotype-Phenotype Mapping
1998-06-20
Universality of the Tearing Phase in Matrix Models
1997-05-20
Benchmarking Active Database Systems: A Requirement Analysis
1995-11-28
A Multiobjective Optimization Approach to Urban School Bus Routing : Formulation and Solution Method
1997-01-25
Adaptive Selection Of Image Classifiers
1998-06-20
Illumination Invariant Motion Segmentation of Simply Connected Objects
1998-07-16
Martin Bichsel
Plan Execution ina Temporal Logic Environment
1997-01-17
D. Dengler
Parallel Algorithms For Globally Adaptive Quadrature
1998-09-08
Jonathan Mark Bull
Regions of Attraction of Closed-Loop Linear Systems with Saturated Linear Feedback
1998-03-17
Channel Segregation for Slot Assignment in Integrated Voice and Data Systems
1998-06-29
Generating Polynomial Orderings for Termination Proofs
1996-11-19
Jurgen Giesl
William W. Cohen and Yoram Singer ATT Research 600 Mountain Avenue Murray Hill, NJ 07974
1998-06-16
The High Resolution Accelerometer Package. . .
1998-03-10
Semi-Oriented Bootstrap Percolation in Three Dimensions
1997-04-26
Reinier P. Bikker
The Sensitivity of a Spline Function to Perturbations of the Knots
1998-11-27
T. Lyche
Neutral Multi-Instanton as a Bridge from Weak to Strong Coupling phase in Two Dimensional QCD
1998-05-25
Tetsuyuki Ochiai
Finite Element Analysis of the High Frequency Vibrations of Contoured Crystal Plates With Higher-order Plate Theory
1998-06-24
Rapid, Accurate Optimization of Difficult Problems Using Fast Messy Genetic Algorithms
1995-11-01
-- 1-- Rare Kaon Decays
1998-06-03
G. Valencia
Identifying and Communicating Expertise in Systems Reengineering: A Patterns Approach
1998-11-09
Genetic Programming for Prediction and Control
1997-12-12
PerfVisS: A Performance Visualizer for High Performance Fortran Programs on Workstation Farms
1997-09-03
Fine-grain Multithreading with Minimal Compiler Support--- A Cost Effective Approach to Implementing Efficient Multithreading Languages
1998-02-09
Kenjiro Taura
Coarse-grain Parallel Computing for Very Large Scale Neural Simulations in the NEXUS Simulation Environment
1998-02-11
Non-parametric Clasification of Pixels Under Varying Outdoor Illumination
1995-05-09
Palle E.T. Jorgensen
1996-02-03
Palle E. T. Jorgensen
Controlling Cooperation and Recovery in Nested Transactions
1999-03-18
Avoiding Retrieval Contention for Composite Multimedia Objects
1997-12-11
Low-power CMOS clock drivers
1998-10-29
Engagement and Construction: Education Strategies for the Post-TV Era
1997-06-14
Ben Shneiderman
Reduced Motion Artifacts in Medical Imaging by Adaptive Spatio-Temporal Reconstruction.
1994-10-18
To pursue a Ph.D. requires at least a small degree of insanity. Fortunately, there are many people that a PhD candidate works with that help keep this small measure of insanity from becom...
1996-05-01
P-Wave Polarization of the
1998-05-24
B. Friman
Extending RD-OPT with Global Thresholding for JPEG Optimization
1997-02-07
Interactive Segmentation and Analysis of Fetal Ultrasound Images
1997-04-14
Hierarchical mixtures of experts and the EM algorithm
1993-10-06
Distributed Multivariate Regression Using Wavelet-based Collective Data Mining
1999-04-21
A Model Inference System for Generic Specification with Application to Code Sharing
1996-06-04
Robust Preconditioning of Large, Sparse, Symmetric Eigenvalue Problems
1995-05-26
Adaptive Applications and QoS Guaranties
1995-07-17
Christophe Diot
Robust Synthesis for Takagi-Sugeno Model with Uncertainty
1998-05-22
Network BasedConcurrent Computing on the PVM
1993-01-20
The Wave Equation With One Point Interaction And The Linearized Classical Electrodynamics Of A Point Particle
1997-04-26
An Evaluation of the Measurement Requirements for an In-Situ Wake Vortex Detection System
1996-06-10
A 3-Approximation Algorithm for the
1999-01-27
An Abstract Machine for Implementing Connectionist and Hybrid Systems on Multi-processor Architectures
1997-05-15
W. J. Maas
Homogeneous Spaces Admitting Transitive Semigroups
1997-11-05
Lifetime Measurements in ...
1998-05-12
Packets Found on an Internet
1994-07-28
Steven M. Bellovin
Ffl Ffl Ffl
1998-06-05
On Laguerre Expansions and Systolic Arrays
1970-01-01
Giridhar Mandyam
A Component- and Message-Based Architectural Style for GUI Software
1998-06-05
Clinical Trial and Evaluation of a Prototype Case-Based System for Planning Medical Imaging Work-up Strategies
1995-05-17
Charles E. Kahn
DNS of turbulent combustion with detailed chemistry on the Cenju-3 platform
1997-04-17
Markus Baum
Knowledge Acquisition in Concept and Document Spaces by Using Self-organizing Neural Networks
1995-09-19
Lessons in Neural Network Training: Overfitting May be Harder than Expected
1998-02-04
A Proof of the Fisher Information Inequality via a Data Processing Argument
1998-01-01
Ram Zamir
A Wavelet Representation of Reflectance Functions
1997-11-12
Classification and Specification ofUpdate Problems
1997-10-20
A Comparative Analysis of Evolutionary Algorithms for Function Optimisation
1996-03-02
Abundance similarities between the RCrB star V854Cen and the born-again Sakurai's object
1998-01-13
Metadata for Multimedia Documents
1998-01-19
Rigorous Results On The Hopfield Model Of Neural Networks
1997-04-26
Anton Bovier
Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly
1994-06-30
Group Communication In Amoeba And Its Applications
1995-10-31
Some Design-Theoretic Properties of Buekenhout Unitals
1997-10-29
Jeremy Dover
A Note on Radiative Corrections to
1998-05-13
Greedy Randomized Adaptive Search Procedures
1994-07-13
Multimodal Interaction with a Map-Based Simulation System*
1997-03-04
Kenneth Wauchope
DoD Legacy Systems: Reverse Engineering Data Requirements
1996-11-05
A New Dense Group Graph Discovered by an Evolutionary Approach
1998-03-06
Otto Wohlmuth
An Improved Planner for Intelligent Monitoring of Sustainable Development of Forests
1998-09-08
Universal Finiteness and Satisfiability
1999-02-16
"Chaotic" knots and "wild" dynamics
1996-11-14
Robert W. Ghrist
The New ASF Compiler - An exercise in self-applicability
1997-03-03
Implementation of Saddlepoint Approximations in Resampling Problems
1998-07-09
Automatic Restoration of Accents in French Text
1997-10-17
Michel Simard
Towards a Logical Formalization of Responsibility
1998-07-20
Self-Similarity in World Wide Web Traffic: Evidence and Possible Causes
1999-01-12
Using NLP or NLP Resources for Information Retrieval Tasks
1997-05-21
Alan F. Smeaton
Analysis of Communication Patterns for Modeling Message Passing Programs
1996-06-03
Finite Type 3-Manifold Invariants, The Mapping Class Group And Blinks
1997-01-28
Stavros Garoufalidis
Applications Of Data Hiding In Digital Images
1999-01-07
Presenter Jiri Fridrich
A Lazy Log-Keeping Mechanism for Comprehensive Global Garbage Detection on Amadeus
1999-02-08
Mark Horowitz, Thomas Indermaur, and Ricardo Gonzalez
1997-03-05
Analysis Of A Linear--Linear Finite Element For The Reissner--Mindlin Plate Model
1996-06-28
Robot Localization from Landmarks using Recursive Total Least Squares
1996-01-31
Numerical experiments of the formation of dwarf galaxies using Smoothed Particle Hydrodynamics Method
1998-09-22
Information Brokering
1997-05-09
Manfred A. Jeusfeld
Aggregate Functions, Conservative Extension, and Linear Orders
1994-01-19
Interactive Querying and Visualisation in Temporal Databases.
1995-11-09
Propositional Logic
1996-06-11
Rebecca Thomas
A Generalized Reinforcement-Learning Model: Convergence and Applications
1996-04-25
Michael L. Littman
Genetic Compilers: A New Technique for Automatic Parallelisation
1996-04-20
An Investigation of Documents from the World Wide Web
1996-03-31
Computing Quantitative Characteristics of Finite-State Real-Time Systems
1997-10-24
Classification With Overlapping Feature Intervals
1995-05-30
Detection And Remediation Of Stagnation In The Nelder-Mead Algorithm UsingA Sufficient Decrease Condition
1997-07-24
C. T. Kelley
The Lattice Points of an N-Dimensional Tetrahedron
1995-09-05
Andrew Granville
Glove-TalkII: A neural network interface which maps gestures to parallel formant speech synthesizer controls
1997-10-27
Gryllus Bimaculatus
1999-01-08
Development of a Skeletal CSP Theory in EVES
1994-12-10
Persistent Deficits in Motor Skill for Children with Dyslexia
1995-06-14
Anomalies in diffractive electroproduction of 2S radially excited light vector mesons at HERA
1998-05-14