Scalar Field Modeling Visualization on the Intel Delta
1994-08-10
Residual SLDNF in CLP languages
1993-06-22
K J Dryllerakis
Generating Executable Code From The Dynamic Model Of Omt With Concurrency
1998-09-25
Jauhar Ali
Efficiency of Server Task Queueing for Dynamic Load Balancing
1994-09-23
Hypothetical Temporal Reasoning with History Encoding Extended Version
1998-01-20
Simple Subpopulation Schemes +
1998-06-03
William M. Spears
Efficient Goal-Directed Exploration
1996-06-12
Moving-Target TSP and Related Problems
1998-05-26
Do Attractive Bosons Condense?
1970-01-01
Aids for Identifying Conflicts Among Quality Requirements
1995-12-15
Reactions Within The Quantum Molecular Dynamics Approach
1998-05-16
Sparse Approximate Inverses for Preconditioning of Linear Equations
1998-06-30
Parallel Shared-Memory State-Space Exploration in Stochastic Modeling
1998-01-14
Fault-Containing Self-Stabilizing Algorithms
1996-02-19
Computer mediated teaching: A case-study in discrete mathematics
1997-02-26
Mark A. Toleman
Towards the Construction of Workflow Suitable Conceptual Modelling Techniques
1998-06-24
A. P. Barros
Quantum Computation and Shor's Factoring Algorithm
1999-01-12
Ronald De Wolf
Assembling Documents from Digital Libraries
1997-07-24
Bipartite Designs
1997-11-11
Grigor Gasparyan
Automatic Synthesis of Sequential Synchronizations
1993-03-05
E787 Data Acquisition Software Architecture
1994-03-16
Constructing Permutation Representations for Large Matrix Groups
1994-06-27
Encyclopaedia of Complexity Results for Finite-Horizon Markov Decision Process Problems
1997-09-09
Multilevel preconditioning on the refined interface and optimal boundary solvers for the Laplace equation
1997-11-19
Design and Evaluation of a Window-Consistent Replication Service
1998-03-19
Inductive Logic Program Synthesis with DIALOGS
1998-01-19
Pierre Flener
Towards a Reference Framework for Process Concepts
1995-02-23
Improving Instruction Throughput and Memory Latency Using Two-Dimensional Superthreading
1998-02-26
An Earlier Version of
1994-08-27
Exploiting Locality in Temporal Reasoning
1996-10-04
Supporting Co-Resident Operating Systems
1998-02-25
Resume
1999-02-05
An Enterprise Reference Scheme for Integrating Model Based Knowledge Engineering and Enterprise Modelling
1997-04-04
An Inductive Logic Programming Framework to Learn a Concept from Ambiguous Examples
1998-08-03
Solving Vehicle Routing Problems using Constraint Programming and Metaheuristics
1997-09-04
Real and Virtual Spaces: Mapping from Spatial Cognition to Hypertext
1997-01-24
Simon Shum
Automating the Determination of 3D Protein Structure
1994-03-29
Managing Shared Ephemeral Teleconferencing State: Policy and Mechanism
1995-07-08
On Generalized Newton Algorithms: Quadratic Convergence, Path-Following And Error Analysis
1995-11-01
Gregorio Malajovich
Discriminative Training for Continuous Speech Recognition
1996-04-18
Theoretical Views of Boosting
1999-02-10
Robert E. Schapire
On the Complexity of Entailment in Propositional Multivalued Logics
1995-08-31
Multiple Parton Emission Effects In Next-To-Leading-Order Direct Photon Production
1998-05-25
Anderson Localization for Random Schrodinger Operators with Long Range Interactions
1997-05-13
The Michigan Internet AuctionBot: A Configurable Auction Server for Human and Software Agents
1998-02-18
Finding Optimal Solutions to the Twenty-Four Puzzle
1999-03-30
UTILISATION OF HIPPARCOS DATA FOR DISTANCE DETERMINATIONS: ERROR, BIAS AND ESTIMATION X. Luri
1997-06-24
X. Luri
Duplex: A Distributed Collaborative Editing Environment in Large Scale
1995-03-10
Parameter-less Genetic Algorithm: A Worst-case Time and Space Complexity Analysis
1999-04-22
PolyP --- a polytypic programming language extension
1998-03-24
Decidable Bounded Quantification
1996-08-19
Benjamin C. Pierce
Selection of Relevant Features in Machine Learning
1997-04-13
Pat Langley
Geosat Observations of Sea Level Response to Barometric Pressure Forcing
1995-12-05
Twisted N = 2 Supersymmetry With Central Charge And Equivariant Cohomology
1998-05-25
Message Logging: Pessimistic, Optimistic, and Causal
1997-02-20
The Utility Model For Adaptive Multimedia Systems
1998-01-21
LEO - A Higher-Order Theorem Prover
1998-06-09
B. Pasquini
1998-08-10
The Double Algebra: An Effective Tool for Computing Invariants in Computer Vision
1997-01-29
Stefan Carlsson
Evolving Fuzzy Prototypes for Efficient Data Clustering
1997-09-11
A Conceptual Framework for Text Filtering
1996-05-23
The Visual Motion of Curves and Surfaces
1998-07-27
Roberto Cipolla
The Quasi-Cauchy Relation and Diagonal Updating
1997-12-15
M. Zhu
Atypical representations of the Lie superalgebra sl1,n for n greater than 1
1995-07-24
Hartmut Schlosser
Integrating WWW and Middleware
1995-03-27
Table of
1996-09-13
A New Algorithm For The Reduction Of Incompletely Specified Finite State Machines
1998-08-06
The MOVE project
1997-03-19
Henk Corporaal
Augment or Push? A computational study of Bipartite Matching and Unit Capacity Flow Algorithms
1998-03-31
Formalization of Finite State Machines with Data Path for the Verification of High-Level Synthesis
1998-09-25
The Performance of Weak-consistency Replication Protocols
1992-07-09
From Entity-Relationship Models to Role-Attribute Models
1994-10-03
Memorization Learning for Object Recognition
1996-05-31
Randal C. Nelson
Extensible Security Architectures for Java
1997-08-14
Stability of Learning in Classes of
1999-02-03
The Simply-Typed Theory of ...-conversion has no maximum extension
1970-01-01
Designing Distributed Algorithms for Mobile Computing Networks
1994-08-23
On the Implementation of an Efficient Performance Driven Generator for Conditional-Sum-Adders
1995-11-16
Distributed Control Algorithms Selected Topics
1995-03-26
Friedemann Mattern
Competition-Based Learning
1998-12-28
WWW Proxy Traffic Characterization with Application to Caching
1997-06-02
Sharing and Protection in a Single Address Space Operating System
1994-02-10
Upper Bounds for the Domination Number of a Graph
1996-03-28
Using Reading Models For Cursive Script Recognition
1997-11-26
Knowledge Retrieval and the Word Wide Web
1999-03-10
Peter Eklund
Incremental Class Learning approach and its application to Handwritten Digit Recognition
1998-06-10
Loop Distribution with Arbitrary Control Flow
1994-08-11
Quorum Systems Constructed from Combinatorial Designs
1998-05-13
Intuitionisitic Tableau Extracted
1998-12-05
James Caldwell
A Compilation Framework for Languages with Dynamic Thread Creation
1996-11-20
An Efficient, Low-Complexity Audio Coder Delivering Multiple Levels of Quality for Interactive Applications
1998-10-29
Providing Configuration Management Support in Software Engineering Environments
1995-09-21
Jun Han
Linear and Decision Feedback Equalization Structures for Asynchronous DS-CDMA under ICI
1998-11-06
Phil Schniter
A Conceptual Framework for Internet based Intelligent Tutoring Systems
1997-07-18
Ashok Patel
A Control Theoretical Model for Quality of Service Adaptations
1998-04-02
Toward Global Solution of MAP Image Estimation: Using Common Structure of Local Solutions
1999-03-23
Stan Z. Li
Natural Deduction for IntuitionisticNon-Commutative Linear Logic
1999-03-23
Jeff Polakow
Finer Control of Weakening and Contraction: Towards a Separated-Linear Lambda Calculus Summary
1996-09-24
John Maraist
Algebraic Graph Theory Without Orientation
1995-07-31
What Should Graduate Students Know Before Joining a Large Computer Architecture Project?
1997-04-15
Shubhendu S. Mukherjee
Probabilistic Communication Complexity of Boolean Relations
1997-03-17
Design and Implementation of a Multi-Threaded Xlib
1993-01-21
Reducing Conflicts In Direct-Mapped Caches With A Temporality-Based Design
1996-09-06
Satisficing Action Selection
1998-08-03
Paolo Pirjanian
How to Enhance Market Liquidity
1995-04-17
Some Basic Concepts Of
1998-05-04
On the Robustness of Haptic Object Recognition Based on Polyhedral Shape Representations
1995-04-28
Performance Analysis of the Dual Cell Spacer in ATM Systems
1995-01-13
M. Ritter
TOP500 Supercomputer Sites
1996-05-20
Skill reconstruction as induction of LQ controllers with subgoals
1997-11-25
Ivan Bratko
Mesh Optimization
1997-04-03
The Evolutionary Self-Structuring Classifier
1970-01-01
Jamie Sherrah April
Experiments in Multilingual Information Retrieval using the SPIDER system
1996-08-15
Jean Paul Ballerini
Lessons Learnt From Current Statistics Packages and a Proposal for a New System for the New Millennium
1998-06-12
An Exploration of Modular Programs
1998-02-20
Simon Peyton Jones
Learning To Do Without Cognition
1998-10-05
Lazy Functional State Threads
1994-03-14
Quantitative Theory Of Richtmyer-Meshkov Instability In Three Dimensions
1996-12-23
On Relative Invariants
1996-05-24
An Architecture and Communication Protocol for Picocellular Networks
1995-09-20
On the Stability of the Quenched State in Mean Field Spin Glass Models
1997-12-11
M. Aizenman
The Paros Operating System Microkernel
1994-11-02
MPICH on the T3D: A Case Study of High Performance Message Passing
1997-12-26
Lyapunov Stability of Two-Dimensional Digital Filters with Overflow Nonlinearities
1998-05-04
Summary of Work Completed October '95 - March '96
1998-04-25
On The Far Field In Obstacle Scattering
1998-07-03
Techniques For Robust Recognition In Restricted Domains
1996-11-14
On Portable Macro-Cell Fpu Generators For Division And Square Root Operators Complying To The Full Ieee-754 Standard
1998-11-25
Applying Static Analysis to Software Architectures
1997-12-23
Igor Jurisica
1997-06-28
Configurational Averaging for Solid Solutions
1998-05-04
Mark Taylor
Semi-Automatic Determination of Allograph Duration and Position in on-Line Handwritten Words Based on the Expected Number of Strokes
1996-09-09
Efficient Linear Re-rendering for Interactive Lighting Design
1999-01-17
Geometric Approach for Egomotion Estimation using Normal Flow
1996-06-19
Coordination Languages for Parallel Programming
1998-07-01
An Hybrid Representation for Set Constraint Satisfaction Problems
1998-10-18
Vincent Thornary
XCS Classifier System Reliably Evolves Accurate, Complete, and Minimal Representations for Boolean Functions
1998-07-09
Tim Kovacs
Visual Search In A Smash System
1996-09-02
School Of Computer Studies Research Report Series
1995-12-08
Hybrid Systems: Reasoning across Scales in Space and Time
1995-09-20
Natural Deduction for Intuitionistic Non-Commutative Linear Logic
1999-03-22
Jeff Polakow
A Not Very Much Annotated Bibliography on Integrating Object-Oriented and Logic Programming
1993-03-27
Compiled Vladimir Alexiev
Ideas and Concepts on an Approach to Ensemble Forecasting
1998-11-10
Chabot: Retrieval from a Relational Database of Images
1995-06-04
The Complexity of Approximate Optima for Greatest Common Divisor Computations
1998-02-23
Feature Subset Selection Using A Genetic Algorithm
1998-01-27
Making Design Decisions to Support Diversity in Interactive Theorem Proving
1998-09-18
Poincare' Renormalized Forms
1997-04-26
On Some Methods for Unconditionally Secure Key Distribution and Broadcast Encryption
1998-07-15
D. R. Stinson
MANTRA Project - Part A: Design, Implementation and Test of a Multi-Model Systolic Neural Network Accelerator
1997-05-15
An Oscillating Cortical Model of Auditory Attention and Electrophysiology
1998-10-14
Bill Baird
An Economic Approach to Adaptive Resource Management
1999-03-02
The POSTGRES Data Model +
1994-02-18
Unknown
1997-07-16
A Categorical Framework for Conceptual Data Modeling: Definition, Application, and Implementation
1995-10-31
Modeling Parallel Bandwidth: Local vs. Global Restrictions
1997-09-18
Pthreads Library Interface
1995-12-16
Frank Mueller
Data-Driven Shifts of Attention in Wavelet Scale Space
1995-06-26
Ivan Marsic
ADL - An Algebraic Database Language
1996-02-07
Finite Thrust Control for Satellite Formation Flying with State Constraints.
1998-09-14
Fragmentation Production of Heavy Quark States
1998-05-15
Michael A. Doncheski
A New Method for Automated Finite Model Building Exploiting Failures and Symmetries
1998-09-02
Nicolas Peltier
Object-Oriented Modeling of Rule-Based Programming
1998-07-25
Vision-Based Behavior Acquisition for a Shooting Robot by Using a Reinforcement Learning
1994-08-11
On the Problem of Decomposing Grasp and Manipulation Forces in Multiple Whole-Limb Manipulation
1970-01-01
Antonio Bicchi
An Empirical Study of the Workload Distribution Under Static Scheduling
1996-05-13
Plan 9 from Bell Labs
1999-01-22
An Analysis of the Metric Structure of the Weight Space of Feedforward Networks and its Application to Time Series Modeling and Prediction
1998-08-27
Neural Network Analysis to Predict Treatment Outcome in Patients With Ovarian Cancer
1996-04-18
Convergence of Alternating Domain Decomposition Schemes for Kinetic and Aerodynamic Equations
1997-12-02
Axel Klar
What Happened to our Document in the Shared Workspace? The Need for Groupware Conventions
1997-12-15
On a Problem of Potential Wells
1995-10-27
Faster Temporal Credit Assignment in Learning Classifier Systems
1996-07-04
A Unified Approach to Strictness Analysis and Optimising Transformations
1997-09-07
P. N. Benton
Domain-Specific Languages for a Changing World
1998-09-25
Quadratic Optimal Control Through Coprime And Spectral Factorizations
1997-09-24
Olof J. Staffans
Learning Coordinated Behaviors for Control of a Simulated Race Car
1996-07-30
Sparse Gaussian Elimination on High Performance Computers
1997-07-07
Analysis of Affective Musical Expression With the Conductor's Jacket
1998-10-14
Forbidding Preconditions and Ordered Abstraction Hierarchies
1995-02-18
Candidate Metrics for Object-Oriented Software within a Taxonomy Framework
1996-12-21
A Contribution to the Question of Authenticity of Rhesus Using Part-of-Speech Tagging
1999-01-15
Bernd Ludwig
Persistence in the Grasshopper Kernel
1996-02-19
Robust Tracker of Small, Fast-moving Low-contrast Targets
1998-09-18
Algorithm-Based Diskless Checkpointing for Fault Tolerant Matrix Operations
1995-08-28
BlockSolve95 Users Manual: Scalable Library Software for the Parallel Solution of Sparse Linear Systems
1997-07-08
Inductive, Coinductive, and Pointed Types
1996-01-18
Brian T. Howard
Poincar ' E--Invariant Markov Processes And Gaussian Random Fields On Relativistic Phase Space
1996-12-20
Managing Large Scale Computational Markets
1998-07-15
Ergodic Convergence In Subgradient Optimization
1997-09-22
Experiences with the Application of the ADIC Automatic Differentiation tool to the CSCMDO 3-D Volume Grid Generation Code
1995-11-10
Korean Grammar Using TAGs
1995-01-09
Query Processing for Knowledge Bases Using Join Indices
1995-08-12
Error Reduction through Learning Multiple Descriptions
1998-12-16
Ariadne and HOPLa: flexible coordination of collaborative processes
1998-11-30
A State Space Approach To Joint Aoa And Period Estimation For A Class Of Periodic Discrete Event Processes
1996-12-06
A Formal Methodology for Verifying Situated Agents
1998-07-28
Phan Minh Dung
anti-stable Points And The Dynamics Of Extended Systems
1995-06-07
P. -m. Binder
The AVIS project: a mixed communication/interactive/broadcast teleconferencing system
1998-05-26
Comparison of Fixed-size and Variable-sized Windows for the Estimation of Tree Crown Position
1998-09-08
CART and Best-Ortho-Basis: A Connection
1995-10-03
David L. Donoho
Applying Optimization Principle Patterns to Design Real-time ORBs
1999-05-02
Learning of Compositional Hierarchies for the Modeling of Context Effects
1998-04-30
Karl Pfleger
Inferring Linguistic Structure In Spoken Language
1999-03-02
M. Woszczyna A. Waibel
An Algorithm For Locating Non-Overlapping Regions Of Maximum Alignment Score
1995-07-06
A Projection Method for Closed-loop Identification
1997-11-20
Local Dynamics And Bifurcation Consistencies Of Continuous-Time Dynamical Systems And Their Numerical Discretizations
1996-01-13
Instrumentation Of Fortran Programs For Automatic Roundoff Error Analysis And Performance Evaluation
1993-02-18
Brian Eugene Bliss
Scalability Analysis of Declustering Methods for Cartesian Product Files
1998-09-05
Automatic Generation of Warehouse Mediators Using an Ontology Engine
1998-05-13
Ceramic Tile Inspection For Colour And Structural Defects
1997-09-02
A Neural Trajectory Storage
1993-09-28
From Logic to Dialectics in Legal Argument
1997-07-31
Henry Prakken
A Mobile Networking System based on Internet ProtocolIP
1995-11-05
Ffl Ffl Ffl
1998-06-10
On Functional Estimates for Discrete Distributions
1999-02-10
Informatics Laboratory
2LP: Linear Programming and Logic Programming
1997-11-11
An Architecture for Post-Development Configuration Management in a Wide-Area Network
1997-06-26
A Non-Photorealistic Lighting Model For Automatic Technical Illustration
1998-04-26
Deciding Round Length and Striping Unit Size for Multimedia Servers
1998-08-05
An Evaluation of Component Adaptation Techniques
1970-01-01
Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm
1970-01-01
KidCode: Naming Conventions for Protecting Children on the World Wide Web and Elsewhere on the Internet Without Censorship
1995-06-06
Minimum-Cost Spanning Tree as a Path-Finding Problem
1996-02-07
Expectation Values of Observables in Time-Dependent Quantum Mechanics
1997-07-16
J. M. Barbaroux
Analytical Method For 2-Channel Optimum Fir Orthonormal Filter Banks
1998-01-22
The Inverse Problem of Depth Dose Curve Estimation
1998-04-02
A New Characterization of Lambda Definability
1993-09-26
Coarse-to-Fine Least Squares Motion Estimator
1995-01-31
Nuno Vasconcelos
Neural Network Technology to Support View Integration
1999-01-11
Chabot: Retrieval from a Relational Database of Images
1995-06-03
Model Elimination Without Contrapositives
1997-05-24
Computer generation of puns in Japanese
1998-04-10
Cryptanalysis of a Fast Public Key Cryptosystem Presented at SAC '97
1998-09-25
Automatic Parallelization by Pattern-Matching
1996-04-17
Lexicographical Generation of a Generalized Dyck Language
1998-08-20
Nondeterministic Space is Closed Under Complementation
1996-08-07
Neil Immerman
Topological Median Filters
1998-03-31
A Code Construction Approaching Capacity 1 for Random Access With Multiplicity Feedback
1999-04-21
Peter Vanroose
New Bounds for Codes Identifying Vertices in Graphs
1999-02-12
Microprocessor-based Decca Navigator Hyperbolic Radionavigation Receivers
1993-03-23
A. J. Fisher
A Tracing Protocol for Optimizing Data Parallel Irregular Computations
1998-06-29
Thomas Brandes
3-D Hand Pose Estimation And Shape Model Refinement From A Monocular Image Sequence
1996-09-25
Nobutaka Shimada
Semantic Analysis of a Concurrent Pascal Extended Abstract
1995-11-15
Stability analysis of singular patterns in the 1-D Gray-Scott model I: A matched asymptotics approach
1997-10-23
Experiments in Realising Cooperation between Autonomous Mobile Robots
1997-07-15
Agents for Collecting Application Usage Data Over the Internet
1997-10-30
Fuzzy Conceptual Knowledge Processing
1996-02-14
Framework for a Generic Knowledge Discovery Toolkit
1996-01-15
HADAS: A Network-Centric Framework for Interoperability Programming
1997-10-16
A Knowledge-Based System for the Diagnosis of Waste-Water Treatment Plants
1997-09-02
Pau Serra
Optimal Solutions To Distance Geometry Problems Via Global Continuation
1995-06-12
On Programmable Universal Mobile Channels in a Cellular Internet
1998-08-31
Javelin: Internet-Based Parallel Computing Using Java
1998-04-16
On the Physiology of Bistable Percepts
1995-11-30
Are Parallel Workstations the Right Target for Parallelizing Compilers?
1998-12-07
Approximation of Profit-and-Loss Distributions Part II
1997-09-12
Learning Sequential Decision Rules Using Simulation Models and Competition
1998-10-27
R-Tree Based Indexing of Now-Relative Bitemporal Data
1998-09-01
The W-Network: A Low-Cost Fault-Tolerant Multistage Interconnection Network for Fine-Grain Multiprocessing
1999-02-08
Kevin B. Theobald
MIME: A Portable and Robust Multimedia Format for Internet Mail
1993-12-01
Nathaniel S. Borenstein
On Batcher's Merge Sorts as Parallel Sorting Algorithms
1998-10-28
Im Stadtwald
Predicate Migration:
1995-06-03
Joseph M. Hellerstein
Quantifying Behavioral Differences Between C and C++ Programs
1994-01-24
Formal Transducers: Models of Devices and Building Bricks for the Design of Highly Interactive Systems
1998-11-25
Johnny Accot
The GIST Message Representation Framework
1996-09-27
Roger Evans
On the Integration of DSP Hardware into a Microkernel-based Operating System
1996-10-21
Fast solution of confluent Vandermonde-like linear systems using polynomial arithmetic
1998-12-06
H. -j. Fischer
Dataflow Parallel Database Systems and LOGFLOW
1998-02-26
Compile/Run-time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines
1999-02-17
Time-lock puzzles and timed-release Crypto
1996-02-28
Constructing Collaborative Stories Within Virtual Learning Landscapes
1996-06-30
Motif Statistics
1999-01-20
A Collaboration-Enabling Framework for Java Beans
1998-07-20
Ivan Marsic
Formality and Informality in Requirements Engineering
1996-07-01
Joseph A. Goguen
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages Extended Abstract
1998-12-07
Performance of Various Computers Using Standard Linear Equations Software
1998-07-31
Jack J. Dongarra
Using Case-Based Reasoning as a Reinforcement Learning Framework for Optimization with Changing Criteria
1998-06-02
Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition
1997-04-10
Xuemei Wang
A PVM Implementation of the MCHF Atomic Structure Package
1995-03-03
OnMethods to Keep Learning Away from Intractability Extended Abstract
1999-01-06
A Rendering Algorithm for Discrete Volume Density Objects
1998-02-02
A Divide-and-Conquer Approach to Shortest Paths in Planar Layered Digraphs
1994-02-17
On the Distribution for the Duration of a Randomized Leader Election Algorithm
1996-08-20
Robust Linear Discriminant Trees
1999-02-05
George H. John
The Formal Specification of Oberon
1997-05-31
Alfonso Pierantonio
Energy, Matter, and Entropy in Evolutionary Computation
1997-09-24
An Advanced Course On Software Development Environments
1999-02-08
Anthony Finkelstein
Effect of Numerical Integration for Elliptic Obstacle Problems
1995-07-19
Esprit BRA 6865 --- Pegasus Summary Report, Communications Work Package
1993-12-01
Derek Mcauley
Sequential data assimilation with a nonlinear quasi-geostrophic model using Monte Carlo methods to forecast error statistics
1995-03-02
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure
1996-05-08
Feature Replenishment for Long-Term Visual Motion Tracking
1995-10-06
Precise Positioning Using Model-Based Maps
1994-06-29
Vista: A Software Environment for Computer Vision Research
1996-03-14
Emergent Activation Functions From A Stochastic Bit-Stream Neuron
1996-11-28
Front Tracking Simulations of Shock Refractions and Shock Induced Mixing
1993-11-29
A Polymorphic Type System for Extensible Records and Variants
1970-01-01
Performance Assessment through Bootstrap
1996-10-03
Practical Selectivity Estimation through Adaptive Sampling
1992-05-07
The Control And Data Acquisition Of The Lhc Test String
1996-01-17
Experiments on Six Commercial TCP Implementations Using a Software Fault Injection Tool
1996-08-23
Cooperative Information Gathering: A Distributed Problem Solving Approach
1995-01-17
Necessary Condition and Genericity of Dynamic Feedback Linearization
1998-03-17
P. Rouchon
Lazy Code Motion
1996-12-17
The Implementation of TEN-34
1997-07-01
A Bayesian Discretizer for Real-Valued Attributes
1996-01-04
Xindong Wu
A Taxonomy of Finite Automata Minimization Algorithms
1999-01-28
Bruce W. Watson
SDSI - A Simple Distributed SecurityInfrastructure
1997-11-25
WRL Research Report 89/1
1992-07-28
Joel F. Bartlett
The Algorithm
1998-04-23
Genetic Reasoning Evolving Proofs with Genetic Search
1996-02-02
KnightCap: A chess program that learns by combining
1998-01-22
A Hybrid System Approach to Feedback Control of a Nonholonomic Car-like Vehicle
1997-11-25
Towards Semantically Meaningful Feature Spaces For The Characterization Of Video Content
1997-09-05
Nuno Vasconcelos
Parallel Protein Structure Determination from Uncertain Data
1995-08-29
On the Moments of Some First Passage Times for Exponential Families of Processes
1997-08-11
The F-Logic Approach for Description Languages
1994-12-25
Mira Balaban
Mixed Bundling in Duopoly
1995-02-24
Nicholas Economides
Recent Results In Solving Index 2 Differential-Algebraic Equations In Circuit Simulation
1996-03-08
Componential Set-Based Analysis
1998-12-23
Thread-Safe Message Passing With P4 and MPI
1994-10-28
Graph Generated Union-closed Families of Sets
1996-04-30
Emanuel Knill
Reduced Storage VQ via Secondary Quantization
1997-02-03
Towards Generative Software Composition
1998-02-27
Compositional Logic Programming
1996-09-24
A Parallel Runge-Kutta Nyström Code For y" = ft,y: Design And Evaluation
1997-11-25
Construction of Invariant Tori Around Closed Orbits
1997-12-11
Mikko Kaasalainen
Hierarchical Streamarrows for the Visualization of Dynamical Systems
1997-01-28
Attribute Grammars for Genetic Representations of Neural Networks and Syntactic Constraints of Genetic Programming
1998-07-15
Logical Handling Of Inconsistent And Default Information
1997-02-04
Speaker Tracking
1997-11-10
Sue Johnson
Scenario-Based Analysis of Software Architecture
1995-09-06
Constraint Satisfaction Problems
1998-08-04
Resource Management for Responsive Web Computing
1996-06-21
Analysis and Design of Multiagent Systems using MAS-CommonKADS
1998-10-13
Robust Incremental Condition Estimation
1997-10-01
A Correspondence for the Generalized Hecke Algebra of the Metaplectic Cover
1998-10-21
KEY WORDS: wavelet, sampling, interpolation, quadrature
1997-12-19
Wim Sweldens
Collaboration in the Small vs. Collaboration in the Large
1994-10-14
Philip M. Johnson
Translingual Information Retrieval: A Comparative Evaluation
1997-08-26
A Short Course in Computational Molecular Biology
1997-10-12
Metastable Internal Layer Dynamics For The Viscous Cahn-Hilliard Equation
1994-08-24
Contingency Selection in Plan Generation
1997-10-27
Asymptotic behavior of the nonlinear Schrodinger equation with rapidly-varying, mean-zero dispersion
1997-08-13
Production planning and control in textile industry: A case study
1997-10-30
Nikos I. Karacapilidis
Optimizing Symbolic Model Checking for Constraint-Rich Models
1999-03-31
Structured Solution Methods for Non-Markovian Decision Processes
1998-08-12
Formal Approaches to Student Modelling
1994-10-19
Automatic Discovery Using Genetic Programming of an Unknown-Sized Detector of Protein Motifs Containing Repeatedly-Used Subexpressions
1998-08-15
The Resolvability Ellipsoid for Sensor Based Manipulation
1998-12-17
Unknown
1995-08-16
A New Cepstral Prefiltering Technique for Estimating Time Delay Under Reverberant Conditions
1996-11-14
Benoit Champagne
Analogical Reasoning for Knowledge Discovery in a Molecular Biology Database
1970-01-01
Juergen Haas
W-learning: Competition among selfish Q-learners
1996-06-13
Mark Humphrys
Prediction Using Orthogonalized Model Mixing
1997-02-04
Heather Denise Desimone
Solving a System of Diophantine Equations with Lower and Upper Bounds on the Variables
1998-12-05
1-Semiquasihomogeneous Singularities of Hypersurfaces in Characteristic 2
1996-04-29
Marko Roczen
Analysis of V-Cycle Multigrid Algorithms for Forms Defined by Numerical Quadrature
1993-04-02
The nuclear liquid-gas phase transition within FMD
1997-01-29
The Interface Design of an Integrated System for Handling Environmental Emergencies
1998-01-26
ELFE@DESY: Slow extraction from HERA
1997-05-09
Quantitative Study of Data Caches on a Multistreamed Architecture
1998-01-29
Bounds for Disconnection Exponents
1995-11-06
Wendelin Werner
Recording and Checking HOL Proofs
1996-01-29
Wai Wong
Self-Testing/Correcting for Polynomials and for Approximate Functions
1997-09-04
ZLIB Compressed Data Format Specification version 3.3
1996-06-15
Applications in Quantum Mechanics of some integrability conditions of the Riccati equation
1999-04-14
Research Report AI-1994-01 An Empirically Motivated Reinterpretation of Dependency Grammar Michael A. Covington
1994-03-16
Michael A. Covington
New Applications of Random Sampling in Computational Geometry
1995-02-16
LAPACK working note 66 A Characterization of Polynomial Iterative Methods
1994-10-08
Victor Eijkhout
OLC: An On-Line Consulting System for UNIX
1991-01-24
Graphs and Decidable Transductions based on Edge Constraints Extended Abstract
1997-08-27
Object-Oriented Specification of Coordinated Collaboration
1996-10-18
L. P. J. Groenewegen
Context Optimization for SIMD Execution
1997-01-27
The Design and Evolution of Modular Neural Network Architectures
1995-05-16
Jacob M. J. Murre
On the Geometry of Graeffe Iteration
1997-09-05
Thread Migration in the Presence of Pointers
1997-01-31
Fine Spectra and Limit Laws II. First-Order 0--1 Laws
1998-01-13
Optimal Code Placement of Embedded Software for Instruction Caches
1996-10-07
XGobi Meets S: Integrating Software for Data Analysis
1998-11-16
Interleaving Planning and Robot Execution for Asynchronous User Requests
1996-07-26
A Network-Centric Design For Relationship-Based Rights Management
1997-12-06
Block-Projections Algorithms With Blocks Containing Mutually Orthogonal Rows and Columns
1997-07-01
Constantin Popa
Simultaneous Multithreading: A Platform for Next-generation Processors
1997-04-05
The Design of Whole-Program Analysis Tools
1999-01-08
A Family of Interconnection Networks for Non-Uniform Traffic
1995-11-30
Early Transition Detection - A Dynamic Extension To Common Classification Methods
1999-02-08
Allocating Weighted Jobs in Parallel
1998-02-02
Incremental Data Compression Extended Abstract
1998-08-15
Johan Jeuring
Force Control: A Bird's Eye View
1997-08-22
Geometric Approach to Inverse Scattering for the Schrödinger Equation with Magnetic and Electric Potentials
1997-04-28
Silke Arians
Finite-Horizon Bounded Amplitude Control of Linear Parameter Varying Systems
1997-06-26
On The Virial Theorem For The Relativistic Operator Of Brown And Ravenhall, And The Absence Of Embedded Eigenvalues
1997-11-29
Querying by Color Regions using the VisualSEEk Content-Based Visual Query System
1996-06-13
New sources for Kerr and other metrics: rotating relativistic disks with pressure support.
1998-05-24
Analytic Inverse of Discrete Gaussian Blur
1996-12-10
On Nominal Delay Minimization in LUT-Based FPGA Technology Mapping
1997-01-13
Panel: The Impact of Database Research on Industrial Products Summary
1995-06-04
The Practical Application of Binary Neural Networks.
1998-06-22
Jim Austin
A Note on Vertex Pancyclic Oriented Graphs
1997-05-13
Yubao Guo
Diffractive Production at Collider Energies I: Soft Diffraction and Dino's Paradox
1998-09-28
Chung-i Tan
Salo: Combining Simulated Annealing And Local Optimization For Efficient Global Optimization
1997-05-31
Flexible and Scalable Query Access Planning using an AI Planner
1997-11-04
A Semi-Functional Implementation of a Higher-Order Logic Programming Language
1995-10-10
A Model In Which Every Boolean Algebra Has Many Subalgebras
1998-02-26
James Cummings
Feasibility of Flexible Information Modelling Support
1997-04-02
Property-Based Testing of Privileged Programs
1995-07-06
Limit Theorems for Tagged Particles
1996-12-06
P. A. Ferrari
Non-planar Reslicing for Freehand 3D Ultrasound
1999-01-29
A Large Throughput High Resolution Fourier Transform Spectrometer for Submillimeter Applications
1998-12-04
Intelligent Techniques for the Extraction and Integration of Heterogeneous Information
1999-05-07
Dealing with Time Modelling Problems in Parallel Models of Asynchronous Computer Architectures
1995-12-12
Automatic Verification of Transactions on an Object-Oriented Database
1997-08-28
The Principle of Linearity: A Short Cut to Determine Dependent Angles
1996-07-17
Brian R. Stonebridge
Adaptive, Best-Effort Delivery Of Audio And Video Across Packet-Switched Networks
1994-10-25
Molecular Evolution of Catalysis
1997-05-23
Christian V. Forst
Lateral Spread of Hadrons in High-Energy Super-Families and Centauro Events
1997-09-04
Radiance Maps: An Image-Based Approach to Global Illumination
1998-07-30
Detecting Salient Blob-Like Image Structures and Their Scales with a Scale-Space Primal Sketch: A Method for Focus-of-Attention
1994-04-13
Tony Lindeberg
A Gradual Integration Of Oodbms To Legacy Telecommunication Systems
1995-11-28
Rahav Yairi
On the Foundations of Qualitative Decision Theory
1996-05-06
The free Bose gas on Robertson-Walker spacetimes
1998-08-07
A Locking Algorithm with Premature Unlocks
1970-01-01
Detlef Zimmer
The Scaling of Search Cost
1997-01-22
Automatic Data Layout Using 0-1 Integer Programming
1997-01-27
Nonexistence of SBR Measures for some Diffeomorphisms that are "Almost Anosov"
1997-04-26
Epipolar Geometry and Linear Subspace Methods: A New Approach to Weak Calibration
1997-02-08
The Moduli Space of the Supersymmetric
1998-05-25
A Self-Scaling and Self-Configuring Benchmark for Web Servers
1997-11-12
SILCS -- Specification In Logic of Concurrent Systems
1996-05-07
David Gilbert
Nuclear Magnetic Resonance
1998-11-30
J. A. Jones
V&V Within Reuse-Based Software Engineering
1998-03-16
Edward A. Addy
A Slowest-Random Algorithm for a Partial Contour Similarity Problem
1996-07-09
Interactive viewing of 3D terrain models using VRML
1998-08-04
WATCHMAN: A Data Warehouse Intelligent Cache Manager
1970-01-01
Fast Algorithms for One-Dimensional Compaction with Jog Insertion
1997-07-23
Dynamic modeling and its robotic applications The RobotPhi system
1998-04-09
A New Means of Ensuring Termination of Deforestation
1996-12-05
Morten Heine Sųrensen
Artificial Intelligence Techniques in the Interface to a Digital Video Library
1997-01-03
Reconstruction of Paradigm Shifts
1999-02-15
Stochastic Rendering of Density Fields
1994-05-24
Jos Stam
The Volume of the GPS Ambiguity Search Space and its Relevance for Integer Ambiguity Resolution
1998-06-03
Using Rules to support Case-Based Reasoning for harmonizing melodies
1998-09-03
Algorithmic Knowledge
1996-10-10
A Graph Theoretic Approach to Feed-Through Pin Assignment
1995-10-28
On The Origins Of Speech Intelligibility In The Real World
1998-01-22
Steven Greenberg
The Relation Between Systems And Associated Bundles
1998-12-03
Peter W. Michor
Constrained Square-Center Problems
1998-02-11
From SPA models to programs
1998-04-21
Foundations for the Implementation of Higher-Order Subtyping
1997-10-23
Karl Craryy
In Proceedings of the 1993 Connectionist Models Summer School, M. Mozer, P. Smolensky, D. Touretzky, J. Elman, and A. Weigend, eds., Lawrence Erlbaum Associates, pp. 11-19, 1994
1994-08-29
Towards A Global Convergence Theory For Newton's Method
1998-06-01
Michael Drexler
On The Minimal Distance Between Group Tables
1997-06-23
Sophie Frisch
Cohomological Bousfield Classes
1994-06-08
Mark Hovey
Negative Subgoals with Free Variables
1997-01-15
Matthew L. Ginsberg
Concurrent Object-Oriented Languages
1996-01-26
Sugath Warnakulasuriya
A Historical Application Profiler for Use by Parallel Schedulers
1996-11-29
Richard Gibbons
DEPEND - Distance Education for People with Different Needs
1999-04-07
Scaling above the upper critical dimension in Ising Models
1996-04-29
Intelligent Agents in Software Reuse Repositories
1995-10-26
Proving Correctness for Balancing Networks
1999-02-15
Morphological Analysis as Classification: an Inductive-Learning Approach
1970-01-01
There are 526,915,620 nonisomorphic one-factorizations of K 12
1996-04-14
A Formalization of the Proof-Carrying Code Architecture in a Linear Logical Framework
1999-04-16
PAUL: a software engineering approach to a problem in combinatorial design
1996-05-21
Adaptive Write Detection in Home-Based Software DSMs
1999-04-24
Self-Stabilization of Wait-Free Shared Memory Objects
1996-06-12
Jaap-henk Hoepman
Composition of Interstellar Clouds in the Disk and Halo IV. HD 215733
1996-10-01
Interior Point Methods In Semidefinite Programming With Applications To Combinatorial Optimization
1999-01-11
Farid Alizadeh
An Astronomer's Guide to On-line Bibliographic Databases and Information Services
1994-02-21
A. C. Davenhall
Layout-independent Fisheye Views of Nested Graphs
1993-06-02
Emanuel G. Noik
Blind Identification Of Mixed-Phase Fir Systems With Application To Mobile Communication Channels
1997-06-03
Reformulations Of A Bicriterion Equilibrium Model
1999-01-14
A Lexicon for Underspecified Semantic Tagging
1997-02-18
Paul Buitelaar
N-ary Speculative Computation of Simulated Annealing on the AP1000 Massively Parallel Multiprocessor
1996-03-13
Andrew Sohn
Informatics as Cultural Development Case Studies from the Social History of Information Technology
1997-02-26
The Duration of Deliberation
1995-07-11
Fuzzy Array Dataflow Analysis
1996-03-14
Parallelization of WHAMS3D on Two Shared-Memory Multiprocessors
1994-04-22
Curbing Junk E-Mail via Secure Classification
1998-02-20
A Parallel Implementation of Tight--binding Molecular Dynamics based on Reordering of Atoms and the Lanczos Eigen-solver
1995-12-13
Coverings and Integrability of the Gauss-Mainardi-Codazzi Equations
1970-01-01
Multimedia Data Analysis using ImageTcl Extended version
1970-01-01
Is the Chiral Model equivalent to Wess-Zumino-Witten Model when coupled with Gravity?
1998-05-25
Computing Roots of Graphs is Hard
1995-08-10
Rajeev Motwani
RTCAST: Lightweight Multicast for Real-Time Process Groups
1970-01-01
An Agent System for Intelligent Situation Assessment
1998-09-10
A Search Space Analysis of the Job Shop Scheduling Problem
1997-07-31
Dirk C. Mattfeld
Automatic Prefetching in a WAN
1995-10-26
James Griffioen
ECLiPSe 3.5 User Manual
1997-09-19
Short Times Characterisations of Stochasticity in Nonintegrable Galactic Potentials
1998-05-12
ISI Reprint Series ISI/RS--92--293 July 1992
1996-04-04
Multiagents and Pollutant Monitoring
1998-11-29
Programming Spatial Databases: A Deductive Object-Oriented Approach
1996-01-18
Prepositional Phrase Attachment through a Backed-Off Model
1997-08-13
Approximately Matching Context-Free Languages
1970-01-01
Gene Myers
Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems
1997-09-17
A Recognition Network Model-Based Approach to Dynamic Image Understanding
1997-05-30
Performance Analysis and Admission Control in Multimedia Communication Networks
1998-09-07
Ioannis Ch. Paschalidis
Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall Extended Abstract
1996-12-03
Divide and Conquer in Network Management Using Event-Driven Network Area Agents
1996-07-01
R. Kooijman
A Guide to UNICOM, an Inductive Theorem Prover Based on Rewriting and Completion Techniques
1998-04-02
On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs
1998-07-12
Roberto Bagnara
Reflective ORBs: Supporting Robust, Time-critical Distribution
1997-12-19
A Framework for Database Mining
1998-02-15
Comparison of GEANT hadronic physics packages
1996-10-05
On the Solution of Linear Algebraic Equations Involving Interval Coefficients
1997-04-22
Some Untractable Classes of Constraint Networks
1996-02-22
Christian Bessiere
Evaluating Server-Assisted Cache Replacement in the Web
1999-03-05
A Continuous Media Player
1996-03-20
A Fast Hybrid Color Segmentation Method
1997-11-20
Minimal Logic Re-Synthesis For Engineering Change
1999-01-05
An Empirical Investigation of Program Spectra
1998-03-26
Compiler-Directed Early Load-Address Generation
1998-09-24
, Come From Studies of
1996-07-23
Dean Karlen
Empirical Evaluation of the CRAY-T3D: A Compiler Perspective
1996-10-28
The Implementation of Newsqueak
1994-04-09
Rob Pike
Multi-spectral Based Cell Segmentation and Analysis
1998-08-06
Implementation of an Automatic Semi-fluid Motion AnalysisAlgorithm on a Massively Parallel Computer
1997-07-19
Viewing Objects as Patterns of Communicating Agents
1993-07-03
Michael Papathomas
Seer: Predictive File Hoarding for Disconnected Mobile Operation
1997-05-27
Specification and Coordination of Long-Running Design Activities for CAD Environments
1998-01-14
A Map Editing Kernel Implementation: Application to Multiple Scale Display
1993-07-16
Michel Scholl
Binding Time Analysis for Bits
1998-05-26
Eylon Caspi
Recognising Rotationally Symmetric Surfaces From Their Outlines
1998-02-10
Temporal Difference Learning in Continuous Time and Space
1996-09-30
Kenji Doya
New Techniques for Regulating TCP Flow over Heterogeneous Networks
1998-08-15
Kai-yeung Siu
Concurrent Constraint Logic Programming on Massively Parallel SIMD Computers
1993-07-23
Miles of Tiles
1997-04-26
Charles Radin
Typed Closure Conversion
1998-09-23
On the Use of the Constructive Omega-Rule within Automated Deduction
1998-04-26
A Note on the Characterization of the Global Maxima of a Tangentially Convex Function Over a Convex Set
1996-06-23
Yuri S. Ledyaev
Towards the semantics of the definitional language of MetaSoft
1996-05-20
Open Transmission and Spot Markets for Power
1997-08-13
Implications Of A Higgs Discovery At Lep
1998-05-25
Towards Scalable Compositional Analysis
1994-09-16
BER-Based Call Admission in Wavelength-Routed Optical Networks
1998-03-24
Efficient Spatio-Temporal Decomposition For Perceptual Processing Of Video Sequences
1996-06-06
Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection
1999-01-28
Design Aspects Of Calibration Studies In Nutrition, With Analysis Of Missing Data In Linear Measurement Error Models
1970-01-01
Parallel Sorting Algorithms for Declustered Data
1996-09-30
E. Schikuta
Navigational Plans For Data Integration
1999-01-24
Origins of Internet Routing Instability
1999-01-18
George Justo S C Winter
1998-04-25
Columbia Object Image Library COIL-20
1996-02-27
Process Modelling: a critical analysis
1993-07-06
Bicron fibers: choice of the UVA concentration for the Barrel Module 0
1999-03-23
Data and Task Alignment in Distributed Memory Architectures
1994-07-25
Rock `n' Roll: Using VRML 2.0 for Visualisation
1997-08-12
Jeremy Walton
Two-Dimensional Orthogonal Wavelets With Vanishing Moments
1995-08-07
Analyzing CASE Impact
1995-08-22
Tilmann Bruckhaus
Term Rewriting as Interaction Nets Plus Hyperedge Replacement
1999-02-08
Markus Lohrey
Precision Measurement Of The Inclusive Deep Inelastic
1998-10-28
M. Klein
The LIMSI 1997 Hub-4E Transcription System
1998-07-08
On Non-Preemptive Scheduling of Periodic and Sporadic Tasks
1998-02-25
Performance Tradeoffs for Client-Server Query Processing
1996-03-06
D. J. Benford, J. W. Kooi and E. Serabyn
1998-12-04
A Correspondence for the Generalized Hecke Algebra of the Metaplectic Cover
1998-10-21
Probabilistic Indexing: A New Method of Indexing 3D Model Data from 2D Image Data
1997-09-12
Clark F. Olson
Deriving Logic Programs From Observations
1996-05-07
Management of Configurable Protocols for Multimedia Applications
1995-02-16
Formal Logic and Self-Expression
1995-03-10
F. Kenton Musgrave
How to Juggle Discourse Obligations
1997-06-16
A Distributed Algorithm Solving CSPs with a Low Communication Cost
1996-07-12
Nicolas Prcovic
The ZPG Letter: Subjects, Definiteness, and Information-status
1996-02-07
Ellen F. Prince
LATEX 2e font selection
1998-06-30
X Font Selection Copyright
An Extended Volume Visualization System for Arbitrary Parallel Projection
1997-08-01
A Market Framework for Pooling Opinions
1998-11-30
Tree-Visibility Orders
1997-04-24
Quantitative Analysis of Vector Code
1997-05-27
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints
1998-02-25
On The Propagation Properties Of Surface Waves
1997-04-26
Analyzing Failure Recovery to Improve Planner Design
1994-08-22
Adele E. Howe
Convexity, Lipschitz property and differentiability in two-stage stochastic nonlinear programming problems
1997-06-06
Design Patterns in Python
1997-11-03
Vespe Savikko
Live, Audio-Visual Communication Systems for Distance Learning: Experience, Heuristics and ISDN
1993-05-09
SUAVE: Object-Oriented and Genericity Extensions to VHDL for High-Level Modeling
1998-08-28
The Naive Execution of Affine Recurrence Equations
1995-09-09
Sanjay Rajopadhye
Cache Interference Phenomena
1994-04-20
Automatic Synchronization Elimination in Synchronous FORALLs
1998-03-16
Ernst A. Heinz
Integrating Simulation And Animation Approaches For Autonomous Articulated Bodies
1993-05-05
Rule Based Generation of . . .
1996-11-26
Parallel Implementation of Functional Languages Using Small Processes
1995-05-31
John Glauert
Document Processing Group
1996-03-18
Reinforcement Learning Predicts the Site of Plasticity for Auditory Remapping in the Barn Owl
1997-05-05
The Accuracy Of Floating Point Summations For Cg-Like Methods
1997-07-03
Etsuko Mizukami
A Multizone Adaptive Grid Generation Technique for Simulation of Moving and Free Boundary Problems
1998-07-28
Proc. Workshop on Strategies in Automated Deduction
1998-09-29
An Implementation of the Lattice and Spectral Tests for Multiple Recursive Linear Random Number Generators
1996-08-27
Raymond Couture
Higher Order Numerical Schemes for Paraxial Approximations of the Wave Equation
1998-03-06
Secure Frameproof Codes, Key Distribution Patterns, Group Testing Algorithms and Related Structures
1998-07-30
Issues In Design And Implementation Of Simulation Systems
1996-07-09
Using Speculation to Reduce Server Load and Service Time on the WWW
1995-04-28
Azer Bestavros
VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems
1997-01-08
Extraction of Data Dependencies
1970-01-01
A User-Guide to Archi - An Explicit Runge-Kutta Code for Solving Delay and Neutral Differential Equations
1996-05-10
Hierarchical Motion Planning Using a Spatial Index
1997-09-15
Principle-Based Structured Concept Generation. A contribution to knowledge-based document indexing
1998-11-19
Incremental Evaluators for Ordered Macro Attribute Grammars
1999-01-20
Two-Phase Multicast Routing Algorithms for Two-Dimensional Meshes
1996-12-09
Efficient Cooperative Caching using Hints
1996-11-07
Coordinated Checkpointing-Rollback Error Recovery for Distributed Shared Memory Multicomputers
1999-03-21
System Structuring: A Convergence of Theory and Practice?
1994-11-10
Variable Granularity Cache Coherence
1995-07-13
Planning to Gather Information
1996-04-28
July 19, 1993
1995-01-27
The Consensus Hierarchy is not Robust
1997-07-25
Eric Schenk
The Moment Problem and Maximum Entropy: Numerical Investigation
1994-07-18
Efficient Parallel Solutions of Indexed Recurrences with Linear Combinations
1998-04-05
Interprocedural Register Allocation for Lazy Functional Languages
1996-10-29
Urban Boquist
Efficient Broadcasting Procedures for Constrained Reconfigurable Meshes
1996-11-07
Objects, Activities and Communication
1996-03-05
Frank Schubert
Time Regularity for the System of Isentropic Gas Dynamics With Gamma=3
1998-01-09
Alexis Vasseur
Automatic Classification of Bacteria Culture Images
1998-06-15
Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms
1994-10-24
Hutchins86 E. Hutchins, J. Hollan, D. Norman, "Direct Manipulation Interfaces",
1970-01-01
The Distribution of Cycle Lengths in Graphical Models for Iterative Decoding
1999-03-26
Practical Stability for Systems Depending on a Small Parameter
1998-12-22
Extending a Library for Geometric Computation to Provide Network Services: A Case Study
1995-10-30
Challenges in Engineering Distributed Shipboard Control Systems
1996-11-26
Object-Scalable Dynamic Coding Of Visual Information
1998-08-06
An aperiodic set of Wang cubes
1997-09-15
Considerations for an Organizational Memory for Software Development
1996-04-16
Tractable Planning for an Assembly Line
1996-09-27
Dynamic Environmental Modeling By The C-Tree
1997-09-15
How violent are fast controls?, II
1997-01-18
Asymptotic Distribution Of Quadratic Forms I
1997-01-21
A. N. Tikhomirov
Relationships between Dynamic Objects
1999-03-25
Matematiqki Vesnik
1970-01-01
The Concept of Visual Classes for Object Classification
1998-06-15
Weighting Hidden Markov Models For Maximum Discrimination
1998-05-08
Mage: Additions To The Age Algorithm For Learning In Multi-Agent Systems
1998-06-18
On the Interpretation of Anaphoric Noun Phrases: Towards a Full Understanding of Partial Matches
1999-02-02
On Metastability in Supersymmetric Models
1998-03-05
Filter design via inner-outer factorization: Comments on "Optimal deconvolution filter design based on orthogonal principle"
1996-05-07
Using Standard ML in Software Maintenance: A Promising Approach
1999-02-18
On Decomposability Of Nambu--Poisson Tensor
1996-08-15
Resource-Bounded Kolmogorov Complexity Revisited
1996-08-30
Structural Cut Elimination
1995-03-23
Frank Pfenning
Determinant representation for dynamical correlation functions of the Quantum nonlinear Schrödinger equation.
1997-04-26
Onthe Limitations of Bubble Functions
1997-10-17
Measurement-Based Guidance of Software Projects Using Explicit Project Plans
1994-09-16
Inferring Reduced Ordered Decision Graphs of Minimal Description Length
1995-02-22
Continuation-Passing, Closure-Passing Style
1994-03-11
Trevor Jim
A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems
1996-11-11
Dimensions of Software Evolution
1998-09-09
Dewayne E. Perry
Storage Alternatives for Mobile Computers
1996-01-29
Efficiently Supporting Hard/Soft Deadline Transactions in Real-Time Database Systems
1998-05-28
The K-Property of Hamiltonian Systems with Restricted Hard Ball Interactions
1997-04-26
S. Rouhani M. Vesali
1996-10-05
Connections between the Algebraic Riccati Equation and the Hamiltonian for Riesz-Spectral Systems
1998-03-17
Allocating Fixed Costs and Resources Via Data Envelopment Analysis
1998-01-20
J. E. Beasley
3D Reconstruction of Environments for Virtual Collaboration
1999-03-03
Occlusions, Discontinuities, and Epipolar Lines in Stereo
1998-04-25
Selective Culling of Discontinuity Lines
1998-03-10
Multi-Way Partitioning Via Geometric Embeddings, Orderings, and Dynamic Programming
1995-08-01
W. Scott ReillyJoseph Bates June 1995
1995-06-16
: A Framework for Automatic Construction of Performance Prediction Models
1998-10-01
On The Rate Of Normal Approximation In D0,1
1999-04-21
M. Bloznelis
Distributed Constraint Satisfaction for Formalizing Distributed Problem Solving
1995-12-05
Quantum-inspired Neural Networks
1998-12-20
Multi-class problems and discretization in ICL Extended
1996-07-09
Orthogonal Polynomials And Linear Functionals Of Second Degree
1997-06-06
ACO Algorithms for the Quadratic Assignment Problem
1999-03-17
Thomas Stutzle
Learning Organizational Roles in a Heterogeneous Multi-agent System
1996-08-27
Do T Tauri stars rotate differentially?
1997-05-14
Fail-stop Signatures; Principles and Applications
1996-09-20
Birgit Pfitzmann
Unconditional Byzantine Agreement for any Number of Faulty Processors
1996-09-20
Logic Programs with External Procedures
1994-08-25
The "Art of Trellis Decoding" is Computationally Hard - for Large Fields
1998-09-17
Guarded Evaluation: Pushing Power Management to Logic Synthesis/Design
1995-04-03
Serverless Network File Systems
1998-01-21
GRADE: Gibbs Reaction And Diffusion Equation
1999-02-12
Counting on Frank: Postmortem of an Edutainment Product
1997-10-14
Best-Case Results for Nearest Neighbor Learning
1995-12-05
Behavior Cooperation Based On Markers And Weighted Signals
1996-05-01
Modeling Distributed Search via Social Insects
1998-08-03
Thomas Haynes
Equivariant Cohomology Of Loop Space And Frobenius Deformations Of De Rham Cohomology
1998-11-19
Jian Zhou
3D Computational Steering with Parametrized Geometric Objects
1996-04-02
Recognizing Hand Gestures Using Motion Trajectories
1998-12-03
Making Templates Rotationally Invariant: An Application to Rotated Digit . . .
1999-01-06
Shumeet Baluja
An SGML-based URC Service
1995-06-23
Terry Allen
The Manutec r3 Benchmark Models for the Dynamic Simulation of Robots
1997-03-12
Controllability of Pushing
1996-02-01
Rationale-Supported Mixed-Initiative Case-Based Planning
1997-04-03
Implicitly Parallel Real-Time Signal Processing
1998-01-26
A Functional Implementation of the Jacobi Eigen-Solver
1996-05-18
An Extended Weak Isomorphism for Model Simplification extended
1997-06-16
Graham Clark
Effective Models of Polymorphism, Subtyping and Recursion Extended Abstract
1999-02-05
John Mitchell
AL and an application program known as an
1995-04-12
New Baryons in the
1997-09-04
Learning Rules with Local Exceptions
1995-02-08
Bisimulation, Model Checking and Other Games
1997-06-26
Colin Stirling
On First Order Information Exchange
1997-05-22
Paul Dekker
On The Principle Of Maximum Entropy On The Mean As A Methodology For The Regularization Of Inverse Problems
1998-12-09
Pierre Mar Echal
The BATmobile: Towards a Bayesian Automated Taxi
1995-05-30
Spin Networks and Recoupling in Loop Quantum Gravity
1998-12-19
Roberto De Pietri
Achieving Middleware Customization in a Configuration-Based Development Environment: Experience with the Aster Prototype
1998-03-30
The Changing Nature of Network Traffic: Scaling Phenomena
1998-11-13
Efficient Dynamics Modeling for VRML and Java
1998-01-24
Multiple Interactions in Two--Photon Collisions
1998-05-22
Manuel Drees
Dynamics: A Probabilistic and Geometric Perspective
1999-03-15
Marcelo Viana
Size and Reflection Effects in Priming: A Test of Transfer Appropriate Processing
1997-06-23
Kavitha Srinivas
Double-Checked Locking - An Object Behavioral Pattern for Initializing and Accessing Thread-safe Objects Efficiently
1996-08-14
Computing Roadmaps of Semi-algebraic Sets Extended Abstract
1996-03-21
A uniform test derivation method for Estelle, LOTOS and SDL
1995-02-20
line as a chromospheric diagnostic for M dwarfs
1997-02-11
The Hutlets - a biorthogonal wavelet family and their high speed implementation with RNS, multiplier-free, perfect reconstruction QMF
1997-01-27
Simulation Based Performance Analysis in Design/CPN
1998-06-18
Lisa Wells
Matters Of Gravity
1995-04-21
Monitoring User Actions in the Hypertext System "HyperMan"
1997-03-14
Mapping Constraint Satisfaction Problems to Algorithms and Heuristics
1996-09-26
Optimum Kinematic Design for a Seven Degree of Freedom Manipulator
1998-07-10
John M. Hollerbach
Some Learning Models of Visual System Based on Local Sensory Signals Integration Learning
1995-08-07
Distributional Asymptotic Expansions of Spectral Functions and of the Associated Green Kernels
1997-10-21
Extending Temporal Actiom Logic for Ramification and Concurrency
1998-11-24
Joakim Gustafsson Link
Conditional and Relative Multifractal Spectra
1998-02-09
Continuous And Discrete-Time Nonlinear Gradient Descent: Relative Loss Bounds and Convergence
1997-12-15
Optimal Synthesis of Processor Arrays with Pipelined Arithmetic Units
1994-03-09
Relevance Cuts: Localizing the Search
1998-10-02
Accuracy in 3D Particle Tracing
1998-05-20
This Page Intentionally Left Blank.
1970-01-01
Generalized Notions of Mind Change Complexity
1998-08-12
The intrinsic Ly alpha to H alpha ratio in M dwarf stars
1996-09-18
Controlled Precision Volume Integration
1995-12-31
A Look at Function Symbols and Planning
1996-12-22
Eric Jacopin
Entropy Regular Sets
1999-01-21
Avoiding Contention between Reads and Writes Using Dynamic Versioning
1994-03-10
Linearly Independent Divisors On Complex Manifolds
1997-03-17
Zbigniew Jelonek
The Continuum Limit of
1998-05-12
C. R. Allton
Simplifying Control Flow in Compiler-Generated Parallel Code
1997-07-15
Numerical conformal mapping using cross-ratios and Delaunay triangulation
1996-02-14
Orientation Radiograms for Image Retrieval: An Alternative to Segmentation
1998-02-13
The Jet Model for Sgr A*
1999-01-27
H. Falcke
Generating Hard Instances of Lattice Problems Extended Abstract
1996-01-30
M. Ajtai
Keyword Training Using A Single Spoken Example For Applications In Audio Document Retrieval
1995-04-28
Some Lower-Bound Results on Interval Routing in Planar Graphs
1997-04-18
Information States, Attitudes and Dialogue
1998-05-19
Robin Cooper
On the Declarative and Procedural Semantics of Logic Programs
1996-05-24
Teodor C. Przymusinski
Finite Geometry for a Generation
1996-06-04
William M. Kantor
Atomic Resource Sharing in Noncooperative Networks
1997-03-30
Optimized contour-based segmentation of 3D medical data using genetic algorithms
1996-02-12
The Ins and Outs of Reason Maintenance
1994-07-11
Jon Doyle
SINERGY: A Linear Planner Based on Genetic Programming
1997-08-30
Ion Muslea
Dense Depth Maps from Epipolar Images
1997-05-24
An Infeasible Start Predictor Corrector Method for Semi-definite Linear Programming
1996-01-30
The Computational Co-op: Gathering Clusters into a Metacomputer
1999-01-28
Integrating DFM with CAD through Design Critiquing
1998-09-05
Towards Operational Measures of Computer Security
1995-08-08
SRB measures for partially hyperbolic systems whose central direction is mostly expanding
1999-03-15
The Multiple Description Rate Region at High Resolution
1998-05-20
Consequences of Melt Transport for Uranium Series Disequilibrium in Young Lavas
1996-10-06
A Calculus Of Broadcasting Systems
1994-04-07
K. V. S. Prasad
Randomized Algorithms For The Separation Of Point Sets And For Solving Quadratic Programs
1995-04-19
N. D. Botkin
Search For A New Gauge Boson In
1998-04-06
Resource-Efficient Policies for Information Transfer in a Mobile Environment
1999-01-19
Synthesis of Sigma-Pi Neural Networks by the Breeder Genetic Programming
1995-01-23
Exploring Scalable Schedules for IIR Filters with Resource Constraints
1996-06-05
Methods For Large Scale Total Least Squares Problems
1999-04-13
Implicit Methods For Timed Circuit Synthesis
1998-08-03
Data Management in Control Applications - A Proposal Based on Active Database Systems
1996-11-12
Network Properties Of Double And Triple Fixed Step Graphs
1998-11-02
A Conceptual Basis for Feature Engineering
1998-12-30
Feng Shui for Standard ML Programmers
1998-08-12
Stephen Gilmore
An Open Architecture for Secure Interworking Services
1996-07-12
Multicast Extensions to OSPF
1993-01-29
Reactor: An Object Behavioral Pattern for Concurrent Event Demultiplexing and Event Handler Dispatching
1997-03-06
Douglas C. Schmidt
On The Point Limit Of The Pauli--Fierz Model
1997-04-07
Interaction Diagrams
1993-11-16
Joachim Parrow
Formal Verification of Security Properties of Privacy Enhanced Mail
1999-01-29
Beyond SGML
1998-01-10
Roger Price
Programming and Interface Specification Language of JIVE - Specification and Design Rationale
1997-12-05
A Note On Matrix Refinement Equations
1997-09-15
Thomas A. Hogan
Nomadic Computing - An Opportunity
1998-08-20
Leonard Kleinrock
Making Views Self-Maintainable for Data Warehousing
1999-02-05
An Implementation of Distributed Mathematical Services
1998-05-08
Tango Lite: A Multiprocessor Simulation Environment
1995-04-21
Experiments In Information Retrieval From Spoken Documents
1998-04-10
Exploring Annotated 3D Environments on the World-Wide Web
1996-03-04
Enrico Gobbetti
Demosaicing: Image Reconstruction from Color CCD Samples
1998-03-17
Ron Kimmel
Nested Krylov Methods And Preserving The Orthogonality
1995-06-13
Partial Evaluation for Software Engineering
1998-01-15
Towards Synchronous and Asynchronous Graph Transformations
1995-12-04
Gabriele Taentzer
Evaluation of a Fast Activation Mechanism for the Kanerva SDM Memory
1995-12-19
Roland Karlsson
An Extended Two-Phase Method for Accessing Sections of Out-of-Core Arrays
1996-12-10
Placement of Objects in Parallel Object-Based Systems
1998-12-19
Kronecker Product and SVD Approximations for Separable Spatially Variant Blurs
1970-01-01
Deformable B-Solids and Implicit Snakes for Localization and Tracking of SPAMM MRI-Data
1996-04-28
Small denominators and anomalous behaviour in the uncommensurate Hubbard-Holstein model
1997-12-29
V. Mastropietro
Satisfiability Coding Lemma
1998-10-01
Stability of Perpetuities
1997-08-19
Recovery Options in Directory Based Software Coherency Schemes
1997-09-12
Parallel versus Sequential Task-Processing: A New Performance Model in Discrete Time
1998-12-15
Dynamics, Computation, and the "Edge of Chaos": A Re-Examination
1994-09-28
Interactive Computerized Health Care Education
1998-08-17
Self-Similarity and Heavy Tails: Structural Modeling of Network Traffic
1998-10-08
Rewrite Systems
1995-01-27
PipeRench: A Coprocessor for Streaming Multimedia Acceleration
1999-03-02
SUN Elastic Rescattering in B and D Decays .
1998-08-28
Christopher Smith
Language Acquisition in the Absence of Explicit Negative Evidence: How Important is Starting Small?
1999-01-25
A General Framework for Iterative Aggregation/Disaggregation Methods
1996-08-09
A Simulation Substrate for Real- Time Planning
1997-07-30
Scott D. Anderson
A Hybrid Approach To Global Optimization Using A Clustering Algorithm In A Genetic Search Framework
1996-02-15
Threshold Effects in Open-String Theory
1998-05-14
C. Bachas
Learning Curves of Faithful versus Unfaithful Neural Network Models
1996-05-19
RN Random Numbers
1998-05-30
33 Examples of Termination
1994-09-30
Nachum Dershowitz
Integrating Planning and Execution for Information Gathering
1995-01-28
Craig A. Knoblock
Non-linear Data Structure Extraction using Simple Hebbian Networks
1995-04-06
Colin Fyfe
On Partitioning Dynamic Adaptive Grid Hierarchies
1995-10-05
A comparison of Q-learning and Classifier Systems
1999-03-17
Marco Dorigo
Reimplementing the Synthesis Kernel on the Sony NeWS Workstation
1970-01-01
Implementation Issues in the Fourier Transform Algorithm
1996-01-28
Contrary-to-Duty Obligations
1998-10-08
About some relationships between configuration management, software process and cooperative work: the COO Environment
1995-07-11
Esstin-nancy I **iut-a Nancy Ii
Reachability Verification for Hybrid Automata
1998-09-28
Thomas A. Henzinger
Integrated QOS management for disk I/O
1999-03-03
DRACO: An Expert Assistant for Data Reduction and Analysis
1995-07-24
Application Of Esop Minimization In Machine Learning AndKnowledge Discovery
1999-03-20
Identification of System Behaviours by Approximation of Time Series Data
1997-05-15
Asymptotic Relations Among Fourier Coefficients Of Real-Analytic Eisenstein Series
1999-01-29
Alvaro Alvarez-parrilla
Chebyshev Series Approximations for the Bessel Function Y n z of Complex Argument
1997-10-22
Server Selection using Dynamic Path Characterization in Wide-Area Networks
1998-12-11
The Application of Machine Learning Techniques to Time-Series Data
1995-11-24
On the Efficiency of Polynomial Time Approximation Schemes
1997-10-04
Compiler Algorithms for Event Variable Synchronization
1996-05-13
Zhiyuan Li
Analysis of Dual-Link Networks for Real-Time Applications
1996-06-12
A Metaobject Protocol for C++
1996-07-09
Shigeru Chiba
New Results on Fault Tolerant Geometric Spanners
1999-05-04
Tamas Lukovszki
Asteroseismological analysis of five delta Scuti stars in the open cluster NGC 6134
1996-03-04
Indexing for String Queries using Generalized Search Trees
1997-05-16
Prototype of the National High-Performance Software Exchange
1995-02-12
An Efficient Micropayment System Based on Probabilistic Polling
1997-03-07
Andrew Odlyzko
Garbage Collection and DSM Consistency
1996-11-18
Confidence Estimation in History Matched Models
1997-11-12
A Lyapunov function for tridiagonal competitive-cooperative systems
1998-04-29
Improved Behaviour of Tries by Adaptive Branching
1999-01-27
Trim and Fill: A Simple Funnel Plot Based Method of Testing and Adjusting for Publication Bias in Meta-analysis
1998-09-24
Fixpoint 3-Valued Semantics for Autoepistemic Logic
1998-03-20
A Scale-Vector Approach For Edge Detection
1996-02-07
GRADED DERIVATIONS OF THE ALGEBRA OF DIFFERENTIAL FORMS ASSOCIATED with a Connection
1999-01-21
Peter W. Michor
A Framework for Statistical Modeling of Superscalar Processor Performance
1998-09-07
Parallelisation of the SDEM Distinct Element Stress Analysis Code on the KSR-1
1994-08-16
A Java-based distributed platform for multilateral security
1999-03-16
Cue Phrase Classification Using Machine Learning
1996-09-17
Diane J. Litman
Coordinating Foreign Modules with a Parallelizing Compiler
1997-06-26
OptimalInvestment Facing Possible Accidents
1998-03-09
A Parallel Ring Ordering Algorithm for Efficient One-sided Jacobi SVD Computations
1970-01-01
Hamiltonians on Random Walk Trajectories Pablo A. Ferrari
1997-09-01
Pablo A. Ferrari
Transfer of Learning Across Compositions of Sequential Tasks
1996-09-05
Satinder P. Singh
An OO Encapsulation of Lightweight OS Concurrency Mechanisms in the ACE Toolkit
1996-08-14
Douglas C. Schmidt
DATAMAN project: Towards a Mosaic-like LocationDependant Information Service for Mobile Clients
1995-02-02
High-Concurrency Locking in R-Trees
1995-06-04
Physically-based Modeling for Graphics and Vision
1995-02-09
Client Server Computing on Message Passing Systems: Experiences with PVM-RPC
1998-07-22
Centering in-the-Large: Computing Referential Discourse Segments
1997-04-29
Addressing User Misconceptions within a Goal-oriented, Turn-taking Framework in Dialogue
1997-10-03
Cross-Address Space Dynamic Linking
1995-03-03
Transparent Result Caching
1998-06-23
Distinguishing Genotype and Phenotype in Genetic Programming
1996-06-17
A New Client-Server Architecture for Distributed Query Processing
1994-09-07
A Topologically Distributed Encoding to Facilitate Learning
1996-02-02
The Gluon Propagator in non--Abelian Weizsacker--Williams Fields
1998-05-15
Hypertext Transfer Protocol - HTTP/1.0
1970-01-01
Clitics and the Structure-Function Mapping
1998-10-07
Louisa Sadler
Finite order invariants of framed knots in a solid torus and in Arnold's J+-theory of plane curves
1996-07-08
V. Goryunov
Evolving Obstacle Avoidance Behavior in a Robot Arm
1997-10-29
A Design Life-Cycle for the Formal Design of User Interfaces
1998-02-27
An Improved Incomplete Cholesky Factorization
1992-09-16
H-Deformation As A Contraction Of
1996-10-05
An Efficient Anytime Algorithm For Multiple-Component Bid Selection in Automated Contracting
1998-12-29
Communication Performance OPTIMISATION REQUIRES MINIMISING VARIANCE
1997-12-02
Permissive Subsorted Partial Logic in CASL
1997-09-07
Cost-Based Optimization for Magic: Algebra and Implementation
1996-03-15
Experiments in Theorem Proving and Model Checking for Protocol Verification
1996-06-20
Klaus Havelund
Fast Approximate Fourier Transform via Wavelets Transform
1997-02-05
Statistical Inference For A Computational Model Of Cognition
1998-06-22
A Multithreaded-Based Methodology to Solve Irregular Problems
1996-03-14
Joint Angle-Frequency Estimation Using Multi-Resolution Esprit
1998-02-13
Aweke N. Lemma
Tight Performance Bounds on Greedy Policies Based on Imperfect Value Functions
1997-07-04
Approach to Equilibrium of Glauber Dynamics In the One Phase Region. II: The General Case
1997-04-26
Evaluation of Regular Nonlinear Recursions by Deductive Database Techniques
1970-01-01
Jiawei Han
Time Issues in Active Database Systems
1995-12-07
A Characterization of GSAT's Performance on a Class of Hard Structured Problems
1998-12-01
An Optimal d-1-Fault-Tolerant Broadcasting Scheme for d-Dimensional Hypercubes
1998-08-03
Siu-cheung Chau
Feasible Functions
1998-10-25
Yuri Gurevich
Belief Revision in a Multi-Agent environment Recoverability vs. Priority to the Incoming Information
1998-05-10
Direct Least Squares Fitting of Ellipses
1998-04-26
Multilinear Constraints in Two-dimensional Vision and Isogonal Conjugacy
1997-05-20
Kalle A
Krithi Ramamritham
1998-05-26
An Approach to Learning Mobile Robot Navigation
1998-09-29
Sebastian Thrun
From Best-Effort to Predictive Service based on Microsoft Internet Information Server
1998-05-07
Co-Scheduling Hardware and Software Pipelines
1996-04-03
POS Tagging Using Relaxation Labelling
1997-09-10
Departament Llenguatges
Intrinsic Interstellar Absorption in two Radio Galaxies at z=0.8
1998-05-12
Ambiguity and the Principle of Idiosyncratic Interpretation
1999-01-26
Kees Van Deemter
A Stop Criterion for the Boltzmann Machine Learning Algorithm
1997-10-15
Berthold Ruf
Analysis of Deterministic and Stochastic Petri Nets
1997-01-03
Refining the rules obtained by SLAVE
1996-12-18
Antonio Gonzalez
On RT-LOTOS and its application to the formal design of multimedia protocols
1997-10-16
Roberto C. De Oliveira
Evaluating Workflow and Process Automation in Wide-Area Software Development
1998-09-09
On Abelian Schemes
1997-01-20
Hannu Tarnanen
Agile Application-Aware Adaptation for Mobility
1997-12-29
About Arc-Consistency in Semiring-Based Constraint Problems
1998-01-26
Routing Issues In The Magic Testbed
1998-06-03
Formal Derivation of Divide-and-Conquer Programs: A Case Study in the Multidimensional FFT's
1997-03-23
A Goal-Based Approach to Intelligent Information Retrieval
1993-02-11
Replica Fourier Transforms on ultrametric trees, and block-diagonalizing multi-replica matrices.
1997-04-02
A Modified BFGS Method and Its Global Convergence in Nonconvex Minimization
1998-02-06
HyperChromatic trees: a fine-grained approach to distributed algorithms on RedBlack trees
1998-03-16
Evaluating Predictive Quality Models Derived from Software Measures: Lessons Learned
1996-02-04
From Euclidean Field Theory to Quantum Field Theory
1997-11-18
Dirk Schlingemann
Volume Visualization Methods for Scientific Computing
1994-07-15
On Coherence in Computer Algebra
1994-11-25
Andreas Weber
Accounting for Mobile Robot Dynamics in Sensor--Based Motion Planning: Experimental Results
1998-06-24
Algorithm for Determination of Module Structure of Predicted and/or Controlled Process
1998-01-12
Ludek Berec
ECHO: An Information Gathering Agent
1996-09-05
Pasting In Multiple Categories
1998-01-15
A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications
1998-03-09
Masahiro Yasugi
Do centrally-managed RSLs or RSLs that focus on specific application areas domain-spe...
1996-10-18
Diversity with cooperation in database schemata: Semantic relativism
1970-01-01
F. Saltor
Constraints as a Tool for Distributed Scheduling
1997-11-13
Mark Wallace
On Tractability of Path Integration
1996-05-20
Grzegorz W. Wasilkowski
Change Management in Heterogeneous Semistructured Databases Demonstration Description
1997-11-07
Interactive Error Repair for an Online Handwriting Interface
1998-04-26
Isoefficiency Function: A Scalability Metric for Parallel Algorithms and Architectures
1993-12-10
An Objective Reuse Metric: Model and Methodology
1997-10-28
Parallelization of the Multibody Simulation Package FEDEM
1995-03-03
Tuning Fuzzy Software Components With A Distributed Evolutionary Engine
1998-02-12
State in Functional Languages - An Annotated Bibliography
1995-11-13
Flat Wormholes From Straight Cosmic Strings
1998-05-24
Marie Curie
Believable Advice
1994-02-02
Jim Davis
Two Decentralized Algorithms for Strong Interaction Fairness for Systems with Unbounded Speed Variability
1998-07-24
Yuh-jzer Joung
Architecture and Implementation of a Distributed Multimedia Annotation Environment: Practical Experiences using Java
1998-03-26
Traffic Reshaping in Packet-Switched Virtual-Circuit Fixed-Packet Networks
1996-11-26
A Redundant Hierarchical Structure for a Distributed Continuous Media Server
1999-01-16
A Computational Description of Japanese Morphology
1997-06-27
Alan W Black
Portable Parallel Irregular Applications
1996-10-28
Computation, eds R. C. Milton and J. A. Nelder, pp. 427--440. New York: Academic Press. Loader, C. R. 1996 Local likelihood density estimation.
1998-09-28
The TUFF train scheduler - Two duration trip scheduling on multi directional track networks
1997-09-17
Initial Results from the CHOOZ Long Baseline Reactor Neutrino Oscillation Experiment
1997-11-17
ALAMODE: A Layered Architecture for Model Development
1995-08-23
Groups of Galaxies in the Las Campanas Redshift Survey
1997-10-31
Towards a New Concept of Software
1995-05-15
J Gerard Wolff
Reaction Fluid Dynamics
1997-04-07
Receiver-driven Bandwidth Adaptation for Light-weight Sessions
1999-01-23
Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings
1995-09-07
A Refinement of Ball's Theorem on Young Measures
1997-04-30
Norbert Hungerbuhler
The Larch Shared Language: Some Open Problems
1996-10-22
James J. Horning
Parallel Programming with Control Abstraction
1994-06-15
Domain Decomposition For A Non-Smooth Convex Minimization Problem And Its Application To Plasticity
1996-09-03
Carsten Carstensen
G. F'abi'an
1998-07-03
J. E. Rooda
DX module to calculate Eigenvalues and Eigenvectors of Second-Order, Symmetric Tensor Fields
1994-01-14
Extensions of Degree 6 with Minimum Discriminant
1997-07-09
Meaning Acquisition by Semiotic Agents: Semiotic Cognitive Information Processing in a language environment
1998-04-22
Burghard B. Rieger
Lag in Multiprocessor Virtual Reality
1994-09-26
Matthias M. Wloka
Extending an Object-Oriented Model: Multiple Class Objects
1997-08-18
Whole-Program Optimization for Time and Space Efficient Threads
1996-11-21
Parallel Preconditioning Based on h-Hierarchical Finite Elements with Application to Acoustics
1995-05-08
Reconsidering Fragmentation and Reassembly
1998-05-12
Modeling Diagnostic Constraints with AI-ESTATE
1997-04-14
Expressing Composite Events In Infosleuth
1998-12-10
Assumptions in Model-based Diagnosis
1997-02-04
Soft Computing: the Convergence of Emerging Reasoning Technologies
1997-12-02
Piero P. Bonissone
Context-Based Vision: Recognizing Objects Using Information From Both 2d And 3d Imagery
1994-08-02
Sigmetrics `96
1996-02-09
RANDOM WALK ON PERIODIC TREES Christiane Takacs
1997-01-17
Christiane Takacs
Efficient Generation of Subsets with a Given Sum
1997-12-01
Overview Of The Knowledge Base Management System kappa
1997-04-18
Minimizing the Condition Number of a Positive Definite Matrix By Completion
1993-12-10
Hierarchical Duration Modelling For Speech Recognition Using The Angie Framework
1997-05-16
Robert Felderman, Annette DeSchon, Danny Cohen
1994-10-13
Modelling and Experimental Investigation of Carangiform Locomotion for Control
1998-07-26
Bio-Machines
1996-04-18
Patricio Lerena
Charm Production and High Energy Atmospheric Muon and Neutrino Fluxes
1998-05-15
Ica Mixture Models For Unsupervised Classification And Automatic Context Switching
1998-09-22
Growing Grid - a self-organizing network with constant neighborhood range and adaptation strength
1998-11-20
Bernd Fritzke
Archetypal Source Code Searches: A Survey of Software Developers and Maintainers
1998-06-01
Using Visualization to Foster Object-Oriented Program Understanding
1994-07-16
Guide to the Multifiber Reduction Task DOFIBERS
1992-05-08
Francisco Valdes
Zen and the Art of the Internet
1994-09-29
Naming Conversion Rules Specifications Requirements
1997-07-07
Using Reflection as a Means of Achieving Cooperation
1997-05-09
ESPRIT Basic Research project Acclaim - Final Report
1996-08-08
Conceptual Analogy
1996-11-06
Katy Borner
Dynamic Load Balancing for the Simulation of Granular Materials
1995-10-04
Integer and fractional charge solitons in modulated strips in the fractional quantum Hall regime
1996-09-27
Z. Hermon
Protocol Mapping for a Bus-Based COMA Multiprocessor
1995-08-08
On the Exponential Map of Almost Simple Real Algebraic Groups
1996-02-07
Partitioning and Reordering Techniques for Static Test Sequence Compaction of Sequential Circuits
1998-12-08
Wavelet Approach To Accelerator Problems, III. Melnikov Functions And Symplectic Topology
1997-05-26
The Application Of Skewed-Associative Memories To Cache Only Memory Architectures
1995-08-21
How to Make Personalized Web Browsing Simple, Secure, and Anonymous
1997-07-06
Charm And Beauty In Particle Physics
1998-05-15
Jonathan L. Rosner
Complex Regions in TopologicalQueries
1997-08-06
Backward Symbolic Execution of Protocols
1998-07-04
Gerard J. Holzmann
An On-Line Algorithm for Checkpoint Placement
1996-09-09
On computational complexity of contextual languages Lucian Ilie
1996-05-27
Supersymmetric Toda field theories
1998-05-13
G. Papadopoulos
Constraint Satisfaction with Probabilistic Preferences on Variable Values
1999-02-02
Access as a Means of Configuring CooperativeInterfaces
1994-01-13
Extracting Comprehensible Concept Representations from Trained Neural Networks
1998-12-21
Chinese Reflexive Ziji in Second Language Acquisition
1996-04-03
Dongdong Chen
Unaccusativity in Polish
1998-03-22
Adam Bialy
Can Habit Formation be Reconciled with Business Cycle Facts?
1970-01-01
Symmetry Breaking for Suffix Tree Construction
1999-01-03
Suleyman Cenk S
LEXICALL: Lexicon Construction for Foreign Language Tutoring
1998-09-05
Bonnie J. Dorr
Nowhere Weak Differentiability Of The Pettis Integral
1998-10-19
Nonlinear wavelet shrinkage with Bayes rules and Bayes factors
1997-11-19
Brani Vidakovic
Predicting the Spectral Behaviour of Colour Printers for Transparent Inks on Transparent Support
1996-12-04
Simulation of Heterogeneous Networks of Workstations
1995-09-27
Zhichen Xu
Self-organizing Formation of Receptive Fields and Competitive Systems
1997-01-13
High Performance and Scalability Through Associative Client-Side Caching
1997-11-26
Previewing PostScript over a Telephone in 3 Seconds Per Page
1995-01-16
John M. Danskin
The Importance of Education in Future Population. Global Trends and Case . . .
1996-12-19
Plans And Resource-Bounded Practical Reasoning
1998-02-26
DCT coefficients recovery based error concealment technique and application to the MPEG-2 bit stream error
1996-06-25
Jong Won Member
Automating the Refinement of Specifications for Distributed Systems via Syntactic Transformations
1998-05-14
Problems with the NHS Cryptography Strategy
1997-09-22
Ross Anderson
Justin A. Boyan
1998-12-17
Justin A. Boyan
Strict Archimedean t-Norms and t-Conorms as Universal Approximators
1997-09-11
Partitioning issues in DAQ/EF prototype-1
1997-10-10
Plagiarism and Questionable Appropriation of Text By Non-Native Speaker Students in Taught Postgraduate Courses: Views and Experiences of Postgraduate Staff
1996-10-21
John Philip Lesko
A WWW Front End to an OODBMS
1995-02-15
Martin Sjolin
Qualitative Analysis for Maintenance Process Assessment
1998-09-05
Applying Genetic Algorithms to Pronoun Resolution
1999-02-10
MAC Protocols for Multimedia Data over HFC Architecture
1996-02-07
Dolors Sala Batlle
Efficient Barriers for Distributed Shared Memory Computers
1996-01-20
Improved Definition Video Frame Enhancement
1995-02-21
Implementing Adaptability in the Standard Reference Model for Intelligent Multimedia Presentation Systems
1998-11-05
2-D-S tree: An index structure for content-based retrieval of images
1998-11-03
On the Acceptance Power of Groups and Semigroups
1997-02-19
A Layer-Based Formalization of an On-Board Instrument
1998-12-14
Tommi Mikkonen
A Feature-based Constraint System for Logic Programming with Entailment
1994-12-02
Possible Functional Roles of the Bipartite Dendrites of Pyramidal Cells
1998-03-23
TURBIO: A System for Extracting Information from Restricted-domain Texts
1998-06-11
Subsumption for Semantic Query Optimization in OODB
1998-02-06
Concurrent Object Based Modeling of Fuzzy Strategies
1996-07-08
High Performance support for OO traversals in Monet
1996-01-29
Oscillatory And Asymptotic Behaviour Of Solutions Of Advanced Functional Equations
1995-11-21
Jozef D Zurina
Simultaneous Almost Minimization of Convex Functions and Duals of Results Related to Maximal Monotonicity
1995-10-27
S. Simons
A Rule-based Algorithm for Rigid E-unification
1995-02-10
Jean Goubault
On Levels of Detail in Terrains
1995-04-07
On The Position Operator For Massless Particles
1996-10-05
Combination Techniques for Non-Disjoint Equational Theories
1994-12-01
Toward High-Confidence Distributed Programming with Java: Reliable Thread Libraries
1996-06-19
Performance Debugging in the Enterprise Parallel Programming System
1999-01-14
Two-Dimensional Thick-Skeleton Morphing
1996-02-16
Process Discovery and Validation through Event-Data Analysis
1996-11-08
Jonathan E. Cook
The Complexity Of Systolic Dissemination Of Information In Interconnection Networks
1994-06-16
Peierls instability for the Holstein model with rational density
1998-06-27
From AI Technology Research to Applications
1998-09-29
Multi-Agent Modelling for Autonomous but Cooperative Robots
1997-11-03
Looking at Markov Samplers through Cusum Path Plots: a simplediagnostic idea
1995-07-26
Bin Yu
Cost-Based Optimization of Decision Support Queries using Transient-Views
1998-06-15
Building Your Own Wavelets at Home
1995-12-05
Non Fermi liquid renormalization of the conductivity of fermions coupled to gauge fields
1997-12-11
Learning Complex Output Representations In Connectionist Parsing Of Spoken Language
1995-08-22
Sweeping Algorithms for Inverting the Discrete Ginzburg-Landau Operator
1992-05-05
Man Kam Kwong
An Earlier Version of
1998-05-07
Douglas C. Schmidt
Admissible Pruning Strategies based on plan minimality for Plan-Space Planning
1996-04-09
Subbarao Kambhampati
Reasoning with Qualitative Models
1994-03-10
Benjamin Kuipers
Effective Perturbation Methods for One-Dimensional Schrodinger Operators
1997-10-02
Wavefront outer scale monitoring at La Silla
1999-03-03
A TLA Solution to the RPC-Memory Specification Problem
1996-01-12
Stephan Merz
FunnelWeb User's Manual
1995-01-28
Probabilistic Planning with Information Gathering and Contingent Execution
1994-01-21
Modeling a Hardware Synthesis Methodology in Isabelle
1996-05-31
Pre And Post-Filtering For Low Bit-Rate Video Coding
1997-09-05
Nuno Vasconcelos
The Church-Rosser Property for
1996-12-19
Herman Geuvers
Right-, Left- and Multi-Linear Rule Transformations That Maintain Context Information
1998-09-01
Tone in the Bamileke Dschang Associative Construction: An Electrolaryngographic Study and Comparison with Hyman 1985
1994-10-12
Visual Speech Synthesis With Concatenative Speech.
1998-10-06
Sa Hällgren+ Bertil Lyberg
Growing Layers of Perceptrons: Introducing the Extentron Algorithm
1994-05-06
The Average Distance between Nodes in the Cyclic Tower of Hanoi Digraph
1997-02-20
Paul K. Stockmeyer
User-Centered Evolutionary Software Development Using Python and Java
1997-11-02
Douglas Cunningham
Learning Recursive Languages with Bounded Mind Changes
1995-04-28
Unknown
1997-11-19
Tracing Protocols
1999-04-12
Gerard J. Holzmann
Summability Theory for Differential-Difference Equations
1998-11-17
B. F. Faber
The Bayou Architecture: Support for Data Sharing among Mobile Users
1995-12-01
Scannerless generalized-LR parsing
1999-03-16
File System Logging Versus Clustering: A Performance Comparison
1997-06-26
On A Quantitative Version Of The Oppenheim Conjecture.
1996-03-31
A Scratch Removal Method
1997-12-11
M. Haindl
An Asymptotical Variational Principle Associated with the Steepest Descent Method for a Convex Function
1996-06-23
B. Lemaire
A Neometric Survey
1997-09-10
H. Jerome Keisler
Failure Recovery Algorithms for Multimedia Servers
1998-06-19
Double Standards: Bringing Task Parallelism to HPF Via the Message Passing Interface
1996-10-04
Pointwise Error Estimates for Scalar Conservation Laws With Piecewise Smooth Solutions
1970-01-01
Analytic Combinatorics of Non-crossing Configurations
1997-06-30
Dependency Removal for Transport Protocol Header Compression over Noisy Channels
1997-05-23
Quantum Computers and Dissipation
1998-05-24
A Higher-order Calculus and Theory Abstraction
1997-06-24
Zhaohui Luo
Maximum-Likelihood Estimation of Forecast and Observation Error Covariance Parameters
1997-08-12
An Object-Oriented Graphics Kernel
1997-04-16
Gene S. Lee
The Design and Performance of a Conflict-avoiding Cache
1997-07-24
Multiple-View Self-Maintenance in Data Warehousing Environments
1997-06-25
Nam Huyn
A Truly Concurrent View of Linda Interprocess Communication
1997-07-22
A Unifying Review of Linear Gaussian Models
1998-10-20
Nonbinary Codes Correcting Localized Errors
1998-07-08
Integration of Python into SNiFF+
1997-11-02
Michael Scharf
Linear-Time Pointer-Machine Algorithms for Least Common Ancestors, MST Verification, and Dominators
1998-02-20
Delay, Jitter and Threshold Crossing in ATM Systems with Dispersed Messages
1996-11-11
Refinement Planning: Status and Prospectus
1996-04-14
Subbarao Kambhampati
Mixing Synthesis and Video Images of Outdoor Environments: Application to the Bridges of Paris
1996-05-02
Factored Edge-Valued Binary Decision Diagrams
1997-11-25
MICROCOSM: An Open Model for Hypermedia With Dynamic Linking
1993-10-19
Fault Identification in Computer Networks: A Review and a New Approach
1997-07-30
Tim Oates
Integrated Visualization Of Parallel Program Performance Data
1996-08-28
The Inclusion-Exclusion Principle and its Applications to Cryptography
1997-04-02
Resolution in the Smyth Powerdomain
1998-04-01
Formal Semantics for Expressing Optimism: The Meaning of HOPE
1999-01-24
KnittingFactory: An Infrastructure for Distributed Web Applications TR 1997--748
1997-11-18
Planning as Refinement Search: A unified framework for comparative analysis of Search Space Size and Performance
1993-09-26
Subbarao Kambhampati
Using Remote Memory to avoid Disk Thrashing: A Simulation Study
1995-11-16
Evangelos P. Markatos
Constructing Configurable Applications by Combining Monads
1997-06-27
Chris Angus
Sorting, Selection and Routing on the Array with Reconfigurable Optical Buses
1995-11-27
S. Rajasekaran
Statistical Methods for Speech Transmission Using Hidden Markov Models
1997-03-20
Comparison of Constructions of Irregular Gallager Codes
1998-08-31
Baryogenesis And Damping In Nonminimal Electroweak Models
1998-05-15
Vertex Splitting In Dags And Applications To Partial Scan Designs And Lossy Circuits
1991-10-25
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
1997-07-24
In Support Of The Equal Rights Movement For Literal And Figurative Language - A Parallel Search And Preferential Choice Model
1998-03-31
Performance of Efficient Minimization Algorithms as Applied to Models of Peptides and Proteins
1998-10-26
Partitioning and Restructuring Designs on the Behavioral Level
1995-06-08
A Wavelet Shrinkage Approach to Tomographic Image Reconstruction
1998-12-28
Eric D. Kolaczyk
Gamma-Ray Observations of GRO J1655-40
1997-11-25
Annihilating Complexes Of Modules
1996-05-28
Dmitri Apassov
Arrangements of Segments that Share Endpoints: Single Face Results
1997-09-17
Linguistic Modelling in Group Decision Making
1996-06-14
Elephant 2000: A Programming Language Based on Speech Acts
1998-11-07
John Mccarthy
A short course on the Lie theory of Semigroups II Lie Semialgebras
1995-08-20
Anselm Eggert
Hypertext Transfer Protocol -- HTTP/1.1
1996-07-08
Algebraic Foundation and Improved Methods of Induction of Ripple Down Rules
1996-12-05
Lie Generators For Semigroups Of Transformations On A Polish Space
1996-06-15
Knowledge Acquisition via Tracked Repertory Grids
1970-01-01
General Stereo Image Matching Using Symmetric Complex Wavelets
1996-08-07
He-ping Pan
Performance Modeling and Analysis of Distributed Access Network System Using DEVSim++
1994-12-01
Code Composition as an Implementation Language for Compilers
1998-03-31
Constraint Management in Loosely Coupled Distributed Databases
1998-07-22
Collaborating to Refine Knowledge
1995-06-15
Elementary Derivations of Summation and Transformation Formulas for Q-Series
1996-05-20
George Gasper
A Logic for a Coordination Model With Multiple Spaces
1998-04-16
Restructuring Sequential Fortran Code into a Parallel/Distributed Application
1996-09-19
A Domain Wall Model for Ferroelectric Hysteresis
1999-02-01
Competitive Analysis of Randomized Paging Algorithms
1996-10-04
Customizable Middleware for Modular Distributed Software
1999-04-20
WKB to all orders and the accuracy of the semiclassical quantization
1997-04-26
Marko Robnik
Automatic Recognition Of Intonation From F
1995-05-11
Paul Taylor
Constrained Camera Parameter Estimation and 3D Points Reconstruction from a Single Image
1998-01-06
INQUERY Does Battle With TREC-6
1998-02-13
A Framework of Memory Consistency Models
1999-04-24
Domain Specific Software Architectures DSSA
1995-03-06
Bradford K. Clark
Locality-Aware Request Distribution in Cluster-based Network Servers
1998-11-13
Present-Day Deductive Planning
1997-01-13
Susanne Biundo
Recognition Of Spoken And Spelled Proper Names
1997-12-10
VIP: A Protocol Providing Host Mobility
1997-08-03
Massless Limits of Massive Tensor Fields
1998-05-14
Shinji Hamamoto
Two Views of the Theory of Rough Sets in Finite Universes
1996-08-16
Y. Y. Yao
Task Migration on top of the Mach Microkernel - Design and Implementation
1992-12-01
The Geometry of Conformal Measures for Parabolic Rational Maps
1998-09-28
B. O. Stratmann
A Compiler-Directed Cache Coherence Scheme with Improved Intertask Locality
1995-04-24
COCOLOG: A Conditional Observer and Controller Logic for Finite Machines
1994-09-08
P. E. Caines
XDeltavg
1995-08-20
Karl H. Hofmann
Covariant-Conics Decomposition of Quartics for 2D Object Recognition and Affine Alignment
1998-07-07
Experimental Search for Chargino and Neutralino Production via Gauge-Mediated Supersymmetry Breaking Models
1970-01-01
The D Collaboration
RobustPitch Period Detection Using Dynamic Programming With An Ann Cost Function
1996-08-01
Update and Repair of a Roadmap after Model Error Discovery
1998-04-09
Alistair M
Software Components Enable Wide-Area Supercomputing: Takeoff of the Albatross
1998-04-15
Design and Implementation of a Distributed X-Multiplexor
1998-04-25
Fast Marching The Global Minimum Of Active Contours
1997-11-13
Accurate Scale Determinations for the Wilson Gauge Action
1997-11-10
ILA: Combining Inductive Learning with Prior Knowledge and Reasoning
1998-05-19
A Uniform Framework for Concept Definitions inDescription Logics
1997-03-25
Maurizio Lenzerini
Encrypted Key Exchange: Password-Based Protocols Secure Against Dictionary Attacks
1994-07-28
A Flexible Security System for Metacomputing Environments
1998-12-04
Interactive Security Assistance for End-User Supervision of Untrusted Programs
1996-10-25
On a Gap Phenomenon for Isoperimetrically Constrained Variational Problems
1995-10-27
Victor J. Mizel
Controlling Synchro-drive Robots with the Dynamic Window Approach to Collision Avoidance
1998-09-29
Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction
1994-07-08
Parallel Algorithms for Forward Elimination and Backward Substitution in Direct Solution of Sparse Linear Systems
1995-06-27
Evolutionary Dynamics and Optimization
1996-01-20
Generalized Privacy Amplification
1998-07-15
Connecting Viewpoints by Shared Phenomena
1996-09-09
Tight-Binding Hamiltonians For Carbon And Silicon
1998-04-13
A Simultaneous Maximum Likelihood Approach for Galaxy-Galaxy Lensing and Cluster Lens Reconstruction
1998-04-22
Bernhard Geiger
A Posteriori Guidance for Astronomical Images
1998-04-14
Integrating Bayesian Networks into Knowledge-Intensive CBR
1998-08-19
Workload Characterization of Input/Output Intensive Parallel Applications
1998-01-06
Cohomology Rings And Nilpotent Quotients Of Real And Complex Arrangements
1999-04-03
Logic Programming with Constructor-based Type Constraints
1994-06-01
Hans-joachim Goltz
Realizable Mimo Decision Feedback Equalizers
1998-09-11
Dually Chordal Graphs
1970-01-01
Optimized Error Diffusion for High Quality Image Display
1996-11-26
Active Object
1995-11-14
Cours IFT6266, Algorithmes d'apprentissage "classiques"
1998-10-03
Cours Ift
A posteriori error analysis for numerical approximations of Friedrichs systems
1999-04-01
Natural Proofs
1994-12-13
Remote Control of Muon Walls in the Extended Barrel Module 0 Tilecal Beam Test July -- August 1997
1998-03-22
Heterogeneous Ontology Structures for Distributed Architectures
1998-05-28
Video Classification Using Speaker Identification
1998-06-05
Evolution of Small Scale Filaments in an Adaptive Advection Model for Idealized Tracer Transport
1998-10-06
Predicting When to Reboot "Continuously Operating" Systems
1999-03-16
Approximate Algorithms for Time Separation of Events
1997-08-09
On Approximating the Longest Path in a Graph
1995-08-10
Non-Overlapping Domain Decomposition Methods
1998-07-10
R. Verfurth
A graphical MSC editor
1997-11-03
Automatic Differentiation of a Parallel Molecular Dynamics Application
1997-12-02
Observations on Time-Adaptive Self-Stabilization
1997-10-15
Ted Herman
Software Engineering for Parallelism: An Exercise in Separating Design and Implementation
1994-02-23
Asymptotic Behavior Of Solutions For The Wave Equation With Damping Concentrated In Interior Curves
1994-12-27
Computing the Exact Distribution of the Extremes of Linear Combinations of Spacings
1996-03-25
Translation problems and translation strategies involved in human and machine translation: Empirical studies
1997-07-31
Unification of Active and Passive Objects in an Object-Oriented Operating System
1997-12-10
Exploiting Idle Floating-Point Resources For Integer Execution
1998-07-21
A Persistent Distributed Store for Cooperative Applications
1996-10-15
Framework Programme
A Region-Level Graph Labeling Approach to Motion-Based Segmentation
1997-01-21
On Weighted Centers For Semidefinite Programming
1996-07-03
Jos F. Sturm
Image Coding by Matching Pursuit and Perceptual Pruning
1997-07-31
Modern Game Theory: Deduction vs. Induction
1997-03-23
Amy Greenwald
The Storage and Querying of 3D Objects for the Dynamic Composition of VRML Worlds
1998-12-07
Genetic Synthesis of Cascade Structures for Particle Classification
1998-05-02
Alexander Kosorukoff
How To Prove Faithfulness Of Elementary Theory Interpretations
1997-11-22
R. A. Riemenschneider
Low-Latency Communication on the IBM RISC System/6000 SP
1997-03-21
Solving Congestion Toll Pricing Models
1997-09-19
Lightweight Transactions on Networks of Workstations
1997-10-20
The Efficacy of
1996-06-27
Quantum Phase
1995-12-21
Synchronization Elimination In The Deposit Model
1996-05-24
Susan Hinrichs
Experiments in Theorem Proving and Model Checking for Protocol Verification
1996-06-20
Extended Braitenberg Architectures
1999-01-11
Case-Based Sonogram Classification
1995-01-11
Using the Tools of Parallel Program Performance Evaluation to Visualize Scientific Data
1970-01-01
Correct-schema-guided Synthesis of Steadfast Programs
1997-11-20
Library Information Services:an Astronomer's Wishlist
1998-09-18
Heinz Andernach
Subband-Based Speech Recognition
1998-01-13
Minimum Delay Routing In Multisatellite Networks
1995-05-31
Divide to Coordinate: Coevolutionary Problem Solving
1995-12-20
Measuring Lesion Growth from 3D Medical Images
1998-01-21
Guillaume Calmon
Reduction Number Bounds On Analytic Deviation 2 Ideals And Cohen-Macaulayness Of Associated Graded Rings
1994-11-13
Colimits For The Pro Category Of Towers Of Simplicial Sets
1995-05-10
David Blanc
On Langevin Updating in Multilayer Perceptrons
1993-10-25
Data Parallel Finite Element Techniques for Compressible Flow Problems
1970-01-01
Tetrahedral Grid Refinement
1997-09-10
Jurgen Bey Tubingen
Hybrid Caching for Large-Scale Object Systems Think Globally, Act Locally
1996-06-27
Liuba Shrira
Spectral Deformations Of Jacobi Operators
1997-05-13
Gerald Teschl
A Specification of the Domain of Process Planning: Properties, Problems and Solutions
1997-02-13
Frank Weberskirch
Architectural Mechanisms for Explicit Communication in Shared Memory Multiprocessors
1996-03-24
A Generalization of Intersection Formulae of Integral Geometry
1998-02-09
Stefan Glasauer
On The Equitable Chromatic Number of Complete n-Partite Graphs
1996-01-19
Flick: A Flexible, Optimizing IDL Compiler
1997-03-07
Inverse Multidimensional scaling
1995-06-20
P. J. F. Groenen
Optimal Model-Based Decomposition Of Powertrain System Design
1995-09-27
On Generalizing the Cut-off Phenomenon for Random Walks on Groups
1994-08-03
Jeffrey S. Rosenthal
Simultaneous Driver and Wire Sizing for Performance and Power Optimization
1994-12-13
Théorie de Liouville et gravitation quantique: du couplage faible au couplage fort
1998-05-23
Enhancing Project-Based Learning: Variations on Mentoring
1995-09-07
All Ramsey numbers rK 3 ,G for connected graphs of order 7 and 8
1996-05-31
Fakultat Fur Mathematik
Close-Point Spatial Tests And Their Application To Random Number Generators
1998-09-09
Unknown
1996-11-19
S. J. Peale
Canonical Ridge Analysis with Ridge Parameter Optimization
1998-02-02
Spline Collocation For Convolutional Parabolic Boundary Integral Equations
1999-03-30
Retargetable Code Generation For Parallel, Pipelined Processor Structures.
1998-06-17
Wolfgang Schenk
An operationalistic reformulation of Einstein's equivalence principle
1998-02-09
Minimalism + Distribution = Supermodularity
1996-04-22
Efficient Learning of Typical Finite Automata from Random Walks
1996-08-12
Multiresolution Detection Of Stellate Lesions In Mammograms
1999-02-03
Supporting Transaction Design in Conceptual Modelling of Information Systems
1997-10-31
Automatically Generating Environments for Dynamic Diagram Languages
1998-11-13
Mark Minas
Protocols for Providing Performance Guarantees in a Packet-Switching Internet
1991-03-26
Carlyn M. Lowery
Open Microkernel Technology, Key to Evolving Telecommunication Systems and Networks
1996-09-12
On line Pixel Classification, Incremental Decision Trees, Object Recognition
1998-06-22
Interactive and Dynamic Content in Software Repositories
1997-02-26
The Simple MIME eXchange Protocol
1995-06-21
A Bootstrap Test For Comparing Performance Of Programs When Data Are Censored, And Comparisons To Etzioni's Test
1998-04-10
A New Continuous Propositional Logic
1995-06-07
Designing Hierarchical Storage Systems for Interactive On-Demand Video Services
1999-03-15
Deadlock-Free Multicast Wormhole Routing in Multicomputer Networks
1991-06-27
Drinfel'd Doubles And Ehresmann Doubles For Lie Algebroids And Lie Bialgebroids
1998-11-18
Anatomy of the Pentium Bug
1995-06-11
Vaughan Pratt
The Nature of Characters in Interactive Worlds and The Oz Project
1994-04-29
Joseph Bates
Cisoid parameterestimation in the colored noise case: Asymptotic Cram'er-Rao bound, maximum likelihood and nonlinear least-squares
1998-10-15
Reducing the Cost of Regression Testing by Semantics Guided Test Case Selection
1995-11-03
David Binkley
The Optimal Effectiveness Metric for Parallel Application Analysis
1997-06-16
Failure and its Recovery in an Object-Oriented Distributed System
1970-01-01
Stephen Crane
Teaching C in a Functional Style
1995-09-07
Andrew Davison
Twenty-One at TREC-7: Ad-hoc and Cross-language track
1999-02-08
Evolutionary Trees Andris Ambainis
1998-07-06
Combining Neural Networks for Protein Secondary Structure Prediction
1995-09-13
Sųren Kamaric Riis
Extending SUIF for Machine-dependent Optimizations
1996-03-05
Michael D. Smith
Concurrent Interactive Processes in a Pure Functional Language
1995-12-13
Equational Reasoning with 2-dimensional Diagrams
1994-07-05
Yves Lafont
Neuroinformatics based on VRML
1998-02-02
Structurally Gated Pairwise Geometric Histograms for Shape Indexing
1997-07-09
Throughput Optimization in Disk-Based Real-Time Application Specific Systems
1996-07-11
A Polymorphic Calculus for Database Languages
1996-11-07
Leonidas Fegaras
Message Passing In A Distributed, Object-Oriented Condition Monitoring And Maintenance Planning System
1996-03-01
Kolmogorov Entropy From Time Series Using Information-Theoretic Functionals
1997-07-03
Milan Palus
Tail Bounds for Occupancy and the Satisfiability Threshold Conjecture
1995-08-10
How Natural Inputs Aid Interaction in Graphical Simulations?
1998-09-21
Objective
1998-06-13
Knowledge Representation in Process Engineering
1998-04-15
Ulrike Sattler
A Clustering Approach to Explore Grain-Sizes in the Definition of Weakly Programmable Processing Elements
1997-12-22
Chain Properties of Rule Closures
1998-04-15
Miki Hermann
Functional programming using Caml Light
1994-10-19
Michel Mauny
Ill-Conditioning In Neural Network Training Problems
1994-06-27
The Abstraction-First Approach to Encouraging Reuse
1997-08-15
Philip Machanick
Using B+-Trees in a Two-Disk Single Processor Architecture to Efficiently Process . . .
1997-11-10
Ensemble Learning For Independent Component Analysis
1998-10-05
Adaptation Asymmetry in Manual Tracking
1997-06-19
Nissan Rd Inc
Approximate Analytic Matrix Factorisations As Preconditioners For Newton's Method
1998-05-26
Michael Drexler
Detection of Side-Effects in Function Procedures
1995-05-27
Robert Griesemer
1st Order Logic Formal Concept Analysis: from logic programming to theory
1998-09-22
A Solver For Time Dependent Viscoelastic Fluid Flows
1995-11-08
Fredrik Olsson
Uniqueness and Error Estimates in First Order Quasilinear Conservation Laws Via the Kinetic Entropy Defect Measure
1998-05-26
Benoit Perthame
Better Methods for Solving Parsimony and Compatibility
1998-11-16
Large scale clustering from Non-Gaussian texture models
1997-05-06
Annotation-Directed Run-Time Specialization in C
1997-06-24
A Tutorial on Using PVS for Hardware Verification
1994-11-02
On Ito's formula for multidimensional Brownian motion
1998-11-26
Bandwidth Modelling for Network-Aware Applications
1998-12-21
Bayesian Inference for Some Mixture Problems in Quality and Reliability
1999-01-05
Evolution of the Gluon Density in
1998-05-24
Gian Paolo Vacca
Improved Histograms for Selectivity Estimation of Range Predicates
1997-11-06
The Baldwin Effect in the Immune System: Learning by Somatic Hypermutation
1999-01-09
Adaptation-Guided Retrieval in EBMT: A Case-Based Approach to Machine Translation
1996-08-15
Proceedings of the Second International Workshop on PEIRCE: A Conceptual Graphs Workbench
1994-09-25
A partial solution for D-unification based on a reduction to AC1-unification
1996-02-22
A Free Boundary Problem in Rd With Both Smooth and Nonsmooth Fit
1970-01-01
Analysis of Agent Programs using Action Models
1998-03-18
Algorithms for Cluster Busting in Anchored Graph Drawing
1998-04-04
Classified Advertisement Search Agent CASA: A Knowledge-Based Information Agent for Searching Semi-Structured Text
1998-03-20
Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols
1996-07-25
Geometric Models of the Classical Relativistic Oscillator
1998-05-05
The finite element approximation of semi-linear elliptic PDEs. . .
1996-11-08
Computing 2-Dimensional Min, Median and Max Filters
1996-10-07
Autonomous Map Learning For A Multisensor Mobile Robot Using Diktiometric Representation And Negotiation Mechanism
1998-04-09
Tree-level String Cosmology
1970-01-01
A look-ahead Schur Algorithm
1995-05-11
What Do Photographs Tell Us About 3D Shape?
1998-01-29
The Application of a Distributed Genetic Algorithm to a Generic Scheduling System.
1997-03-07
Quantum Automata and Quantum Grammars
1997-07-17
Efficient On-Line Call Control Algorithms
1998-02-04
Form Factor From QCD Sum Rules
1998-05-13
T. Meissner
A Statistical View on Bilingual Lexicon Extraction: From Parallel Corpora to Non-Parallel Corpora
1999-03-08
Pascale Fung
Time Delay and Spatial Signature Estimation Using Known Asynchronous Signals
1998-03-24
A. Swindlehurst
Improving Satisfiability Algorithms with Dominance and Partitioning
1998-08-06
Pattern Learning In A Cortical Circuit
1997-10-16
M. R. James
RANDOM WALK ON PERIODIC TREES Christiane Takacs
1998-09-13
Christiane Takacs
Empty Interworkings and Refinement
1996-02-09
The Power of Approximating: a Comparison of Activation Functions
1998-04-08
ANU/ACSys TREC-6 Experiments
1998-11-25
The Best Bounds In A Theorem Of Russell Lyons
1998-10-27
Building Domain-Specific Search Engines with Machine Learning Techniques
1998-11-12
The Use of Hints by Human and Computer Tutors: The Consequences of the Tutoring Protocol
1996-09-14
Cv
1997-12-31
Andrew J. Newman
Efficient Search of Reliable Exceptions
1999-01-09
Processing Ipswich Data With The Local Shape Function Method And Distorted Born Iterative Method
1997-07-25
Antibracket, Antifields and Gauge-Theory Quantization
1998-05-23
Authorisation and Privacy in a Networked World
1999-05-06
Lawrie Brown
A Probabilistic Framework for Perceptual Grouping of Features for Human Face Detection
1996-08-20
A Comparison of the Multiscale Retinex With Other Image Enhancement Techniques
1997-04-08
On a Theorem of Andrievskii and Ruscheweyh
1998-10-16
Richard Greiner
Parallel Stochastic Finite Element Analysis on Distributed Memory Multiprocessors
1992-08-24
Registration Error Analysis for Augmented Reality
1996-08-28
Richard L. Holloway
Hybrid Genetic Algorithms for Bin-packing and Related Problems
1995-11-13
Colin Reeves
Temporal Texture Modeling
1996-06-01
Volunteer Computing
1996-10-04
Luis F. G. Sarmenta
Envelope burning over-luminosity: a challenge to synthetic TP-AGB models
1998-05-11
Paola Marigo
A Default Interpretation of Defeasible Network
1997-08-05
SAR ATR Via Pose-tagged Partial Evidence Fusion
1996-04-16
Guidelines for OSI NSAP Allocation in the Internet
1994-06-03
Ross Callon dec
Symplectic Convexity Theorems
1970-01-01
On the Cohomology of Finite Groups of Lie Type
1993-03-25
Guido Mislin
Towards Knowledge-Level Analysis of Motion Planning
1995-01-19
Accuracy of Multiple Sequence Alignments as Assessed By Reference to Structural Alignments
1995-12-13
O. Gotoh
Modeling Cyclicity and Generalized Cost-Based Abduction Using Linear Constraint Satisfaction
1996-02-20
Eugene Santos
Paralleltermgraphrewritingand Concurrent Logic Programs
1998-04-30
G. A. Papadopoulos
A Tuning Aid For Discretization In Rule Induction
1996-11-18
Compiling Sequential Programs for Speculative Parallelism
1996-02-21
Infinite-Valued Logic Based on Two-Valued Logic and Probability - Part 1.3. Reference Experiments and Label Sets
1970-01-01
Ellen Hisdal
LQ performance bounds for adaptive output feedback controllers for functionally uncertain nonlinear systems
1998-10-12
Dynamic Bandwidth Allocation Policies
1998-02-04
Computer Science Simultaneous Refinement of Pose and Sensor Registration
1997-01-06
A. Schwickerath
Partitioning anArray onto a Mesh of Processors
1999-03-18
Fredrik Manne
A Hybrid Trainable Rule-based System
1995-06-07
Fuzzy Interface with Prior Concepts and Non-convex Regularization
1998-01-26
Jorg C. Lemm
Configurationality and Greek clause structure
1996-09-05
Neil Smith
Super-replication under Gamma constraints
1999-03-31
Nizar Touzi
PDS: A Performance Database Server
1995-02-13
ADIFOR: Fortran Source Translation for Efficient Derivatives
1997-01-27
BinProlog 7.0 Professional Edition - Internet Programming Guide
1999-03-05
Paul Tarau
High PerformanceFortran and Possible Extensions to support Conjugate Gradient Algorithms
1995-04-13
Partial Characterizations of Networks Supporting Shortest-Path Interval Labeling Schemes
1997-10-20
Performance and Properties of a Class of Parallel Continuous Explicit Runge-Kutta Methods for Ordinary and Delay Differential Equations
1995-02-01
C. A. H. Paul
Mathematical Derivation of Chiral Anomaly in Lattice Gauge Theory with Wilson's Action
1997-08-21
Tetsuya Hattori
An Architecture for Argumentative Dialogue Planning
1997-04-18
A Framework for Customizing Coherence Protocols of Distrbuted File Caches in Lucas File System
1994-12-19
Logic Programming with Constructor-based Type Constraints
1994-06-01
Hans-joachim Goltz
Power vs. Performance Tradeoffs for Reduced Resolution Adaptive Equalizers
1998-08-15
An Algorithm to Calculate the Kernel of Certain Polynomial Ring Homomorphisms
1996-08-21
Pose from Pushing
1996-03-23
Ordering and Demixing Transitions in Multicomponent Widom--Rowlinson Models
1997-08-21
Maximally Fast Recursive Algorithms
1997-04-11
Fault and Failure Tolerance
1995-10-23
Jack D. Cowan
Generalized Partially Linear Single-Index Models
1995-09-11
Automatic Acquisition of Terminological Resources for Information Extraction Applications
1999-04-07
Byron Georgantopoulos
Analysis of a Biologically Motivated Neural Network for Character Recognition
1992-10-14
General Dynamic Routing with Per-Packet Delay Guarantees of O distance + 1 / session rate
1997-11-26