Type Specialisation for Imperative Languages
1997-04-08
A Multiscale Approach to Integrated Volume Segmentation and Rendering
1997-03-12
The Quality Of Partitions Produced By An Iterative Load Balancer
1997-01-24
Phylogenetic Recapitulation in the Ontogeny of Artificial Neural Networks
1999-01-11
The Didactic Robots
1999-01-11
Autonomous Cross-Country Navigation Using Stereo Vision
1999-02-16
Testing Monotonicity Of Regression
1998-12-22
A QuantitativeAnalysis of Instruction Prefetching
1998-12-17
Transaural 3-D audio
1995-07-07
William G. Gardner
Ccsds Global Spacecraft Identification Field:
1995-11-15
Blue Book
A Finitary Version of the Calculus of Partial Inductive Definitions
1995-10-19
Lars-henrik Eriksson
Software Documents, Their Relationships and Properties
1995-01-04
Jun Han
On the Complexity of Sparse Elimination
1994-11-10
Ioannis Z. Emiris
Relative Perturbation Theory: II Eigenspace and Singular Subspace Variations
1996-02-16
Ren-cang Li
Mel 3/27 R.2
1993-09-23
Cooperative Behaviors - Discrete Event Systems based approach.
1994-11-13
Terminological Reasoning and Conceptual Modeling for Datawarehouse
1996-06-05
David Rudloff
Data Mining for Automated Visual Inspection
1997-10-10
Improved Neural Network Training Of Inter-Word Context Units For Connected Digit Recognition
1999-01-10
Consortium
1998-03-11
PASSWORD - R2.5: Certification Authority Requirements
1994-05-26
Michael Roe
Interval Computations On The Spreadsheet
1996-10-12
Some Polarimetry I Have Done at University of Wisconsin
1998-07-08
A. J. Weitenbeck
Control of Nonholonomic Systems with Drift Terms
1996-12-22
Name Server Operations Guide for BIND
1996-05-17
WZW models of general simple groups
1998-05-13
Matthias R. Gaberdiel
Diagnosis as an Integral Part of Multi-Agent Adaptability
1999-01-28
Appearance-Based Motion Recognition of Human Actions
1996-08-02
James William Davis
Tracker: A Sensor Fusion Simulator For Generalised Tracking
1999-03-20
Distributed Algorithms for Multicast Path Setup in Data Networks
1995-10-28
Synchronization Trees And Fairness: A Case Study
1997-02-12
The Molecular Modeling Toolkit: a case study of a large scientific application in Python
1997-11-02
Konrad Hinsen
libscheme: Scheme as a C Library
1994-11-28
Brent W. Benson
Learning of Depth Two Neural Networks with Constant Fan-in at the Hidden Nodes Extended Abstract
1997-04-24
Building Intelligent Agents for Web-Based Tasks: A Theory-Refinement Approach
1998-12-21
Computation of the Semantics of Autoepistemic Belief Theories
1999-03-29
Polynomial invariants of Legendrian links and plane fronts
1996-07-08
Incremental Multi-Step Q-Learning
1998-08-21
Components, Frameworks and GKS Input
1998-07-13
Manager-Agent and Remote Operation: Two Key Patterns for Network Management Interfaces
1997-10-17
Opportunistic FTP
1999-02-05
Stage-Graph Representations
1996-10-30
Development of International Collaborative CAD/CAM
1997-07-08
On-line Avoidance of the Intrusive Effects of Monitoring on Runtime Scheduling Decisions
1996-03-06
Real-time Parallel Computation of Disparity and Optical Flow Using Phase Difference
1998-10-01
What Makes a Problem Hard for a Genetic Algorithm? Some Anomalous Results and Their Explanation
1998-03-18
Heisenberg Lie Bialgebras as Central Extensions
1998-10-07
Subtyping with Singleton Types
1997-08-21
David Aspinall
Strong uniqueness for a class of infinite dimensional Dirichlet operators and applications to stochastic quantization
1999-04-21
Using Trade-off Information in Attributes' Investing
1998-05-08
Pekka Korhonen
Task Decomposition and Dynamic Role Assignment for Real-Time Strategic Teamwork
1998-01-09
Planar Shape Databases With Affine Invariant Search
1996-04-02
Introduction to S-PLUS for UNIX with Exercises
1999-04-12
Integration of Constraint Reasoning, and Simulation models in Forest Harvest Scheduling
1996-11-22
Junas Adhikary
On Genetic Algorithms and Lindenmayer Systems
1998-11-05
Gabriela Ochoa
Information Flocking: Data Visualisation In Virtual Worlds Using Emergent Behaviours
1998-07-21
A Fully Projective Formulation to Improve the Accuracy of Lowe's Pose-Estimation Algorithm
1997-06-18
A Review of Evolutionary Artificial Neural Networks
1997-05-16
Xin Yao
Efficient Labelling and Constraint Relaxation for Solving Time Tabling Problems
1998-09-29
P. Boizumault
Functions and Methods for Mixed-Effects Models
1996-07-01
Pharmacodynamic Analysis of Hematologic Profiles
1994-04-12
Constant Time Per Edge is Optimal on Rooted Tree Networks
1998-07-17
Michael Mitzenmacher
Semantic Query Caching for Heterogeneous Databases
1997-08-12
A Continuum of Minimal Pairs of Compact Convex Sets which are not Connected by Translations
1996-06-24
Diethard Pallaschke
Estimating Continuous Distributions in Bayesian Classifiers
1999-02-05
Sensor-Based Control Architecture for a Car-Like Vehicle
1999-03-04
Bounds of the Expected Approximation Error in Optimal Inventory Policies
1997-06-06
Passive Ranging Using Image Expansion
1997-06-27
Third Year Project
1994-08-25
Matthew Bowen
Scientific Workflow Management: WASA Architecture and Applications
1996-04-11
to a Sparse Set using a Constant Number of Queries Collapses
1996-02-16
Dieter Van Melkebeek
Discussion
1997-10-28
Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations
1996-03-29
MultiMATLAB: Integrating MATLAB with High-Performance Parallel Computing
1997-09-04
Caching in on Sisal: Cache Performance of Sisal vs. Fortran
1998-01-26
Any-Dimension Algorithms
1995-07-12
A Maximum Likelihood Approach to Nonlinear Blind Source Separation
1997-07-04
A Point-based Temporal Extension of SQL
1998-08-05
David Toman
The World Wide Web: a Web Even a Fly Would Love
1997-03-06
Elizabeth Bryson
Brauer Groups of Local Elliptic and Hyperelliptic Curves and Central Division Algebras Over Their Function Fields
1999-04-21
Detection Techniques for Direct Sequence Multicarrier Variable Rate Broadband CDMA
1998-10-23
Binary Space Partitions for Fat Rectangles
1996-10-16
Discriminant Analysis by Gaussian Mixtures
1998-08-31
Evolving Optimal Populations with XCS Classifier Systems
1996-11-25
Tim Kovacs
Multilevel Algorithms for Nonlinear Optimization
1997-01-27
Diagonalization of Homogeneous Linear Operators in Biorthogonal Wavelet Bases
1997-03-19
Fredrik Ekstedt
Acoustic-to-Phonetic Mapping Using Recurrent Neural Networks
1996-09-16
Robust Permanent Income and Pricing
1999-01-17
A Model for Classification Structures with Evolution Control
1996-07-24
Computing within Memory Using Transforms
1997-08-08
Why Aren't Operating Systems Getting Faster As Fast as Hardware?
1993-10-29
John K. Ousterhout
A Provable Time and Space Efficient Implementation of NESL
1997-02-04
A Class of Asymptotically Stable Algorithms for Learning-Rate Adaptation
1998-02-02
Stefan M. Ruger
Detecting Luminous Gravitational Microlenses Using Spectroscopy
1998-08-17
Dealing with the Multimodal Distributions of Mixture Model Parameters
1996-12-04
Matthew Stephens
Physical And Cosmological Implications Of A Possible Class Of Particles Able To Travel Faster Than Light
1997-04-26
L. Gonzalez-mestres
File System Logging Versus Clustering: A Performance Comparison
1996-07-02
Automata Theory for Reasoning about Actions
1999-03-04
Eugenia Ternovskaia
Multiresolution Signal Decomposition Schemes. Part 1: Linear and Morphological Pyramids
1998-09-22
Design, Modeling and Control of a Hopping Robot
1996-02-13
Efficient Algorithms for Predicting Requests to Web Servers
1998-09-15
Analysis and Exploration of the program FALSE
1994-04-26
Model Checking and Other Games
1997-06-23
Colin Stirling
Response of the Auroral Electrojets to the Solar Wind Modeled With Neural Networks
1996-12-10
The Construction Of Single Wavelets In D-Dimensions
1999-03-15
Modelling Domain Dialogs
1997-07-31
Jens-uwe Moeller
Performance Analysis of an Improved MMSE Multi-user Receiver for Mismatched Delay Channels
1998-11-16
M-Ary Orthogonalmodulation For Multi-Carrier Spread-Spectrum Uplink Transmission
1998-05-20
Analysis of Feedback-Oriented Congestion Control Mechanisms for ABR Services
1996-10-07
Michael Ritter
Variational Constraints For Electrical Impedance Tomography
1995-04-24
A Bornological Approach to Rotundity and Smoothness Applied to Approximation
1996-06-23
John Read
Abundances in metal-rich stars - Detailed abundance analysis of 47 G and K dwarf stars with . . .
1997-09-23
Sofia Feltzing
Dimension choice for Sliced Inverse Regression based on ranks
1997-07-03
On the power of evolutionary optimization at the example of ATSP and large TSP Problems
1997-05-27
Martina Gorges-schleuter
Communication Complexity In Lattices
1999-04-21
Macro-Actions in Reinforcement Learning: An Empirical Analysis
1998-08-19
Generating Decompilers
1998-10-17
Process Planner's Assistant: An Interactive And Iterative Approach To . . .
1997-06-09
High Performance Fortran Interfacing to ScaLAPACK
1999-04-07
A Hardware Implementation Of A Binary Neural Image Processor
1998-06-22
Connection between zeta and cutoff regularizations of Casimir energies
1998-05-23
A Connectonist Indexing Approach for CBR Systems
1996-04-17
Maria Malek
An Efficient Algorithm for the Riemann Zeta Function
1995-09-20
P. Borwein
A Parallel Genetic Algorithm for Transonic Airfoil Optimisation
1995-12-20
PolyTOIL: A type-safe polymorphic object-oriented language
1998-04-01
Interactive Simulation And Visualization Of Massless, Massed, And Evaporating Particles
1998-10-13
Learning Concepts from Sensor Data of a Mobile Robot
1996-01-08
Loop Re-Ordering and Pre-Fetching at Run-time
1997-09-28
A Change Analysis Process to Characterize Software Maintenance Projects
1994-10-13
An Approach to the Integration of File Based Systems into Database Federations
1996-11-22
Michael Hoding
Efficient Resource Management
1997-08-30
General ways of constructing accelerating Newton-like iterations onpartially ordered topological spaces
1997-09-26
Ioannis K. Argyros
Charm Physics With The Opal Detector
1997-06-26
Design and Implementation of a Replay Framework based on a Partial Order Planner
1996-01-24
Molecular Computing, Bounded Nondeterminism, and Efficient Recursion
1996-11-17
Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change
1996-12-09
Erik Sandewall
CaseAdvisor: Supporting Interactive Problem Solving and Case Base Maintenance for Help Desk Applications
1998-09-10
Sui Generis Genericity
1998-08-30
Analysis of Switching Dynamics with Competing Neural Networks
1995-11-14
Separation Constraint Partitioning - A New Algorithm for Partitioning Non-strict Programs into Sequential Threads
1997-01-27
Supporting flexible collaborative software development with SPE-Serendipity
1996-04-18
John C. Grundy
Computing Replica Placement in Distributed Systems
1995-10-17
Reducing Data Communication Overhead for
1995-02-14
The Theory of Dimensioned Matrices
1995-05-10
George W. Hart
Robust Estimation Of Spectral Center-Of-Gravity Trajectories Using Mixture Spline Models
1996-05-30
Don X. Sun
Software Constraint Models - A Means to Improve Maintainability and Consistency
1995-02-09
Dag I. K. Sjřberg
The Didactic Robots
1996-08-12
TCP-like Congestion Control for Layered Multicast Data Transfer
1997-12-06
Flexibilty in a Blackboard System for Solving Dynamic Resource-Constrained Scheduling Problems
1997-07-14
Approach to Equilibrium of Glauber Dynamics In the One Phase Region. II: The General Case
1997-04-26
Connectionist Decision Systems for a Visual Search Problem
1999-03-01
Uwe R. Zimmer
Verifying Synchronous Programs draft
1994-10-11
Jacob Kornerup
Peer-to-Peer Reconciliation Based Replication for Mobile Computers
1997-02-12
Some Design Issues in the Visualization of Constraint Logic Program Execution
1998-11-02
AND/OR Reasoning Graphs for Determining Prime Implicants in Multi-Level Combinational Networks
1999-01-13
A Method for Instrumenting Software Evolution Processes and An Example Application
1995-04-11
Nazim Madhavji
On the Subject Reduction Property for Algebraic Type Systems
1998-05-06
G. Barthe
Providing Integrated Support for Multiple Development Notations
1995-09-14
Optimal Strategies for Incoherent Demodulation of Narrow Band FM Signals
1995-05-26
Hypercrossing Number: A New and Effective Cost Function for Cell Placement Optimization
1999-01-14
Identifier Semantics: A Matter of References
1992-11-02
Non-Bushy Trees For Gaussian Hjm And Lognormal Forward Models
1997-08-12
Alan Brace
Interactive Debugging and Performance Analysis of Massively Parallel Applications
1995-12-06
Research Issues In Distributed Operating Systems
1995-10-17
A Cerebellar Approach to Adaptive Locomotion for Legged Robots
1999-01-17
Simultaneous Feature Extraction and Selection Using a Masking Genetic Algorithm
1997-02-27
A Formal Approach to Fuzzy Modeling
1998-02-02
John Lygeros
Topic Adaptation For Language Modeling Using Unnormalized Exponential Models
1998-10-17
Almost k-wise Independent Sample Spaces and Their Cryptologic Applications
1997-02-11
Proof Lengths for Equational Completion
1995-06-14
EMG Control for a Robot Hand Used as a Prosthesis
1999-01-16
Quantum Computing
1998-11-10
Peter W. Shor
Synthesizing proofs from programs in the Calculus of Inductive Constructions
1996-09-05
Catherine Parent
Comparing Positive and Negative Alcohol Expectancies in Male and Female Social Drinkers
1996-03-04
New Limit on the P-Mode Oscillations of Procyon by Fourier Transform Seismometry
1998-11-13
Residual-Based Tests for Fractional Cointegration: A Monte Carlo Study
1998-04-01
Ingolf Dittmann
Constructive Neural Network Learning Algorithms for Multi-Category Real-Valued Pattern Classification
1997-06-17
Visualizing the Simple Bayesian Classifier
1998-10-26
Changes in Web Client Access Patterns - Characteristics and Caching Implications
1999-01-13
Traffic Characterization and Switch Utilization using a Deterministic Bounding Interval Dependent Traffic Model
1998-02-23
Optimizing the Placement of Multimedia Objects on Disk Arrays
1998-06-12
EM-Cube: An Architecture for Low-Cost Real-Time Volume Rendering
1998-03-03
Computational Neuroethology: A Provisional Manifesto
1990-10-29
A New Approach for Dimensionality Reduction: Theory and Algorithms
1998-12-09
Optimal Linear Detectors for Additive Noise Channels
1995-06-01
Don H. Johnson
A Treatment of the Schwinger Model within Noncommutative Geometry
1970-01-01
Profiling Parallel Functional Computations Without Parallel Machines
1999-02-08
Volumes From Overlaying 3-D Triangulations in Parallel
1996-01-13
Providing Better Support for a Class of Decision Support Queries
1997-01-20
Mutual Beliefs of Multiple Conversants: A Computational Model of Collaboration in Air Traffic Control
1994-02-17
Efficient Parallel Fir Filter Implementations Using Frequency Spectrum Characteristics
1998-08-24
High Resolution CMOS Current Comparators: Design and Applications to Current-Mode Function Generation
1998-06-30
F. Medeiro
BALANCE - A Flexible Parallel Load Balancing System for Heterogeneous Computing Systems and Networks
1995-09-10
Improved Scheduling Algorithms for Minsum Criteria Extended Abstract
1996-04-19
Characterisations of Classical and Non-classical states of Quantised Radiation
1998-05-25
Model Checking TLA+ Specifications
1999-03-11
Multicast Tree Construction in Network Topologies with Asymmetric Link Loads
1970-01-01
Expressing Database Queries with Intuitionistic Logic
1995-11-05
CODE4: A Unified System for Managing Conceptual Knowledge
1995-08-02
Multi-way Netlist Partitioning into Heterogeneous FPGAs and Minimization of Total Device Cost and Interconnect
1997-03-25
Definability and Undefinability with Real Order at the Background
1999-01-22
A Kruskal-Katona Type Theorem for the Linear Lattice
1998-10-21
Submillimeter Imaging of NGC 891 with SHARC
1998-12-04
The Number-Theoretical Spin Chain and the Riemann Zeroes
1997-09-04
Andreas Knauf
The Implementation of a Distributed Framework to support `Follow Me' Applications
1998-12-28
The PRESTO Application Suite
1995-01-20
The Linux Printing Usage HOWTO
1998-04-26
SPAR: A Schematic Place and Route System
1995-12-13
The Traffic Equilibrium Problem with Nonadditive Path Costs
1995-09-26
Fast Monte-Carlo Algorithms for finding low-rank approximations
1998-10-27
Cache Digests
1998-04-17
A Lyapunov Bound for Solutions of Poisson's Equation
1998-08-24
Structure from Linear or Planar Motions
1996-04-19
J Oliensis
Modeling, Analysis, and Simulation of Self-Similar Traffic using the Fractal-Shot-Noise-Driven Poisson Process
1995-03-22
Integrating Database and World Wide Web Technologies
1998-04-24
Dr. Ling Feng
Calculi for Mobile Processes - Bibliography and Web Pages
1998-01-22
Applications Of Cheeger's Constant To The Convergence Rate Of Markov Chains On R n
1998-02-26
Wai Kong Yuen
Visual Attention in a Mobile Robot
1997-07-15
GRAPE-4 and Beyond
1996-02-11
Junichiro Makino
Approximate Standing Wave Solutions in Massless ... Theory
1998-12-18
O. A. Khrustalev
Common modulus attack against Lucas-based systems
1997-06-20
Marc Joye
Design of the Munin Distributed Shared Memory System
1998-09-14
Two Views of High-Integrity Ada
1995-11-24
I C Wand
Analytic andComputational Assessment of Locking in the hp Finite Element Method
1995-11-18
Manil Suri
The OMC-1 molecular hydrogen outflow as a fragmented stellar wind bubble
1996-10-10
Generalized Streets Revisited
1999-03-16
Ro L'opez-ortiz Sven Schuierer
Architecture For
1997-10-10
The ground-negative fragment of first-order logic is Pi^p_2-complete
1997-05-11
Andrei Voronkov
Computationally Manageable Combinatorial Auctions
1995-04-19
Congestion Control By Traffic Shaping For Ground/Satellite Network
1997-03-22
Unknown
1994-12-21
Automatic Prosodic Analysis for Computer Aided Pronunciation Teaching
1994-09-20
Paul Christopher Bagshaw
On a General Concept of Multifractality: Multifractal Spectra for Dimensions, Entropies, and Lyapunov Exponents. Multifractal Rigidity
1998-01-17
The Syntactic Processing Of Particles In Japanese Spoken Language
1999-02-06
Melanie Siegel
A Constraint-Satisfaction Approach for 3-D Object Recognition by Integrating 2-D and 3-D Data
1998-07-11
CSPlib: a benchmark library for constraints
1999-04-16
Conditional Subgradient Optimization - Theory and Applications
1995-09-19
Relational Set Theory
1997-09-30
Yasuo Kawahara
A Sequential Niche Technique for Multimodal Function Optimization
1994-09-05
Two-Mode Quantum Phase
1996-02-05
Formal Characterizations of Active Databases: Part II
1997-06-05
Rutherford Appleton Laboratory
1998-05-14
A Model for Worldwide Tracking of Distributed Objects
1996-06-20
Galilean Coherent States And Wavelets
1996-03-08
J-p. Antoine
Weight Zero Enhancement In Speech Synthesis Using Neural Networks
1996-03-04
Verdi Compiler: Final Report
1994-12-10
Lisp and Symbolic Computation
1999-02-12
Nelson H. F. Beebe
A Transformation System Combining Partial Evaluation with Term Rewriting
1996-03-12
On Efficient Markovian Modelling
1993-07-26
Markus Siegle
Multiple Translational Containment Part I: An Approximate Algorithm
1996-09-17
A Simple and Unifying Approach to Subjective Objects
1996-06-28
A Comparison of Two Corpus-Based Methods for Translingual Information Retrieval
1998-01-28
A Generic Architecture for Intelligent Networked Colocation in Concurrent Engineering
1995-09-15
Dennis Bahler
Key Management for Restricted Multicast using Broadcast Encryption
1999-03-11
Doppler-Based Motion Estimation For Wide-Band Sources From Single Passive Sensor Measurements
1996-12-13
Equivalence of Linear Boltzmann Chains and Hidden Markov Models
1996-05-06
David J. C. Mackay
3D FreehandUltrasound: Reconstruction and Spatial Compounding
1999-03-11
Robert Nicholas Rohling
The security architecture of IRO-DB
1996-06-11
Irrational Numbers of Constant Type --- A New Characterization
1998-02-21
Thermodynamical Evolution Of Hot And Dense Hadronic Matter From Intranuclear Cascade Simulation
1998-05-16
Decomposition Of Simultaneous Analysis And Design Models
1995-06-24
Compute Server Performance Results
1999-04-15
Random I/O Performance of a Tandberg MLR1 Tape Drive
1998-11-26
RSVP: A New Resource ReSerVation Protocol
1998-01-14
A Comparison of Three Microkernels
1995-10-17
Andrew S. Tanenbaum
Region of Magnetic Dominance Near a Rotating Black Hole
1998-05-24
V. Karas
Nonlinear Independent Component Analysis: Existence and Uniqueness Results
1998-10-19
Aapo Hyvrinen
Checking Verifications of Protocols and Distributed Systems By Computer
1998-09-16
Solving Geometric Constraint Systems
1996-12-11
Glenn A. Kramer
Indigo: User-level Support for Building Distributed Shared Abstractions
1996-09-11
MIME Multipurpose Internet Mail Extensions Part One: Mechanisms for Specifying and Describing the Format of. . .
1993-12-23
QGB: A System for Querying Sequence Database Fields and Features
1970-01-01
Visual Filtering of Search Results with Document Maps
1998-05-04
Jeffrey J. Morgan
Cochannel and Adjacent Channel Reuse Ratio Distributions in Dynamic Channel Assignment Microcellular Systems
1996-12-18
Bit Optimal Distributed Consensus
1995-07-07
A Lazy Calendar For Optimistic Parallel Simulation
1998-10-01
Performance of ATM Switch Fabrics Using Cross-Point Buffers
1999-01-24
The Linux Emacspeak HOWTO
1998-04-26
Steady-State Analysis Of Continuous Adaptation Systems For Hearing Aids With A Delayed Cancellation Path
1998-11-05
Visualisation By Tables
1970-01-01
Stephen W. Draper
Embra: Fast and Flexible Machine Simulation
1970-01-01
Spin Symmetry Without Heavy Quarks: Hyperon Form Factors In The Large
1998-05-25
Chi-keung Chow
Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems
1996-11-19
Global I/O Optimizations for Out-of-Core Computations
1997-10-21
Architectural Support for Managing Communication in Point-to-Point Distributed Systems
1994-04-08
Toward an Experimental Science of Planning
1997-04-13
Pre-logical Relations
1999-03-19
Furio Honsell
Magic Sets vs. SLD-Resolution
1996-01-24
Stefan Brass
Scheduling Dynamic Dataflow Graphs With Bounded Memory Using The Token Flow Model
1994-11-06
Hardware Speedups in Long Integer Multiplication
1998-12-21
Information Theoretic Neural Networks for Contextually Guided Unsupervised Learning: Mathematical and Statistical Considerations
1996-08-23
Jim Kay
Fast Simulation of Wireless Systems
1998-10-20
Luiz Felipe Perrone
Concurrent Semantics for Structured Design Methods
1997-01-23
Java/DSM: A Platform for Heterogeneous Computing
1997-08-18
Theoretical Estimation Of Power Consumption In Binary Adders
1998-08-24
Knowledge-based Refinement of Knowledge Based Systems
1997-03-24
Feature Subset Selection Using A Genetic Algorithm
1997-07-30
Routing In Leo-Based Satellite Networks
1999-02-25
The Evolution of Distorted Rotating Black Holes I: Methods and Tests
1996-01-20
Steven R. Brandt
Polymorphic Syntax Definition
1998-01-19
Some Linear Algebra Issues in Large-Scale Optimization
1993-01-04
Margaret H. Wright
The LooPo scanner and parser
1995-01-12
Frank Schuler
An Approximation Scheme for Evolutive Hamilton-Jacobi Equations
1998-10-29
High-Level Views of Distributed Executions
1995-05-30
Thomas Kunz
The CORD approach to Extensible Concurrency Control
1999-01-19
Algorithms for the Parallel Alternating Direction Access Machine
1999-04-05
Hierarchical Algorithms For Illumination
1993-09-28
Toward a Mechanics of Conceptual Machines
1996-03-21
David E. Goldberg
Downward Collapse from a Weaker Hypothesis
1998-07-24
Towards Generalized Rule-based Updates
1970-01-01
On the Need for Multipermutations: Cryptanalysis of MD4 and SAFER
1994-11-21
Serge Vaudenay
Existence Of Invariant Tori For Non Hamiltonian Perturbations Of Integrable Systems
1997-04-26
Dario Bambusi
TamingGri--ths'SingularitiesinLongRange Random IsingMo dels
1997-10-03
Dedicatedtothememory Ofroland Dobrushin
Multiresolutional Multisensor Target Identification
1997-04-10
Observing Self-Stabilization
1996-11-14
Provable security for block Ciphers by decorrelation
1998-06-18
Serge Vaudenay
Generating specialized C++ Code from parametrized CLAIRE pseudo-code
1996-03-13
Cole Normale Supérieure
Leveled Entity Relationship Model
1997-01-20
Building the 4 Processor SB-PRAM Prototype
1996-11-15
Coalitions among Computationally Bounded Agents
1997-10-29
An Approach to Machine-Independent Parallel Programming
1995-04-25
Public International Benchmarks for Parallel Computers
1994-08-26
Michael Berry secretary
A Language for Manipulating Arrays
1997-06-23
Noise reduction of chaotic systems by Kalman filtering and by shadowing
1996-07-24
Profiling Parallel Functional Computations Without Parallel Machines
1997-04-23
Topographic Map Formation as Statistical Inference
1996-02-28
Roland Baddeley
Spiders: A New User Interface for Rotation and Visualization of N-dimensional Point Sets
1999-02-10
A Connectionist Variation on Inheritance
1998-10-16
Approaches to Online Learning and Concept Drift for User Identification in Computer Security
1998-11-07
A Davis-Putnam Program and Its Application to Finite First-Order Model Search: Quasigroup Existence Problems
1994-10-25
William Mccune
Automatic Evaluation of Spoken Dialogue Systems
1998-05-26
The Complexity of Existential Quantification in Concept Languages
1995-06-10
Disk-directed I/O for MIMD Multiprocessors
1970-01-01
David Kotz
Timing Analysis of Domino Logic
1996-11-21
Meson Decay Constants in Relativistic Quark Model
1998-05-14
Stability Margins for Systems With Deterministic and Stochastic Uncertainty
1997-07-10
ANNO: a Multi-functional Flemish Text Corpus
1998-05-11
Ineke Schuurman
Experiments with a Task Partitioning Model for Heterogeneous Computing
1999-02-03
David J. Lilja
An Application of the Sparse Distributed Memory
1998-04-14
Frantisek Zboril
Primitives of Sequential and Parallel Computation
1999-01-05
The Neural Network Loading Problem is Undecidable
1996-09-18
Herbert Wiklicky
NetProf: Network-based High-level Profiling of Java Bytecode
1998-08-11
Lane Boundary Detection Using Statistical Criteria
1998-12-22
Error-Correcting Output Coding for Text Classification
1999-04-15
Adam Berger
Empirical Support for Probabilistic GLR Parsing
1970-01-01
Chain Queries Expressible by Linear Datalog Programs
1997-10-20
Scientific Applications on the SB-PRAM
1996-11-26
A large-scale GenBank search of Expressed Sequence Tags using rapid identity searching program for DNA sequences
1995-12-13
A Social Reasoning Mechanism Based On Dependence Networks
1996-10-17
Tools for Printing Indexes
1997-09-29
Derandomizing Arthur-Merlin Games
1998-09-11
How good are branching rules in DPLL?
1996-09-11
Ming Ouyang
Crossover, Macromutation, and Population-based Search
1995-06-02
Terry Jones
Combining Situation Calculus and Event Calculus
1970-01-01
Experiences on Implementing PARMACS Macros to Run the SPLASH-2 Suite on Multiprocessors
1998-02-17
Methodical Use of Cryptographic Transformations in Authentication Protocols
1996-10-03
Message Dispatch on Pipelined Processors
1995-05-19
Karel Driesen
Complex Strategies in the Iterated Prisoner's Dilemma
1996-05-10
Jean-paul Delahaye
Defining and Translating Visual Schemas for Deductive Databases
1998-06-06
Categorical Completeness Results for the Simply-Typed Lambda-Calculus
1994-12-12
Alex K. Simpson
Scale Influence on the Energy Dependence of Photon-Proton Cross Sections
1997-12-19
H Collaboration
Computing at H1 - Experience and Future
1997-01-24
Area-Efficient Static and Incremental Graph Drawings
1997-07-25
Off-line Learning of Coordination in Functionally Structured Agents for Distributed Data Processing
1996-08-27
Multiplicative Updatings for Support-Vector Learning
1998-06-18
Temporal Entity-Relationship Models - a Survey
1997-01-24
Hybrid Probabilistic Programs
1996-12-12
On the Effective Magnetic Properties of Magnetorheological Fluids
1999-03-20
Incentives for Procrastinators
1998-01-31
Matthew Rabin
New Constructs for the Description of Combinatorial Optimization Problems in Algebraic Modeling Languages
1998-07-17
Cooperating Agents Implementing Distributed Patient Management
1996-11-13
Semantics-Based Information Retrieval
1998-05-27
Implicates and Prime Implicates in Random 3SAT
1996-08-21
Equivalences Between Elliptic Curves And Real Quadratic Congruence Function Fields
1998-06-29
Andreas Stein
A New Approach for Computing Multi-dimensional DFTs on Parallel Machines and its Implementation on the iPSC/860 Hypercube
1997-01-17
Exclusive Production Of Heavy Mesons
1998-05-20
A. Bruni
Integration of Speech and Gesture for Multimodal Human-Computer Interaction
1997-10-01
Volume Bounded Molecular Computation
1998-01-16
Bin Fu
Super Tangrams: A Child-Centered Approach to Designing a Computer Supported Mathematics Learning Environment
1997-10-14
A Critical Phenomenon in Growth Systems
1997-04-26
Andrei Toom
Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs
1997-10-06
ACID/HNN: Clustering Hierarchies Of Neural Networks For Context-Dependent Connectionist Acoustic Modeling
1998-11-26
A Comparative Evaluation of Voting and Meta-learning on Partitioned Data
1995-08-02
TCP over Wireless Multi-hop Protocols: Simulation and Experiments
1999-02-22
Point Sets with Distinct Distances
1996-10-23
Specification and Proof in Membership Equational Logic
1997-11-21
New Approaches To Holographic Video
1994-06-06
A Note on Recursive Functions
1996-05-09
File System Organization - The Art of Automounting
1992-10-12
An Architecture and Object Model for Distributed Object-Oriented Real-Time Databases
1998-06-24
Using Cyclic Genetic Algorithms to Reconfigure Hardware Controllers for Robots
1997-10-21
Multilingual and Crosslingual Speech Recognition
1998-03-27
Process and measurement support in SEEs
1996-10-07
Christopher M. Lott
Simulation of Spiking Neural Networks on Different Hardware Platforms
1998-09-08
A Parallel Workload Model and Its Implications for Processor Allocation
1996-11-08
Allen B. Downey
Porting an Expert Database Application to an Active Database An Experience Report
1997-02-12
Hybrid Language Processing In The Spoken Language Translator
1997-03-27
Semantics and Compositional Verification of mSDL
1996-06-07
Viscous Diffusion of Vorticity Using the Diffusion Velocity Concept
1997-09-08
Versatile Advection Code
1998-01-20
Teaching Programming to the Uninitiated using Mathematica
1998-11-28
Bernhard K. Aichernig
Determination Of The Weights Of An Rbf Network Using Linear Discriminant Analysis
1997-04-18
ROC Analysis of ATR from SAR images using a Model-Based Recognizer Incorporating Pose Information
1995-04-16
Image Reconstruction Of A Compact Object From A Few Number Of Projections
1997-10-29
Ali Mohammad--djafari
Chaos in Static Axisymmetric Spacetimes I : Vacuum Case
1996-04-05
Where to Look Next and What to Look for
1997-12-17
Multidimensional Hyperpresentations In A Distributed Multimedia System
1995-02-10
Using Explicit Requirements and Metrics for Interface Agent User Model Correction
1998-02-12
User Customization of Virtual Network Interfaces with U-Net/SLE
1998-06-17
Matt Welsh
Genetic Programming using Mutation, Reproduction and Genotype-Phenotype Mapping from linear binary Genomes into linear LALR1 Phenotypes
1996-02-02
Hierarchical Watermarking in IC Design
1998-10-06
Edoardo Charbon
Mosaicing with Generalized Strips
1997-04-18
Dark Matter from an experimental point of view
1997-06-09
Charling Tao
Dynamic System Evolution and Markov Chain Approximation
1998-08-15
Roderick V. Nicholas Melnik
A Survey of Database Support for Process-Centered Software Development Environments
1995-12-07
Dimitrios Tombros
The Standard Template Library
1996-01-26
INTEGRATED MODELING FOR CORPORATE PLANNING AND DEVELOPMENT Pravir Malik and Akash Deshpande
1996-07-15
"Tcl cures 98.3% of all known simulation configuration problems"
1995-06-09
Genomic Regulation Modeled As A Network With Basins Of Attraction
1997-11-01
A Front Tracking Approach To A Two-Phase Fluid Flow Model With Capillary Forces
1997-07-17
An Evaluation of Directory Schemes for Cache Coherence
1997-11-11
Mobile Robot Navigation and Control: A Case Study
1998-03-21
Tightness for Non-irreducible Markov Chains
1997-06-13
Handling Rotations in the Placement of Curved Convex Polygons.
1997-06-25
Making an Abox Persistent
1998-05-22
Object Interconnections
1999-04-27
An Efficient Representation For Ellipsis
1998-02-07
A Modification of the Film Model
1994-11-07
CMUnited-97: RoboCup-97 Small-Robot World Champion Team
1998-09-20
Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems
1998-03-16
Grammatical Evolution: A Steady State approach.
1998-09-08
Implementation of PLACE Land Surface Hydrology in MM5
1996-12-27
Orthogonal Collocation in the Non-Conforming Boundary Element Method
1995-10-13
Multiresolution Surface Reconstruction For Hierarchical B-splines
1995-07-21
Benchmarking Implementations of Functional Languages with "Pseudoknot", a Float-Intensive Benchmark
1997-08-14
Hashing Lazy Numbers
1970-01-01
Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis
1997-03-04
RT-IPC: An IPC Extension for Real-Time Mach
1993-10-21
Wavelet Based Modeling Of Nonlinear Systems
1998-09-07
Effects of Local Information on Group Behavior
1996-08-19
High Efficient Parallel Computation of Resonant Frequencies of Waveguide Loaded Cavities on JIAJIA Software DSM System
1970-01-01
Weisong Shi
Analysis of Architectures using Constraint-Based Types
1998-11-23
Fourier versus Wavelet Analysis of Solar Diameter Variability
1996-11-03
New Arithmetic Coder/Decoder Architectures Based On Pipelining
1997-09-01
A Case Study for International Remote Machining
1997-07-08
An Experiment in the Design of Software Agents
1994-10-22
Representing Inductive Inference with SOLD-Resolution
1998-01-16
Bayesian Reconstruction for Emission Tomography via Deterministic Annealing
1996-04-01
ALIEN: A Generalized Computing Model Of Active Networks
1998-12-16
Translation and Monotonic Interpretation/Generation
1997-03-27
Hiyan Alshawi
Evolutionary Dynamics and Optimization - Neutral Networks as Model-Landscapes for RNA Secondary-Structure Folding-Landscapes
1995-10-16
Variable Resolution Discretization in Optimal Control
1999-02-28
Satinder Singh
A Portable and Mobile Manager for Distributed System Management
1998-03-30
Semantics of First Order Belief Revision Based on Circumscription
1992-12-15
Operating System Support for Distributed Multimedia Applications; ASurvey of Current Research
1997-08-26
Tatjana M. Burkow
A Framework For The Optimization Of Discrete Event Simulation Models
1996-10-24
Evolutionary Stability in the N-Person Iterated Prisoner's Dilemma
1999-02-08
Xin Yao
CALVIN: an Immersimedia Design Environment Utilizing Heterogeneous Perspectives
1996-03-16
Jgraph - A Filter for Plotting Graphs in PostScript
1994-09-17
James S. Plank
An Analytical Approach to File Prefetching
1996-10-29
Boundary Properties For Two-Dimensional Semiflows
1997-03-10
Krzysztof Ciesielski
Linear Concurrent Constraint Programming: Operational and Phase Semantics
1998-05-25
Communication Architectures and Algorithms for Media Mixing in Multimedia Conferences
1999-01-23
The Independence Property of a Class of Set Constraints
1996-05-02
Algorithms for Equality and Unification in the Presence of Notational Definitions
1999-03-05
From Algorithm Parallelism to Instruction-Level Parallelism: An Encode-Decode Chain Using Prefix-Sum Extended Abstract
1997-07-07
Uzi Vishkin
A Symmetric Family Of Yang-Mills Fields
1997-04-26
Lorenzo Sadun
Adaptive SOR: A case study in automatic differentiation of algorithm parameters
1997-08-07
Integration in Real PCF
1999-01-19
Abbas Edalat
Connecting Mobile Workstations to the Internet over a Digital Cellular Telephone Network
1995-01-19
From Term Rewriting to Generalised Interaction Nets
1996-07-16
Ian Mackie
fi--INVARIANT MEASURES FOR LEVEL-DEPENDENT QUASI-BIRTH-AND-DEATH PROCESSES
1997-11-20
On the Virtues of Parameterized Uniform Crossover
1992-06-03
Random Early Detection Gateways for Congestion Avoidance
1997-12-03
User-mode API for Tape Libraries
1998-06-23
Aram Khalili
Relevancy Of Time-Frequency Features For Phonetic Classification Measured By Mutual Information
1998-10-30
Travelling Waves in the Transport of Reactive Solutes through Porous Media: Adsorption and Binary Ion Exchange - Part 1
1996-06-17
A Framework and Prototyping Environment for a W3 Security Architecture
1997-06-25
An Augmented Lagrangean Scheme for Capacitated Traffic Assignment Problems
1995-09-19
Almost-Constant-Time Clustering of Arbitrary Corpus Subsets
1997-03-19
Further Development on the Interior Algorithm for Convex Quadratic Programming
1995-10-20
Yinyu Ye
Interval Reduction through Requirements Analysis
1999-04-12
A Partial Logical Reconstruction of PLAKON/KONWERK
1996-11-19
Implementation Of A Decoupled Controller For A Magnetic Suspension System Using Electromagnets Mounted In A Planar Array
1995-04-20
First-order Logic Characterization of Program Properties
1994-05-09
An Interactive Approach to the Creation of a Multilingual Concept Ontology for Language Engineering
1997-10-12
A Microeconomic View of Data Mining
1998-06-04
Implementing Agent Teams in Dynamic Multi-agent Environments
1997-10-16
Milind Tambe
MSTP Workshop 1996 - Reentry Aerothermodynamics and Ground-to-Flight Extrapolation Contributions to Hyperboloid Flare Test-cases I.c and III.b
1997-06-20
Spatial Representation of Symbolic Sequences through Iterative Function Systems
1998-07-15
Peter Tino
Random Walk On Upper Triangular Matrices Mixes Rapidly
1999-01-11
Igor Pak
Perfect Secret Sharing Schemes from Room Squares
1998-07-24
A Taxonomy of Keyword Pattern Matching Algorithms
1999-01-28
Debugging Aids for State-Chart-Based Systems
1992-11-30
Specification Of A Communication Protocol In Graphical Interval Logic
1993-10-28
Design of Self-Timed Circuits Using GaAs MESFETs
1970-01-01
Integrating Visualization Support Into Distributed Computing Systems
1994-10-14
The Virtual Participant: Lessons to be Learned from a Case-Based Tutor's Assistant
1997-10-03
Simon Masterton
A Multimodal Computer-augmented Interface for Distributed Applications
1996-07-08
Luc Julia
Designing Conversational Interfaces With Multimodal Interaction
1998-04-03
Object Recognition using Random Image-lines
1998-06-01
A New Version of Panel Clustering for the Boundary Element Method
1999-01-05
Klaus Giebermann
A Strategy for Quadruped Walking on Uneven Terrain
1998-12-20
Orbifold Euler characteristics and the number of commuting m-tuples in the symmetric groups
1997-12-11
Constraints
1995-11-18
Rasiah Loganantharaj
Automatic classification of targets in Synthetic Aperture Radar imagery using topographic features
1996-09-26
Reuven Meth
Toward Rational Communicative Behavior
1995-11-28
Updating Knowledge Bases with Disjunctive Information
1997-08-21
Geometric Sensing of Known Planar Shapes
1996-03-23
Solving Sparse Triangular Systems on Distributed Memory Multicomputers
1997-07-28
The Application of Local Polynomial Regression to Survey Sampling Estimation
1999-04-14
Bibliography of Yale's Functional Programming Research Group aka "The Yale Haskell Project"
1994-08-24
The Application of a Parallel Genetic Algorithm to the n/m/P/C_max Flowshop Problem
1997-07-31
C. Bierwirth
S-Map: A network with a simple self-organization algorithm for generative topographic mappings
1998-01-19
Appendix B
1994-08-02
Underwood Gallery
Passage-Level Evidence in Document Retrieval
1998-04-07
James P. Callan
Inevitable Global States: A Concept to Detect Unstable Properties of Distributed Computations in an Observer Independent Way
1995-03-10
Complete Enumeration of Equilibria for Two-Person Games in Strategic and Sequence Forms
1997-11-27
Dynamic Task Mapping For Real-Time Controller Of Distributed Cooperative Robot Systems
1997-06-27
W. Scott Reilly Joseph Bates June 1995
1995-06-16
A Taste of Crispy Squid
1998-05-26
Varieties of Helmholtz Machine
1996-12-31
Simulation Comparison of Broadband Networking Technologies
1997-10-10
Note on Kovacic's algorithm
1995-01-23
Approximate Slack Stealing Algorithms for Fixed Priority Pre-emptive Systems
1993-12-08
R. I. Davis
Area Spectral Efficiency Of Cellular Systems With Nakagami Multipath Fading
1997-07-08
On the Dependence of the Queue Tail Distribution on Multiple Time Scales of ATM Multiplexers
1995-11-22
Using Optimized Multi-attribute Hash Indexes for Hash Joins
1995-09-07
From Situation Calculus To Fluent Calculus: A New Motivation
1998-05-06
Michael Thielscher
Sequential Prediction of Individual Sequences Under General Loss Functions
1998-04-21
Analytic Invariants and Moduli Spaces in Dual Supersymmetric Theories
1998-02-25
FPGA-Based Stochastic Neural Networks-Implementation
1995-03-20
The Multicomputer Toolbox: Scalable Parallel Libraries forLarge-Scale Concurrent Applications
1997-12-26
Design of a Genetic-Fuzzy System for Planning Optimal Path and Gait Simultaneously of a Six-legged Robot
1999-02-08
OARnet Security Procedures
1997-07-01
Oarnet Oarnet
Linear Complexity Algorithms for Bandwidth Reservations and Delay Guarantees in Input-Queued Switches with no Speedup
1998-09-24
Longitudinal Spin Fluctuations in Nearly Isotropic Ferromagnet CdCr
1998-12-15
Evolution Programs Evolved
1996-09-30
Give-N-Take - A Balanced Code Placement Framework
1997-01-27
Partitions Of Unity In Sobolev Spaces Over Infinite Dimensional State Spaces
1999-04-21
Signatures for a Network Protocol Stack: A Systems Application of Standard ML
1995-11-14
Multigrid for Finite Differences
1997-03-05
Gerhard W. Zumbusch
On a Gap Phenomenon for Isoperimetrically Constrained Variational Problems
1995-10-27
Victor J. Mizel
Scalable Performance Environments for Parallel Systems
1998-01-06
Toward a Methodology of Optimizing Programs for High-Performance Computers
1993-04-12
Rudolf Eigenmann
Standardization of Event Traces Considered Harmful or Is an Implementation of Object-Independent Event Trace Monitoring and Analysis Systems Possible?
1994-10-12
Bernd Mohr
The Design and Implementation of the Inversion File System
1994-02-18
Design, Implementation and Experiences of the OMEGA End-Point Architecture
1997-10-01
Characterizations of Embeddable 3×3 Stochastic Matrices with a Negative Eigenvalue
1995-06-18
VLGD, Algorithm for Drawing Very Large Graphs
1998-09-22
Robust Recovery of Camera Rotation from Three Frames
1997-06-05
Determining the Idle Time of a Tiling: New Results
1997-05-07
Nonmonotonic Consequences In Default Domain Theory
1998-04-01
On the Construction of Wavelets on a Bounded Interval
1999-03-05
Efficient Support of Parallel Sparse Computation for Array Intrinsic Functions of Fortran 90
1998-03-07
A Security Analysis of the NTP Protocol
1998-01-12
Matt Bishop
Learning Characteristic Decision Trees
1998-08-31
Paul Davidsson
Neural Network-Based Face Detection
1995-12-20
Modula-P - a Language for Parallel Programming and the Implementation of its Channel Communication
1997-09-24
Jurgen Vollmer
Density Estimation on Delaunay Triangulations
1998-02-10
Entropy Of ATM Traffic Streams: A Tool For Estimating QoS Parameters
1998-06-04
Raymond Russell
A Better Approximation Ratio for the Minimum k-edge-connected Spanning Subgraph
1997-08-11
Cristina G. Fernandes
Spectrophotométrie de la Croix d'Einstein dans le Proche Infrarouge
1970-01-01
Dans Le Proche Infrarouge
Similarity and Affinity Hashing: A Computer Vision Solution to the Inverse Problem of Linear Fractals
1996-02-24
Ocean tides from harmonic&response analysis on TOPEX/POSEIDON altimetry
1996-09-13
Tomographie Des Océans
1996-12-06
Modeling Caching Effect in Continuous Media Server
1999-05-12
Estimating Physical Invariant Measures and Space Averages of Dynamical Systems Indicators
1997-10-30
Gary Froyl
Exceptional Planes of Percolation
1998-02-25
An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure
1995-02-28
The Unconstrained KPI Equation
1998-03-16
Dipole-Quadrupole Degeneracy in Kinematic Dynamo Models With Homogeneous Conductivity
1999-03-31
Architecture Of An Extensible Parallel Debugger
1995-12-19
A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification
1997-10-14
pi-calculus in CoInductive Type Theory
1998-10-09
Contract Types for Satisficing Task Allocation: I Theoretical Results
1998-01-17
Tuomas W. Sandholm
Fast and Reliable Algorithms for Boundary Evaluation of Low-Degree Sculptured Solids
1998-08-24
Some Scaling Effects in Concurrent Algorithms
1995-06-15
Alan Heirich
Maximum Likelihood Texture Classification And Bayesian Texture Segmentation Using Discrete Wavelet Frames
1998-05-12
Visualizing Information on a Sphere
1997-09-09
The Invariant Density of a Chaotic Dynamical System With Small Noise
1998-06-08
Instantiation Semantics of Temporal Defaults
1994-10-05
Learning in an Inconsistent World: Rule Selection in AQ18
1999-04-29
Hybridizing Genetic Algorithms with Sharing Scheme and Evolution Strategies for Designing Approximate Fuzzy Rule-Based Systems
1998-08-31
F. Herrera
MINERVA: A Second-Generation MuseumTour-Guide Robot
1999-03-04
Biological Metaphors and the Design of Modular Artificial Neural Networks
1994-06-28
Some Results on Knots and Links in all Dimensions
1997-05-23
Eiji Ogasa
A Learning Procedure for a Fuzzy System: Application to Obstacle Avoidance
1997-05-15
Internet Billing Service Design And Prototype Implementation
1994-05-03
Bitstream Neurons for Graph Colouring
1996-11-28
Behavioral Prediction of Time Petri Nets with Applications to Distributed Simulation
1998-11-11
J Orn W. Janneck
External Habit and the Cyclicality of Expected Stock Returns
1999-02-18
Weak Paley-Wiener Property For Completely Solvable Lie Groups
1998-12-28
Gayatri Garimella
Coroutining and the Construction of Terminating Logic Programs
1995-09-07
Lee Naish
Stability Radii of Positive Discrete-Time Systems
1997-06-06
Code Scheduling for Multiple Instruction Stream Architectures
1995-01-20
Visualization of Geometric Algorithms
1997-12-08
Modeling Telecommunication Systems with Self-Similar Data Traffic
1998-09-09
Pierre M. Fiorini
Graphical Methods for Data with Multiple Levels of Nesting
1997-07-28
Recurrence Relations for the Connection Coefficients of Orthogonal Polynomials of a Discrete Variable on the Lattice ...
1998-10-26
Approximate Reasoning for Contextual Databases
1997-03-11
Fabio Massacci
Filled band Fermi systems
1995-07-11
V. Mastropietro
Analytical Modeling Of Robotic Tape Libraries Using Stochastic Automata
1997-01-21
The Design and Experimental Analysis of Algorithms for Temporal Reasoning
1997-01-22
Adding Flexibility to a Remote Memory Pager
1995-11-06
Multiprocessor Streams for Plan 9
1991-07-16
David Leo Presotto
Multipliers And Representations Of Noncommutative Disc Algebras
1997-10-30
Alvaro Arias
The Role of Critical Mass in Multi-Robot Adaptive Task Division
1999-01-16
Maja J Matari'c
Channel Carrying: A Novel Handoff Scheme for Mobile Cellular Networks
1996-12-18
An Experiment in the Design of Software Agents
1996-05-14
TR3 Software: A TechnicalReport
1970-01-01
R. W. Mccoll
A Model-based Vision System for Manipulator Position Sensing
1998-10-02
Vision and Force Driven Sensorimotor Primitives for Robotic Assembly Skills
1998-12-17
An upper bound on the number of linear relations identified from noisy data by the Frisch scheme
1997-09-18
Keith G. Woodgate
On Properties of Monoids That Are Modular for Free Products and for Certain Free Products With Amalgamated Submonoids
1997-11-11
Friedrich Otto
Multi-class Support Vector Machines
1999-02-22
Teaching Powerful Ideas With Autonomous Mobile Robots
1999-01-12
The Complexity of Matrix Rank and Feasible Systems of Linear Equations
1998-10-05
Gibbs-Markov Models
1995-09-11
John D. Lafferty
Probabilistic Proof Systems A Survey
1970-01-01
Oded Goldreich
Adaptive Execution in Complex Dynamic Worlds
1995-06-28
Modeling Scattered Function Data On Curved Surfaces
1998-07-22
Diffraction in Charged Current DIS
1999-02-12
On a Matched Pair of Lie Groups for the . . .
1996-10-14
Andrzej Sitarz
Quantifying Schema Evolution
1995-02-09
The Solution of Linear Semidefinite Ill-Posed Problems By the Conjugate Residual Method
1999-02-05
R. Plato
A Simple Superscalar Architecture
1970-01-01
Unknown
1999-01-12
Developing a Delay Differential Equation Solver
1994-10-13
C. A. H. Paul
A Practical Soft Type System for Scheme
1995-05-04
Unsupervised Texture Segmentation on the Basis of Scale Space Features
1996-06-13
On the Torus Quantization of Two Anyons with Coulomb Interaction in a Magnetic Field
1997-04-26
Luca Salasnich
Induced fermion number, phase-shift flip, and the axial anomaly in the Aharonov-Bohm potential
1997-04-26
Alexander Moroz
Programming CHIP for the IJCAI-95 Robot Competition
1997-08-15
Goal Oriented Equational Theorem Proving Using Team Work
1998-07-09
Efficient Oblivious Parallel Sorting on the MasPar MP-1
1996-10-15
An Efficient Implementation of the Patterson-Holdsworth Auditory Filter Bank
1997-12-03
Malcolm Slaney
Measuring the Impact of Event Dispatching and Concurrency Models on Web Server Performance Over High-speed Networks
1997-08-08
Coordinated Display of Structured Presentations Using a Multi-Disk Architecture
1998-12-19
MIME Multipurpose Internet Mail Extensions Part One:
1993-12-23
Indicators for the Assessment of Congestion in TCP over ATM-UBR
1997-10-01
Parallel Processing Experiments on an SCI-based Workstation Cluster
1996-05-06
Timepatch: A Novel Technique for the Parallel Simulation of Multiprocessor Caches
1995-08-11
Uniform Full-Information Image Matching Using Complex Conjugate Wavelet Pyramids
1996-06-03
He-ping Pan
Reflections With Respect To Submanifolds In Contact Geometry
1995-11-21
Two Gluon Exchange Model Predictions for Double Pomeron Jet Production
1998-05-15
Jon Pumplin
Authentication Method with Impersonal Token Cards
1994-12-29
Minimal Continuous State-Space Parametrizations
1996-04-24
On the Semantics of Multistage Interconnection Networks
1998-10-30
Anna Gambin
The Beehive Cluster System
1997-09-04
Technical Issues In Modelling The European Train Control System etcs Using Coloured Petri Nets And The Design/cpn Tools
1998-06-18
Orderings for ILU Preconditioning of Nonsymmetric Problems
1998-04-08
Geometric Construction Of The Levi-Civita Parallelism
1998-12-18
Large-Scale Parallel Geophysical Algorithms in Java: A Feasibility Study
1999-01-05
Structure and Performance of Decision Support Algorithms on Active Disks
1998-11-21
Proof of Dejean's conjecture for alphabets with 5, 6, 7, 8, 9, 10 and 11 letters
1998-09-25
Greco De Calcul Formel
Daniel J. Scales
1997-07-17
Applying Techniques to Skeletons
1970-01-01
A Negotiating Agents Model for the Provision of Flexible Telephony Services
1998-10-07
Using Logging and Asynchronous Checkpointing to Implement Recoverable Distributed Shared Memory
1998-09-14
Message Passing Visualization with ATEMPT
1996-07-30
Hector - A Hierarchically Structured Shared Memory Multiprocessor
1995-11-22
How to Divide a Territory? A New Simple Differential Formalism for Optimization of Set Functions
1998-04-01
Minimal Typings in Atomic Subtyping
1998-07-24
Jakob Rehof
NILE's Distributed Computing Site Architecture
1997-02-17
Proactive RSA
1998-11-04
Global Interconnect Sizing and Spacing with Consideration of Coupling Capacitance
1997-11-16
Acquiring Contextual Information for Term Disambiguation
1998-06-05
Efficient Algorithms for Computing the Nearest Polynomial with Constrained Roots
1998-09-14
The Temporal Logic of Actions
1994-07-15
Leslie Lamport
Automatically Constructing a Dictionary for Information Extraction Tasks
1998-04-07
Ellen Riloff
C++ Wrappers for Efficient, Portable, and Flexible Network Programming
1998-09-12
Douglas C. Schmidt
Ray Tracing with Meta-Hierarchies
1996-07-25
James Arvo
Discrete Morphological Size Distributions and Densities: Estimation Techniques and Applications
1996-12-15
Practical Development of Internet Prolog Applications using a Java Front End
1997-06-05
Parallel Implementations of Perceptual Grouping Tasks on Distributed Memory Machines
1998-12-20
Metastability And Typical Exit Paths In Stochastic Dynamics
1997-04-26
Constraint Logic Programming for Scheduling and Planning
1997-11-13
Class-Based N-Gram Models ofNatural Language
1997-02-24
Robert L. Mercer
Adding Fast Interrupts to Superscalar Processors
1970-01-01
Dana S. Henry
Towards Scalable Compositional Analysis
1996-01-23
CLAUDIEN: The Clausal Discovery Engine User's Guide 3.0
1970-01-01
Nambu Mechanics, N-Ary Operations and Their Quantization
1997-04-28
A Transputer Implementation of the ADAM Neural Network.
1998-06-22
Extending GENET for Non-Binary Constraint Satisfaction Problems
1997-07-03
An ON² log N Multilevel Backprojection Method
1999-02-09
Zero-forcing Electrical Filters for Direct Detection Optical Systems
1997-01-21
Performance Models Based On Petri Nets
1995-11-03
On the Application of Competitive Neural Networks to Time-Varying Clustering Problems
1998-07-21
On the design of a 55 GHz Si/SiGe HBT frequency doubler operating close to f_max
1997-08-29
Predicated Array Data-Flow Analysis for Run-Time Parallelization
1999-01-20
Authoring and Transcription Tools for Speech-Based Hypermedia Systems
1995-04-13
Barry Arons
MTCP: Scalable TCP-like Congestion Control for Reliable Multicast
1998-12-23
An eXtensible Web Modeling Framework
1999-03-24
Noetherian Centralizing Hopf Algebra Extensions And Finite Morphisms Of Quantum Groups
1998-11-19
Edward S. Letzter
Clustering and Geo-Spatial Mapping of Search Engine Results
1998-07-29
On The Issue Of Rank Estimation In Subspace Tracking: The Na-Csvd Solution
1999-03-16
Benoit Champagne
Analysing, Profiling and Optimising Orthogonal Persistence for Java
1998-11-25
Automatic Synthesis of Interfaces between Incompatible Protocols
1998-08-27
Generalized Quantification as Substructural Logic
1995-10-16
Cv
1998-12-17
Justin A. Boyan
CVS: The Complex Substitution Algorithm for View Synchronization
1999-02-08
Sample Contributed Book
1996-02-01
Guaranteed Quality of Service for Efficient Multiparty Communication
1998-04-14
Exploiting Context to Identify Lexical Atoms - A Statistical View of Linguistic Context
1997-02-15
Chengxiang Zhai
Applying Efficient Techniques for Finding Nearest Neighbours in GIS Applications
1995-04-27
An Improvement of McMillan's Unfolding Algorithm
1997-03-20
Composing the user interface with Haggis
1997-11-25
Some Issues in the Automatic Classification of U.S. Patents
1998-05-14
Leah S. Larkey
Towards Leakage Containment
1992-04-23
On the Stability of Sequential Updates and Downdates
1998-09-05
G. W. Stewart
Second-Order Sufficient Optimality Conditions for Local and Global Nonlinear Programming
1995-12-05
Arnold Neumaier
Undoing Actions in Collaborative Work
1993-06-09
On the Automatic Parallelization of the Perfect Benchmarks
1996-08-21
Neural Learning of Chaotic Dynamics: The Error Propagation Algorithm
1997-11-13
A Resolution-Based Decision Procedure for Extensions of K4
1999-03-15
Affectedness Responsibility
1996-08-28
Monitoring of the Einstein Cross with the Nordic Optical Telescope
1998-05-25
Distribution Independent Programming and the Saxpy
1970-01-01
Steve Tto
Floating Point Cordic
1995-03-07
Quantum Strategies
1999-03-23
David A. Meyer
The Effect of Small Scale Magnetic Fields on the Galactic Dynamo
1996-03-13
Benjamin D. G. Chandran
November 30, 1996
1996-11-30
Reconstruction from Zernike and Orthogonal Fourier-Mellon Moments
1997-03-25
Patrick C Hew
Efficient Simulation of Coherence Transfer Pathway Selection by Phase Cycling and Pulsed Field Gradients in NMR
1998-09-24
Alexej Jerschow
Pipelined Multi-Queue Management in a VLSI ATM Switch Chip with Credit-Based Flow-Control
1997-08-19
Learning Internal Representations in an Attractor Neural Network With Analogue Neurons
1998-03-11
Daniel J. Amit
Iterative Refinement and LAPACK
1995-10-18
A Note On Substructuring Preconditioning For Nonconforming Finite Element Approximations Of Second Order Elliptic Problems
1995-05-04
Serguei Maliassov
Automatic Acquisition of Terminological Resources for Information Extraction Applications
1998-11-03
Byron Georgantopoulos
How to Coordinate Internet Applications based on Mobile Agents
1998-11-13
Trading Packet Headers for Packet Processing
1996-02-07
Antihomogeneous Conjugacy Operators in Convex Analysis
1995-10-27
Alexander Rubinov
The Berkeley
1996-05-29
On-Line Blind Signal Extraction Methods Exploiting A Priori Knowledge Of The Previously Extracted Signals
1998-12-02
The Interactive Multi-directional Information Displaying System
1970-01-01
Haruo Kimoto
How Many Squares Can a String Contain?
1997-09-29
Aviezri S. Fraenkel
An Algorithm For Locating Non-OverlappingRegions Of Maximum Alignment Score
1970-01-01
Real-Time Vergence and Binocular Gaze Control
1997-06-03
Face Processing: Human Perception and Principal Components Analysis
1995-08-01
Programming Methodologies in GCLA
1995-02-07
Olof Torgersson
SDRP Route Construction
1995-02-28
Separating Complexity Classes using Autoreducibility
1998-10-22
On Construction of k-wise Independent Random Variables
1997-10-22
On the Convergence of Stochastic Iterative Dynamic Programming Algorithms
1997-04-16
Large Deviation Principles For The Hopfield Model And The Kac-Hopfield Model
1994-04-25
Anton Bovier
A Neighborhood Map of Competing One Step Predictors for Piecewise Segmentation and Identification of Time Series
1997-09-29
Using Unicode with MIME
1994-11-15
Towards a Theory of Narrative for Interactive Fiction
1996-05-15
Commuting-Flow Symmetries and Common Solutions to Differential Equations With Common Symmetries
1997-04-26
Paola Morando
The CMUnited-98 Champion Small-Robot Team
1998-12-01
ParaStation - Efficient Parallel Computing by Clustering Workstations Design and Evaluation
1998-03-11
A Linear Constraint Satisfaction Approach to Cost-Based Abduction
1996-02-16
Eugene Santos
Generating F0 Contours For Speech Synthesis Using The Tilt Intonation Theory
1997-06-27
Higher-Order Functional-Logic Programming: A Systematic Development
1997-09-29
Christian Prehofer
Wavelet Accelerated Regularization Methods for Hyperthermia Treatment Planning
1998-12-15
Peter Maass
Hyperon-Production with Anti-protons at LEAR
1997-07-09
Jurgen Franz
The Importance of Solving Formal Language Problems in Knowledge-Based Process Supervision and Control Extended Abstract
1997-11-25
Linear Group-Wise Successive Interference Cancellation in CDMA
1998-12-10
Analysis of a Finite Buffer Queue with Heterogeneous Markov Modulated Arrival Processes: A Study of Traffic Burstiness and Priority Packet Discarding
1998-04-15
Probabilistic Winner-Take-All Segmentation of Images with Application to Ship Detection
1998-10-08
Implied Costs in Wireless Networks
1998-11-18
Augment or Push? A computational study of Bipartite Matching and Unit Capacity Flow Algorithms
1998-03-31
Learning to Classify Sensor Data
1995-08-15
Stefanos Manganaris
A Game Theoretic Approach to Hybrid System Design
1998-02-02
Measuring the Curvature of the Universe with Gravitational Lensing
1998-12-18
Rich Brown, John Hayes, Trevor Mudge
1997-08-09
Randomly Selected Spreading Sequences for Coded CDMA
1996-07-10
Schema Level Join Processing in Web Databases
1998-12-15
A Decision Tree System for Finding Genes in DNA
1997-11-06
ASPEN: High-Performance Hardware Support for Distributed Shared-Memory
1995-05-04
Kenneth Mark Maxham
Bounded Degree Spanning Trees Extended abstract
1997-05-30
Chiral Symmetry And The Reaction ...
1998-05-25
Markov Chain Algorithms for Planar Lattice Structures Extended Abtract
1999-04-27
Partial Differential Inclusions Governing Feedback Controls
1995-10-27
Jean-pierre Aubin
Protein Motif Discovery from Positive Examples by Minimal Multiple Generalization over Regular Patterns
1997-04-16
A 10 kb/s Video Coding Technique Based on Spatial Transformation
1996-11-08
Thermal simulation of the ATLAS SCT barrel module 27/5/97
1998-06-08
Travel in Immersive Virtual Environments: An Evaluation of Viewpoint Motion Control Techniques
1997-06-24
Spectrum of Cosmological Perturbations from Multiple-Stage Inflation
1998-06-25
M. Sakellariadou
On The Stabilizability Of Multiple Integrators By Means Of Bounded Feedback Controls
1998-07-30
The Stable Manifold Theorem For Nonlinear Stochastic Systems With Memory I: Existence Of The Semiflow.
1999-04-20
Parallelizing Applications into Smart Memories
1998-11-11
Dealing in Real Time with A Priori Unknown Environment on Autonomous Underwater Vehicles AUVs
1996-09-05
A. Santos
On The International Radio Astronomy Observatory On Plateau Suffa
1997-03-03
Design Principles for Intelligent Environments
1998-03-06
Michael H. Coen
Dynamic Registration Correction in Video-Based Augmented Reality Systems
1998-12-19
Implementation Aspects and Applications of a Spelling Correction Algorithm
1998-05-07
Balancing Domain Decomposition: Theory And Performance In Two And Three Dimensions
1993-12-31
Jan Mandel
Motion Regularization for Model-based Head Tracking
1998-02-25
Approaching Real-Time Processing for Fractal Compression
1997-02-24
Specifying and Developing ParameterisedPrograms: CFI Language Design Study Notes
1996-05-14
Solving Large-Scale Linear Programs by Interior-Point Methods Under the MATLAB Environment
1996-03-07
Yin Zhang
Fixture Foolproofing for Polygonal Parts
1998-12-19
An Analysis of Message Sequence Charts
1992-07-15
Magnetic Lensing near Ultramagnetized Neutron Stars
1999-01-16
Linear Regression Clusters: Model Choice And Identifiability
1999-02-05
Christian Hennig
Incremental Controller Networks: a comparative study between two self-organising non-linear controllers
1998-09-24
Parallel Implementation of Functional Languages Using Small Processes
1996-12-16
John Glauert
A Pre-Processing Technique Based on the Wavelet Transform for Linear Autoassociators with Applications to Face Recognition
1998-02-06
Camera Viewpoint Control for the Automatic Reconstruction of 3D Objects
1996-05-22
Exotic Non-Supersymmetric Gauge Dynamics from Supersymmetric QCD
1998-05-13
Detailed Design of Avionics Control Software
1998-09-18
Convergence Properties of the Nelder-Mead Simplex Algorithm in Low Dimensions
1997-10-31
Search Algorithms in Type Theory
1997-09-30
Information Geometric Measurements of Generalisation
1970-01-01
The Design and Implementation of the Reactor: An Object-Oriented Framework for Event Demultiplexing Part 2 of 2
1997-03-06
Douglas C. Schmidt
Learning Useful Horn Approximations
1997-11-21
Plasticity in cortical neuron properties: Modeling the effects of an NMDA antagonist and a GABA agonist during visual deprivation
1998-07-17
Active Interfaces for Useful Software Tools
1996-07-24
Coarse-Grained Parallel Algorithms for Multi-Dimensional Wavelet Transforms
1970-01-01
Application of Inductive Logic Programming to Discover Rules Governing the Three-Dimensional Topology of Protein Structure
1998-07-15
Monitoring of Distributed Memory Multicomputer Programs
1997-01-27
Analysis of Synfire Chains
1997-03-04
A Comparison of Two Systems for Down Link Communication with Antenna Arrays at the Base
1995-10-11
Scalable Data Parallel Implementations of Object Recognition using Geometric Hashing
1999-01-17
Towards a Better Understanding of Memory-Based Reasoning Systems
1998-08-31
Mixed-Depth Representations for Natural Language Text
1995-08-31
Part-Whole Relations in Object-Centered Systems: An Overview
1998-04-27
Time-Efficient Docking of Similar Flexible Ligands
1995-11-27
Search in a Learnable Spoken Language Parser
1997-02-06
Design Of Output Feedback Controllers For Robust Stability And Optimal Performance Of Discrete-Time Systems
1996-11-13
Constant Information Density in Zoomable Interfaces
1998-01-26
Parallel Inductive Logic Programming
1998-06-18
CARTHAGENE: Constructing and Joining Maximum Likelihood Genetic Maps
1997-03-28
Data Structures for Mobile Data
1997-01-09
Tagging Speech Repairs
1994-04-14
The Impact of Reuse Library Interoperability upon a Software Component Industry
1994-12-27
James W. Moore
A Classification Scheme of 3D Interaction Techniques
1995-04-12
OSI IS-IS Intra-domain Routing Protocol
1994-06-03
Distributed Tuple Spaces in Highly Parallel Systems
1996-10-02
Arithmetic-Geometric Means Revisited
1997-03-14
An algebraic approach to discrete dilations. Application to discrete wavelet transforms
1998-12-08
Numerical Simulation Of Utility Boilers With Advanced Combustion Technologies
1997-07-11
The Wake-Sleep Algorithm for Unsupervised Neural Networks
1995-04-04
Self-Adaptation and Global Convergence: A Counter-Example
1999-02-02
Gunter Rudolph
On The Geometrical Properties Of The Chromospheric Network
1997-11-12
Complexity of the Single Vehicle Scheduling Problem on Graphs
1997-03-27
Toshihide Ibaraki
Kernel Support for Live Digital Audio and Video
1993-05-25
Paraexponentials, Muckenhoupt Weights, And Resolvents Of Paraproducts
1997-04-03
Logic, Modeling, and Programming
1997-07-31
Applying ILP-based Techniques to Natural Language Information Extraction: An Experiment in Relational Learning
1997-07-01
Domain Expertise vs. Validation Expertise: Essentials of Validating Intelligent Systems
1998-03-09
Klaus P. Jantke
Activity-Dependent Conductances in Model and Biological Neurons
1998-08-07
Learning Curves, Model Selection and Complexity of Neural Networks
1995-11-03
The Pendubot: A Mechatronic System for Control Research and Education
1996-01-30
Exchanging Multimedia Mail Message in MIME
1998-07-08
A Syntactic Theory of Dynamic Binding
1998-07-17
Luc Moreau
Additive Nonparametric Regression for Time Series
1996-07-10
On-Demand Delivery of Software in Mobile Environments
1999-03-23
Migratory Applications
1995-09-20
Fast Vlsi Binary Addition
1997-10-28
Keshab K. Parhi
Of Simple Boundary, We Need Only Examine the
1996-09-16
On Simple and Secure Key Distribution
1993-12-08
Authentication in Distributed Systems: Theory and Practice
1994-05-26
The Tropical Semiring and the Theory of Automata
1998-03-15
Equivalence Is In The Eye Of The Beholder
1997-10-07
Program Analysis and Visualisation: Towards A Declarative Approach
1996-10-30
Types for Trees
1998-01-06
Reasoning about Discontinuities in the Event Calculus
1998-12-09
New Directions in Software Safety: CAUSAL MODELLING as an Aid to INTEGRATION
1994-08-19
On the Homotopy Type of the Spectrum Representing Elliptic Cohomology
1995-12-22
Andrew Baker
It's Your Choice - On the Design and Implementation of a Flexible Metalevel Architecture
1997-01-23
Estimating Learning Performance Using Hints
1998-08-18
COLLAGEN: When Agents Collaborate with People
1997-04-22
Charles Rich Candace L
Association With Focus Or Association With Presupposition?
1996-07-19
Mats Rooth
Command Forces CFOR Program Status Report
1996-06-17
Reducing Escalation-Related Costs in WFMSs
1998-07-31
Learning Gene Linkage to Efficiently Solve Problems of Bounded Difficulty Using Genetic Algorithms
1997-07-24
Georges Raif Harik
Concurrent Algorithms and Data Types Animation over the Internet
1998-05-17
Scalable Reliable Multicast Using Multiple Multicast Groups
1996-12-02
Guarded Fragments of First-Order Logic: A Perspective for New Description Logics?
1998-05-28
Chaining Multiple-Alignment Fragments in Sub-Quadratic Time
1995-07-06
Stochastic Analysis of Periodic Timed Data Flow Diagrams with Markovian Transition Times
1997-04-25
Jurgen Symanzik
Building A Bridge Between Pointer Aliases And Program Dependences
1999-03-28
John L. Ross
Type-Safe Session
1997-07-22
Nat Pryce
FPGA-Based Sonar Processing
1998-01-15
On-the-fly Analysis of Distributed Computations
1995-11-30
Quadratically integrable geodesic flows on the torus and on the Klein bottle
1998-03-27
Vladimir Matveev
Journal of Graph Algorithms and Applications
1998-05-19
Problems In Low-Dimensional Topology
1997-05-23
Frank Quinn
Transport Layer Security: How much does it really cost?
1998-12-30
Reasoning about Action in First-Order Logic
1995-10-25
Charles Elkan
A Tale of Three Cities: Perceptual Charting for Analyzing Destination Images
1999-01-27
Numerical Simulations of Stellar Winds
1998-12-08
J. P. Goedbloed
PKCS #10: Certification Request Syntax Standard
1970-01-01
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements
1998-01-24
Evolving non-trivial behavior on autonomous robots: Adaptation is more powerful than decomposition and integration
1999-04-13
Stefano Nolfi
Leveraging CorporateSoftware Development
1999-03-23
User Interfaces
1998-12-13
Abduction and Change
1995-10-10
Jorge Lobo
... Design of General Multirate Sampled-Data Control Systems
1997-07-22
Fast Evolution Strategies
1999-02-08
Efficient Scaling-Invariant Checking of Timed Bisimulation
1997-10-29
Facilitating the Maintenance of Safety-Critical Systems
1994-09-13
Automatic Cross-Language Information Retrieval using Latent Semantic Indexing
1996-12-04
Atomic Decomposition by Basis Pursuit
1997-11-19
Time processes of time Petri nets
1996-09-16
Tuomas Aura
The Hardness of Approximate Optima in Lattices, Codes, and Systems of Linear Equations
1996-05-26
An Architecture for Action, Emotion, and Social Behavior
1995-06-16
Combination and Integration of Declarative Approaches Full Paper and System Demonstration
1996-10-09
Equational Theories of CCS with Message Passing
1992-12-07
Zero-Accident Agile Manufacturing Systems Through Subsumptive Fault-Tolerance
1997-05-21
The Viewpoints FAQ
1999-02-08
Reconstruction of 3D Left Ventricular Motion from Planar Tagged Cardiac MR Images: an Estimation Theoretic Approach
1996-05-09
Oscillatory Associative Memories
1996-05-28
Lifschitz Tail in a Magnetic Field: The Nonclassical Regime
1997-12-11
Automated Performance Prediction of Message-Passing Parallel Programs
1995-10-05
The Differential Infectivity and Staged Progression Models for the Transmission of HIV
1998-11-05
Laboratory for Computer Science
1995-04-03
Olin Shivers
Automatic Termination Analysis of Logic Programs with Detailed Experimental Results
1997-03-30
A Class library for Building Fortran 90 and
1994-09-10
A Uniform Proof Procedure for Classical and Non-Classical Logics
1996-11-20
Type II Codes, Even Unimodular Lattices and Invariant Rings
1999-03-02
Ramified Coverings Of S^2 With One Degenerate Branching Point And Enumeration Of Edge-Ordered Graphs
1997-08-11
Distal Supervised Learning for Solving Inverse Kinematic Problems
1996-02-16
A Survey on Interval Routing
1999-01-06
Cyril Gavoille
Migratory Applications
1995-11-06
A Case Study of Natural Language Customisation: The Practical Effects of World Knowledge
1997-08-12
New Efficient Algorithms for Computing Effective Capacitance
1998-04-17
A Divide And Conquer Algorithm For Exact Simulation Of General Gaussian Markov Random Field
1999-03-12
Programming Language Support for Digitized Images or, The Monsters in the Closet
1970-01-01
The Uniform Memory Hierarchy Model of Computation
1994-12-12
M-RPC: A Remote Procedure Call Service for Mobile Clients
1995-04-24
Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic
1997-12-19
The application of goal-oriented heuristics for proving equational theorems via the unfailing Knuth-Bendix completion procedure A case study: lattice ordered groups
1998-07-06
Matthias Fuchs
Integrating Qualitative and Quantitative Shape Recovery
1994-11-15
Parallel Gradient Distribution in Unconstrained Optimization
1999-02-10
O. L. Mangasarian
Bottom-Up Computation of the Fitting Model for General Deductive Databases
1998-04-22
Selection of Nonparametric Methods for Monotonic Trend Detection in Water Quality
1997-11-24
Infrared-Regulated String Theory And Loop Corrections To Coupling Constants
1998-12-21
A q-analogue of the Wronskian and a second solution of the Hahn-Exton q-Bessel difference equation
1996-01-24
Symmetry Algebras and Normal Forms of Third Order Ordinary Differential Equations
1997-11-05
Global/Local Subtyping for a Distributed pi-calculus
1997-08-22
Peter Sewell
Bandwidth Allocation Strategies For Wireless Atm Networks Using Predictive Reservation
1999-02-06
Applying Genetic Algorithms To Real-World Problems
1998-11-04
Emanuel Falkenauer
A non-Gaussian fixed point for
1997-05-14
Mean Field Theory for Sigmoid Belief Networks
1996-06-14
Internet Research: Comments on Formulating the Problem
1998-02-03
Justifying Finite Resources for Adversaries in Automated Analysis of Authentication Protocols
1999-02-12
Scott D. Stoller
Engineering Design Methodology as a Design Grammar and Case-Based Reasoning
1997-12-12
Even and Odd Pairs in Comparability and in P_4-Comparability Graphs
1998-12-22
Logics and Type Systems
1996-12-20
Constructing Virtual Worlds Using Dense Stereo
1998-02-12
Generic and Fully Automatic Content Based Image Retrieval Architecture
1997-08-07
The Ray Tracing Kernel
1996-02-21
Computer System for Quantitative Analysis of ICH from CT Head Images
1997-09-30
Ground Reducibility and Automata with Disequality Constraints
1995-10-09
Composing Type-Checked Programs Extended Abstract
1995-04-03
The Graph Clustering Problem has a Perfect Zero-Knowledge Proof
1999-02-08
Oded Goldreich
Playing Tetris on Meshes and Multi-Dimensional SHEARSORT
1997-08-26
Some Primitive Mechanisms of Spatial Attention
1970-01-01
Zenon Pylyshyn
Crystalization On A Sphere: Parallel Simulation On A Transputer Network
1994-11-04
Simultaneous Messages vs. Communication
1995-03-09
Peter Kimmel
Hybridized Crossover-Based Search Techniques for Program Discovery
1995-06-07
Symmetric Monoidal Categories Model All Connective Spectra
1995-07-08
Logical Formalization of Concurrent Actions for Multi-Agent Systems
1997-12-17
Virtual Partitioning by Dynamic Priorities: Fair and Efficient Resource-Sharing by Several Services
1999-04-21
Debasis Mitra
Markov Random Fields Can Bridge Levels of Abstraction
1996-06-11
Correctness Criteria and Concurrency Control for Real-Time Systems: A Survey
1996-04-05
An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs
1998-01-06
Scalable Coordination in Sensor Networks
1970-01-01
The Dynamics of on-Line Principal Component Analysis
1997-12-01
Algorithm 808: ARfit - A Matlab package for the estimation of parameters and eigenmodes of multivariate autoregressive models
1997-09-06
Tapio Schneider
Open Distributed Processing-Reference Model - Part 2: Foundations International Standard 10746-2 Itu-T Recommendation X.902
1998-11-10
Itu-t Recommendation X
Asymptotic Expansions for Functionals of Dilation of Point Processes
1994-05-17
Riemann Problems With A Kink
1996-09-15
The Database Challenge: Retain Declarativity Generalise Programmability
1970-01-01
Design of a Genetic-Fuzzy System for Planning Crab Gaits of a Six-legged Robot
1998-12-04
A Unified Framework for Constructing Multimodal Experiments and Applications
1997-12-09
Markov Random Field Models for Pose Estimation in Object Recognition
1999-03-22
Blocks of Fully Graded Rings
1998-02-01
Ant Colonies for the QAP
1999-03-17
Optimization Of Phoneme-Based Vq Codebook In A Dhmm System
1997-03-14
Communication Using Chaos
1996-03-05
Ernest Lim
Parametrization of Hankel-norm approximants of time-varying systems
1994-11-28
Cooperative Information Systems: property extraction, global scheme synthesis and WWW access
1998-11-03
Domenico Ursino
Using Mobility to Make Transparent Distribution Practical
1999-02-10
Don't Stop the BIBOP: Flexible and Efficient Storage Management for Dynamically-Typed Languages
1994-05-06
Defeasible Reasoning With Structured Information
1996-10-25
Anthony Hunter
Chebyshev's Bias
1996-04-12
Near-BPS-Saturated Rotating Electrically Charged Black Holes as String States
1998-05-14
Mirjam Cvetic
Multibody Final States of
1995-10-30
Represented Roland Werding
Computational Investigation of Drag Reduction on a Rotationally Oscillating Cylinder
1997-09-08
Proof-Checking a Data Link Protocol
1994-10-12
L. Helmink
Notices Of The
1999-03-10
Bifurcation to Spiral Waves in Reaction-Diffusion Systems
1997-08-11
Arnd Scheel
Alleviating Priority Inversion and Non-determinism in Real-time CORBA ORB Core Architectures
1999-01-15
A Variable Depth Search Algorithm with Branching Search for the Generalized Assignment Problem
1998-09-19
Efficient Algorithms for Parsing the DOP Model? - A Reply to Joshua Goodman
1998-03-19
Signal Detection and Classification
1996-08-30
Alfred Hero
Modular Specifications with Supernormal Defaults
1994-10-27
Stefan Brass
Tight Bounds on Quantum Searching
1998-06-30
Inferring Finite Transducers
1999-02-07
A Method for Identifying Topic-changing Articles in Discussion-type Newsgroups within the Intelligent Network News Reader HISHO
1970-01-01
An Extended Weak Isomorphism for Model Simplification extended
1997-06-16
Graham Clark
Detecting and Resolving Inconsistency and Redundancy in Conditional Constraint Satisfaction Problems
1998-10-13
The Design of a Pretty-printing Library
1995-05-04
Effective Bayesian Inference for Stochastic Programs
1997-09-12
RTP: A Transport Protocol for Real-Time Applications
1996-07-31
Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets
1996-06-13
Experiments in Digital Video for Workstations
1994-02-25
Neural Networks and Evolutionary Algorithms for the prediction of thermodynamic properties for chemical engineering
1999-01-25
Martin Mandischer
A Log-Structured Persistent Store
1995-11-16
Comparative Results on Using Inductive Logic Programming for Corpus-based Parser Construction
1996-08-28
Supporting Network Management through Declaratively Specified Data Visualizations
1993-07-14
Specification and Verification of Constraint-Based Dynamic Systems
1994-04-11
Pairing Correlations in Transport Theories
1997-01-31
R. Fauser
Morphological Processing and Computer-Assisted Language Learning
1998-09-16
Space Efficient Parallel Buddy Memory Management
1970-01-01
Logical Information Modeling of Web-accessible Heterogeneous Digital Assets
1998-07-08
A Note on Mixed Graphs and Directed Splitting Off
1994-12-12
Steffen Enni
Providing Multidatabase Access - an Association Approach
1998-08-31
Deriving DAP Implementations of Numerical Mathematical Software through Automated Program Transformation
1970-01-01
Structural Design Optimization and Comparative Analysis of a New High-Performance Robot Arm via Finite Element Analysis
1997-12-12
A Temporal Database with Data Dependencies: a Key to Computer Integrated Manufacturing
1996-07-05
Partial Intersection Type Assignment in Applicative Term Rewriting Systems
1997-08-14
Steffen Van Bakel
Blowup for Systems of Conservation Laws
1998-05-04
Helge Kristian Jenssen
Experience with EMERALD to Date
1999-02-22
A Fast Multilayer General Area Router for MCM Designs
1995-07-09
Expressiveness Revisited
1998-09-29
Constrained Discounted Dynamic Programming
1995-10-10
Tensor-Krylov Methods for Large Sparse Systems of Nonlinear Equations
1994-03-30
A Truly Concurrent View of Linda Interprocess Communication
1997-02-06
Compact High Speed Cmos Crossbar For Switching Fabrics
1996-12-22
Automatic Word Categorization: An Information-theoretic Approach
1995-06-08
Resonant Decay Near an Accumulation Point
1997-04-26
Christopher King
Curvature Tensors In Dimension Four Which Do Not Belong To Any Curvature Homogeneous Space
1995-11-23
TRON: Process-Specific File Protection for the UNIX Operating System
1994-11-14
Operational Reduction Models for Functional Programming Languages
1997-06-27
Kristoffer Hřgsbro Rose
Completeness In Continuity Spaces
1995-11-27
Scalable Access within the Context of Digital Libraries
1998-08-18
Reflections on "Tempest and Typhoon: User-level Shared Memory"
1998-05-27
Issues in Designing a Transport Protocol for Audio and Video . . .
1993-11-08
Internet-draft H. Schulzrinne
Modularity and Reusability in Attribute Grammars
1994-09-02
Performance of TCP over Multi-Hop ATM Networks: A Comparative Study of ATM-Layer Congestion Control Schemes
1995-10-28
Deadlock Avoidance Policies for Automated Manufacturing Cells
1995-02-13
Correlation-Based Visual Tracking enhanced by Affine Motion Description
1996-10-09
A Comparative analysis of Partial Order Planning and Task Reduction Planning
1998-09-16
Subbarao Kambhampati
A Biased View of Perceivers - Commentary on `Observer theory, Bayes theory, and psychophysics,' by B. Bennett, et al.
1995-10-26
Managing Time and Uncertainty
1994-07-01
Beat Wuthrich
Resonances for a Contact Wave in Systems of Conservation Laws
1998-05-25
Information Capacity of Binary Weights Associative Memories
1995-02-06
End-to-End Rate Control in ABR
1996-09-18
Another Look At Swedish Business Cycles, 1861-1988
1970-01-01
Joakim Skalin
A Visual Query Language for Temporal Databases
1995-09-20
A Program for Simulation of QCD-Cascades Implementing the Colour Dipole Model Revision 8
1995-11-30
Leif Lonnblad
Constructing Distributed Groupware Systems
1998-09-14
Resource Bounded Randomness and Weakly Complete Problems
1998-10-14
Report on the Maidanak site testing campaign in July 1998 Maidanak-98
1999-03-03
The Nonapproximability ofOBDD Minimization
1998-01-19
Detlef Sieling
Ensemble Learning and Evidence Maximization
1995-05-23
David J. C. Mackay
Virtual Data Space - A Universal Load Balancing Scheme
1997-06-13
Thomas Decker
A Stable Integer Relation Algorithm
1998-02-23
Neuromorphic Analog VLSI Sensors for 2-D Direction of Motion
1999-03-30
On Two-Tape Real-Time Computation and Queues
1997-12-08
Paul M. B. Vitanyi
Preservation of Strong Normalisation for Explicit Substitution
1999-01-28
Roel Bloo
Software reuse from an external memory: The cognitive issues of support tools
1998-11-23
Fabrice Retkowsky
Testing Adaptive Software During Class Evolution
1995-10-09
Biological Metaphors for Evolving Artificial Cognitive Systems
1997-06-23
Sharpening Bounds On The Time Between Events In Maximally Parallel Systems
1993-09-08
George S. Avrunin
Object Replication in Arjuna
1995-03-10
A Hybrid Newton Method For Solving Box Constrained Variational Inequality Problems Via The D-Gap Function
1970-01-01
Computational Geometry Column 31
1997-06-02
Linear Quadratic Optimal Control Of A Wave Equation With Boundary Damping And Pointwise Control Input
1998-12-19
Partial Match Queries in Relaxed Multidimensional Search Trees
1998-10-20
An Available Copy Protocol Tolerating Network Partitions
1999-03-17
Jehan-franc Ois Paris
Efficient Routing in Interconnection Networks Based on Cycle Prefix Graphs
1996-04-30
An Experiment on Automatic Semantic Tagging of Dictionary Senses.
1996-06-06
German Rigau
An alternation-based Japanese valency dictionary architecture
1999-02-12
Timothy Baldwin
Parallel Evaluation of Functional Programs: The G-machine approach
1995-10-04
Thomas Johnsson
Using A Functional Notation To Specify Abstract Simulation Models
1996-07-26
Buffering of Intermediate Results in Dataflow Diagrams
1998-04-08
Extended Selection Mechanisms in Genetic Algorithms
1994-09-06
Multimodal Reasoning about Physical Systems
1999-02-26
F3.733e+05>The VLDB Journal 1997 6: 152--172<F4.492e+05>
1997-06-27
Sharad Mehrotra<f. E
Testing Oz Facilities in Distributed Problem Solving
1996-04-30
European Organization For Nuclear Research
1996-12-11
Nonholonomic Motion Planning: Steering Using Sinusoids
1999-02-11
Asymptotic Formulae for the Lattice Point Enumerator
1997-07-14
Safety for Bisimulation in Monadic Second-Order Logic
1996-11-05
Marco Hollenberg
An NC Algorithm for Minimum Cuts
1998-12-22
On the Smoothness of the Horizons of Multi-Black Hole Solutions
1998-05-23
Dean L. Welch
Konrad Schmudgen 1.
1995-08-21
Konrad Schmudgen
Structure Sharing Unification of Disjunctive Feature Descriptions
1992-08-07
Johannes Matiasek
FORTRAN Subroutines for Approximate Solution of Sparse Quadratic Assignment Problems using GRASP
1997-04-11
Reusing Learned Policies Between Similar Problems
1998-03-02
What is TyCO?
1998-02-26
Faculdade De Ciencias
On the Power of Quantum Computation
1995-08-28
Daniel R. Simon
Applications of GPR Technology to Humanitarian Demining Operations in Cambodia: Some Lessons Learned
1998-11-09
A Performance Comparison of TCP/IP and MPI on FDDI, Fast Ethernet, and Ethernet
1997-09-19
Wireless Data Network Infrastructure at Carnegie Mellon University
1996-12-22
Fraud Detection And Management In Mobile Telecommunications Networks
1997-04-24
A Comprehensive Approach to Planning and Scheduling
1999-04-02
Run-Time Optimizations of Join Queries for Distributed Databases over the Internet
1998-07-30
Fuzzy Expert System for Edema Segmentation
1998-02-21
A Real-Time Interval Logic and Its Decision Procedure
1995-08-18
Negative Definability in Modal Logic
1997-12-11
Marco Hollenberg
On Meta-Programming in CLPR
1992-12-10
Threshold Partitioning of Sparse Matrices and Applications to Markov Chains
1996-03-22
On The Unique Solvability Of Some Nonlinear Stochastic PDEs
1998-09-02
Hyek Yoo
CMA-FSE Error Surface Examples
1997-07-30
A Highly Available, Scalable ITV System
1998-06-22
An Overview of Evolutionary Computation
1998-12-27
Xin Yao
TRIPTYCH: A New FPGA Architecture
1994-12-06
Getting a GRIP DRAFT
1994-03-10
Kevin Hammond
An Integrated Framework For Devising Optimum Generation Schedules
1996-08-30
Using Markov Chains to Analyze GAFOs
1970-01-01
A General Reduction Method for Periodic Solutions in Conservative and Reversible Systems
1998-09-24
Vision and Navigation in Man-made Environments: Looking for syrup in all the right places
1997-01-11
Robust Stochastic Parsing Using the Inside-Outside Algorithm
1994-12-09
Performance of a Genetic Algorithm with Variable Local Search Range Relative to Frequency of the Environmental Changes
1998-04-02
The Propositionalµ-Calculus and its Use in Model Checking
1993-02-08
Jeffery Zucker
Convergence Properties of Minimization Algorithms for Convex Constraints Using a Structured Trust Region
1997-09-30
Proving Java Type Soundness
1997-12-16
Don Syme
A Comparison Of Input Shaping And Time-Optimal Flexible-Body Control
1997-03-06
Least-Squares Temporal Difference Learning
1998-11-05
Justin A. Boyan
Polylogarithmic Parallel Parsing of Pk Languages
1995-06-19
Swipp - A Multicomputer Framework For Bulk Synchronous Parallel Computing
1996-11-29
Yngvar Lundh
Stable and Unstable Singularities in the Unforced Hele-Shaw Cell
1996-06-27
On The Statistical Independence of Algebras of Observables
1997-04-26
The History Heuristic and Alpha-Beta Search Enhancements in Practice
1998-08-19
Jonathan Schaeffer
On Adaptation in Analogy: Tests of Pragmatic-importance and Adaptibility in Analogical Problem Solving
1996-04-22
Mark T. Keane
Using Machine Learning for Defect Detection
1997-07-29
On the Approximability of Numerical Taxonomy Fitting Distances by Tree Metrics
1995-09-19
Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods
1996-08-14
Language and Information Content
1996-04-12
R. C. Puetter
PVMPI: An Integration of the PVM and MPI Systems
1996-05-28
Hypergraph Partitioning With Fixed Vertices
1999-04-16
On Minimally Imperfect Graphs with Circular Symmetry
1997-09-09
WAMM Wide Area Metacomputer Manager: User's Guide
1995-07-06
Heterogeneous Domain Decomposition for Singularly Perturbed Elliptic Boundary Value Problems
1995-06-21
Polynomial-Time Nested Loop Fusion With Full Parallelism
1997-03-19
Renormalization Group Pathologies and the Definition of Gibbs States
1997-04-28
Decimatable Boltzmann Machines for Diagnosis: Efficient Learning and Inference
1998-08-27
Stefan M. Ruger
ATA Packet Interface for CD-ROMs Small Form Factor Committee Specification of
1996-03-04
Lifestreams: Organizing your Electronic Life
1995-09-12
Automatic Array Alignment in Parallel Matlab Scripts
1998-09-21
Artificial Neural Network Methods in Quantum Mechanics
1997-12-17
A Space-Efficient Fast Prime Number Sieve
1997-05-30
A Non--Linear Integration Process for the Selection of Visual Information
1994-10-26
Data Cylinders in Medical Image Fusion
1997-10-27
Executing Multithreaded Programs Efficiently
1996-03-27
Efficient Algorithms for Optimal Video Transmission
1996-10-11
A Theorem Prover for ASTRAL
1998-02-23
Paul Z. Kolano
Galactic Fountains as Magnetic Pumps
1997-12-11
A Multi-Commodity Market Approach to Power Load Management
1998-07-15
Structural Issues in Active Rule Systems
1998-01-23
A Genetic Programming Application in Virtual Reality
1998-05-20
A Computationally Efficient Algorithm for Finding Sparse Codes
1996-07-18
Spreading Of A Pulse Travelling In Random Media
1998-12-02
A Linear Spine Calculus
1999-03-23
A Formal Approach to Reusing More General Components
1994-09-13
Coding for Computing
1998-06-25
Making Specification Design More Accountable
1996-11-26
Tight Performance Bounds on Greedy Policies Based on Imperfect Value Functions
1997-07-04
Guiding or Hiding: Explorations into the Effects of Learning on the Rate of Evolution.
1997-07-09
Giles Mayley
Factoring via Strong Lattice Reduction Algorithms
1998-02-23
A Quick Overview of Larch/C++
1994-06-16
Issues in the Design and Implementation of User-Level DMA
1997-06-23
Lexical Stratification and Ranking Invariance in Constraint-based Grammars*
1998-07-10
Partial Order Models for Quantitative Extensions of LOTOS
1997-07-28
Computing the Discrepancy with Applications to Supersampling Patterns
1997-12-09
Off-line Cursive Handwriting Recognition using Recurrent Neural Networks
1995-03-15
The Hardware/Software Balancing Act for Information Retrieval on Symmetric Multiprocessors
1998-04-21
Integrated Brownian motion, conditioned to be positive
1998-03-05
View-Invariant Regions and Mobile Robot Self-Localization
1999-01-08
A Neural Network Applied to Economic Time Series
1995-10-13
Design of a Replay Debugger for a Large Cellular Array Processor
1997-10-20
An Implementation Of A General-Purpose Parallel Sorting Algorithm
1995-02-14
Intergrid Transfer Operators and Multilevel Preconditioners for Nonconforming Discretizations
1997-10-03
Peter Oswald
Object/Relational Access Layers - A Roadmap, Missing Links andMore Patterns
1998-06-25
Wolfgang Keller
Generation of High Quality Tests for Robustly Untestable Path Delay Faults
1996-02-13
Hsi-chuan Chen
Learning from History for Behavior-Based Mobile Robots in Non-Stationary Conditions
1998-02-03
Structural Breaks and Model Selection With Marginal Likelihoods
1999-02-03
Software Reliability Update
1997-07-29
A Motion Planning Algorithm for Convex Polyhedra in Contact under Translation and Rotation
1997-08-27
Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems
1998-05-11
QMF Filter Bank Design Using Nonlinear Optimization
1997-06-18
Ting Yu
Optimality of Monotonic Policies for Two-Action Markovian Decision Processes, with Applications to Control of Queues with Delayed Information
1995-11-30
Product Unit Learning
1996-03-15
Emilio Luque
1998-04-25
Memory Scalability in Constraint-Based Multimedia Style Sheet Systems
1997-11-18
Multistage Interference Cancellation with Decision Directed Channel Estimation in Multirate DS/CDMA on a Mobile Radio Channel
1997-08-13
Dynamics of Min-Max Functions
1997-09-12
Planning for Information Gathering: A Tutorial Survey
1997-06-09
A Framework For Incremental Knowledge Base Update From Additional Data Coverages
1998-05-11
CBR for Dynamic Situation Assessment in an Agent-Oriented Setting
1998-03-16
Covering By Complements Of Subspaces
1995-12-20
A Comparative Study of Several Color Models for Color Image Invariant Retrieval
1997-01-07
Medium Knowledge-Based Macro-Segmentation of Video into Sequences
1996-04-12
GESIA: Uncertainty-Based Reasoning for a Generic Expert System Intelligent User Interface
1996-11-20
Adaptive Tracking of Linear Time-Variant Systems by Extended RLS Algorithms
1997-07-23
Integer Sorting Algorithms for Coarse-Grained Parallel Machines
1997-10-21
Reconstruction of 3D Planes with an Image-Enhanced Estimator
1995-03-01
The Practice of Logical Frameworks
1996-01-29
Frank Pfenning
On the Limits of Program Parallelism and its Smoothability
1995-08-14
Representing Logic Program Schemata in lambdaProlog
1997-02-28
Timothy S. Gegg-harrison
Data Structures and Amortized Complexity in a Functional Setting
1994-01-06
Berry Schoenmakers
Cross-Correlation Radial Velocity Measurements of Chromospherically Active Binaries
1996-05-31
Efficiently Planning Compliant Motion In The Plane
1994-09-07
Co-Evolving Soccer Softbot Team Coordination with Genetic Programming
1997-06-11
A p-adic Study of the Partial Sums of the Harmonic Series
1996-08-21
David W. Boyd
Genetic Algorithms for Graph Partitioning and Incremental Graph Partitioning
1997-01-27
Interactive Modular Programming in Scheme
1992-07-13
Sho-huan Simon Tung
A Polynomial-time Query language for Hierarchilly Structured Document Databases
1997-04-01
Spectrum Estimation by Wavelet Thresholding of Multitaper Estimators
1997-02-03
On Transversals in Minimal Imperfect Graphs
1997-04-24
Predicting Worst Case Execution Times on a Pipelined RISC Processor
1995-03-22
Evaluating Response Strategies in a Web-Based Spoken Dialogue Agent
1998-09-08
Building a Scalable Geo-Spatial DBMS: Technology, Implementation, and Evaluation
1997-11-17
A Layer Architecture for the Integration of Rules, Inheritance, and Constraints
1997-07-28
BCH Convolutional Codes
1998-12-11
Implementation Of
1998-06-26
Why Cryptosystems Fail
1997-02-08
Ross Anderson
Numerical Stationary Solutions for a Viscous Burgers' Equation
1999-01-20
Multimedia Authoring Tools: State of the Art and Research Challenges
1995-09-08
Large Scale Velocity Fields Present and Future: Making Sense of the
1998-05-14
Hume A. Feldmanz
Convergence In Hausdorff Metric Preserves Geometric Shape
1996-07-08
Hardy approximation to L p functions on subsets of the circle
1994-11-09
Numerical Methods for Dynamic Simulation of Thermal Energy Systems: A Case Study
1997-08-31
C. Klein-robbenhaar
A search for distant X-ray galaxy clusters
1997-01-31
Continuous Modelling of Real Time and Hybrid Systems: From Concepts to Tools
1998-05-20
Video and Audio: Organization and Retrieval in the WWW
1997-09-24
A Note on the Characterization of the Global Maxima of a Tangentially Convex Function Over a Convex Set
1998-06-17
Yuri S. Ledyaev
Machine Learning Lecture notes 13
1970-01-01
Adaptative Decision-Making by Systems of Cooperating Intelligent Agents Organized on Rough Mereological Principles
1995-05-23