Diffusion of Water in Swollen Polyvinyl alcohol Membranes Studied by Molecular Dynamics Simulation
1998-12-22
A Framework for Implementing Objects and Scheduling Tasks in Lock-Free Real-Time Systems
1996-09-13
Constraint Tightness and Looseness versus Local and Global Consistency
1997-05-06
Proof Verbalization in PROVERB
1997-05-20
Fast Lossy Internet Image Transmission
1995-08-21
A Scheme For Nesting Algorithmic Skeletons
1998-10-21
Iterative Feedback Tuning Of A Nonlinear Controller For An Inverted Pendulum With A Flexible Transmission
1998-04-30
The Paderborn University BSP PUB Library - Design, Implementation and Performance
1998-11-03
The WALRAS Algorithm: A Convergent Distributed Implementation of General Equilibrium Outcomes
1997-06-24
Report on the AES Candidates
1999-03-18
Triplet-Based Object Recognition Using Synthetic and Real Probability Models
1997-05-19
An Infinite Number of Monkeys
1995-06-28
David Beaver
Alleviating the Latency and Bandwidth Problems in WWW Browsing
1998-12-03
Inductive Logic Programming
1999-02-03
A Short
The TAMPR Program Transformation System: Design and Applications
1996-09-20
A New Methodology For Reducing Brittleness In Genetic Programming
1997-10-06
Modeling Computation and Communication Performance of Parallel Scientific Applications: A Case Study of the IBM SP2
1996-01-15
The Corrected Operator Splitting Approach Applied To A Nonlinear Advection-Diffusion Problem
1998-06-08
A Bornological Approach to Rotundity and Smoothness Applied to Approximation
1996-06-24
John Read
Classical Limit Of The Quantized Hyperbolic Toral Automorphisms
1997-04-26
Hidden Markov Models and Their Mixtures
1996-08-13
SLIQ: A Fast Scalable Classifier for Data Mining
1996-03-21
The Density of States - a Measure of the Difficulty of Optimisation Problems
1998-10-16
Simple Type-Theoretic Foundations For Object-Oriented Programming
1996-08-18
JDK Versions
1999-01-08
Spring Vasant Honavar
Specifying and Analyzing Dynamic Software Architectures
1998-01-15
On the power of shared object types to implement one-resilient Consensus
1997-02-05
Identifying the Information Contained in a Flawed Theory
1996-04-28
Sean P. Engelson
High-Performance Asynchronous Pipeline Circuits
1996-10-25
With Them, the Equations in the Two-Dimensional Period Problem Become 1
1996-08-21
Reconstructed Intentions in Collaborative Problem Solving Dialogues
1997-08-21
XiPi Theta GammaDelta
1995-07-21
Representing Preferences as Ceteris Paribus Comparatives
1994-03-13
The Steiner Tree Problem for Terminals on the Boundary of a Rectilinear Polygon
1997-10-06
Siu-wing Cheng
From Logic to Dialectics in Legal Argument
1998-10-08
Henry Prakken
Admissible Pruning Strategies based on plan minimality for Plan-Space Planning
1995-04-21
Subbarao Kambhampati
Distributed Object-Based Control Systems
1999-02-15
Robustness Measurement: An Approach To Assessing Simulation Program Reliability
1997-08-05
An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension
1998-02-23
What is Wrong With Us? Improving Robustness Through Social Diagnosis
1998-04-09
Adaptive Signal Clustering Using Self-Organizing Neural Networks
1999-01-05
VSE: Formal Methods Meet Industrial Needs
1999-01-13
Singularity Detection And Processing With Wavelets
1991-03-19
Interval Computation as Deduction in CHIP
1997-07-03
Optimizing Queries over Multimedia Repositories
1996-05-27
2 Z Reference Manual
1998-12-21
Interactive Update Of Global Illumination Using A Line-Space Hierarchy
1997-05-05
Affine Toda Systems Coupled To Matter Fields
1998-05-25
Deterministic Onm Time Edge-Splitting in Undirected Graphs
1997-12-01
Learning Membership Functions in a Function-Based Object Recognition System
1995-10-23
Bayes and Pseudo-Bayes Estimates of Conditional Probabilities and Their Reliability
1999-01-04
James Cussens
Convergence Analysis of Canonical Genetic Algorithms
1997-05-02
Unter Rudolph
On Minimal Words With Given Subword Complexity
1998-07-22
Toward a Synthesis of Two Accounts of Discourse Structure
1997-06-16
Computer Systems Laboratory - Research Review
1995-10-05
Wavelets on the N-Sphere and Related Manifolds
1998-01-05
J. -p. Antoine
Yen-Jen Lee, Wei-hsiu
1997-04-29
Abstract Data Types Are Under Full Control With Ada 9X
1995-02-13
Functional Debugging Of Systems-On-Chip
1970-01-01
A Multiagent Planning Architecture
1998-03-23
Global Search in Combinatorial Optimization using Reinforcement Learning Algorithms
1999-03-09
Experimental ATM Network Interface Performance Evaluation
1999-02-02
An Analytic Model For The Spatial Clustering Of Dark Matter Haloes
1998-05-25
New Properties For Discrete, Bilinear Time-Frequency Distributions
1996-04-09
Naive Bayesian Classifier Committees
1998-05-15
Zijian Zheng
Partial Least Squares: A First-Order Analysis
1996-04-02
Petre Stoica
Fast VQ Codebook Search in KLT Space
1998-11-30
Multilingual String-to-String Correction in Grif, a structured editor
1995-01-27
Patrice Frison
First-Order Queries over Temporal Databases Inexpressible in Temporal Logic
1998-08-05
David Toman
MultiFractal Grammars for more Complexity
1995-10-18
Infrastructure for Mobile Agents
1996-07-17
Combining Situation Calculus and Event Calculus
1995-02-09
Techniques for Simplifying the Visualization of Graph Reduction
1997-04-25
Hypertext Markup Language - 2.0
1995-09-22
Draft-ietf-html-spec-. Txt> D. Connolly
Exact Learning Of Discretized Geometric Concepts
1998-10-22
Hexagonal Wavelet Processing of Digital Mammography
1996-11-01
Wavelet Radiative Transport and Surface Interaction
1996-09-17
Doctrines Whose Structure Forms A Fully Faithful Adjoint String
1997-02-12
F. Marmolejo
An Efficient Algorithm for Terrain Simplification
1996-10-10
Reinforcement Learning: A Survey
1996-07-18
Analysis of Visual Information by Receptive Field Dynamics
1997-05-29
Christof Born
Fluctuations in 2D reversibly-damped turbulence
1998-12-05
Layout of the Batcher Bitonic Sorter Extended Abstract
1999-01-03
Esprit Bra Iii Project Nat 7130
1996-03-28
Backward Stochastic Differential Equations with constraints on the gains-process
1997-10-13
An Asymptotical Variational Principle Associated with the Steepest Descent Method for a Convex Function
1996-06-24
B. Lemaire
Self-Organized Criticality and Phase Transition in a Stochastic Sandpile Automaton
1997-03-01
Learning Texture Discrimination Rules in a Multiresolution System
1995-08-22
Unknown
1995-07-25
Dictionary-Based Order-Preserving StringCompression
1997-12-09
Document Layout by Executable Natural Semantics Specifications
1994-09-21
Pass or Fail: A New Test for Password Legitimacy
1995-08-24
Direction Weighted Shortest Path Planning
1996-12-16
Integrating Naming and Addressing of Persistent Data in Programming Language and Operating System Contexts
1995-03-10
Wavelet Methods for Radiance Computations
1994-07-07
Pat Hanrahan
A Methodology for Developing an Error Taxonomy for a Computer Assisted Language Learning Tool for Second Language Learners
1998-12-09
Algorithmes Génétiques Hybrides Pour L'optimisation Combinatoire
1995-03-20
A Knowledge Based Method for Building a Software System Configuration
1997-01-10
Existence of Optimal Controls for Some Nonlinear Systems
1994-11-07
Thomas I. Seidman
A Nonabstract Approach to Lattice Rule Canonical Forms
1998-03-23
Hyperflow: A Uniform Visual Language for Different Levels of Programming
1995-07-25
Takayuki Dan Kimura
Hierarchical Concurrency in Jade
1994-04-19
Exokernel: An Operating System Architecture for Application-Level Resource Management
1999-01-07
Logic Programming in the LF Logical Framework
1995-05-05
Frank Pfenning
Extremal Ideals of the Lattice of Multisets
1997-11-17
Syntax and Discourse: A Look at Resumptive Pronouns
1996-02-03
Ellen F. Prince
A Test Case Generator for the Validation of High-Level Petri Nets
1997-07-04
Optimal, Unsupervised Learning in Invariant Object Recognition
1997-01-27
RANSAC-based DARCES: A New Approach to Fast Automatic Registration of Partially Overlapping Range Images
1970-01-01
Optimising Selection Of Units From Speech Databases For Concatenative Synthesis
1996-06-23
Union of All the Minimum Cycle Bases of a Graph
1997-12-26
Spatio-Temporal Segmentation of Video Data
1997-07-22
How Agents Do It In Stream Logic Programming
1995-04-08
A near real-time evolutive strategy for adaptive Color Quantization of image sequences
1998-07-21
Towards a Java Environment for SPMD Programming
1999-02-08
Topology B-Trees and Their Applications
1995-12-08
Decidable Theories of
1996-08-19
On Property-Like Structures
1997-10-28
Transmitted R. J. Wood
A Linear Time Algorithm for Binary...
1995-12-19
On using degrees of belief in BDI agents
1998-04-16
File System Support for Search
1996-01-25
On the Number of Criteria Needed to Decide Pareto Optimality
1997-11-13
Group Extension Endomorphism Coordinates
1996-10-09
A. M. Dupr E
Using Dirichlet Mixture Priors to Derive Hidden Markov Models for Protein Families
1994-10-27
Electronic Display System for Computational Holography
1996-03-30
Generalized Weighted Fairness Criterion : Formulation and Application on Prioritized ABR Service
1997-12-10
Decision Lists And Related Boolean Functions
1998-08-12
Physical Mapping of Chromosomes Using Unique Probes
1998-02-23
Magnetic Structures in a Dynamo Simulation
1998-01-29
Robust Triangular Solves for Use in Condition Estimation
1994-10-08
Edward Anderson
Phase Separation Kinetics in a Model with Order-Parameter Dependent Mobility
1997-09-16
Model-based Geostatistics
1997-09-23
Integrating synchronous and asynchronous paradigms: the Fork95 parallel programming language
1996-04-17
Christoph W. Keßler Helmut Seidl
Principles of Maude
1996-11-08
Building a Plan with Real-Time Execution Guarantees
1997-07-29
Daugman
1998-11-10
John Daugman
On Predictable Operating System Protocol Processing
1995-02-28
Ada 9X Syntax Rules Draft
1995-12-16
Parallel Sparse Approximate Inverse Preconditioner
1999-04-07
A Methodology for Designing Correct Cache Coherence Protocols for DSM Systems
1970-01-01
Xiaowei Shen
Learning to Make Rent-to-Buy Decisions with Systems Applications
1996-08-24
Successes in Logic Programs
1998-10-06
Multilevel Source Iteration Accelerators For The Linear Transport Equation In Slab Geometry
1995-01-13
C. T. Kelley
An infinite-dimensional extension of a Poincaré's result concerning the continuation of periodic orbits
1997-04-26
Paolo Perfetti
Inverting Onto Functions
1996-05-02
An Object-Oriented Framework For Local Search Heuristics
1998-04-02
The Dynamics Of Stellar Winds: Their Structures And oiii Line Formation
1997-03-03
The Surface Distribution Of Carbon Stars In The Galaxy
1997-03-03
A Well-formedness Checker forµCRL
1997-03-03
How to Experiment
1998-05-06
Walter F. Tichy
Representing Structure and Structured Representations in Connectionist Networks
1998-10-13
Lars Niklasson
A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces
1996-04-02
Combination and Integration of Declarative Approaches Full Paper and System Demonstration
1996-10-09
Achilles, Turtle, And Undecidable Boundedness Problems For Small Datalog Programs
1998-10-05
Resource Bounds for Self-Stabilizing Message-Driven Protocols
1970-01-01
Taking Articulation Work Seriously
1970-01-01
Review of Particle Physics: C. Caso
1998-06-10
Astronomy And Astrophysics
1999-04-08
Agents with Moral Sentiments in an Iterated Prisoner's Dilemma Exercise
1997-08-21
Learning in Linear Neural Networks: a Survey
1994-07-20
Polynomial Time Algorithms for Maximization Problems in Spaces With Polyhedral Norms
1997-11-30
Extensible Kernels are Leading OS Research Astray
1997-04-27
On Transaction Liveness in Replicated Databases
1997-09-03
Theory and Design of Signal-Adapted FIR Paraunitary Filter Banks
1997-09-03
Pierre Moulin
Routing of the Fibers in Module 0
1999-03-23
Evolution of Protean Behavior in Pursuit-Evasion Contests
1998-07-27
Matrix Factorization using Distributed Panels on the Fujitsu AP1000
1995-12-08
Peter Strazdins
Wavelet packet best basis selection on moderate parallel MIMD architectures
1996-03-21
Andreas Uhl
Three-Dimensional Reconstruction of Microcalcification Clusters Within Excised Breast Lesions.
1995-05-25
Predicate Invention in Inductive Program Synthesis
1995-06-02
Pierre Flener
Extending the Semantics of Logic Programs to Disjunctive Logic Programs
1995-09-10
Design and Implementation of a Configurable Mixed-Media Filesystem Extended Abstract
1995-12-07
CuPit-2 - A Parallel Language for Neural Algorithms: Language Reference and Tutorial
1997-03-04
Lutz Prechelt
NP-Completeness of Searches for Smallest Possible Feature Sets
1994-10-31
M.I.T Media Laboratory Perceptual Computing Section Technical Report No. 344 Motion Estimation and Segmentation Using a Recurrent Mixture of Experts Architecture
1996-10-25
Stabilization of DAEs and invariant manifolds
1995-07-19
Mixing Exact and Importance Sampling Propagation Algorithms in Dependence Graphs
1996-01-30
Luis D. Hern'andez
Cryptographic Limitations on Learning One-Clause Logic Programs
1996-11-25
William W. Cohen
HOONets: Hierarchical Object-Oriented Petri Nets for System Modeling and Analysis
1998-11-18
Circuit Partitioned Automatic Test Pattern Generation Constrained by Three-State Buses and Restrictors
1997-11-25
Evolutionary Algorithms for Learning of Mobile Robot Controllers
1997-02-15
Finding Order in our World:
1997-11-26
Bruce J. Maclennan
n-RTL Implementation
1998-10-05
A Novel Approach Towards Automatic Data Distribution
1996-09-11
Multichannel General Order Ftf Algorithm And Its Application To The Equalization Of Mobile Communication Channels
1996-01-04
Parallel Processing For Progressive Refinement Radiosity
1994-11-03
Tolga K. C Apin
Models for Automated Earthmoving
1999-03-04
A Distributed Reinforcement Learning Scheme for Network Routing
1993-10-14
Indoor-Outdoor Image Classification
1997-11-26
Modular Arithmetic
1995-06-22
ELF: From The Programmer's Perspective
1995-05-18
Hongjiu Lu
Reasoning with Concrete Domains
1999-04-07
Carsten Lutz
Efficient Cost Models for Spatial Queries Using R-trees
1999-01-26
Mellin Transforms and Asymptotics: The Mergesort Recurrence
1996-07-06
Mordecai Golin
The Role of Network Traffic Statistics in Devising Object Migration Policies
1997-02-14
Context-Dependent Hybrid Hme/hmm Speech Recognition Using Polyphone Clustering Decision Trees
1997-01-23
Towards Inductive Constraint Logic Programming
1998-01-29
Efficient Call Graph Analysis
1997-01-27
Concerning Relationships Between Cerebral Blood Flow, Synaptic Pruning, and Early Mental Development in Animals and Humans
1998-08-26
George A. Cowan
High Level Scene Interpretation using Fuzzy Belief
1995-10-06
A Practical Method for Rigorously Controllable Hardware Design
1997-01-15
Adaptive Greedy Approximations
1996-10-15
Synthetic Data for Testing in Databases
1998-11-03
A Structural-Magnetic Strain Model For Magnetostrictive Transducers
1999-03-19
Gain Dynamics of Doped-Fiber Amplifiers for Added and Dropped Signals
1998-02-13
Logical Semantics and Language for Databases with Partial and Complete Tuples and Sets Extended Abstract
1998-07-16
Optimistic Programming in PVM
1999-01-24
Crispin Cowan
Loop Optimization for Aggregate Array Computations
1997-03-24
A New Distributed Reservation Multiple Access scheme for the AVPAC Channel
1999-03-29
Simulation Of Cross Flow Past A Tube Bank Employing An Adaptive Parallel / Vector Finite Element Procedure
1970-01-01
On the Knowledge Underlying Multimedia Presentations
1995-04-21
EE572 Final Report Distal Supervised Learning for Solving Inverse Kinematic Problems
1996-02-16
Robust Feature Tracking
1999-02-12
Implementation of a Data-Parallel Concurrent Constraint Programming System
1994-10-10
Bo-ming Tong
Lifting Witt Subgroups to Characteristic Zero
1998-08-14
Alan Koch
Web-Browser Access Through Voice Input and Page Interest Prediction
1997-06-09
A 9.5mW 330usec 1024-point FFT Processor
1998-02-06
Bevan M. Baas
A Research Agenda for Multimedia Networking
1995-07-26
Aurel A. Lazar
JavaNative Interface Specification
1997-05-06
Load Balancing Strategies For Distributed Memory Machines
1996-12-06
GA-based Performance Analysis of Network Protocols
1997-12-27
Resolution of seismic waveform inversion: Bayes versus Occam
1997-10-27
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages
1995-01-18
A Contiguity-Enhanced K-Means Clustering Algorithm for Unsupervised Multispectral Image Segmentation
1998-01-20
A Connectionist Approach to Word Reading and Acquired Dyslexia: Extension to Sequential Processing
1998-09-17
David C. Plaut
Stochastic Finite Element Analysis for Multiphase Flow in Heterogeneous Porous Media
1998-04-15
Planning for Change: A Reconfiguration Language for Distributed Systems
1997-12-11
Software Agents: An Overview
1997-04-11
Hyacinth S. Nwana
Bounded-Skew Clock and Steiner Routing Under Elmore Delay
1995-08-31
Specification-based Test Oracles for Reactive Systems
1994-02-23
DECALS: Distributed Experiment Control and Logging System
1998-02-11
Provably Efficient Scheduling for Languages with Fine-Grained Parallelism
1998-11-12
View Maintenance in a Warehousing Environment
1999-01-18
OTERS On-Tree Efficient Recovery using Subcasting: A Reliable Multicast Protocol
1998-08-21
Likelihood-based Causal Inference
1995-12-29
Qing Yao
Task Assignment on Distributed-Memory Systems with Adaptive Wormhole Routing
1994-02-07
Asymptotic Behavior of Hill's Estimator for Autoregressive Data
1996-08-15
Use Of A Theorem Prover For Transformational Synthesis
1995-10-19
The Computational Requirements of Mobile Machines
1997-12-23
The Design of the CADE-13 ATP System Competition
1996-01-30
Facial Automated Composition and Editing kit.
1995-12-18
Brian Dowd
Polyhedral
1995-05-26
Applications of Time-Bounded Kolmogorov Complexity in Complexity Theory
1995-09-15
Eric Allender
A Topology Based Approach For Exploiting Sparsity In Multibody Dynamics. Joint Formulation
1997-09-29
A Survey of Logging Uses
1995-03-10
Michel Ruffin
Evaluation of Sampling for Data Mining of Association Rules
1996-05-08
Randomness, Interactive Proofs and Zero-Knowledge
1999-02-07
Oded Goldreich
the miniature. The user
1997-05-12
The Instabilities Of Accretion Disks With Radial Advection
1997-03-03
Xue-bing Wu
Persistent Store Interface: A foundation for scalable persistent system design
1998-08-13
Stephen Michael Blackburn
Complexity
1998-02-07
Eric Ristad
On-Line Parameter Estimation For Infinite-Dimensional Dynamical Systems
1970-01-01
CHI 96 105 Maes Wexelblat
1996-04-26
A duration model for phonetic units in isolated Dutch words
1992-05-29
Interior Point Methods in Stochastic Programming
1994-08-24
Predicate Migration: Optimizing Queries with Expensive Predicates
1995-06-04
PLinda 2.0: A Transactional/Checkpointing Approach to Fault Tolerant Linda
1997-05-28
Performance Analysis of pC++: A Portable Data-Parallel Programming System for Scalable Parallel Computers
1994-10-12
A Bibliography of Project Gutenberg
1970-01-01
Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits
1998-10-13
Data Compression and Harmonic Analysis
1998-10-29
Matching and Clustering: two Steps towards Automatic Object Modelling in Computer Vision
1995-08-29
Global Trajectory Planning for Fault Tolerant Manipulators
1998-12-17
, M. Aste, R. Cattoni B. Caprile
1997-02-17
Neighbour-Based MLPs
1970-01-01
Modeling and Verifying a Bounded Retransmission Protocol
1996-07-19
Human-Agent Communication
1998-08-21
Ian Dickinson
Mobile Robot Autonomy Via Hierarchical Fuzzy Behavior Control
1996-08-09
Edward Tunstel
The System for Ethiopic Representation in ASCII
1996-12-30
Coordinated Atomic Actions: from Concept to Implementation
1997-05-30
Optimal Code Motion for Parallel Programs
1997-09-24
Testing Parallel Multidimensional Integration Algorithms
1970-01-01
Sources Of Bias In Particle-Mesh Methods For Pdf Models For Turbulent Flows
1997-08-28
Partitioning an Array onto a Mesh of Processors
1996-12-02
Fredrik Manne
Existence of a Solution for Generalized Vector Variational Inequalities
1996-07-02
Experimental Evaluation of SunOS IPC and TCP/IP Protocol Implementation
1996-06-03
Undecidable Verification Problems for Programs with Unreliable Channels
1997-11-26
Geometry of One-Dimensional Wave Propagation
1998-05-12
M. Kitano
Multiplicative Cascade Models and Multifractality
1997-05-14
Michael Blank
AssessingAgreement on Classification Tasks: The Kappa Statistic
1996-01-31
Jean Carletta
On a Problem of Potential Wells
1995-10-27
WAXweb: Toward Dynamic MOO-based VRML
1995-08-01
Parallel Array Grammars as Models for the Growth of Planar Patterns
1997-04-27
A Measurement-Based CAC Strategy for ATM Networks
1997-10-10
Optimal Sampling For Genetic Algorithms
1996-09-13
An Analysis of Dynamic Branch Prediction Schemes on System Workloads
1996-10-14
The Jet-Disk Symbiosis
1999-01-27
A Comparative Study of ID3 and Backpropagation for English Text-to-Speech Mapping
1994-09-13
Optimizing Queries across Diverse Data Sources
1998-01-12
Detecting modes with nontrivial dynamics embedded in colored noise: Enhanced Monte Carlo SSA and the case of climate oscillations
1999-02-09
Milan Palus
"Fractal" Types: an Attempt to Generalize Hash Table Calculation
1998-05-25
J. N. Oliveira
Operations with Fuzzy Numbers Explain Heuristic Methods in Image Processing
1998-03-09
Macroscopic
1998-05-22
Modular Operads
1997-02-12
E. Getzler
Truly Concurrent Constraint Programming
1997-08-21
OHP: A Draft Proposal for a Standard Open Hypermedia Protocol
1996-03-29
RTP Profile for Audio and Video Conferences with Minimal Control
1970-01-01
Internet-draft H. Schulzrinne
Low Rank Off-Diagonal Block Preconditioners For Solving Sparse Linear Systems On Parallel Computers
1996-02-02
Efficient Verification and Synthesis using Design Commonalities
1999-02-15
Connecting Visual and Verbal Space: Preliminary Considerations Concerning the Concept `Mental Image'
1994-11-30
Jorg R. J. Schirra
The Semantics of Behavioral VHDL'93 Descriptions
1996-06-24
A Note On the Unification of the Akaike Information Criterion
1998-02-10
Discrepancy of Matrices of Zeros and Ones
1999-02-23
Richard A. Brualdi
Navigation And Retro-Traverse On A Remotely Operated Vehicle
1998-01-27
Karl Murphy
Yingfeng Oh and Sang H. Son May 24,
1993-05-25
Analysis and Compilation of Constraint Solving Algorithms: A Case Study
1996-04-02
Panagiotis Tsarchopoulos
Steady-State Drug Concentration Profiles Using a Numerical Model for Elimination
1970-01-01
Vacuum Structure, Lorentz Symmetry And Superluminal Particles i
1997-04-26
L. Gonzalez-mestres
ALSO: A Language for Extensible Multi-user Systems
1996-08-26
Andrew C. Myers
Optimal Bounds for the Change-Making Problem
1996-10-11
Dexter Kozen
Propositional Lax Logic
1998-01-23
Path Dictionary: A New Approach to Query Processing in Object-Oriented Databases
1996-07-25
Mechanical Integrators Derived from a Discrete Variational Principle
1996-10-31
Donald E. Knuth
1997-12-26
Donald E. Knuth
Distinguishability Condition and the Future Subsemigroup
1995-08-21
Learning by Online Gradient Descent
1994-07-07
Optimization of Instruction Fetch Mechanisms for High Issue Rates
1995-10-25
A Shape Metric for Design-for-Assembly
1998-12-19
Partition Search
1996-03-26
Matthew L. Ginsberg
A Characterization Framework for Software Deployment Technologies
1998-05-29
Parallel Monte Carlo Simulation of Three-Dimensional Flow over a Flat Plate
1996-03-16
Draft of the contribution to pixel performance parts of TDR
1997-04-14
Cppm Marseille
Learning in Order to Reason: The Approach
1998-03-20
Dan Roth
Formalized Mathematics
1996-08-14
Improving TCP Throughput over Two-Way Asymmetric Links: Analysis and Solutions
1998-03-20
Machine-Independent Evaluation of Theorem-Proving Strategies
1998-06-06
Maria Paola Bonacina
Decision-theoretic Planning for Autonomous Robotic Surveillance
1999-02-16
Development of ATM Analysis Software,
1970-01-01
Scheduling Uniform Loop Nests
1996-09-24
M. Wobisch
1998-06-02
M. Wobisch
Automated Theorem Proving in a Simple Meta-Logic for LF
1998-11-24
On the Learning of Rule Uncertainties and their Integration into Probabilistic Knowledge Bases
1997-09-23
Universit'e de Montr'eal, C.P. 6128, Succ A, Montr'eal, QC H3C 3J7, CANADA Electronic-mail:
1970-01-01
SLICOT Drives Tractors!
1999-01-26
Spherical Wavelets: Texture Processing
1997-12-19
Peter Schroder
Conformal field theory approach to gapless 1D fermion systems and application to the edge excitations of . . .
1998-03-10
Image Watermarking for Secure Transmission over Public Networks
1999-02-03
Programming Language Support for Digitized Images or, The Monsters in the Closet
1999-03-28
Unknown
1998-12-09
NWO-P: Parallel Simulation of the Alewife Machine
1997-09-02
Estimating from Outputs of Oversampled Delta-Sigma Modulation
1996-09-27
Structured Gamma
1996-05-14
Graph Ramsey Theory and the Polynomial Hierarchy
1998-03-31
Marcus Schaefer
Naming Guidelines for Directory Pilots
1993-02-07
P. Barker
Relating Clinical and Neurophysiological Assessment of Spasticity by Machine Learning
1997-06-18
On the Convergence and the Applications of the Generalized Simulated Annealing
1999-01-19
Distributed Tool Services Via the World Wide Web
1999-05-04
Bounds For Disconnection Exponents
1996-03-31
W. Werner
Using Permutations in Regenerative Simulations to Reduce Variance
1997-12-03
Department of Psychology; 1202 W. Johnson Street Madison, WI 53706 USA
1997-12-30
Morton Ann Gernsbacher
A Goal ascription based approach to Conversational Implicature
1995-06-15
Mark G. Lee
On Stabilization Methods of Descriptor Systems
1997-03-06
Multiresolution Model Development For Overlapping Trees Via Canonical Correlation Analysis
1996-01-18
Gauge Independence of the Bubble Nucleation Rate in Theories With Radiative Symmetry Breaking
1998-05-14
Using the Modified Phong Reflectance Model for Physically Based Rendering
1996-03-27
LAPACK Working Note 2 Block Reduction of Matrices to Condensed Forms for Eigenvalue Computations
1994-10-08
A New Framework for Image Invariants using Basis Expansion
1997-03-22
Yuan-fang Wang
A Ray Tracing Method for Illumination Calculation in Diffuse-Specular Scenes
1994-09-19
Peter Shirley
Logic-based Plan Recognition for Intelligent Help Systems
1997-01-13
Finding Cores of Limited Length
1997-05-19
Speech Recognition Using Syllable-Like Units
1998-06-23
Machine Abstractions and Locality Issues in Studying Parallel Systems
1993-11-13
Programming Parallel Algorithms
1997-02-04
Guy E. Blelloch
On the Role of Scenarios in Object-Oriented Software Design
1996-02-05
Aerodynamic Optimization Of A High Speed Civil Transport On Parallel Computers
1996-11-04
Learning Stationary Temporal Probabilistic Networks
1998-03-06
Daniel Nikovski
Tickets and Currencies Revisited: Extensions to Multi-Resource Lottery Scheduling
1999-03-22
A General Conservative Extension Theorem in Process Algebra
1995-02-17
C. Verhoef
Database Integration using the Open Object-Oriented Database System VODAK
1995-08-01
Variation in the Assimilation of Igbo Vowels in Hiatus
1997-01-05
Naomi Nagy
P++: A Language for Software System Generators
1995-02-22
Data Allocation for Unsupervised Decomposition of Switching Time Series by Predictive Modular Neural Networks
1998-09-20
Document Retrieval In OCR-Scanned Text
1997-08-28
David Hawking
Tracking Human Motion In An Indoor Environment
1995-06-29
Fast True Delay Estimation During High Level Synthesis
1997-03-25
A Note On A Profit Maximizing Location Model
1997-02-27
Shuzhong Zhang
Parallel Lifts And Holonomy Along Density Operators: Computable Examples Using O3-Orbits.
1997-04-26
Armin Uhlmann
Dealing With Fuzziness In Active Mobile Database Systems
1999-03-08
Expressing and Detecting Control Flow Properties of Distributed Computations
1994-11-07
Text Categorization with Support Vector Machines: Learning with Many Relevant Features
1998-12-27
Empirical Bayesian Spatial Prediction Using Wavelets
1999-03-10
Helical Strands in the Jet-like Narrow Line Region of ESO 428-G14
1999-01-27
F5.308e+05>ORTHOGONALITY OF CARDINAL B-SPLINES IN WEIGHTED SOBOLEV SPACES<F4.162e+05><F4.039e+05>
1999-03-23
Ulrich Reif<f. E+> +<f. E
Correlation-Induction Techniques For Estimating Quantiles In Simulation Experiments
1998-08-18
Characterizing Temporal Abductive Diagnosis
1998-02-05
An Argument for Simple COMA
1998-02-11
Managing Very Large Scientific Data Collections
1998-10-19
Chaitanya Baru
Dynamic Process Management in CLAM
1998-04-20
L'inf'erence Grammaticale R'eguli`ere Vue Comme Un Probl`eme De Coloriage Et Propagation De Contraintes Sur Un Graphe
1998-05-18
Jacques Nicolas
DNA Implementation of Simple Horn Clause Computation
1997-04-09
On The Selection Of Natural Scales For Representing Gray-Level Shape
1996-01-27
Robert Fleischer
1970-01-01
Autonomous Replication in Wide-Area Internetworks
1999-02-11
James Gwertzman
Closure Properties of Constraints
1997-06-12
Logic Synthesis and Optimization Benchmarks User Guide Version 3.0
1997-03-24
Saeyang Yang
Spatial Division Multiple Access SDMA in Wireless Communications
1995-02-20
On Modelling Inconsistencies in Software Development Processes with Graph Based Notations
1997-06-20
FLEX: A Tool for Building Efficient and Flexible Systems
1993-06-09
Integrating Robotic Research: A Survey of Robotic Wheelchair Development
1998-01-20
Holly A. Yanco
Efficient Stochastic Source Coding and an Application to a Bayesian Network Source Model
1998-08-26
Automatic Rule Induction for Unknown Word Guessing
1997-04-22
Andrei Mikheev
Multireception Service for a multimedia News Application
1996-01-02
Curve Extraction in Images Using the Multiresolution Fourier Transform
1997-09-20
An Analog Interpretation of Compression for Digital Communication Systems
1995-12-13
A Survey and Experimental Evaluation of Proximity Sensors for Space Robotics
1998-11-17
MCSPARSE: A Parallel Sparse Unsymmetric Linear System Solver
1970-01-01
The Transformation Calculus
1994-05-02
Jacques Garrigue
Restoration of Atmospherically Blurred Images by Symmetric Indefinite Conjugate Gradient Techniques
1970-01-01
Agent-Based Architecture Modelling for Interactive Systems
1996-01-08
L. Salber
Statistical Properties of a Near-Optimal Measurement-Based CAC Algorithm
1997-08-19
The Church-Rosser Property for . . .
1996-12-19
Herman Geuvers
Scene Description Issues for Computer Graphics
1996-02-13
Are Artificial Neural Networks Black Boxes?
1996-05-02
A class of Heath-Jarrow-Morton models in which the unbiased expectations hypothesis holds
1970-01-01
Experiments In Information Retrieval From Spoken Documents
1998-10-21
Lambda Definability with Sums via Grothendieck Logical Relations
1999-01-04
Marcelo Fiore
Generalized Constraint Generation in the Presence of Non-Deterministic Parasitics
1996-08-21
A Study of the Use and Evaluation of Confidence Measures in Automatic Speech Recognition
1998-03-22
Gethin Williams
Is Code Equivalence Easy to Decide?
1997-12-08
A New Astrophysical Constraint on Radiatively Decaying Neutrinos
1998-05-14
Shiv K. Sethi
Online Network Optimization Problems
1997-09-27
The Existence of Schröder Designs with Equal-sized Holes
1995-10-23
A potential reduction variant of Renegar's short-step path-following method for linear programming
1994-02-11
Dartmouth College Computer Science Performing BMMC Permutations Efficiently on Distributed-Memory Multiprocessors with MPI
1970-01-01
Thomas H. Cormen
Long-Time Behaviour And Co-Existence In A Mutually Catalytic Branching Model
1998-05-19
Classification Systems And Information Service In The Library Of Sao Ras
1997-03-06
G. S. Shvedova
A STARS Case Study in Process Definition
1996-03-21
Carol Diane Klingler
Decomposing Typed Lambda Calculus Into a Couple of Categorical Programming Languages
1996-12-17
Masahito Hasegawa
Tableaux for Diagnosis Applications
1997-05-21
A Simulation and Optimization Environment for Models in Computational Neurobiology
1997-06-18
A Generalized Hidden Markov Model for the Recognition of Human Genes in DNA
1997-02-20
An Analysis Of A Preconditioner For The Discretized Pressure Equation Arising In Reservoir Simulation
1996-03-05
Rounding Face Lattices in
1996-06-24
Victor Milenkovic
Performance of Inverted Indices in Shared-Nothing Distributed Text Document Information Retrieval Systems
1997-03-13
Probabilistic Algorithms and Complexity Classes
1998-01-20
Ryuhei Uehara
Modeling Action, Knowledge and Control
1998-05-22
Models For The Single Blow Problem
1998-03-24
A "Best-Next-View" Algorithm for Three-Dimensional Scene Reconstruction Using Range Images
1970-01-01
Generalized Projections: A Powerful Approach to Aggregation
1996-06-27
Binary Search Trees: How Low Can You Go?
1996-08-09
Rolf Fagerberg
Frankl-Furedi Type Inequalities for Polynomial Semi-lattices
1997-12-26
Analysis of RC Interconnections Under Ramp Input
1997-08-14
BRST Quantization of String Theories
1995-10-12
Werner M. Seiler
Naive Bayesian classifier within ILP-R
1996-05-31
Ring-Based Ordering Protocols
1996-04-04
Query optimization for GIS using filters
1993-12-16
PDATS: Lossless Address Trace Compression for Reducing File Size and Access Time
1994-05-13
Improved Response-Time Analysis Calculations
1998-09-18
Galaxies And Dust At High Redshift
1997-03-03
The Hierarchical Multi-Bank DRAM: A High-Performance Architecture for Memory Integrated with Processors
1998-03-21
Real-Time Mach: Towards a Predictable Real-Time System
1993-12-20
Identifying loops using DJ graphs
1995-09-24
Implementation Experience with Building an Object-Oriented View Management System
1993-12-22
Direct Analysis of Spectra of the Type Ic Supernova 1994I
1999-02-17
The NuMesh: A Modular, Scalable Communications Substrate
1993-04-14
Web Content Adaptation to Improve Server Overload Behavior
1999-04-23
Inversion In Time
1998-09-29
Dynamic Source Routing in Ad Hoc Wireless Networks
1999-02-19
Discovering Concepts in Structural Data
1998-05-22
Yves Caseau Peter Koppstein Bellcore, 445 South Street, Bellcore, 444 Hoes Lane Morristown NJ 07962-1910 Piscataway NJ 08854-4182 caseau@bellcore.com pk@ctt.bellcore.com
1997-10-17
Improvements in Computing Multiple Phase Flows
1970-01-01
M-Lattice: A Novel Non-Linear Dynamical System And Its Application To Halftoning
1994-04-15
Missing Covariates in Time Series with Regression
1996-02-06
Op'erateurs Diff'erentiels Invariants Hyperboliques Sur Un Espace Sym'etrique Ordonn'e
1996-10-16
Jacques Faraut
Rules and Representations: Chomsky and Representational Realism
1996-03-20
Zenon Pylyshyn
Detecting Global Predicates in Distributed Systems with Clocks
1999-01-14
Scott D. Stoller
Jump-Keeping and UpwindTransfer in MultiGrid for Upwind Schemes
1996-10-29
A Machine Learning Approach to Error Detection and Recovery in Assembly
1996-02-12
Design Of Finite Wordlength IIR Filters With Prescribed Magnitude, Group Delay And Stability Properties Using Simulated Annealing
1996-01-25
Towards Designing Artificial Neural Networks by Evolution
1998-12-28
Array Data Flow Analysis for Load-Store Optimizations in Fine-Grain Architectures
1997-06-24
Rajiv Gupta
Wsjcam0: A British English Speech Corpus For Large Vocabulary Continuous Speech Recognition
1996-12-06
Conditional Studentized Survival Tests for Randomly Censored Models
1998-06-12
K A I S T Department of Computer Sci
1999-04-23
Inference in Cognitive Maps
1994-03-13
Michael P. Wellman
Thermal Test and Monitoring
1996-02-11
Internet Telephony: Architecture and Protocols an IETF Perspective
1998-07-02
A Concrete Z Grammar
1998-12-27
Yoram Last and Barry Simon
1997-04-26
Eiji Ogasa
1997-05-23
Eiji Ogasa
Efficient Collective Operations with ATM Network Interface Support
1996-05-16
Unknown
1997-03-06
Douglas C. Schmidt
Towards a Design-Based Analysis of Emotional Episodes
1995-11-01
Polarization State Selection and Switching in VCSEL's
1996-01-26
Regular infinite dimensional Lie groups
1997-01-29
A Delay Damage Model Selection Algorithm for NARX Neural Networks
1997-11-19
New Topologies for Parallel Systems With Optical Interconnections
1997-09-30
Communication Latency Hiding - Model and. . .
1996-01-13
Middleware Support for Open Distributed Applications
1998-03-26
Radial Symmetry of Positive Solutions of Nonlinear Elliptic Equations
1998-11-01
Steven D. Taliaferro
Extrapolation of Numerical Solutions for Elliptic Problems on Corner Domains
1997-09-28
Controlling Evolution by means of Machine Learning
1997-11-13
Improving the Performance of Audio-Based Similarity Queries with Clustering
1999-02-18
Creating Specifications from Code: Reverse-Engineering Techniques
1994-05-19
Average-Case Analysis of Isospeed Scalability of Parallel Computations on Multiprocessors
1998-08-26
On Resource-Bounded Instance Complexity
1995-05-09
Pronunciation Variations In Emotional Speech
1998-05-17
Dynamic Competences and Firm Performance
1997-11-26
Revisiting the decomposition of Karp, Miller and Winograd
1996-09-25
Notes On Suffix Sorting
1998-07-06
N. Jesper Larsson
A Formal Specification of dMARS
1998-01-22
Using Learned Dependencies to Automatically Construct Sufficient and Sensible Editing Views
1995-01-07
Jeffrey C. Schlimmer
DNA Sequence Analysis using Hierarchical ART-based Classification Networks
1996-02-05
Fast Algorithms for Wavelet Transform Computation
1997-06-24
Computation of Bifurcation Boundaries for Power Systems: a New
1998-09-08
Languages Defined With Modular Counting Quantifiers
1999-01-07
Howard Straubing
Investigating Speech Quality By Homomorphic Deconvolution
1998-01-28
Hitch hiker's Guide to ESQIMO - Computational model for analogy solving in IQ-tests
1998-11-24
Object-Oriented Modeling Of Power-Electronic Circuits Using Dymola
1997-03-12
Learning logic programs with structured background knowledge Extended Abstract
1996-02-29
Real Time Asymptotic Packing
1997-12-26
Joel Spencer
Distributed Object Management
1998-11-07
Finding Frequent Substructures in Chemical Compounds
1998-06-15
Utopia: A Load Sharing Facility for Large, Heterogeneous Distributed Computer Systems
1992-11-30
An Algorithm for All-du-path Testing Coverage of Shared Memory Parallel Programs
1998-06-09
Category, Measure, Inductive Inference: A Triality Theorem and its Applications
1997-02-04
Carl H. Smith
An Evening with Berferd In Which a Cracker is Lured, Endured, and Studied
1993-08-08
Bill Cheswick
Lygon 0.7
1996-10-14
Michael Winikoff
Supporting Fine-Grained Data Lineage in a Database Visualization Environment
1997-04-11
The Bird-Meertens Formalism as a Parallel Model
1999-02-10
D. B. Skillicorn
Compile-Time Schemes for Mapping Loop Parallelism
1997-09-30
Rizos Sakellariou
FOOTFORM Decomposed: Using primitive constraints in OT
1997-05-29
Curiosities on Free Fock Spaces
1998-05-23
D. Minic
Inertia Conditions For The Minimization Of Quadratic Forms In Indefinite Metric Spaces
1996-02-08
Formal Engineering of Software Library Systems
1999-02-03
Long time behavior of solutions to Nernst-Planck and Debye-Hückel drift-diffusion systems
1999-04-20
Safeguarding and Charging for Information on the Internet
1997-12-02
Events and Quantification
1994-03-23
Alexis Dimitriadis
Biography of Instructor
1995-06-06
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?
1997-09-12
Testing Software for LAPACK90
1998-10-01
A Taxonomy for Computing Science -- To design is to invent a formally provable statement
1997-06-02
Hans Meijer
Towards an Adaptive Advancing Front Method
1998-04-22
Eric Seveno
Refinement and Continuous Behaviour
1999-03-28
B-Flashsort: A High-performance Sort for the MasPar MP-1 and MP-2 - Implementation Description
1994-09-02
Jan F. Prins
Rigged Non-Tangential Maximal Function Associated with Toeplitz Operators and Hankel Operators
1998-02-16
Jingbo Xia
A Win32 Programming Interface for SML/NJ
1998-04-17
How to Avoid Knowing It All
1998-01-28
Antonio Moreno
Learning to Act using Real-Time Dynamic Programming
1993-07-02
Speech Analysis And Coding Using A Multi-Resolution Sinusoidal Transform
1996-01-23
David V. Anderson
How to Be a Good
1994-04-06
Marie Desjardins
Behaviour-Based Autonomous Systems: Towards an Analysis Framework
1996-04-15
Jacek Malec
Symplectic Convexity Theorems
1995-07-25
Deriving Human-Error Tolerance Requirements from Tasks
1995-10-26
Obligations in a Temporal Framework
1998-03-03
Briki: a Flexible Java Compiler
1996-06-18
Detection And Tracking Of Moving Objects In Color Outdoor Scenes
1997-11-20
Volker Rehrmann
Http://www.cs.ucsb.edu/¸fmartin,pedrog
1996-12-28
Douglas E. Comer and John C. Lin
1997-02-08
Institut fur Mathematik Universitat Wien Austria
1999-01-21
Peter W. Michor
Systemic Design: A Methodology For Investigating Emotional Phenomena In the process of being updated
1993-08-28
Tim Read
Grammars++ for Modelling Information in Text
1998-09-21
CISE Research Instrumentation for Integration of Virtual Realityinto High Performance Computing Environment
1995-08-07
Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes
1993-03-04
Renormalization Group Approach To Field Theory At Finite Temperature
1998-05-23
Robotics
1996-10-08
Dynamic Analysis of Human Walking
1998-01-03
Singularly Perturbed Boundary Value Problems in Case of Exchange of Stablities
1998-07-14
A Fast Heuristic for Approximate String Matching
1997-01-13
Finding All The Perfect Matchings in Bipartite Graphs
1996-06-07
Higher Order Logic
1994-01-04
Daniel Leivant
Quality-driven Source Selection using Data Envelopment Analysis
1970-01-01
Asymptotic Convergence of the Steepest Descent Method for the Exponential Penalty in Linear Programming
1995-10-27
Orderings for ILU Preconditioning of Nonsymmetric Problems
1998-04-08
Exchange Operators And Extended Heisenberg Algebra For The Three-Body Calogero-Marchioro-Wolfes Problem
1998-05-23
C. Quesne
Comparative Evaluation of Server-push and Client-pull Architectures for Multimedia Servers
1998-06-12
A Multi-Perspective Framework for Method Integration
1996-07-01
Bashar Ahmad Nuseibeh
amdb: An Access Method Debugging Tool
1998-08-12
Optimal Algorithms for Substrate Testing in Multi-Chip Modules
1997-10-22
Reliable Performance Modelling with Approximate Synchronisations
1999-03-02
Fn, 16 IF
1997-07-22
Recognition of Human Body Motion Using Phase Space Constraints
1995-10-31
A Laboratory Study Of Subjective Response To Sonic Booms Measured At White Sands Missile Range
1998-08-24
On The Power Of Underdifferencing And Overdifferencing Tests Against Nearly Nonstationary Alternatives
1998-11-30
The Elements Of Consciousness And Their Neurodynamical Correlates
1996-08-31
Bruce Maclennan
Algorithm for Minimum Cuts
1995-08-10
Adverbs in the transfer module of MDS
1996-09-04
Mariana Damova
ACADEMIA: An Agent-Maintained Database based on Information Extraction from Web Documents
1998-01-20
Evaluating the Effectiveness of Derivation Replay in Partial-order vs State-space Planning
1994-09-10
Gain Control of Takagi-Sugeno Fuzzy Models
1998-05-22
Acquiring Knowledge from Users in a Reflective Architecture
1995-06-21
Yolanda Gil
Work Patterns in Project Scheduling
1998-05-29
Statistical Validation of Computer Vision Software
1996-08-26
Accuracy of Lattice Translates of Several Multidimensional Refinable Functions
1998-12-27
Modelling Software Inspection Methods for the Application of Tool Support
1996-02-22
A Multi-Level Task Allocation Scheme For Periodic Tasks Of A Distributed Real Time System
1999-02-22
Zehra Soysert
Status of the HEGRA Experiment at La Palma
1996-07-24
Multimedia Storage Servers: A Tutorial and Survey
1997-02-06
Host Interfacing at a Gigabit
1996-05-23
C. Brendan S. Traw
Synthesizing Intonation using the RFC Model
1995-05-11
Paul Taylor
On the Decoding of Certain Generalized Concatenated Convolutional Codes
1997-06-03
Jung-fu Cheng
CWI and Universiteit van Amsterdam
1995-06-22
Superfluid Vortex Nucleation
1995-12-06
Neil N. Carlson
ICE INTARC Communication Environment Users Guide and Reference Manual Version 1.4
1997-06-19
A Permutation-Free Sequent Calculus for Intuitionistic Logic.
1996-09-17
Some Aspects of Spin Physics at RHIC
1998-05-25
Token and Notational Money in Electronic Commerce
1998-10-06
Verifying Relay Circuits using State Machines
1996-10-17
P. H. J. Van Eijk
An Analysis of Internet Inter-Domain Topology and Route Stability
1996-06-26
Feasible Functions
1998-03-06
Yuri Gurevich
Standard VITAL ASIC Modeling Specification
1996-08-12
Draft Ieee
Middle-Agents for the Internet
1998-03-21
Predictable File Access Latency for Multimedia
1999-01-07
Pre-Fetching Tree-Structured Data in Distributed Memory
1996-03-24
Flavor: A Language for Media Representation
1997-10-17
Program Verification for Optimized Byte Copy
1970-01-01
Edoardo S. Biagioni
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
1998-08-26
The Link Between Brain Learning, Attention, And Consciousness
1999-01-17
Stephen Grossbergy
Implementing the Rewriting Computational Model of Escher
1998-11-02
Kerstin Eder
A Linear Spine Calculus
1997-11-14
A Multi-Level Data Fusion Approach for Gradually Upgrading the Performances of Identity Verification Systems
1999-01-27
Trapped Modes in CESR Sliding Joints
1997-05-16
Low-Power Encodings for Global Communication in CMOS VLSI
1998-03-24
An Investigation into Fault Recovery in Guaranteed Performance Service Connections+
1993-11-29
Lessons from Characterizing Input/OutputBahavior of Parallel Scientific Applications
1998-04-20
Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
1999-03-16
Local and Global Relational Consistency
1997-05-06
LVDCSL: A High Fan-in, High Performance Low Voltage Differential Current Switch Logic Family
1998-05-06
Metric Entropy of Homogeneous Spaces
1998-01-14
Stanislaw J. Szarek
The Evolution of Communication Schemes Over Continuous Channels
1997-01-06
Fast and Efficient Algorithms for Text and Video Compression
1997-05-27
Dzung Tien Hoang
A Rate-Splitting Approach to the Gaussian Multiple-Access Channel
1996-11-06
System Implementations of Analog VLSI Velocity Sensors
1998-10-07
Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs
1995-11-11
Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming
1997-09-24
Marc Pauly
Determining The Nonlinearity In A Parabolic Equation From Boundary Measurements
1994-11-07
Thomas I. Seidman
PMC: A Programming Language for Embedded Systems
1999-05-03
Taxation And The Location Of Foreign Direct Investment In Central Europe
1997-12-04
Approximate Minimum-Cost Multicommodity Flows In
1995-06-01
Extending the Higgs Boson Reach at Upgraded Tevatron
1999-05-16
An Interpretive Framework for Application Performance Prediction
1994-12-09
New Results on Deterministic Pricing of Financial Derivatives
1996-07-31
On the Solution of Traveling Salesman Problems
1998-07-27
Discovering Association Rules with High Predictive Power
1998-03-13
Tobias Scheffer
Evolution of Object Behavior using Context Relations
1997-07-21
Travelling waves in forced Korteweg-de Vries systems
1998-06-29
Pearu Peterson
Q-Structure Of Conformal Field Theory With Gauge Symmetries
1994-11-21
Kenji Ueno
Fsoltau,tanja,westphal,waibelg@ira.uka.de
1998-02-13
Asymptotic Limit Law For The Close Approach Of Two Trajectories In Expanding Maps Of The Circle
1995-12-21
Zaqueu Coelho
Lapped Nonlinear Interpolative Vector Quantization and Image Super-Resolution
1998-01-05
A Complete Classification of the Approximability of Maximization Problems Derived from Boolean Constraint Satisfaction
1999-03-01
Application of an Environment for International Collaborative CAD/CAM
1997-07-08
A System for Wireless Data Services
1997-09-05
Structured Arc Reversal and Simulation of Dynamic Probabilistic Networks
1997-05-30
Automatic Shape Interpolation for Glyph-based Information Visualization
1997-08-27
Reinforcement Learning for Selfish Load Balancing in a Distributed Memory Environment
1997-01-07
Decidability Results of PLOT and MASS
1997-01-30
Integrating Rules and Cases for the Classification Task
1997-08-22
A Parallel RDBMS Approach to Implement Relevance Feedback
1998-02-02
t-Particle Random Walks and Recycling Random Bits in Parallel
1994-07-11
Kernel Principal Component Analysis
1998-07-20
Asymptotic Analysis of Linear Feedback Nash Equilibria in Nonzero-Sum Linear-Quadratic Differential Games
1998-02-06
Integrating Syntactic and Prosodic Information for the Efficient Detection of Empty Categories
1997-02-05
Towards a Theory of Population-Based Incremental Learning
1997-03-26
Analysis of a Soft Real-Time Random Access Protocol
1996-04-17
Michael J. Markowski
Performance Analysis Of A Www Server
1997-09-13
Viewing Morphology as an Inference Process
1997-03-22
Robert Krovetz
Minimum Circulation of Railway Stock
1994-02-28
Alexander Schrijver
Redundancy in Collaborative Dialogue
1997-08-12
Marilyn A. Walker
The Flood-Gate Principle - a Hybrid Approach to a High Security Solution
1998-12-03
Multi-level Logic Synthesis Based on Kronecker Decision Diagrams and Boolean Ternary Decision Diagrams for Incompletely Specified Functions
1997-05-12
On Finite Type 3-Manifold Invariants IV: Comparison of Definitions
1997-01-28
Stavros Garoufalidis
Learning by Scaffolding
1999-02-06
Cynthia Breazeal
An Intrinsic 1/N Expansion for Many Fermion Systems
1998-10-30
Dynamical Recurrent Neural Networks -- Towards Environmental Time Series Prediction
1997-04-24
A Study of the MGBi-CGSTAB Method and its Parallelization
1996-11-20
Kazuho Maeda
Towards A Flexible Software Architecture of Interactive Systems
1997-07-22
Volterra Filter Structure for DS-CDMA
1997-03-05
Reconstructing the Evolutionary History of Natural Languages
1995-06-09
Structural Semigraphoids
1994-06-07
NOW-Sort: A Scalable, Commodity-Workstation Sort
1996-10-31
On Goursat Normal Forms, Prolongations, and Control Systems
1995-08-31
Multistrategy Learning for Information Extraction
1998-05-13
Dayne Freitag
A Recursive Neural Network for Reflexive Reasoning
1998-10-26
Formally Specified Monitoring of Temporal Properties
1999-04-07
Hypothetical-Reasoning and Radical Non-Constituent Coordination in Categorial Logic
1998-11-25
Nissim Francez
HPFIT: A SET OF INTEGRATED TOOLS FOR THE PARALLELIZATION OF APPLICATIONS USING HIGH PERFORMANCE FORTRAN - Part II: Data-Structures Visualization And HPF Support For Irregular Data Structures With Hierarchical Scheme
1996-08-23
Relational Bayesian Networks
1998-01-08
Manfred Jaeger
Constraint Satisfaction Using Interval Analysis: Static Performance Verification of VLSI Systems
1994-10-13
Performance Measurement and Trace Driven Simulation of Parallel CAD and Numeric Applications on a Hypercube Multicomputer *
1997-01-09
Entropy of Non-Extreme Charged Rotating Black Holes in String Theory
1998-05-25
Mirjam Cvetic
A Robust Image Authentication Method Distinguishing JPEG Compression from Malicious Manipulation
1970-01-01
Diagram Editing with Hypergraph Parser Support
1998-08-18
Integrated Architectures for Artificial Intelligence
1996-07-19
Yolanda Gil
Analysis of Evolutionary Trends in Astronomical Literature using a Knowledge-Discovery System: Tétralogie
1998-09-18
Model Combination in the multiple-data-batches scenario
1997-10-07
An Evaluation of the Validity of the Dexter Hypertext Reference Model: A Case Study
1994-07-06
Supporting Machine Independent Parallel Programming on Diverse Architectures
1995-09-11
Ashwin Ram
1993-02-11
On Nonconvex Subdifferential Calculus in Banach Spaces
1995-10-26
+ Inventory Topology Sections 1+ {ordered}, 3+ Axis Geometry Geometry Geometry {ordered} {ordered}
1997-05-28
Minimum Description Length Based 2D Shape Description
1997-01-29
Mengxiang Li
Structural Filtering with Texture Feature Based Interaction Maps: Fast Algorithm and Applications
1998-03-02
Dmitry Chetverikov
A Comparison and Integration of Capture-Recapture Models and the Detection Profile Method
1998-12-07
Theta Delta Delta Delta Theta
1999-02-07
Sergey K. Bagdasarov
A Performance Study on Bounteous Transfer in Multiprocessor Sectored Caches
1998-01-09
MAP: Mobile Assistant Programming for Large Scale Communication Networks
1995-11-02
Michel Theory of Symmetry Breaking and Gauge Theories
1997-01-28
Paola Morando
Exploiting Enterprise Models for the Automatic Distribution of Corporate Information
1997-08-01
Michael Wolverton
Deterministically Annealed Mixture Of Experts Models For Statistical Regression
1996-12-09
Fully Embodied Conversational Avatars: Making Communicative Behaviors Autonomous
1999-03-12
J. Cassell
Combining Reverse With Forward Database Engineeringa Step Forward to Solve the Legacy System Dilemma
1996-11-14
Hubert Hasenauer
Grouping Techniques for Update Propagation in Intermittently Connected Databases
1998-02-26
Parallel Programming with Multiparty Interactions
1998-08-19
Peiyi Tang
IGTree: Using Trees for Compression and Classification in Lazy Learning Algorithms
1970-01-01
Mobile Robot Navigation: Issues in Implementating the Generalized Voronoi Graph in the Plane
1997-08-12
Timeliness via Speculation for Real-Time Databases
1994-05-09
Efficient Prototyping System Based on Incremental Design and Module-by-Module Verification
1996-10-14
A Modular Software System for Distributed Telerobotics
1994-08-25
Fitting a Woven Cloth Model to a Curved Surface: Dart Insertion
1996-07-18
Advanced P2 System Manual
1994-11-17
Masaharu Morimoto
1997-05-23
Masaharu Morimoto
Computationally-Based
1997-03-28
Redundant Addition with Threshold Logic
1997-06-10
Emulating Soft Real-Time Scheduling Using Traditional Operating System Schedulers
1996-06-26
Independent Component Analysis for Time-dependent Stochastic Processes
1998-05-22
Aapo Hyvrinen
A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics
1995-03-06
Andrew Butterfield
Performance Measurement of SDL Specifications - The New SDL Probe Symbol
1998-01-06
A study of Coppersmith's block Wiedemann algorithm using matrix polynomials
1997-05-13
Root Contention in IEEE 1394
1999-01-01
Frits Va
FEM -- Finite Element CFD Collaborator: Clark M. Mobarry, NASA Goddard Space Flight Center Description of Application
1995-10-04
September 27, 1994 MIT-CTP-2350 hep-ph/9409419
1998-05-15
Efficient Treatment of Failures in RPC Systems
1995-03-10
Network Resource Control in the Tandem ServerNet Router
1996-03-25
Reduced Decompositions Of Permutations In Terms Of Star Transpositions, Generalized Catalan Numbers And
1998-08-25
Igor Pak
Improved Inclusion-Exclusion Identities and Inequalities Based on a Particular Class of Abstract Tubes
1999-04-08
Multilevel Circuit Partitioning
1997-06-25
I-TCP: Indirect TCP for Mobile Hosts
1994-10-12
The Load and Availability of Byzantine Quorum Systems
1998-09-22
BOA: The Bayesian Optimization Algorithm
1999-01-27
Performance Evaluation of the Graph Partitioning Algorithms in ParMETIS Version 1.0
1999-01-15
Sparse Serial Tests of Uniformity for Random Number Generators
1998-11-05
Richard Simard
. PROPERTIES OF THE SOLVER 1.1. Operating Requirements
1997-09-25
Using Cue Phrases to Determine a Set of Rhetorical Relations
1996-12-03
Alistair Knott
A Comparison of Implicit and Explicit Parallel Programming
1995-12-14
Vincent W. Freeh
Time-Frequency Analysis Of Seismic Reflection Signals
1996-12-17
Guy Drijkoningen
The Omnipresence of Case-Based Reasoning in Science and Application
1997-12-09
David W. Aha
Fuzzy recombination for the Breeder Genetic Algorithm
1997-09-30
Esprit Iii
1995-05-16
The Pole Placement Problem via PI Feedback Controllers.
1996-12-24
Implementing a Low Cost, Low Latency Parallel Platform
1996-09-17
MARC: A Tool for Automatic Configuration of Parallel Programs
1991-02-04
Kinodynamic Planning in a Structured and Time-Varying Workspace
1998-04-09
Neural Network Reference Compensation Technique for Position Control of Robot Manipulators
1997-08-07
Healthcare Knowledge Mining in a Decentralized, Web-Based Environment
1998-04-01
Gale Martin
High-Level Synthesis of Scalable Architectures for IIR Filters Using Multichip Modules
1996-06-05
Optimal Bounds In Non-Gaussian Limit Theorems For U-Statistics
1999-04-21
A Collision Model for Deformable Bodies
1998-11-10
A Parallel Relational Database Management System Approach to Relevance Feedback in Information Retrieval
1998-05-28
An AI-based Design of a Driver Information Unit
1996-05-13
Assessing Neural Networks as Guides for Testing Activities
1995-12-06
Error Bounds of Finite Difference Schemes for Two-Dimensional Scalar Conservation Laws With Source Term
1996-08-02
Wen Shen
Verification of Real-Time Systems Using PVS
1994-11-05
N. Shankar
Using EM to Classify Text from Labeled and Unlabeled Documents
1999-01-22
Sorting on a Massively Parallel System Using a Library of Basic Primitives: Modeling and Experimental Results
1996-09-12
Dirac Observables and Spin Bases for
1998-12-19
A. Lucenti
The Influence of Lamination Angles on the Interior Noise Levels of an Aircraft
1996-12-04
An improved incremental algorithm for constructing restricted Delaunay triangulations
1997-10-31
Carl F. Ollivier-gooch
Exploiting Redundancy of Purposive Modules in the Context of Active Vision
1997-08-06
The Geometrical Representation of Path Planning Problems
1996-01-02
Borel's Paradox and Sensitivity Analysis
1995-12-01
Conceptual Clustering in Information Retrieval
1998-02-26
Inferring Web Communities from Link Topology
1998-06-22
TETRIS -- A simulation tool for TETRA systems
1996-03-19
Fragmentation of Multidimensional Databases
1970-01-01
A Metadata Based Approach to Improving Query Responsiveness
1998-09-29
A Tutor for Teaching English as a Second Language for Deaf Users of American Sign Language
1998-10-20
.6 System Implementation For U.s. Air Force Global Theater Weather Analysis And Prediction System gtwaps
1997-03-07
An Inter-pattern Distance-based Constructive Learning Algorithm
1998-02-10
Globally Convergent Algorithms for Maximum a Posteriori Transmission Tomography
1995-02-02
An Approach for the Mapping of Jacobi Algorithms onto a Jacobi Specific Dataflow Processor
1997-12-22
On Ramanujan's Q--Function
1996-04-29
An Overview of Larch/C++: Behavioral Specifications for C++ Modules
1996-02-26
Gary T. Leavens
Automated Learning of Load-Balancing Strategies For A Distributed Computer System
1993-08-23
An Online Handwriting-Recognition System Based On Unreliable Modules
1996-12-09
Theorem Proving in Cancellative Abelian Monoids
1996-01-15
Comparative Study of Electronic Mail Systems
1999-03-25
Analysis of Muon Events Recorded with the NT-36 Detector in Lake Baikal
1995-04-29
Constraints on Constraints, Or the Limits of Functional Adaptation
1996-08-29
Simon Kirby
A Systematic and Comprehensive Tool for Software Reliability Modeling and Measurement
1997-01-08
Hamiltonians on Random Walk Trajectories Pablo A. Ferrari
1997-09-01
Pablo A. Ferrari
Acting in Service of Inference and
1998-08-27
The Land-Use Change Analysis System LUCAS for Evaluating Landscape Management Decisions
1995-06-14
RADIO OBSERVATIONS AT 232 MHz AND MULTIFREQUENCY SPECTRAL STUDIES OF SNR HB21
1997-03-03
Timed Models for Protocol Security
1998-10-06
Nonlinear Autoregressive Moving Average Signal Modeling using the Multilayer Perceptron
1996-04-24
Alexander Fischer
Rapports de Recherche
1999-02-03
An Investigation on the Optimal Implementation of Processes
1996-01-15
Cosimo Laneve
A Candidate Set based analysis of Subgoal Interactions in conjunctive goal planning
1996-02-08
The Design of a QR42 Interface using the ECS Methodology
1998-09-24
Shannon V. Morton
Distributed Logic Objects: A Fragment of Rewriting Logic and its Implementation
1999-03-21
In this Issue
1994-12-21
Stochastic Scheduling of Parallel Queues with Set-Up Costs
1998-07-09
Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging
1994-06-15
An Architecture-Independent Approach to FPGA Routing Based on Multi-Weighted Graphs
1996-07-22
High-Resolution Non-Oscillatory Central Schemes for Hamilton-Jacobi Equations
1998-09-14
Chi-tien Lin
A Compiler for Silage
1994-10-09
Edward Wang
Robustness Of Nonlinear Filters Over The Infinite Time Interval
1999-02-08
Code Compression
1997-06-25
Steven Lucco Microsoft
Pegasus Project Description
1994-10-26
A new Approach to the Perfect Matching Problem
1997-03-27
Scalability Issues Affecting The Design Of A Dense Linear Algebra Library
1994-05-13
The Chirplet Transform:Physical Considerations
1995-03-05
Modeling Web Sources for Information Integration
1998-11-05
Phantom: A Simple and Effective Flow Control Scheme
1998-02-11
A Methodology for Constructing Portable and Simple Global Garbage Collectors
1996-11-20
Geodesic Active Contours
1997-06-09
Fuzzy Logic and Probability
1995-05-29
Francesc Esteva
The design and implementation of a Socca Editor
1998-09-04
Predictive Image Coding With Adaptive Wavelet Transform
1997-07-23
Using Case-Based Reasoning for Argumentation with Multiple Viewpoints
1997-06-06
Benchmarking Implementations of Functional Languages with "Pseudoknot", a Float-Intensive Benchmark
1998-03-11
Feature Weighting for Lazy Learning Algorithms
1998-02-12
David W. Aha
Segmentation of Rigidly Moving Objects using Multiple Kalman Filters
1996-01-24
Text Categorization and Relational Learning
1997-04-14
William W. Cohen
Revenue Equivalence of Leveled Commitment Contracts
1999-02-03
Arbitrary View Generation For Three-Dimensional Scenes From Uncalibrated Video Cameras
1995-12-06
Circuits and Expressions with Non-Associative Gates Extended Abstract
1997-10-07
Non-associative Gates
Graphical Explanation in Belief Networks
1996-07-23
A Generalization Of An Irreducibility Theorem Of I. Schur
1996-01-05
Asymmetric Dynamics in Optimal Variance Adaptation
1997-11-28
Vertical Decompositions for Triangles in 3-Space
1994-07-12
Exchange Algorithms for Constructing Large Spatial Designs
1997-11-04
J. A. Royle
Static and Dynamic Location Management in Distributed Mobile Environments
1997-01-27
Identifying Pan-European Value Segments With a Clusterwise Rank-Logit Model
1997-11-12
A complete biblopgraphy of publications in Higher-Order Symbolic Computation
1999-02-12
Nelson H. F. Beebe
A Nonlinear Two-Phase Stefan Problem with Melting Point Gradient: A Constructive Approach
1995-05-27
Conjunctive Types and SKInT
1999-03-30
Jean Goubault-larrecq
Distributed Logic Programming
1998-07-14
Sorting in Linear Time?
1996-03-28
Market-based Resource Control for Mobile Agents
1999-02-08
Interference Minimization Using Automatic Design of Cellular Communication Networks
1998-03-21
Kurt Tutschku
An Adaptive Hidden Markov Model Approach to FM and M-ary DPSK Demodulation in Noisy Fading Channels
1996-07-05
Time and Area Optimization in Processor Architecture
1997-10-23
M. J. Flynn
Transcription Of New Speaking Styles - Voicemail
1998-03-23
The Transformation Calculus and its Typing
1998-03-09
Jacques Garrigue
On Constructing 1-1 One-Way Functions
1999-02-08
Sparsified And Incomplete Sparse Factored Inverse Preconditioners
1970-01-01
O Alvarado Hasan Da~g
Statistical Modelling of Time Series Using Non-Decimated Wavelet Representations
1997-09-17
A new Subband Audio CELP coder
1997-12-22
Experiments in stepsize control for Adams linear multistep methods
1995-01-03
David R. Will'e
Property Testing in Bounded Degree Graphs
1999-02-10
A Graded Approach for Shape Representation
1997-11-23
Two-Layer Planarization in Graph Drawing Extended Abstract
1997-11-28
Petra Mutzel
Regular Types for Active Objects
1995-04-06
The Value of Intermediaries in Network Commerce
1970-01-01
Program Slicing-Based Regression Testing Techniques+
1996-05-13
Compactly Supported Wavelets and Their Generalizations: An Algebraic Approach
1999-02-08
Rndr Radka Turcajov'a
Indexing Valid Time Databases Via B
1997-05-27
Recovery in Distributed Systems Using Optimistic Message Logging and Checkpointing
1995-06-19
Laboratoire d'Astrophysique - Observatoire de Grenoble, Universit'e Joseph Fourier, BP 53, F-38041 Grenoble Cedex 9
1970-01-01
Stochastic programming: Approximation via scenarios
1997-06-06
Robust Linear Quadratic Control of Systems with Integral Quadratic Constraints
1997-03-02
Performance Analysis of Parallel Systems: Approaches and Open Problems
1998-06-26
Discretization of a Model for the Formation of Longshore Sand Ridges
1994-03-30
Rudimentary Reductions Revisited
1997-04-23
A Craniofacial Surgery Simulation Testbed
1997-04-16
FDTs for ODP
1997-06-06
A Note on the Asymptotics and Computational Complexity of Graph Distinguishability
1998-04-27
The Java Language Specification
1995-11-29
Software Pipelining of Nested Loops
1998-05-09
J. Ramanujam
A new resolution calculus for the infinite-valued propositional logic of Lukasiewicz
1998-12-23
Improved Approximate Reachability using Auxiliary State Variables
1999-03-19
Estimation Of Unobserved Counts From Partially Observed Multinomial Distributions
1997-08-28
An Empirical Comparison of Radiosity Algorithms
1997-05-21
Feature Extraction for Low Bit Rate Image Coding Using a Generalized Wavelet Transform
1996-07-11
Transaction model vs Virtual Synchrony model: bridging the gap
1995-11-30
Learning in neural networks with Bayesian prototypes
1995-01-09
Fuzzy Classification of Contact Formations from Sensor Patterns
1996-10-10
On Balls and Bins with Deletions
1998-06-24
he process ... at LEP and NLC
1998-05-23
Thermal Fission Rate Around Super-Normal Phase Transition
1998-05-14
Combining LVQ with continuous density hidden Markov models in speech recognition
1995-11-02
About the Theory of Tree Embedding
1997-11-10
Reducing Overhead in Flow-Switched Networks: An Empirical Study of Web Traffic
1998-02-11
Posting Paper on the Web
1999-02-25
OSCAR: Optimum Simultaneous Scheduling, Allocation and Resource Binding Based on Integer Programming
1998-06-17
The 1996 Broadcast News Speech And Language-Model Corpus
1997-04-14
David Graff
Renormalon Contributions to
1998-05-15
An Architecture for Optimal All-to-All Personalized Communication
1994-07-22
Low Density Parity Check Codes over
1998-07-28
Multiplicationsof Ternary Complementary Pairs
1996-10-09
The Generalized Lapped Biorthogonal Transform
1998-05-01
Surface Microstructure Extraction from Multiple Aerial Images
1997-04-10
:$5'6$57,,,$/0,1'6
1996-02-09
Boosting And Naive Bayesian Learning
1997-11-03
Charles Elkan
Frequency Analysis of Classical Preisach Model
1999-03-10
Marten Sjostrom
DoMerge: Integrating Parallel Loops and Reductions
1998-12-19
Networking Implementation Notes 4.3BSD Edition
1996-05-29
Dynamic loadbalancing in a lightweight adaptive parallel multigrid PDE solver.
1999-01-07
Gerhard W. Zumbusch
Honesty in Partial Logic
1995-02-28
Wiebe Van Der Hoek
Interactive Exploration as a Formal Text Retrieval Method: How Well can Interactivity Compensate for Unsophisticated Retrieval Algorithms
1997-09-23
Entropy-Driven Adaptive Representation
1996-06-06
Justinian P. Rosca
Mostly-Copying Collection: A Viable Alternative to Conservative Mark-Sweep
1999-02-02
Future Hypermedia Retrieval Systems and their Impact on Transfer Systems
1998-02-20
A Remark on the Decay of Superconducting Correlations in One and Two Dimensional Hubbard Models
1997-04-26
Nicolas Macris
Dual Objects -- An Object Model for Distributed System Programming
1998-11-09
Adaptive Real-Time Resource Management Supporting Composition of Independently Authored Time-Critical Services
1993-07-30
Michael B. Jones
Comparative Study of Unstructured Meshes Made of Triangles and Quadrilaterals
1998-04-22
Feasibility and Performance Region Modeling of Analog and Digital Circuits
1996-02-13
Massimo Poesio
1997-09-04
An Analysis of Latency in Dataflow Execution
1995-08-08
An Evidence-Theoretic Neural Network Classifier
1997-05-02
Thierry Denoeux
Turning the Web Into a Computer
1997-01-17
Migration in Object-Oriented Database Systems - A Practical Approach
1995-04-23
Locomotion Versatility through Self-reconfiguration
1998-12-07
Infrastructure for Building Parallel Database Systems for Multi-dimensional Data
1998-04-02
Communication-Minimal Partitioning of Parallel Loops and Data Arrays for Cache-Coherent Distributed-Memory Multiprocessors
1996-07-30
Random Walks in Weyl Chambers and the Decomposition of Tensor Powers
1998-12-15
Embedding of Hypercubes into Grids
1998-07-17
Monte Carlo Simulation and Bottleneck-Centered Heuristics for Time-Critical Scheduling in Stochastic Domains
1996-12-02
Data Fitting with Rule-Based Regression
1995-07-31
Luis Torgo
Information Theory versus Complexity Theory: Another Test Case
1998-05-15
Crowded Collaborative Virtual Environments
1999-01-24
Generating Polynomial Orderings for Termination Proofs
1996-11-19
Jurgen Giesl
Addressing Partitioned Arrays in Distributed Memory Multiprocessors -- the Software Virtual Memory Approach
1996-08-01
Rajeev Barua
An Asynchronous Distributed Systems Platform For Heterogeneous Environments
1998-08-14
Experiences with Tripwire: Using Integrity Checkers for Intrusion Detection
1994-03-11
Multi-Agent Meeting Scheduling: Preliminary Experimental Results
1997-05-01
A Parallel Simulated Annealing Algorithm for Generating 3D Layouts of Undirected Graphs
1996-11-13
Resolution Enhancement Of Images Using Wavelet Transform Extrema Extrapolation
1995-08-11
-- 1-- Invisible
1997-09-23
Implementation Notes on bdes1
1994-08-06
Matt Bishop
Application Design for Wireless Computing
1998-03-27
Terri Watson
Learning High-Level Navigation Strategies from Sensor Information and Planner Experience
1997-02-21
Adaptive Optimization For Self: Reconciling High Performance With Exploratory Programming
1998-11-25
Latency Tolerance through Multithreading in Large-Scale Multiprocessors
1991-11-19
A Toolkit for Constraint Management in Heterogeneous Information Systems
1998-12-28
Human Postural Control: Force Plate Experiments and Modelling
1998-03-03
Methodological Foundations of Keats, The Knowledge Engineers' Assistant
1999-01-19
Visualizing High-Dimensional Structure with the Incremental Grid Growing Neural Network
1997-05-07
Robust Designs for Approximately Polynomial Regression
1998-10-19
A Version Of
A Linear Spine Calculus
1999-03-23
Co-Evolution Of Language-Size And The Critical Period
1997-11-18
Learning part of speech disambiguation rules using Inductive Logic Programming
1998-07-30
Abstraction and concretizing in information systems and problem domains: Implications for system descriptions and theoretical frameworks
1995-02-17
The 2dF QSO redshift survey
1998-04-30
MetaML: Multi-Stage Programming with Explicit Annotations
1998-03-17
A Comparison of Projective Reconstruction Methods for Pairs of Views
1995-05-19
Morphology in MiMo2
1997-01-08
Gertjan Van Noord
Data Logging: A Method for Efficient Data Updates in Constantly Active RAIDs
1998-06-09
Monotone Multigrid Methods for Elliptic Variational Inequalities I
1994-04-16
Ralf Kornhuber
A model for Formal Parametric Polymorphism
1995-07-10
A Local Regularization Operator For Triangular And Quadrilateral Finite Elements
1999-03-23
Revision History
1995-03-21
A Continuum of Minimal Pairs of Compact Convex Sets which are not Connected by Translations
1996-06-24
Diethard Pallaschke
Adapting the Energy Landscape for MFA
1997-04-08
Compiler Technology for Future Microprocessors
1997-10-16
A Route Server Architecture for Inter-Domain Routing
1997-01-23
Transparent Migration of Java-based Mobile Agents
1998-07-07
Stefan Funfrocken
Answering Queries Using Views
1996-12-10
Nuprl-Light: An Implementation Framework for Higher-Order Logics
1999-01-19
Jason J. Hickey
Design Of MEMS Via Efficient Simulation Of Fabrication
1997-06-30
The Tunneling Algorithm for Partial CSPs and Combinatorial Optimization Problems
1995-03-28
Electroproduction: Light-Cone Wave Functions and Electromagnetic Form Factors of Mesons.
1998-05-15
Geometric Integration Using Discrete Gradients
1998-08-27
Average-Case Quantum Query Complexity
1999-04-23
Ronald De Wolf
A Fuzzy Perceptron as a Generic Model for Neuro-Fuzzy Approaches
1996-11-21
Detlef Nauck
Observation of the Decay
1998-03-18
Cleo Collaboration
Progressive Image Coding Using Trellis Coded Quantization
1997-12-09
Existence and Stability of Propagating Fronts for an Autocatalytic Reaction-Diffusion System
1997-05-16
Using a Goal-driven Approach to Generate Test Cases for GUIs
1998-12-18
An Experiment to Assess Cost-Benefits of Inspection Meetings and their Alternatives
1998-09-05
Polymorphic Typing of an Algorithmic Language
1995-10-30
Diffusive Algorithms for Dynamic Load Balancing in Massively Parallel Architectures
1996-07-04
On Shintani Zeta Functions For GL2
1997-01-14
Akihiko Yukie
Local Estimation for an Integral Equation of First Kind with Analytic Kernel
1998-10-16
A Parallel Solver for Extreme Eigenpairs
1998-10-12
Blind Source Separation of More Sources Than Mixtures Using Overcomplete Representations
1998-12-23
Peter Dittrich, Wolfgang Banzhaf, Hilmar Rauhe and Jens Ziegler
1998-10-15
Unknown
1995-06-05
Induction of First-Order Decision Lists: Results on Learning the Past Tense of English Verbs
1995-06-28
A Model for Adaptive Fault-Tolerant Systems
1996-06-25
Demand-driven Computation of Interprocedural Data Flow
1998-10-08
A Comparison of Mechanisms for Improving TCP Performance over Wireless Links
1998-10-01
Prototyping Compiler and Simulation Tools with PCCTS
1994-08-05
A DWT-based technique for spatio-frequency masking of digital signatures
1999-02-03
Modular Forms and Instanton Numbers in N=2 Dual String Pairs
1997-10-24
Specifying Active Database Systems in an Object-Oriented Framework
1999-04-01
Lorentz Covariance, Higher-Spin Superspaces and Self-Duality
1998-07-03
A Structural Linearization Principle for Processes
1995-05-31
Ffl Ffl Ffl
1997-09-23
Improving the Efficiency of Parallel Fractal Compression using Localized Domain-pools
1998-04-20
Acknowledgements
1998-09-04
Einat Amitay
Design of Multi-Parameter Steerable Functions Using Cascade Basis Reduction
1996-04-03
Constraint Databases and Program Analysis using Abstract Interpretation
1996-11-21
Optimal Power Dispatch via Multistage Stochastic Programming
1996-10-11
M. P. Nowak
A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics
1999-03-17
Real-Time Case-Based Reasoning in a Complex World
1996-02-22
Mark J. Fasciano
Real-time Gesture Recognition with the Perseus System
1997-08-15
Equational Unification, Word Unification, and 2-Order Equational Unification
1997-11-11
Training Algorithms for Linear Text Classifiers
1999-01-18
Data Resource Selection in Distributed Visual Information Systems
1998-07-28
An Overview of the AURORA Gigabit Testbed
1992-10-23
Bayesian Inference for Time series with Infinite Variance Stable Innovations
1997-03-07
Parallel Progressive Radiosity with Adaptive Meshing
1998-05-19
Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions
1998-02-18
Recognition Performance Of A Large-Scale Dependency Grammar Language Model
1998-08-21
Topology of Visual Cortical Maps
1997-01-22
Shigeru Tanaka
An Agent Based Simulation Environment For Public Order Management Training
1994-06-04
Roderick J. Williams
Motion-Compensated Interpolation Using Trajectories With Acceleration
1998-02-02
Modular Key Management Protocol MKMP
1994-11-29
Haskell Tutorial
1998-10-02
Some Initial Performance Characteristics of Three Architectural Styles
1998-08-06
Jan Bosch
Linear and Incremental Acquisition of Invariant Shape Models from Image Sequences
1996-05-24
Progress in Proof Planning: Planning Limit Theorems Automatically
1998-07-17
Erica Melis
Average waiting times in a tree network of ATM multiplexers.
1997-07-17
Reconstruction of Character Skeletons using Gabor filter features
1996-08-06
A Linear Constraint Satisfaction Approach to Cost-Based Abduction
1996-02-16
Eugene Santos
Considering Collaborative Filtering as Groupware: Experiences and Lessons Learned
1998-10-02
Christopher Lueg
A Device For Automatic Speech Recognition*
1995-09-25
Developing CASE tools which support integrated development notations
1995-09-14
Human-Style Theorem Proving Using PVS
1998-09-02
Believing Change and Changing Belief
1995-04-02
Peter Haddawy
A Signaling and Control Architecture for Mobility Support in Wireless ATM Networks
1998-09-10
An Abstraction-Based Approach to Interleaving Planning and Execution in . . .
1996-10-08
Confluence without Termination via Parallel Critical Pairs
1998-04-02
Bernhard Gramlich
Tiger: A Fast New Hash Function
1998-02-19
Ross Anderson
Application Of Correlation MemoryMatrices In High Frequency Asset Allocation
1998-06-22
An Infeasible-Interior-Point Algorithm for Linear Complementarity Problems
1993-01-17
Stephen Wright
Progressive Multiple Alignment with Constraints
1996-06-18
Iteration Abstraction in Sather
1998-01-02
On the Strong Maximum Principle for Fully Nonlinear Degenerate Elliptic Equations
1998-10-20
The Performance of the Cedar Multistage Switching Network
1995-12-19
Digital Implementation of SISC Fuzzy Controllers
1998-04-02
A Short Note on Functions of Bounded Semivariation and Countably Additive Vector Measures
1997-08-19
P. Vieten
Gerhard Weiß1995. Distributed Machine Learning. Sankt Augustin, Germany: infix Verlag. ISBN 3-929037-75-0.
1996-03-22
An Algorithm for Labeling Edges of Hierarchical Drawings
1998-10-28
Sumer Measurements Of Non-Thermal Motions: Constraints On Coronal Heating Mechanisms
1998-05-20
Jongchul Chae
.1 Outline
1995-12-06
Dynamic Parameter Encoding for Genetic Algorithms
1994-09-06
Dynamic analysis of some Relational Data Bases parameters II: Equijoin and semijoin
1995-03-29
Guy Louchard
A New Class of Fast Shape-Adaptive Orthogonal Transforms and Their Application to Region-Based Image Compression
1998-09-21
Real-Time Case-Based Reasoning in a Complex World
1996-02-22
Mark J. Fasciano
Clique Detection via Genetic Programming
1998-08-03
Thomas Haynes
A Three-Valued Declarative Debugging Scheme
1997-05-30
Lee Naish
Slow and Smooth: a Bayesian theory for the combination of local motion signals in human vision
1998-05-09
Making Multimedia Networks Programmable
1996-07-13
Andrew T. Campbell
The MIT Alewife Machine: Architecture and Performance
1996-10-07
HyperContext: A Model for Adaptive Hypertext
1997-08-05
Christopher Staff
Functional, I-Structure, and M-Structure Implementations of NAS Benchmark FT
1995-08-10
The Case For Prediction-based Best-effort Real-time Systems
1999-02-03
Partitioning Complexity Issue for Iterated Functions Systems based Image Coding
1995-06-28
Emmanuel Reusens
On the Interaction of Lazy Evaluation and Backtracking
1995-11-10
Dimensionality Reduction of Electropalatographic Data Using Latent Variable Models
1999-01-13
Steve Renals
Simulations of Large Telecommunication Networks Based on Probabilistic Modeling
1996-02-09
Global Rebuilding of OBDDs - Avoiding Memory Requirement Maxima
1995-04-21
Model-Free Estimation of Defect Clustering in Integrated Circuit Fabrication
1996-07-27
A Markup Language For Text-To-Speech Synthesis
1997-05-23
A Method of Spatial Reasoning Based on Qualitative Trigonometry
1997-11-22
Jiming Liu
Labels Transformations and New Distance Measures
1997-11-07
Learning Fine Motion by Using the Hierarchical Extended Kohonen Map
1996-08-05
Consistency and Automation in Multi-User Rule-Based Development Environments
1990-11-02
Matrix Chain Ordering in Polylog Time with n/lg n Processors
1993-02-19
Two Algorithms For Symmetric Linear Systems With Multiple Right-Hand Sides
1998-06-18
Hua Dai
The Role of the Software Engineer in Real-Time Software Development: An Introductory Course
1998-12-17
Carol L. Hoover
OCEANS: Optimizing Compilers for Embedded Applications
1997-09-05
Using Interval Arithmetic To Model Finite Domain CSPs Where Domain Generation Is Expensive
1997-02-28
Using Finite State Automata to Produce Self-Optimization and Self-Control
1998-02-09
Structuration d'un jeu de donn'ees `a l'aide de techniques d'apprentissage: Application au test de robots mobiles.
1997-09-16
Semidefinite programs and combinatorial optimization Lecture notes
1996-01-11
On the Expressive Power of the Unary Transformation Model
1998-09-14
QUATERMAN vs. QUATERNICA: A Comparative Implementation of Quaternions in Maple and Mathematica
1997-08-27
Yves Papegay
Improved Approximation Algorithms for Uniform Connectivity Problems
1998-09-05
Abduction and Induction From a Non-Monotonic Reasoning Perspective
1998-08-14
Nicolas Lachiche
Automated Reasoning about Cubic Curves
1994-04-07
Plotting and Scheming with Wavelets
1997-02-27
Colm Mulcahy
An Analytical Study of Object Identifier Indexing
1998-06-03
Kjell Bratbergsengen
Topology of energy surfaces and existence of transversal Poincaré sections
1997-11-06
Domination and Total Domination on Asteroidal Triple-Free Graphs
1997-04-23
Dieter Kratsch
Implementation and Performance of the MPI Message Passing Interface on the Fujitsu AP1000 Multicomputer
1994-10-04
Linguistic Support for Agent Migration Extended Abstract
1995-06-04
Computer Aided Training For Cooperating Emergency Managers: Some Results Of MUSTER Project
1999-03-24
Using Constrained Snakes for Feature Spotting in Off-line Cursive Script
1993-11-19
A. W. Senior F. Fallside
On the Use and Performance of Explicit Communication Primitives in Cache-coherent Multiprocessor Systems
1996-07-18
Modelling The Galactic Bar Using Red Clump Giants
1996-05-26
Testability Analysis and Behavioral Testing of the Hopfield Neural Paradigm
1970-01-01
Blind Equalization Of Multiuser CDMA Channels: A Frequency-Domain Approach
1970-01-01
Combining Words and Speech Prosody for Automatic Topic Segmentation
1970-01-01
Learning and development in neural networks: The importance of starting small
1994-11-30
Jeffrey L. Elman
Archon: A Distributed Artificial Intelligence System For Industrial Applications
1994-07-07
The simulation of pantograph and catenary: a PDAE approach
1998-09-21
M. Arnold
Unknown
1997-03-05
Dp Structure, Hpsg And The Chinese Np
1997-05-26
The troubles with using a logical model of IR on a large collection of documents
1995-10-17
Single Assignment C - Functional Programming Using Imperative Style
1998-11-13
Sven-bodo Scholz
Reduction of Cache Conflicts in Loop Nests
1995-03-20
A Study on the Discovery of Relevant Fuzzy Rules Using Pseudo-Bacterial Genetic Algorithm
1998-11-19
Quasi-Monte Carlo Methods in Computer Graphics: The Global Illumination Problem
1996-06-27
Alexander Keller
Document Categorization and Query Generation on the World Wide Web Using WebACE
1998-12-29
Multi-Domain Multi-Model Formulation for Compressible Flows: Conservative Interface Coupling and Parallel Implicit Solvers for 3D Unstructured Meshes
1999-02-07
Recursive Blind Symbol Estimation of Convolutionally Coded Co-channel Signals
1998-03-25
A Parallel Inexact Newton Method for Stochastic Programs with Recourse
1997-11-06
Cross-Language Information Retrieval Bibliography
1997-08-26
Douglas W. Oard
May 24, 1993
1993-05-24
Don Libes
Logics For Context-Free Languages
1995-08-29
Symbolic Composition: Opportunities For Program Specialization
1995-06-19
Lance Paavola
A Trainable View-Based Object Detection System Thesis Proposal
1997-03-01
Henry A. Rowley
CS442 Project Report: MAP Decomposition of a Mixture of AR Signals Using Multilayer Perceptrons
1996-01-09
Christophe Couvreur
On The Lieb-Thirring Constants
1997-04-26
Complexity Measures for Assembly Sequences
1996-12-17
Useful Characteristics for Identifying Analogous Specifications
1995-11-13
Mechanisms For Mixed-Initiative Human-Computer Collaborative Discourse
1995-01-24
Curry I. Guinn
3-D recognition via 2-stage associative memory
1995-04-14
Randal C. Nelson
The Average Length of Keys and Functional Dependencies in Random Databases
1997-03-03
Guidelines for OSI NSAP Allocation in the Internet
1991-07-22
Ross Callon dec
Application of Ensemble Integrations for Predictability Studies and Data Assimilation
1998-03-07
Geir Evensen
WWW: http://www.cs.colorado.edu/home/mcbryan/Home.html
1994-04-26
Oliver A. Mcbryan
Geometric ergodicity of Metropolis algorithms
1998-12-21
Transition Restricted Gray Codes
1997-12-26
Method Dispatch for Multi-Method Object-Oriented Languages
1998-10-14
Digital Software and Data Repositories for Support of Scientific Computing
1995-02-27
On New Families of Supplementary Difference Sets over Rings with Short Orbits
1998-11-25
Domain Name Server Operations Guide
1993-06-07
John Bignucolo
Generating F
1996-05-13
More robust J-RASTA processing using spectral subtraction and harmonic sieving
1998-02-23
Hiroaki Ogawa
A Tutorial Survey of Reinforcement Learning
1994-11-14
Empirical estimators for semi-Markov processes
1996-05-31
Towards a Comprehensive Distributed Systems Management
1996-07-01
Selective Value Prediction
1999-03-11
Data/Knowledge Bases for Biological Papers and Techniques
1994-04-21
MAP DSM Overview
1997-04-17
Darren Sanders
A Clock Distribution Scheme for Large RSFQ Circuits
1998-02-09
Anaphoric Dependencies in Ellipsis
1997-11-19
Genetic Programming and Redundancy
1998-09-06
Compiling Causality into Action Theories
1995-12-05
Yan Zhang
Customized Information Extraction as a Basis for Resource Discovery
1998-06-30
FACE: A Flexible Approach for Constraint Enforcement and Compensation of Constraint Violations in Federated Databases
1997-01-28
Myra Spiliopoulou
Extending the random level shift AR RL-AR model
1999-02-03
Fractal Coding Performance for First Order Gauss-Markov Models
1997-03-14
The Advantages of Machine-Dependent Global Optimization
1993-11-17
Complex Optimal Sequences with Constant Magnitude for Fast Channel Estimation Initialization
1997-12-15
Complex Spatio-Temporal Dynamics in the Near-Field of a Broad Area Semiconductor Laser
1998-08-14
Performance-Driven Interconnect Design Based on Distributed RC Delay Model
1995-04-23
Representational Eclecticism - A Foundation Stone for the New AI?
1999-02-08
Chris Thornton
Video Retrieval by Still Image Analysis with ImageMiner
1999-01-24
ASTER - Towards Modality-Independent Electronic Documents
1995-03-10
T. V. Raman
Transcribing Multilingual Broadcast News Using Hypothesis Driven Lexical Adaptation
1998-03-03
Lattice Based Language Models
1997-11-20
Pierre Dupont
A Self-Organizing Map that Learns the Semantic Similarity of Reusable Software Components
1998-09-10
Chiral transition and monopole percolation in lattice scalar QED with quenched fermions
1997-08-06
High-Level Constructs in the READY Event Notification System
1998-10-07
Tailor-made Operating Systems for Embedded Parallel Applications
1999-01-26
Antonio Augusto Frohlich
Control Knowledge to Improve Plan Quality
1995-11-21
Encoding HTN Planning in Propositional Logic
1998-06-13
Positioning An Autonomous Off-Road Vehicle By Using Fused Dgps And Inertial Navigation
1998-12-15
Journal of Graph Algorithms and Applications
1998-05-18
Guessing, Ballot Numbers, And Refining Pascal's Triangle
1995-10-29
Robert A. Sulanke
G-Matrices of order 19
1997-03-20
Xian-mo Zhang
Canonical Relativistic Quantum Mechanics: Representations of the Unitary Semidirect Heisenberg Group, . . .
1997-04-26
Stephen G. Low
Inner Diagonals Of Convex Polytopes
1998-09-15
On Inferring Linear Single-Tree Languages
1998-11-13
Selective Crossover in Genetic Algorithms: An Empirical Study
1998-07-01
A Robust Parsing Algorithm For Link Grammars
1995-10-13
The Design, Implementation, And Evaluation Of Cryptographic Distributed Applications: Secure PVM
1997-04-01
Wavelength Division Multiple Access Channel Hypercube Processor Interconnection
1995-03-17
Patrick W. Dowd
Design of Virtual Three-dimensional Instruments for Sound Control
1999-03-24
Path Optimization for Graph Partitioning Problems
1995-08-07
Transverse Activities: Abstractions in Object-Oriented Programming
1996-09-13
Bent Bruun Kristensen
Evolutionary Design of Neural Architectures
1995-02-07
Interactive Audio Documents
1994-09-20
Understanding Function Behaviors through Program Slicing
1997-10-20
Fast Algorithms for MiningAssociation Rules
1996-02-21
Ordered And Shared, Linearly-Independent, Variable-Pair Decision Diagrams For Incompletely Specified Functions
1997-04-01
Iterators: Signs of Weakness in Object-Oriented Languages
1994-12-07
Henry G. Baker
Motion and Color Analysis for Animat Perception
1996-06-26
The Weakest Precondition Calculus: Recursion and Duality
1999-01-08
The Complex Ginzburg-Landau Equation with Weak Initial Data
1997-04-26
Jiahong Wu
All Structured Programs have Small Tree-Width and Good Register Allocation
1996-12-12
Mikkel Thorup
Tool Support for Planning the Restructuring of Data Abstractions in Large Systems
1997-11-25
Recognition can be Harder than Parsing
1998-01-28
Bernard Lang
Games with Imperfectly Observable Commitment
1998-07-01
Extension Theory for Local Groupoids
1997-10-29
Anders Kock
Physical Based Toolkit For Real-Time Distributed Virtual World
1995-10-27
Henry Tong Ong
The Ant System: Optimization by a colony of cooperating agents
1999-01-28
On the Existence of Sign Changing Solutions for Semilinear Dirichlet Problems
1996-06-28
Coherent Demodulation with FPGAs
1996-09-21
U. Meyer--base
Dynamics of Training
1996-11-20
Single Frequency Network Planning For Dab/dvb With Individual Data Services
1998-11-06
Agnes Ligeti
Empirical Bayes approaches to mixture problems and wavelet regression
1998-10-30
Managing Software with New Visual Representations
1999-01-21
erschien in: Computers Security 9/8 1990 715-721
1996-09-20
Andreas Pfitzmann
Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence
1994-09-02
Eugen E. Ardeleanu
On Debugging Real-Time Applications
1994-08-19
Complex Structures in Quantum Field Theory
1997-04-26
Rainer Dick
Knowledge-Intensive Query Processing
1998-05-13
Using An MDL-Based Cost Function With Neural Networks
1998-05-19
Identifying Speakers With Support Vector Networks
1996-06-17
Michael S. Schmidt
On the Number of Metastable States in Spin Glasses
1995-06-13
Total Acknowledgements: A Robust Feedback Mechanism for End-to-End Congestion Control
1998-04-12
A Study on Retrospective and On-Line Event Detection
1998-06-15
Constraints on Constraints, Or the Limits of Functional Adaptation
1996-04-13
Simon Kirby
Geometric Models in Stereoscopic Video
1996-01-25
Cheng Hong Yang
A Sufficiently Fast Algorithm for Finding Close to Optimal Junction Trees
1997-03-20
Steering Three-Input Chained Form Nonholonomic Systems Using Sinusoids: The Fire Truck Example
1995-01-27
Front Tracking And Operator Splitting For Nonlinear Degenerate Convection--Diffusion Equations
1998-05-03
About Hölder Condition Numbers and the Stratification diagram for Defective Eigenvalues
1999-05-12
Variational Calculation of the Temperature Jump for a Polyatomic Gas
1994-09-28
The Discrete Wavelet Transform in S
1997-11-19
An Efficient Iterative Method For Stokes And Lamé Equations For Nearly Incompressible Media With Highly Discontinuous Coefficients
1998-09-24
N. S. Bakhvalov
Path Constraints on Deterministic Graphs
1999-03-31
A Migration-friendly Tasking Environment for Gardens
1997-10-22
Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases
1994-10-05
Stefan Brass
Visual Logic Programming through Set Inclusion and Chaining
1996-06-20
Issues for the Commercial Distribution of Electronic Documents
1997-07-21
Comparison of Hardware and Software Cache Coherence Schemes
1992-07-15
Classified Larch Bibliography
1993-05-09
Lively Linear Lisp - 'Look Ma, No Garbage!'
1994-12-07
Henry G. Baker
Functional Optimisation of Online Algorithms in Multilayer Neural Networks.
1997-06-09
A Note on Worst Case Efficient Meldable Priority Queues
1996-06-12
Rolf Fagerberg
On the Markov Equivalence of Chain Graphs, Undirected Graphs, and Acyclic Digraphs
1999-04-25
Compiler Techniques for Determining Data Distribution and Generating Communication Sets on Distributed-Memory Machines
1996-10-18
Criteria Used for the Evaluation of Software System Requirements Models
1996-10-24
Elizabeth Haywood
On the Use of Destination Set Grouping to Improve Fairness in Multicast Video Distribution
1995-07-19
Weak Long Distance Contributions to the Neutron and Proton Electric Dipole Moments
1997-12-11
Sfg Approach To The Sensitivity Determination Of Dynamic Recurrent Systems
1998-11-30
Ergodic Convergence In Subgradient Optimization
1997-09-22
On the Algorithmics of Higraphs
1997-09-03
A Prototype Study of an Autonomous Robot Platform for Sewerage System Maintenance
1997-04-16
Constructing Solvers For Radiosity Equation Systems
1997-05-16
A New Hashing Package for UNIX
1998-12-17
Computation and Data Partitioning on Scalable Shared Memory Multiprocessors
1996-11-25
Symbol-level Requirements for Agent-level Programming
1994-02-14
in Lagrangian. However, CP invariance is broken if
1997-09-23
GAP - Groups, Algorithms and Programming: version 3 release 4 patchlevel 4
1999-02-19
Linear Machine Decision Trees
1993-09-21
Local Spectral Theory for Operators on Banach Spaces and Applications to Convolution Operators on Group Algebras
1999-03-19
Michael M. Neumann
Mass Degeneracy of the Higgsinos
1998-06-23
Gian F. Giudice
On the Expressive Power of Graphical Query Languages
1970-01-01
T. Catarci
New Approximation Methods for Planar Offset and Convolution Curves
1997-10-13
Type Specialisation for the lambda-calculus, or A New Paradigm for Partial Evaluation based on Type Inference
1996-03-29
John Hughes
Robust Frequency Estimation Using Elemental Sets
1997-08-08
Parallel OPS5 User's Manual
1995-02-21
Combined Execution and Monitoring for Control of Autonomous Agents
1996-11-15
The Call-By-Value Lambda-Calculus: A Semantic Investigation
1997-02-05
A Finite-Difference Sieve to Count Paths and Cycles by Length
1997-12-11
Eric Bax
A Refinement Logic for the Fork Calculus
1996-06-20
Unification, Rewriting, and Narrowing on Term Graphs
1997-02-13
Annegret Habel
A Hardware Multicast Routing Algorithm for Two-Dimensional Meshes
1996-07-20
Comparing Flow and Context Sensitivity on the Modification-side-effects Problem
1997-08-07
A Concurrent Logic Programming Encoding of Petri Nets
1995-09-07
Andrew Davison
Architecture-Independent Request-Scheduling with Tight Waiting-Time Estimations
1997-02-14
Fast Hierarchical Codebook Search for Fractal Coding of Still Images
1995-10-31
A Fixed-Point Recursive Digital Oscillator For Additive Synthesis Of Audio
1998-09-10
Shape from Shading: Provably Convergent Algorithms and Uniqueness Results
1994-11-05
Paul Dupuis
The Design and Implementation of a Sequence Database System
1996-08-01
Modeling Interactive 3D and Multimedia Animation with an Embedded Language
1997-08-14
Conal Elliott
GOLEX - Bridging the Gap between Logic GOLOG and a Real Robot
1998-05-26
Runtime Array Redistribution in HPF Programs
1994-12-08
L2Act: User Manual
1998-03-26
Roni Khardon
Scalable Algorithms for Large-Scale Temporal Aggregation
1998-11-03
Using Chunk Based Partial Parsing of Spontaneous Speech in Unrestricted Domains for Reducing Word Error Rate in Speech Recognition
1998-09-20
How to Build Evidence in a Public-Key Infrastructure for Multi-Domain Environments
1997-11-26
Bruno Crispo
Constraint Maintenance using Generated Methods in the P/FDM Object-Oriented Database
1998-02-11
Ants don't have Friends - Thoughts on Socially IntelligentAgents
1997-09-03
Kerstin Dautenhahn
Supporting IP Multicast Integrated Services in ATM Networks
1997-08-05
German Gis/lis Standards
1994-11-23
The Fate of the Reformulated Binding Theory
1998-06-04
Charlotte Koster
High-Level Planning and Control with Incomplete Information Using POMDPs
1998-06-09
Blai Bonet
Issues in Designing a Transport Protocol for Audio and Video Conferences and other. . .
1993-05-27
Multiresolution Modeling and Visualization of Volume Data based on Simplicial Complexes
1997-02-03
Control of Visually Guided Behaviors
1994-05-09
Ieee Transactions On Information Theory, Vol. 43, No. 1, January 1997
1997-11-04
On The Creation Of Conjugate Points For Hamiltonian Systems
1997-09-12
Minimal Geodesics on Groups of Volume-preserving Maps and Generalized Solutions of the Euler Equations
1997-06-23
Yann Brenier
High-dimensional Similarity Joins
1997-04-06
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection
1997-04-15
Dodo: A User-level System for Exploiting Idle Memory in Workstation Clusters
1998-12-10
Clustering Noisy Data with Deterministic Annealing
1995-10-25
Mattias Ohlsson
Building User Interfaces: Organizing Software Agents
1970-01-01
Automatic Re-Tuning of PI Controllers in Oscillating Control Loops
1997-08-25
Locality, Independence and the Pro-Liberty Bell
1996-02-27
Huw Price
A Matrix-Algebraic Approach to Successive Interference Cancellation in CDMA
1999-01-05
Towards Automatic Specialization of Java Programs
1998-12-17
Parallelisierte Anfrageoptimierung für parallele Datenbanksysteme
1996-10-02
Data Partitioning and Load Balancing in Parallel Disk Systems
1996-06-27
General Bounds on Statistical Query Learning and PAC Learning with Noise via Hypothesis Boosting
1994-09-20
IP Switching: ATM Under IP
1998-04-23
Circumscribing Embedded Implications Without Stratifications
1994-10-04
L. Thorne Mccarty
Set-Theoretic Reconstructability of Elementary Cellular Automata
1996-01-29
Stavanger College, Department of Electrical and Computer Technology P. O. Box 2557 Ullandhaug, 4004 Stavanger Phone: +47 51 83 10 51 Fax: +47 51 83 17 50 e-mail: ranveig@hsr.no
1998-01-30
Static and Adaptive Location Management in Mobile Wireless Networks
1998-12-23
OMG RFP Submission Smalltalk Language Mapping Specification
1995-04-05
A Network which Performs Orthonormalized Principal Subspace Extraction
1994-07-29
Mark D. Plumbley
Instruction-Set Modelling for ASIP Code Generation
1998-06-17
Customizing Adaptive Software to Object-Oriented Software Using Grammars
1994-05-26
Euclidean Structure and Motion From Image Sequences
1998-12-05
A Recursive Log-MAP Algorithm for Binary Linear Block Codes
1998-04-07
Metastates In Disordered Mean Field Models II: The Superstates
1997-08-31
Christof Kulske
Vector Compaction Using Dynamic Markov Models
1998-01-13
On Bayesian Analysis Of Multi-Rater Ordinal Data: An Application To Automated Essay Grading
1994-02-03
Valen E. Johnson
Unknown
1994-12-09
Dealing With Disaster: Surviving Misbehaved Kernel Extensions
1996-09-17
Scalable Parallel List Ranking of Image Edges on Fine-grained Machines
1999-02-05
Diphone Synthesis For Welsh
1995-06-14
Briony Williams
Learning for Question Answering and Text Classification: Integrating Knowledge-Based and Statistical Techniques
1998-05-15
Patterns arising from the interaction between scalar and vectorial instabilities in two-photon resonant Kerr cavities
1999-01-27
Application of Neural Networks to Load-Frequency Control in Power Systems.
1997-11-14
Signal Detection In Non-Gaussian Noise By A Kurtosis-Based Probability Density Function Model
1997-04-15
A. Tesei
Modeling from Physical Principles
1997-03-12
KUMANO, Tadashi TOKUNAGA, Takenobu INUI, Kentaro TANAKA, Hozumi
1996-04-01
A comment on the efficiency of secret sharing scheme over any finite Abelian group
1998-06-08
The Inviscid Limit of the Complex Ginzburg-Landau Equation
1997-04-26
Jiahong Wu
Optimality and Inefficiency : What Isn't a Cost Model of the Lambda Calculus?
1996-01-29
Analysis Of Comptel Gamma-Ray Burst Locations And Spectra
1996-12-02
Design and Evaluation of Data Storage and Retrieval Strategies in a Distributed Memory Continuous Media Server
1997-01-20
Error-Driven Learning of Chinese Word Segmentation
1998-08-20
Visual Tools for Verifying Real-Time Systems
1996-02-21
Jonathan S. Ostroff
Porting The Well-Posed Topographical Meteorological Model To The Ksr Parallel Supercomputer
1994-08-09
Constraint Handling in Evolutionary Search: A Case Study of the Frequency Assignment
1999-01-29
Optimizing Proof Search in Model Elimination John Harrison
1999-03-27
Maximum Principle and Local Mass Balance for Numerical Solutions ofTransport Equation Coupled With Variable Density Flow
1998-07-27
P. Frolkovic
VCR 2.0 RPC Support and Run-Time Library
1992-11-03
A Layman's Guide to a Subset of ASN.1, BER, and DER
1995-06-13
Burton S. Kaliski
Nonoverlapping Domain Decomposition Methods for Inverse Problems
1997-11-21
Karl Kunisch
Charge collection response of SI GaAs p-i-n detectors
1997-06-12
From Micro-Soft to Bio-Soft: Computing with DNA
1999-02-03
Lila Kari
Traffic Action Effect Reduction Factors
1999-03-28
Simon F. Bailey
SPE 35518 Optimisation of Production Strategies using Stochastic Search Methods
1996-06-18
A Scaling Limit of the Glauber Dynamics for a Class of Neural Network Models
1997-04-26
Hans Koch
Scalable Access within the Context of Digital Libraries
1997-03-17
Wulff Droplets And The Metastable Relaxation Of Kinetic Ising Models
1997-05-15
A Groenewold-Van Hove Theorem for S²
1997-04-26
Wireless LANs: The DECT Approach
1999-01-05
Anthony Lo
Acknowledgments
1997-02-11
David Mcgregor Squire
Representing Time in Multimedia Systems
1996-03-26
Alignment Across Oriental and Indo-European Languages
1996-07-17
Practical Issues in Graphical Constraints
1996-12-01
Michael Gleicher
B-Trees with Relaxed Balance
1995-10-04
Consistency Driven Planning
1997-05-30
An On³ Algorithm for Frobenius Normal Form
1998-04-28
Arne Storjohann
Tracking a Moving Object by an Active Vision System: PANTHER-VZ
1995-02-13
Robust Construction of the Voronoi Diagram of a Polyhedron
1996-06-23
Victor Milenkovic
The Sequoia 2000 Architecture And Implementation Strategy
1997-07-08
Unknown
1998-11-13
Dibyendu Nandy
English Alphabet Recognition with Telephone Speech