Separable Versus Quincunx Wavelet Transforms For Image Compression
1998-08-24
External Polymorphism
1999-06-23
Sierpinski Gasket as a Martin Boundary II The Intrinsic Metric
1998-12-28
The Detection of Abnormal Masses in Mammograms
1998-02-24
Phrase-based Information Retrieval
1998-10-06
A. T. Arampatzis
- Douglas Hofstadter
1993-08-23
Some Issues in Monitoring Convergence of Iterative Simulations
1998-05-21
An Approximate L 1 -Difference Algorithm for Massive Data Streams
1999-08-27
Planning as Refinement Search: A unified framework for comparative analysis of Search Space Size and Performance
1993-09-26
Subbarao Kambhampati
Adaptive Parallelization of Model-Based Head Tracking
1999-05-29
Christopher G. Atkeson
Multiple-View Integration in Product Data Modeling: Applying STEP Standard
1999-04-27
Z-Iteration: Efficient Estimation of Instantaneous Measures in Time-Dependent Multi-Class Systems
1997-05-31
Research Status of the
1995-11-25
Passive Distance Learning for Robot Navigation
1998-01-05
Optikron: a Tool Suite for Enhancing Model--Checking of Real--Time Systems
1998-05-19
Conrado Daws
A Subspace Preconditioning Algorithm For Eigenvector/eigenvalue Computation
1995-11-06
Unknown
1997-12-08
Integration in Real PCF
1997-01-20
Abbas Edalat
Knowledge, Probability, and Adversaries
1999-06-18
An Implication of Pricing on the Transmission of Rate-Regulated, Variable Bit-Rate Traffic
1999-09-16
George Kesidis
Generating New Beliefs From Old
1999-06-18
Some Estimates For Convex Polynomial Approximation In
1997-03-07
NEW ASPECTS OF LONG-PERIOD VARIABLE STARS FROM HIPPARCOS: FIRST RESULTS M.O. Mennessier
1997-07-16
Expressiveness of Binary Constraints for the Frequency Assignment Problem
1997-09-08
A Useful Lambda-Notation
1996-11-29
Hierarchical Symmetry
1996-05-15
Lower Bound on the Size of Shares of Nonperfect Secret Sharing Schemes
1997-06-26
TCP-like Congestion Control for Layered Multicast Data Transfer
1999-08-05
Efficient Retrieval Of Complex Objects: Query Processing In A Hybrid Db And Ir System
1995-03-29
IBM Research Report
1999-06-23
Induction and Recursion on the Partial Real Line Via Biquotients of Bifree Algebras
1997-03-21
Thomas Streicher
Scheduling Optimization for Resource-Intensive Web Requests on Server Clusters
1999-04-20
Listing All Minimal Separators of a Graph
1970-01-01
A Case Study in Class Library Verification: Java's Vector Class
1999-06-02
Speech Perception, Well-Formedness, and Lexical Frequency.
1999-02-10
Simulation Of A Cvt Chain Drive As A Multibody System With Variant Structure
1999-03-22
Hyperplane Arrangements And Linear Strands In Resolutions
1999-08-26
Irena Peeva
On Explicit Substitutions and Names
1997-05-15
View--Based Cognitive Map Learning By an Autonomous Robot.
1999-06-07
Dynamical Systems for the Generation of Navigation Behavior
1998-01-23
TransType Project Description
1999-06-15
George Foster
Fourier and Wavelet Characterizations of Massless Hardy Spaces
1998-03-13
Massless Hardy Spaces
Rigid registration of CT and MR volumes based on Rothe's creases
1997-02-25
N-body Methods on MIMD Supercomputers : Astrophysics on the Intel Touchstone Delta.
1995-03-06
An A R Ara E C E R N AraC Ar A Eren A E A N
1993-07-30
Formal Semantics and Spoken Dialogues
1996-08-26
Massimo Poesio
Guaranteeing Real-Time Requirements with Resource-Based Calibration of Periodic Processes
1998-11-09
Using Smartcards to Secure a Personalized Gambling Device
1999-07-02
Adaptive Predictive Table-Lookup Hierarchical Vector . . .
1997-01-07
A Connection Based Proof Method for Intuitionistic Logic
1999-06-18
Ioannis K. Argyros
1996-02-20
Ioannis K. Argyros
Making Distributed Applications Manageable Through Instrumentation
1999-04-29
Nijmegen Preprint HEN-326 Nov. 1989
1997-11-21
Tailoring the Interaction With Users in Electronic Shops
1999-03-30
Toward a Model of the Interaction of Centering with Global Discourse Structure
1999-09-03
Marilyn A. Walker
Cache Optimization For Structured And Unstructured Grid Multigrid
1999-06-02
Contradiction Removal within Well Founded Semantics
1999-03-25
Patch-Adaptive Multilevel Iteration
1996-10-16
H. Lotzbeyer
Property Testing of Abelian Group Operations
1999-06-18
Ronitt Rubinfeld
Circuit-Switched Gossiping in the 3-Dimensional Torus Networks
1998-06-30
CONDITIONAL ENTROPY A Tool to Explore the Phase Space
1999-02-16
Progress Report
1998-06-02
Niels Vaever Petersen
Approximation Schemes for Minimizing Average Weighted Completion Time with Release Dates
1999-08-25
Control Policies for Some Continuous-Time Production Scheduling Problems
1999-03-02
D'epartement Automatique Productique
Detection of Heterogeneities in a Multiple Text Database Environment
1999-07-01
Model Based Diagnosis of Leaks in the Air-Intake System of an SI-Engine
1999-05-12
John Froelich and Ben Mathes
1995-04-09
Persistent Triangulations
1999-09-02
File : Amsbpr
1995-11-06
TCP Fast Start: A Technique For Speeding Up Web Transfers
1998-10-05
Response Analysis for the Early Stages of Sedimentation Processes
1999-04-19
Shape and Motion of 3-D Curves from Multi--View Image Sequences
1998-09-13
Chapter 25 Automatic Differentiation Applied to Convex Optimization
1997-06-24
Eric Hassold
Bivariate Spline Interpolation with Optimal Approximation Order
1999-01-28
On the Multi-Level Solution Algorithm for Markov Chains
1996-04-02
Graham Horton
Uniqueness of solutions for the extended Fisher-Kolmogorov equation
1998-03-24
Using LDAP Directory Caches
1999-01-20
Compilation Strategies as Objects
1999-06-23
A Learning Machine That Evolves
1998-03-02
Using Tabled Logic Programming and Preference Logic for Data Standardization
1999-01-08
Edge Isoperimetric Theorems for Integer Point Arrays
1999-02-07
Automated Classification of Stellar Spectra. II: Two-Dimensional Classification with Neural Networks and Principal Components Analysis
1998-08-24
Types for Trees
1999-07-02
APPLICATION POSSIBILITIES FOR THE HIPPARCOS INTERMEDIATE ASTROMETRIC DATA F. van Leeuwen
1997-07-16
F. Van Leeuwen
On a Simple, Practical, Optimal, Output-Sensitive Randomized Planar Convex Hull Algorithm
1999-07-21
The Significance Of The Cochlear Traveling Wave For Theories Of Frequency Analysis And Pitch
1999-08-31
Steven Greenberg
Contraints
1999-06-07
A System For Simultaneous Video And Acoustic Data Acquisition
1994-08-22
Complexity Distortion Theory
1997-10-17
JAWS: A Framework for High-performance Web Servers
1999-06-23
Evolving Behavioural Choice: An Investigation into Herrnstein's Matching Law
1999-05-20
Justin A. Boyan
1999-08-10
Justin A. Boyan
Spike Frequency Adaptation Affects the Synchronization Properties of Networks of Cortical Oscillators
1999-01-11
Computing Refinable Integrals --- Documentation of the Program --- --- Version 1.1 ---
1999-01-03
Angela Kunoth
Automatic Labeling of Self-Organizing Maps: Making a Treasure--Map Reveal its Secrets
1999-05-06
Identity Escrow
1998-06-11
How To Make A Hill Plot
1999-06-30
Invariant Curves of Analytic Perturbed Nontwist Area Preserving Maps
1999-02-17
A Planning Component for RETSINA Agents
1999-05-12
Data-Parallel R-Tree Algorithms
1999-05-27
Finn Arup Nielsen 29. February
1996-02-29
Finn Arup Nielsen
The Recursively Enumerable Degrees
1998-02-11
Richard A. Shore
Compiler Optimizations for Real Time Execution of Loops on Limited Memory Embedded Systems
1998-12-11
Sundaram Anantharaman
Combining Assembly Planning with Redesign: An Approach for More Effective DFA
1997-08-21
Simplicial Decomposition with Disaggregated Representation for the Traffic Assignment Problem
1995-09-19
Complexity Distortion Theory
1997-04-13
Language Engineering in Dialogue Systems
1996-02-16
Distributed Scheduling Systems on the Internet
1997-05-23
Benjamin Ping-chang Yen
Masaharu Morimoto
1997-05-23
Masaharu Morimoto
Unitary Invariance of the Kostlan Norm Linear Algebra Proof
1999-06-01
An Example-Based Approach to Japanese-to-English Translation of Tense, Aspect, and Modality
1999-08-13
Definable Naming Relations in Meta-level Systems
1998-10-05
Frank Van Harmelen
Vectorization and Parallelization of Clustering Algorithms
1999-06-03
DUNES: A Performance-Oriented System Support Environment for Dependency Maintenance in Workstation Networks
1999-06-17
Kihong Park
Interpolation and Almost Interpolation by Weak Chebyshev Spaces
1999-01-28
Similarity, Uncertainty and Case-Based Reasoning in PATDEX
1999-03-22
Multi-Agent Gesture Interpretation for Robotic Cable Harnessing
1995-11-21
A Valency Dictionary Architecture for Machine Translation
1999-07-05
Tomographic Imaging of the Sun's Interior
1997-03-08
A. G. Kosovichev
Classification and Learning of Similarity Measures
1994-09-30
Characterizations of Embeddable
1995-06-19
Hierarchical Data Structures for Interactive Volume Visualization
1995-11-08
Computational Learning by an Optical Thin-Film Model
1997-12-15
Estimating Physical Parameters by Forward Modelling and Statistical Inversion of Remotely Sensed Data
1998-02-12
Causal Compactification And Hardy Spaces
1970-01-01
G. Olafsson
Object Interconnections
1998-11-24
Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic
1999-05-18
Commutative Algebra For Cohomology Rings Of Virtual Duality Groups.
1998-11-23
On A Class Of Kinetic Equations For Reacting Gas Mixtures
1997-05-14
QCD Phenomenology of Charm Production at HERA
1999-01-29
Carl R. Schmidt
A Comparison of Mesh Simplification Algorithms
1998-11-10
Preconditioned Iterative Methods in a Subspace for Linear Algebraic Equations with Large Jumps in the Coefficients
1996-02-19
MASCOT: A Multiagent System for Hybrid Optimization
1998-07-17
Sven Hader
Mining for "Consistent" Relationship Structures
1999-07-26
Ray-tracing Procedural Displacement Shaders
1999-05-11
MAGELLAN: Map Acquisition of Geographic Labels by Legend Analysis
1999-02-09
Resource Scheduling in Enhanced Pay-Per-View Continuous Media Databases
1998-08-26
Achieving Speedups for APL on an SIMD Distributed Memory Machine
1999-06-04
An OO Encapsulation of Lightweight OS Concurrency Mechanisms in the ACE Toolkit
1999-06-23
Douglas C. Schmidt
Symmetric Rank-Revealing Decompositions
1999-04-26
TRI--PP--96--10 Apr 1996
1996-11-27
All You Need Is Force: a constraint-based approach for rigid body dynamics in computer animation
1996-01-31
User as Student: Towards an Adaptive Interface for Advanced Web-Based Applications
1997-06-09
Peter Brusilovsky
Optical and near-infrared imaging of faint Gigahertz Peaked Spectrum sources
1999-01-07
Descendants In Heap Ordered Trees Or A Triumph Of Computer Algebra
1997-12-26
Helmut Prodinger
Network Support for Multicast Video Distribution
1999-08-04
Non-parametric Reconstruction of Abell 2218
1998-03-09
Lax Pair Formulation for a Small-Polaron Chain With Integrable Boundaries
1998-11-05
Notes On Surgery And
1997-05-23
John Roe
Adaptive Programming: Application to a Semi Supervised Point Prototype Clustering Algorithm
1999-03-17
Typed Closure Conversion
1970-01-01
Compositional Semantics for Unification-based Linguistic Formalisms
1999-04-28
Shuly Wintner
IP Switching: ATM Under IP
1998-11-25
Ontology-based Process Support
1999-05-31
Value-Update Rules for Real-Time Search
1999-04-06
Finite Element Resolution Of The 3d Stationary Semiconductor Device Equations On Multiprocessors
1999-06-03
Digital Image Watermarking: an Overview
1999-06-25
Compression Tolerant Image Authentication
1999-06-22
RBAC on the Web by Smart Certificates
1999-07-23
Converting Identification Trees Into Nonmonotonic Inheritance Structures
1995-07-17
Hmm And Neural Network Based Speech Act Detection
1999-02-09
Klaus Ries
Nijmegen preprint HEN-360 July 1993
1997-11-21
Filter Image Browsing
1999-01-20
A Unified Multigrid Theory for Non-Nested Grids and/or Quadrature
1996-06-22
Radiative Polarization, Computer Algorithms and Spin Matching in Electron Storage Rings
1999-09-01
Sequential Continuity and Submeasurable Cardinals
1999-06-30
A Neural System for the Recognition of Partially Occluded Objects in Cluttered Scenes
1997-06-09
On the Effect of Traffic Self-similarity on Network Performance
1999-07-11
Offsets of Rational Surfaces&Ray Tracing.
1999-07-14
Architecture d'Agent Autonome: Applicationà la Robotique Mobile
1997-01-23
Efficient implementations of the SOLA mollifier method
1997-02-06
Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems
1999-04-28
Jianguo Cao and Frederico Xavier
1997-11-05
The Amber System: Parallel Programming on a Network of Multiprocessors
1998-12-01
Lower bounds for static dictionaries on RAMs with bit operations but no multiplication
1996-07-30
Peter Bro Miltersen
Structure and Dynamics of Liquid Diphenyl Carbonate Investigated By Molecular Dynamics Simulations
1999-07-16
TCP Behavior of a Busy Internet Server: Analysis and Improvements
1998-09-13
Reiner Genevriere
1997-02-18
Reiner Genevriere
Measuring Improved Reliability in Stochastic Systems
1999-07-07
An Artificial Life Approach to Data Mining
1999-08-03
Alfred Ultsch
A Genuinely Multidimensional Upwind Scheme And Efficient Multigrid Solver For The Compressible Euler Equations
1995-02-02
David Sidilkover
A q-Analogue of Graf's Addition Formula for the Hahn-Exton q-Bessel Function
1996-02-09
Resolution and the Weak Pigeonhole Principle
1999-06-04
Process Groups for Distributed Computing
1999-02-01
Modeling Interactions of the Rat's Place and Head Direction Systems
1996-01-09
Inversion In Time
1998-09-29
Mathias Bauer Dietmar Dengler
1999-05-21
Rule Extraction: Where Do We Go from Here?
1999-05-27
Optimal Design Of Multiple Hash Tables For Concurrency Control
1997-07-18
A Repository-Based Improvement Cycle for Reuse-Driven SDL System Development
1999-06-08
Chaotic Codes For Cdma Applications
1997-09-09
An Intensional Investigation of Parallelism Thesis Proposal
1995-09-08
Denis Dancanet
TESTING ENVIRONMENT FOR INNOVATIVE TRANSPORT PROTOCOLS Phillip T. Conrad
1998-08-20
Chaotic Versus Classical Stream Ciphers - A Comparative Study
1998-05-22
Communicating Functional Agents and their Application to Graphical User Interfaces
1996-05-07
Efficient Resolution of Sparse Indirections in Data-Parallel Compilers
1999-06-03
Future Trends for a Global Object Web
1996-04-10
Genotypic-Space Mapping: Population Visualization for Genetic Algorithms
1996-11-20
A General Framework for Mesh Decimation
1998-03-18
The Hyades: distance, structure, dynamics, and age
1997-10-10
Structure-Preserving Specification Languages for Knowledge-Based Systems
1998-10-05
Probabilistic Guarantees for Fault-Tolerant Real-Time Systems
1998-02-23
Exploiting Population Information in Evolutionary Learning
1999-07-05
High-Performance Memory-based Face Recognition for Visitor Identification
1999-08-20
Users And Standardisation -- Worlds Apart? The Example Of Electronic Mail
1996-09-24
Probabilistic Object Recognition and Localization
1999-06-11
Nonlinear Interpolation Of Topic Models For Language Model Adaptation
1999-08-12
A Complete Bibliography of Publications in the Journal Of Cryptology
1999-07-19
Nelson H. F. Beebe
A Stochastic Search Approach to Grammar Induction
1999-05-21
Jordan B. Pollack
Hassan At-Kaci Andreas Podelski Seth Copen Goldstein May
1994-12-02
Exploring the Symbolic/Subsymbolic Continuum: A Case Study of RAAM
1999-06-29
The Degree Of Coconvex Polynomial Approximation
1997-03-25
Improved Approximation Algorithms for MAX k-CUT and MAX BISECTION
1998-01-15
A Simplified Account of Polymorphic References
1996-10-14
Robert Harper
Oblivious Key Escrow
1998-02-01
Matt Blaze
A Search Control for Scheduling Problems
1998-11-10
R. Rodosek
Exploitation of component information in a RAM-based architectural synthesis system
1999-06-30
MRL-Filters: A General Class of Nonlinear Systems and their Optimal Design for Image Processing
1997-10-27
A Visual Simulation Environment Based On Extended Predicate Transition Nets
1970-01-01
EmailValet: Learning Email Preferences for Wireless Platforms
1999-06-03
Facilitating Open Communication in Agent Systems: the InfoSleuth Infrastructure
1999-07-06
Marian H. Nodine
Action Constraints for Planning
1999-07-28
Ulrich Scholz
A Logical Formalism For Intergrammatical Representations
1997-01-07
Vincenzo Manca
Lange and Wiehagen's Pattern Language Learning Algorithm: An Average-Case Analysis with respect to its Total Learning Time
1998-06-04
Thomas Zeugmann
Markov Chain Models of Genetic Algorithms
1999-05-26
Some New Bounds for Cover-Free Families
1999-06-25
Lattice Embeddings below a Nonlow Recursively Enumerable Degree
1998-02-11
Towards a standard for an Agent Communication Language
1998-03-12
Learning DNF Over The Uniform Distribution Using A Quantum Example Oracle
1970-01-01
An Inexact Hybrid Generalized Proximal Point Algorithm And Some New Results On The Theory Of Bregman Functions
1999-07-08
On Classes of p-adic Lie Groups
1999-07-09
C. R. E. Raja
Evaluation of Mechanisms for Fine-Grained Parallel Programs in the J-Machine and the CM-5
1996-11-13
On Red Black SOR Smoothing in Multigrid
1994-05-12
Irad Yavneh
Term Preference Weight
1999-08-21
Analysis of Daily Temperature Fluctuations
1997-07-10
A Modal Analysis of Staged Computation
1970-01-01
De ning Open Software Architectures for Customized Remote Execution of Web Agents
1999-07-15
Titos Saridakis
A Methodology For Query Reformulation In Cis Using Semantic Knowledge
1999-05-14
Efficient Strategies for Software-Only Directory Protocols in Shared-Memory Multiprocessors
1995-09-27
Guiding Agent Learning in Design
1999-08-18
Efficient Multiparty Computations Secure Against an Adaptive Adversary
1999-04-29
`Click and Listen': A Case Study of the Development of a CALL Package
1997-09-14
System Support for Mobile Multimedia Applications
1997-05-28
A Shogi-Computer Test Set
1998-12-10
On Universal Graphs for Planar Oriented Graphs of a Given Girth
1997-05-26
Cyclic Weighted Reference Counting without Delay
1997-06-10
AUTOMATED KNOWLEDGE ACQUISITION MEETS METAREASONING: INCREMENTAL QUALITY ASSESSMENT OF CONCEPT HYPOTHESES DURING TEXT UNDERSTANDING Udo Hahn, Manfred Klenner Klemens Schnattinger
1998-03-17
Call-by-need and Continuation-passing Style
1993-11-12
Some Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian Networks
1999-02-18
Meteor Observations with an MF Radar
1999-06-15
Measurement of the Partial Decay Width
1997-08-13
Dynamics of time-varying discrete-time linear systems: Spectral theory and the projected system
1997-07-31
Fabian Wirth
Frequency Domain Down-Conversion of HDTV Using an Optimal Motion Compensation Scheme
1999-07-09
Is Structure-From-Motion Worth Pursuing?
1996-08-27
Formal Requirements Analysis of an Avionics Control System
1999-06-09
Coalition Formation in a Power Transmission Planning Environment
1999-07-13
An Approach to Blind Source Separation Based on Temporal Structure of Speech Signals
1999-07-14
Random Sampling, Halfspace Range Reporting, and Construction of<=k-Levels in Three Dimensions
1999-07-08
Timothy M. Chan
Nonlinear Approximation Of Random Functions
1970-01-01
Albert Cohen
Scattering of Glueballs and Mesons in Compact
1998-05-12
A Uniform Language of Composition
1997-09-26
Search Space Reduction in QoS Routing
1999-01-09
Parallel Distributed Compensation for Takagi-Sugeno Fuzzy Models: Multiobjective Controller Design
1999-06-15
Defective Complements in Tree Adjoining Grammar
1999-07-05
Universal Classical Planner: An algorithm for unifying State-space and Plan-space planning
1995-09-01
How to Deforest in Accumulative Parameters?
1999-01-25
The Arc-Transversal Median Algorithm: an Approach to Increasing Ultrasonic Sensor Accuracy
1999-04-30
Sampling In Parallel-Beam Tomography
1997-10-01
Adel Faridani
Successive Broadcasts on Hypercube
1994-03-09
Distributed Spatial Control, Global Monitoring and Steering of Mobile Physical Agents
1999-07-21
Effect of Gateway Buffer Management Policies on TCP over ATM Performance
1998-11-09
Temporal Association Rules with Numerical Attributes
1999-06-01
Transduction with Confidence and Credibility
1999-06-24
Instabilities, bifurcation and saddle-points in some FBP's in combustion
1998-09-02
Characterizations of the Basic Feasible Functionals of Finite Type
1996-02-09
Spectral Multidomain Technique with Local Fourier Basis
1996-11-20
ASIUM: quelques exp'erimentations pr'eliminaires
1999-06-21
David Faure
An Axiomatics for Categories of Transition Systems as Coalgebras
1998-06-05
STOCHASTIC SYMMETRY-BREAKING IN A GAUSSIAN HOPFIELD-MODEL Anton Bovier
1998-08-03
Balanced Loads In Infinite Networks
1995-08-23
Bruce Hajek
On the Design of Eilean: A Linda-like Library for MPI
1994-01-01
First Term Paper New Architecture for DVE Object Based Dynamic Group Multicast Framework
1997-12-16
Tam Tsz Shing peter
Information Retrieval as Statistical Translation
1999-06-02
Reliable Communication for Highly Mobile Agents
1999-08-17
HyperScribe: A Data Management Facility for the Dataflow Visualization Pipeline
1997-08-12
H. Wright
Beyond the Worst-Case Bisection Bound: Fast Sorting and Ranking on Meshes
1996-09-12
Effects of Two Dimensional Plasmons on the Tunneling Density of States
1997-12-11
D. V. Khveshchenko
Journal of Graph Algorithms and Applications
1998-06-18
Modal Verbs Must Be Raising Verbs
1999-06-29
Susi Wurmbrand
Normalized Coprime Factorizations in Continuous and Discrete Time -- a Joint State--Space Approach
1995-04-12
J. W. Hoffmann
Dynamical Distributed Memory Systems
1999-04-22
Copy Detection Mechanisms for Digital Documents
1996-03-02
Flexible, Constraint-Based Tools for Complex Scheduling Applications
1994-06-02
Pseudorandom bit Generators for Secure Broadcasting Systems
1999-06-27
Chung-huang Yang
High--Performance Prefetching Protocols for VBR Prerecorded Video
1999-01-25
Primordial Nucleosynthesis With Massive
1998-02-09
Challenges of Handwriting Recognition in Farsi, Arabic and Other Languages with Similar Writing Styles An On-line Digit Recognizer
1997-01-23
Parallel Domain Decomposition Applied to Coupled Transport Equations
1994-04-29
The Rejuvenation of Materialized Views
1996-02-14
Basic Properties of Objects and Morphisms.
1999-05-13
Beata Madras
New Delay Analysis in High Speed Networks
1999-07-16
Zeta Functions And Transfer Operators For Multidimensional Piecewise Affine And Expanding Maps
1999-06-10
Controllability of the shifted inverse power iteration: The case of real shifts
1999-07-31
Structural Stability of Non-Ground State Traveling Waves of Coupled Nonlinear Schrödinger Equations
1998-06-09
Y. A. Li
Programming Languages as Operating Systems or Revenge of the Son of the Lisp Machine
1999-06-27
Implications Of A Quantum Mechanical Treatment Of The Universe
1998-05-05
An Algebraic Derivation of the Kruppa Equations and a New Algorithm for Self-Calibration of Cameras
1999-03-22
Gang Xu
A Neural Net Model for Mapping Hierarchically Structured Analogs
1997-08-20
The Domain Reduction Method: High Way Reduction In Three Dimensions And Convergence With Inexact Solvers
1997-06-25
Electrostatic Field-Based Multiscale Corner Detection: A Physics-Motivated Approach
1998-01-30
Gamal Abdel-hamid
Architectures and Techniques for Large-Scale, Distributed Workflow Management on the Internet
1997-10-24
Computing Approximate Diagnoses By Using Approximate Entailment
1998-10-05
A Unified Multigrid Theory for Non-Nested Grids and/or Quadrature
1997-06-25
Characterization of All Nonlinear Stabilizing Controllers via Observer based Kernel Representations
1998-08-01
Colorings and Girth of Oriented Planar Graphs
1995-11-03
A System for Human Jaw Modeling Using Intra-Oral Images
1999-03-10
Parameter Choices for ADI-like Methods on Parallel Computers
1997-10-01
Is Huffman Coding Dead?
1998-05-06
SIPLeS-II: An Automatic Program Diagnosis System for Programming Learning Environments
1999-07-22
Communication Costs of Parallel Volume Rendering of Large Images on a Network Of Workstations
1997-02-06
Workholding - Analysis and Planning
1995-07-11
Bud Mishra
Concurrency Control and Recovery
1996-03-01
Michael J. Franklin
Acceleration of Five-point Red-Black Gauss-Seidel in Multigrid for Poisson Equation JUN ZHANG
1995-11-20
Incremental and Interactive Sequence Mining
1999-05-30
Modular Algebraic Specification and the Orientation . . .
1999-06-18
SWAPEROO: A Simple Wallet Architecture for Payments, Exchanges, Refunds, and Other Operations
1999-06-15
Multigrid Smoothing for Symmetric Nine-Point Stencils
1996-11-27
Summarization Evaluation Methods: Experiments and Analysis
1999-06-15
Multilevel Fictitious Space Preconditioner For Nonconforming Approximations On Unstructured Regular Triangulations
1997-04-02
S. Maliassov
Submitted to the 3rd Knowledge Engineering Forum
1997-04-01
"And" Can You Validate It?
1997-03-09
Real-Time Lip-Tracking For Lipreading
1997-05-20
ML ParameterEstimation for Markov Random Fields, with Applications to Bayesian Tomography
1997-03-25
Decision Making Under Interval Probabilities
1999-06-18
Ronald R. Yager
Consistency and Variation in Technical Translations - a Study of Translators' Attitudes
1997-02-18
Magnus Merkel
Unifying Time and Uncertainty for Diagnosis
1996-04-09
Eugene Santos
TCP Dynamic Acknowledgment Delay: Theory and Practice
1999-05-14
Location-Independent Naming for Virtual Distributed Software Repositories
1995-03-03
Effective Temperature Determination Of Eclipsing Binaries
1997-07-17
Removing Node and Edge Overlapping in Graph Layouts by A Modified EGENET Solver
1999-09-01
Vincent Tam
Exploiting Basic Block Value Locality with Block Reuse
1999-07-20
Towards Practical Permutation Routing on Meshes
1996-10-23
Reliability of a Commercial Telecommunications System
1997-03-12
Karama Kanoun
Richard D. Gill
1999-03-15
Richard D. Gill
Hierarchically Searching The Web For Images
1999-07-21
GARGOYLE: An Environment for Real-Time, Context-Sensitive Active Vision
1996-09-23
Complete Flat Lorentzian 3-Manifolds With Free Fundamental Group
1999-02-13
The power of H systems : does representation matter?
1997-12-12
Hendrik Jan Hoogeboom
Search for charginos mass-degenerate with the LSP
1997-07-23
Comparison of Rate-Based Service Disciplines
1994-12-14
An Exploration of Nonprehensile Two-Palm Manipulation
1996-12-13
Michael Erdmann
Communication, Coordination, and Efficiency in Evolutionary One-Population Models
1999-05-06
Zhangxin Chen
1997-06-23
Zhangxin Chen
Programming Research Group
1996-11-11
The Pragmatics of Word Meaning
1997-10-10
Weighted Particle Methods Solving Kinetic Equations for Dilute Ionized Gases
1995-11-19
K. Steiner
On the Automation of Case Base Development from Large Databases
1998-05-08
Finding All Maximal Frequent Sequences in Text
1999-09-01
Boundary Conditions for Quantum Lattice Systems
1999-03-05
M. Fannes
A Typed Functional Language for Expressing Register Usage
1999-01-08
Johan Agat
A Framework for Design of Key Establishment Protocols
1996-12-19
Colin Boyd
Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity
1998-08-21
Tabling Abduction
1999-03-25
Lu'is Moniz Pereira
Numerical study of bifurcations for the 2-D Poiseuille problem
1999-06-17
Computing Rectifying Homographies for Stereo Vision
1999-08-12
The Unified Modeling Language and Performance Engineering
1998-12-11
A Potential Reduction Newton Method for Constrained Equations
1997-12-01
An Approach to Blind Source Separation Based on Temporal Structure of Speech Signals
1998-04-17
IP/Secure: Providing Security on Datagram Delivery for Mobile Host Environment
1994-06-04
Stochastic Clustering and its Application to Image Segmentation
1999-06-10
Cross Log Entropy Maximization and Its Application to Ringing Suppression in Image Reconstruction
1998-02-24
Trade-offs between Message Delivery and Quiesce Times in Connection Management Protocols
1999-06-18
Singular Integral Transforms and Fast Numerical Algorithms
1998-05-20
Sample Sort on Meshes
1996-09-12
Jop F. Sibeyn
An Object-Oriented Design of a Simulator for Stochastic Groundwater Flow
1998-10-23
An Intrinsic Area-Array Pad Router For ICs
1997-11-14
Strong Duality For Semidefinite Programming
1999-01-13
Wire Segmenting for Improved Buffer Insertion
1997-06-25
Optimal Auctions Revisited
1998-10-27
Criteria to Disprove Context-Freeness of Collage Languages
1997-09-05
Markov Decision Problems
1999-07-19
Nikunj C. Oza
Asymptotic-Induced Domain Decomposition Methods for Kinetic and Drift Diffusion Semiconductor Equations
1997-03-13
A. Klar
Coping with Changing Ontologies in a Distributed Environment
1999-05-13
Improving Cache Performance through Tiling and Data Alignment
1997-07-09
Brill's Pos Tagger With Extended Lexical Templates For Hungarian
1999-04-16
Run-Time Program Specialization in Java Bytecode
1999-06-10
On Causal Scheduling Of Multiclass Traffic With Deadlines
1997-07-16
Limited Column Generation Technique For Several Telecommunication Network Design Problems
1995-01-30
Dong Xiao Shaw
Is Colour an Invariant?
1999-05-12
Topic By Topic Performance Of Information Retrieval Systems
1999-07-21
Walter Liggett
Spin transport, spin diffusion and Bloch equations in electron storage rings
1998-10-06
Increasing the Expressiveness of Analytical Performance Models for Replicated Databases
1998-10-20
Automating Production of Run-Time Reconfigurable Designs
1998-05-05
Linear Phase Paraunitary Filter Bank With Filters Of Different Lengths And Its Application In Image Compression
1999-03-31
Revised Proof for the Uniqueness Theorem for "No Collapse" Interpretations of Quantum Mechanics
1999-06-18
New Nonlinear Multigrid Analysis
1997-06-05
Dexuan Xie
The Asymptotic Behavior Of The Hyperbolic Conservation Laws With Relaxation On The Quarter Plane
1997-10-02
A New Synthesis Procedure for a Class of Cellular Neural Networks with Space-Invariant Cloning Template
1998-05-01
Lazy Bayesian Rules: A Lazy Semi-Naive Bayesian Learning Technique Competitive to Boosting Decision Trees
1999-05-11
A System to Support Active Telecomunications Services
1999-06-23
Janus-Iii: Speech-To-Speech Translation In Multiple Languages
1996-12-17
TowardsanOpenAPI for ATMSwitchControl
1998-01-23
Multiscale Skeletonization: An Electrostatic Field-Based Approach
1998-01-30
Gamal Abdel-hamid
Applying Balanced Model Truncation To Sound Analysis/synthesis Models
1995-10-23
An Instance of Adaptive Constraint Propagation
1997-11-13
Optimal Reconstruction of a Sequence From its Probes
1999-08-05
The Theories of the T, tt and wtt R. E. Degrees: Undecidability and Beyond
1998-02-11
Richard A. Shore
Performance Evaluation and Visualization with VISPAT
1995-05-24
Monte Carlo Hidden Markov Models: Learning Non-Parametric Models of Partially Observable Stochastic Processes
1999-05-28
The Complexity and Distribution ofHard Problems
1999-05-25
Frame-Rate Up-Conversion Using Transmitted True Motion Vectors
1999-07-09
A Bibliography of Publications in Communications of the ACM: 1980-1989
1999-07-27
Nelson H. F. Beebe
On the Complexity of Coordinated Display of Multimedia Objects
1999-06-24
Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length
1999-08-10
The Feller property for absorption semigroups
1996-10-02
On Metric Diophantine Approximation and Subsequence Ergodic Theory
1998-06-17
R. Nair
On Weak Residual Error Estimation *
1997-06-25
Jinn-liang Liu
Interaction of High Energy Electrons and Photons with Intense Electromagnetic Wave: Linear Collider Applications
1995-05-01
V. N. Baier
Trigonometric Proofs An AROMA Case Study
1997-08-14
Numerical Methods for Conservation laws modelling distillation
1998-03-30
F. James
Meson Decay Constant Using a Tadpole-Improved Action
1996-11-27
Logic Programming in a Fragment of Intuitionistic Linear Logic
1998-03-17
Automatic Substructuring for Domain Decomposition Using Neural Networks
1993-12-31
I. Intro
Array Processing for Mobile Communications
1996-09-10
Status of the BOREXINO experiment
1998-03-03
ON DIVISIBILITY OF THE CLASS NUMBER OF REAL OCTIC FIELDS OF A PRIME CONDUCTOR p
1995-11-20
Stanislav Jakubec
Beyond Object-Oriented Technology: Where Current Object-Oriented Approaches Fall Short
1995-04-12
A Theoretical and Empirical Study of a Noise-Tolerant Algorithm to Learn Geometric Patterns
1997-04-16
Feature Interactions: A Mixed Semantic Model Approach
1997-11-04
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification
1998-06-17
Sergei Bezrukov
1999-02-07
The Ulm Robotics Week
1998-01-16
Gerhard K. Kraetzschmar
First Measurement of Cross-sections and Forward-Backward Asymmetries from Fermion Pair Production in
1997-09-02
G. Della Ricca
A first step towards a direct inversion of the Lyman forest in QSO spectra
1999-01-07
Adi Nusser
A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata
1999-05-12
Intervals Without Critical Triples
1998-02-11
Adaptive Least Squares Finite Element Methods For The Stokes Problem
1997-06-25
Towards a Theory of Knowledge and Ignorance: Preliminary
1999-06-18
The OpenGL Utility Toolkit GLUT Programming Interface
1998-01-25
Mark J. Kilgard
A Probabilistic Approach to Concurrent Mapping and Localization for Mobile Robots
1998-02-27
Enveloping Users and Computers in a Collaborative 3D Augmented Reality
1999-09-02
Chameleon: A Software Infrastructure for Adaptive Fault Tolerance
1998-12-15
Agent-Based Digital Libraries: Decentralization and Coordination
1998-08-20
Symmetry as a Continuous Feature
1995-11-20
Technische Universitat Chemnitz
1999-06-28
Reducing "Structure From Motion": a General Framework for Dynamic Vision Part 1: Modeling
1996-12-30
Designing Distance-Preserving Fault-Tolerant Topologies
1997-12-12
Implementation and Evaluation of Nested Task and Data Parallelism for High Performance Fortran within the ADAPTOR Compilation System
1999-02-22
Thomas Brandes
Study Of The Freeze-Out Scenario By Means Of Pionic Charge Ratios In Ultrarelativistic Heavy-Ion Collisions
1998-02-26
Maximal monotone multifunctions of Brøndsted-Rockafellar type
1999-01-22
Stephen Simons
The Linked Dipole Chain Monte Carlo
1997-12-17
David J.C. MacKay Computation and Neural Systems
1994-08-29
David J. C. Mackay
Rates of Convergence of Multipoint Rational Approximants and Quadrature Formulas on the Unit Circle
1996-09-19
Embedded Trellis Coded Quantization
1998-01-26
A wavelet based estimator for the parameter of self-similarity of fractional Brownian motion
1997-06-06
Model Checking vs. Theorem Proving: A Manifesto
1999-06-18
A Parametric Representation of Fuzzy Numbers And Their Arithmetic Operators
1997-02-10
Continuous Symmetry Measures
1995-02-15
Hagit Zabrodsky
Emergent Control and Planning in an Autonomous Vehicle
1999-06-29
Automatic Analysis of Adjectives in Estonian
1999-08-24
Synchronization of Chaos in an Array of Three Lasers
1998-11-06
An Efficient Lyapunov Equation-Based Approach for Generating Reduced-Order Models of Interconnect
1999-03-18
Possibilities for polarized protons at HERA
1998-10-06
D. P. Barber
Beitrage zur Algebra und Geometrie Contributions to Algebra and Geometry Volume VOL YEAR, No. NO, 73-87.
1995-06-26
Design Constraints For Polynomial And Rational Filters
1999-06-30
Explicit Form for the Discrete Logarithm over the Field GPp,k
1995-11-22
Gerasimos C. Meletiou
1970-01-01
1970-01-01
1970-01-01
1970-01-01
1970-01-01
1970-01-01
SELECTED RESULTS FROM NA22 Part II
1997-11-21
W. Kittel
Text Segmentation Using Exponential Models
1997-07-30
Edge-Preserving Smoothing by Convex Minimization
1970-01-01
False Sharing Elimination by Selection of Runtime Scheduling Parameters
1997-06-09
Typing First-Class Continuations in ML
1996-10-14
ScalParC: A New Scalable and Efficient Parallel Classification Algorithm for Mining Large Datasets
1999-05-20
Optimal Tree Approximation with Wavelets
1999-07-31
Richard Baraniuk
Programming Language Expressiveness and Circuit Complexity
1996-05-02
Sublinear Time Algorithms for Metric Space Problems
1999-07-13
Negative Polarity Items: Licensing and Scope
1999-06-18
Ahti Pietarinen
Innovation via Competition: Taking the Next Leap
1999-06-29
1970-01-01
1970-01-01
An Argument for Simple COMA
1996-01-29
A More Practical Loop Scheduling Scheme for Home-based Software DSMs
1999-06-23
Reconstructing Evolutionary Trees In A General Markov Model
1999-01-16
Perfect factorisations of bipartite graphs and Latin squares without proper subrectangles
1999-01-26
I. M. Wanless
Condition Number Bounds For Problems With Integer Coefficients
1999-06-01
Gregorio Malajovich
A Note on the Approximation by Continued Fractions under an Extra Condition
1998-02-26
M. P. Owen
1998-07-22
M. P. Owen
Preliminary Written Ph.D. Comprehensive Examination for James Arthur Kohl July 25, 1991 Ph.D. Committee: Thomas L. Casavant - Chair Jon Kuhl Michael Lyu John P. Robinson Teodor Rus
1994-03-24
Some Geometric Results in Semidefinite Programming
1999-01-13
Performance Evaluation of a Wireless Hierarchical Data Dissemination System
1999-06-26
Two-Stage Testing of Advanced Dynamic Subgrid-Scale Models for Large-Eddy. . .
1999-06-28
Simulation of the Shielding Effectiveness of Cabinets Used in Communications Equipment
1996-09-30
Computing Multiple View Relations
1996-11-26
Unknown
1999-04-08
Eliciting Floating Postmodifiers
1997-09-04
Inge De Mönnink
Efficient and Adaptive Lagrange-Multiplier Methods for Nonlinear Continuous Global Optimization
1998-02-25
Dynamics of IP traffic: A study of the role of variability and the impact of control
1999-06-29
Modeling schema induction within relational and connectionist frameworks: A first approximation
1997-03-21
Learning with Recurrent Neural Networks
1999-08-06
VHS Case Study 5: modelling and verification of scheduling for steel plant at SIDMAR
1999-06-04
CS observations of star-forming regions
1997-10-08
Dirichlet Processes and an Intrinsic Characterization of Renormalized Intersection Local Times
1999-07-27
Jay Rosen
Validation of Nearest Neighbor Classifiers
1998-10-22
Eric Bax
Absolute Magnitude Calibration For The W Uma-Type Contact Binary Stars
1997-07-17
Approximate Matching of Hand-Drawn Pictograms
1995-02-24
Representing FM in Isabelle
1994-04-25
Combining Model Checking and Theorem Proving in Hardware Verification
1999-01-24
Sergey Berezin
CPU Inheritance Scheduling
1996-09-16
Reconstruction of Curved Surfaces from Random-Dot Stereograms
1995-01-11
Yuzo Hirai
Computing in Anonymous Asynchronous Shared Memory
1999-03-03
Two Small Gallager Codes
1999-07-30
Correlation Theory Of A Class Of N-Dimensional Piecewise Linear Markov Systems
1997-04-04
Activity-Monitoring Completion-Detection AMCD: A new single rail approach to achieve self-timing
1997-01-27
Random Walks and Catalan Factorization
1999-05-31
A Digital Processing System For Source Location And Sound Capture By Large Microphone Arrays
1997-06-03
Machine Learning for Information Extraction in Informal Domains
1999-04-26
Dayne Freitag
Interaction with a Realtime Dynamic Environment Simulation using a Magnetic Levitation Haptic Interface Device
1999-08-11
Extension of the PESIM simulation tool
1999-07-20
Restructuring Partitioned Normal Form Relations Without Information Loss
1970-01-01
Using Collocation Statistics in Information Extraction
1999-03-04
Dekang Lin
An Emissions Tax in Siberia: Economic Theory, Firm Response . . .
1999-07-22
Koko Warner
The Public Health Care Planning Problem: a Case Study using Geographic Information Systems
1999-06-02
Variation of Cost Functions in Integer Programming
1999-08-28
Automated Parallelization of Discrete State-space Generation
1997-09-07
Predicting Time Series with Support Vector Machines
1999-06-07
.2 Classical Logic
1998-01-20
Boundary Layers in a Semilinear Parabolic Problem
1999-06-04
Timed Colored Petri Net Models of Distributed Memory Multithreaded Multiprocessors
1998-06-18
A two-step approach to analyze European geodetic Very Long Baseline Interferometry VLBI data
1999-03-04
Rudiger Haas
Recursion from Iteration
1999-02-25
Andrzej Filinski
Polymorphic Strictness Analysis using Frontiers Draft version: comments welcomed
1995-05-31
Julian Seward
Fast Electronic Digital Image Stabilization
1996-05-12
Carlos Morimoto
A Type-Theoretic Approach to Higher-Order Modules with Sharing
1996-10-14
Chaos and Nonlinear Control of a Nonholonomic Free-Joint Manipulator
1998-04-17
Exploiting Cache in Multimedia
1999-04-22
Minimal Residual Smoothing in Multi-Level Iterative Method
1996-01-18
Jun Zhang
Observation of Top Quark Production in¯pp Collisions with the CDF Detector at Fermilab
1995-03-07
Algorithms and Complexity
1995-10-30
Herbert S. Wilf
Scalable Exploratory Data Mining of Distributed Geoscientific Data
1970-01-01
User Interfaces for Database Systems
1999-04-08
Intermediate Asymptotics of the Porous Medium Equation With Sign Changes
1999-05-21
Semantics, Orderings and Recursion in the Weakest Precondition Calculus
1995-11-24
Algorithms for Ontological Mediation
1999-05-25
Deviations From Low-Energy Theorem For
1999-03-23
Transparent Distributed Java
1997-11-30
Image Categorization using Independent Component Analysis
1999-04-19
ILP versus TLP on SMT
1999-09-03
Users' Guide for the Harwell-Boeing Sparse Matrix Collection Release I
1998-05-24
Implementation Of The Fuzzy Art Neural Network For Fast Clustering Of Radar Pulses
1997-12-17
Two Topics in Applied Algorithmics
1998-01-15
Patrick R. Morin
Abstracting Control
1999-02-25
Growing Semantic Grammars
1998-11-16
Alex Waibel
Learning Simple Phonotactics
1999-04-15
Hierarchical Data Structures for Interactive Volume Visualization
1995-11-08
Technical Report No. 99-423 Parallel Real-Time Cryptography: Beyond Speedup II
1999-05-05
Constraint Nets: A Semantic Model for Hybrid Dynamic Systems
1994-10-05
Generation of Magnetic Fields by a Gravitomagnetic Plasma Battery
1998-03-20
Ramon Khanna
Maze Navigation Using Optical Flow
1998-10-05
Andrew P. Duchon
Learning From Incomplete Data
1999-06-09
Operator Construction for Re-usable Planners in Complex Practical Domains
1997-11-09
The CSLU Speaker Recognition Corpus
1999-07-28
Models and Satisfiability
1999-05-12
Grzegorz Bancerek
Recursive Optical Flow Estimation - Adaptive Filtering Approach
1996-09-18
A van der Waerden Variant
1999-04-09
Kevin J. Compton
Exact Solutions to Large-Scale Plane Steiner Tree Problems
1999-06-18
Reliability, Scalability and Robustness Issues in IRI
1997-09-07
Software Engineering of Virtual Worlds
1998-08-11
Towards a Theory of Reflective Programming Languages
1999-06-23
Fully Coupled Forward-Backward Stochastic Differential Equations And Applications To Optimal Control
1970-01-01
Performance Implications of Communication Mechanisms in All-Software Global Address Space Systems
1997-04-15
Incremental Cryptography: The Case of Hashing and Signing
1998-01-23
Shillcutt Path Planning for Orbital Motions Kimberly Shillcutt
1999-05-05
Kimberly Shillcutt
On a 1-D granular media immersed in a fluid
1999-08-12
J. A. Carrillo
The Logical Impingement of AI
1999-03-25
Lus Moniz Pereira
Efficient Derivative Codes Through Automatic Differentiation And Interface Contraction: An Application In Biostatistics
1998-08-11
A Hybrid Real-Time Face Tracking System
1998-03-30
Generalising Monads to Arrows
1998-11-13
John Hughes
Linear-Phase Cosine-Modulated Filter Banks Without Dc Leakage
1999-08-03
Scheduling Data Transfers in a Network and the Set Scheduling Problem
1999-06-30
Experimental Comparison of Graph Drawing Algorithms for Cubic Graphs
1999-07-02
Multiresolution Optimal Interpolation and Statistical Analysis of TOPEX/POSEIDON Satellite Altimetry
1999-05-11
On Learning Monotone Boolean Functions
1999-03-07
The Design and Implementation of an Operating System to Support Distributed Multimedia Applications
1999-06-22
Continuous Profiling: Where Have All the Cycles Gone?
1997-09-09
Chaotic Interactions of Selfreplicating RNA
1996-08-05
Christian V. Forst
Evaluation of Active Disks for Large Decision Support Databases
1999-07-25
Deterministic Routing on Circular Arrays
1997-01-14
Resilient Multicast Support for Continuous-Media Applications
1997-06-04
A system of conservation laws including a stioe relaxation term; the 2D case
1998-02-20
Wen Shen
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets
1998-01-29
Maurizio Lenzerini
CoSent: A Cooperative Sentinel for Database Systems
1999-08-10
Ray Shooting from Convex Ranges
1997-11-12
A Neural Recognition Architecture for Composed Objects
1996-10-28
Using FIX to Handle Errors Without Exceptions, and Other Programming Tricks
1997-11-28
Bruce Mcadam
Journal of Graph Algorithms and Applications
1998-10-04
A Comparative Study Of Speech Rhythm In Arabic, English, And Japanese
1999-03-11
From Process Transition Networks to Behavior Automata
1996-05-13
Guidelines for OSI NSAP Allocation in the Internet
1997-07-12
Ross Callon dec
Declarative Continuations and Categorical Duality
1999-02-25
Andrzej Filinski
Distributed Intelligent Agents
1999-06-21
A Search for Radio Pulsars in Southern Supernova Remnants
1997-01-30
Monotone Gray Codes and the Middle Levels Problem
1999-04-16
Justin A. Boyan
1999-08-10
Justin A. Boyan
CONTROL FOR SIMULATED HUMAN AND ANIMAL MOTION Michiel van dePanne
1998-08-10
Michiel Van De Panne
Simultaneous Circuit PartitioningClustering with Retiming for Performance Optimization
1999-07-13
Linear Hashing
1997-05-07
A Structural Decomposition for Hypergraphs
1997-06-12
Design Of Channel Optimized Vector Quantizers In The Presence Of Channel Mismatch
1998-10-27
Memory Subsystem Performance of Programs Using Copying Garbage Collection
1996-10-14
Nonprehensile Robotic Manipulation: Controllability and Planning
1996-03-21
Kevin M. Lynch
Computing The Dimension Of Dynamically Defined Sets I:
1998-12-10
The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite
1997-04-28
Controlling the Sensitivity of Support Vector Machines
1999-05-25
The Case For Prediction-based Best-effort Real-time Systems
1999-04-14
Unknown
1970-01-01
Semidiscrete Ritz-Galerkin Approximation of Nonlinear Parabolic Boundary Control Problems - Strong Convergence of Optimal Controls
1998-02-04
Fredi Troltzsch
Coordinated Atomic Actions: from Concept to Implementation
1997-05-30
CSLUsh: an Extendible Research Environment
1997-11-08
Hybrid Bi-Conjugate Gradient Methods For CFD Problems
1995-02-24
Universit At Dortmund
1999-06-02
An Architecture for Optimal All-to-All Personalized Communication
1994-10-28
Secure Auctions in a Publish/Subscribe System
1998-09-23
Evolving Electronic Robot Controllers that Exploit Hardware Resources
1998-11-02
Adrian Thompson
The Automated Identification of Tubercle Bacilli using Image Processing and Neural Computing Techniques
1999-04-06
A Computational Meta Logic for the Horn Fragment of LF
1996-03-15
C. Schurmann
SPC-PM Po 3D - Programmer's Manual
1999-03-08
"Transpose Free" Alternating Direction Smoothers for Serial and Parallel Multigrid Methods
1997-10-01
A Multifunctional Knowledge--Based System for Engineering
1998-07-31
Application of Local Grid Refinements for simulation of fluid flow through faulted and fractured reservoirs
1998-09-02
An Integrated Traffic and Pedestrian Model-Based Vision System
1997-10-21
T. Grove
Parallel Object Recognition on an FPGA-based Configurable Computing Platform
1997-11-11
Stochastic and Deterministic Approaches to Estimation in H infinity
1996-08-19
Brett M. Ninness
Plan Abstraction with Change of Representation Language
1999-04-26
Ralph Bergmann
GLOBAL PRACTICAL STABILIZATION AND TRACKING FOR AN UNDERACTUATED SHIP -- A COMBINED AVERAGING AND BACKSTEPPING APPROACH K.Y. Pettersen* and H. Nijmeijer**
1998-04-23
More Than Envy-Free
1999-08-05
Prompting In Practice: How Can We Ensure Radiologists Make Best Use Of Computer-Aided Detection Systems In Screening Mammography?
1998-05-27
Nonstationary Signal Classification Using Pseudo Power Signatures: The Matrix SVD Approach
1999-06-03
Justin A. Boyan
1999-08-10
Justin A. Boyan
Adaptive Block-based Light Field Coding
1999-06-28
On a Kinetic Model for Shallow Water Waves
1995-03-24
Jens Struckmeier
Analyticity properties and thermal effects for general quantum field theory on de Sitter space-time.
1998-05-05
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs
1999-06-25
Commonality and Genetic Algorithms
1997-03-04
A Truly Globally Convergent Newton-Type Method For The Monotone Nonlinear Complementarity Problem
1999-06-15
Determining the Optimal Number of Clusters by an Extended RPCL Algorithm Revised Version
1999-05-27
Discovering the Hidden Structure of Complex Dynamic Systems
1999-06-05
Implementing Bit-addressing with Specialization
1997-04-24
Scott Draves
Interpolation by C¹Splines of Degree q>=4 on Triangulations
1999-01-28
Fine-grain partitioning in Codesign
1996-01-16
Characterizations of A Homotopy Solution Mapping for Nonlinear Complementarity Problems
1999-07-30
Virtual Sardinia: a Hypermedia Fly-through with Real Data
1997-10-29
Probabilistic Planning in the Graphplan Framework
1999-08-13
The Functional Rent Advisor
1999-06-08
A spatio-temporal model for fMRI data
1999-05-23
Niels Væver Petersen
Stochastic Dynamics of catalytic CO oxidation on Pt100
1997-11-24
Linear Continuations
1999-02-25
Andrzej Filinski
Dynamics Of Shape-Memory-Alloys: A Reduction Procedure For 3d Models
1970-01-01
Nonlinear Wavelet Estimation of Time-Varying Autoregressive Processes
1997-06-04
KQML as an agent communication language
1997-12-15
Non-Stretchable Pseudo-Visibility Graphs
1999-05-25
Ileana Streinu
Combining Replication And Parity Approaches For Fault-Tolerant Disk Arrays
1997-07-18
Robustizing Robust M-Estimation Using Deterministic Annealing
1970-01-01
S. Z. Li
Monotonicity and Inert Fugitive Search Games
1999-05-21
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
1999-01-11
Trust in an N-Player Iterated Prisoner's Dilemma
1999-04-27
Andreas Birk
Unsupervised Learning of Word Boundary with Description Length Gain
1999-04-23
Searching for the Sorting Record: Experiences in Tuning NOW-Sort
1999-08-17
Incorporating Memory Management into User-Level Network Interfaces
1998-11-04
Blending Heuristics with a Population-Based Approach: A "Memetic" Algorithm for the Traveling Salesman Problem
1999-06-18
Hierarchical-map Building and Self-positioning with MonaLysa
1996-12-19
Jean-arcady Meyer
Parallel Fast Multipole Algorithm using MPI
1995-06-06
Band Search: an Efficient Alternative to Guided Depth-first Search
1996-01-30
Circuit Semantics and Intensional Expressivity
1996-10-06
An Automatic Logfile Analyzer for Parallel Programs
1999-07-06
A Distributed Repository for Object-Oriented Software Components
1996-09-12
Almost Everywhere High Nonuniform Complexity
1999-05-25
Jack H. Lutz
Kernel Principal Component Analysis
1999-01-18
Comments on the Unification of Electromagnetism and Gravitation through "Generalized Einstein manifolds"
1998-05-05
Gravitation Through
Solving Boolean Satisfiability with Dynamic Hardware Configurations
1998-08-19
Face Recognition Based on Nearest Linear Combinations
1970-01-01
Stan Z. Li
Building Accurate Semantic taxonomies from Monolingual MRDs
1999-03-11
Unsupervised Training Of A Speech Recognizer Using Tv Broadcasts
1998-09-20
Feasible Formation of Coalitions Among Autonomous Agents in Non-Super-Additive Environments
1998-07-27
On Non-Binary Temporal Relations
1999-07-07
Transformational Optimization of the Full Rate Speech Transcoder GSM 06.10
1998-04-03
Exploiting MOOs to Support Multiple Views of Complex Software Development Processes
1999-04-27
Hybrid Controllers For Robotics
1998-12-02
Bud Mishra
Sensor-Based Planning with the Freespace Assumption
1998-01-05
Universal Aspects of Probabilistic Automata
1999-07-16
Lutz Schr Oder
Commissioning of the DELPHI Pixel Detector
1999-01-13
Improved Encoding Of Dct Coefficients For Low Bit-Rate Video Coding Using Multiple Vlc Tables
1999-07-29
Feature Selection as a Preprocessing Step for Hierarchical Clustering
1999-07-18
Luis Talavera
Observational constraints on annihilation sites in 1E 1740.7--2942 and Nova Muscae
1998-04-14
Igor V. Moskalenko
Karunaharan Ratnam
1998-01-15
Metrics for Evaluating Database Selection Techniques
1999-05-21
A Lower Bound for Two-Server Balancing Algorithms
1999-06-18
Jon M. Kleinberg
Uncompensatable Deadlock in Distributed Object-Oriented Systems
1995-12-26
Feasibly Continuous Type-Two Functionals
1997-04-24
Bruce M. Kapron
Transformation Invariant Autoassociation with Application to Handwritten Character Recognition
1996-12-02
On-board Control in the RoboCup Small Robots League
1999-08-16
Neural Network Methods for Optimization Problems
1994-01-04
Arun Jagota
The Hierarchy of Dependency Pairs
1999-03-26
dynamicTAO
1999-03-02
Fabio Kon
Type Inference Builds a Short Cut to Deforestation
1999-06-23
An Upper Bound for a Basic Hypergeometric Series
1997-11-12
Verifying that Agents Implement a Communication Language
1999-06-20
D Reconstruction of the Human Jaw from a Sequence of Intra-Oral Images
1999-03-09
Test Case Preparation using a Prototype
1998-04-28
Using Latent Semantic Indexing for Data Mining
1997-08-14
Jingqian Jiang
Temporal Planning with Mutual Exclusion Reasoning
1999-04-20
Distributional Clustering of Words for Text Classification
1999-07-02
Dynamic 3D Graphics Workload Characterization and the Architectural Implications
1999-07-29
The ParaStation Project
1996-09-25
Transparent Communication for Distributed Objects in Java
1999-07-21
Proofs by Program Transformations
1999-05-14
A Parallel Approach to Hierarchical Radiosity
1996-11-29
Active Visual Navigation using Non-Metric Structure
1995-01-23
Particle Methods: Theory and Applications
1997-03-13
Unsolvable Systems of Equations and Proof Complexity
1999-06-04
Toniann Pitassi
Critical properties of a spin glass with anisotropic Dzyaloshinskii-Moriya interaction
1998-09-21
J Urgen Stein
Multi-dimensional Selectivity Estimation Using Compressed Histogram
1999-08-14
A Cellular Neural Associative Array for Symbolic Vision
1999-06-02
Christos Orovas
Telephone: + Intl. 908-562-3966.
1998-11-25
LHC Distributed Data Management
1998-11-03
Eva Arderiu Ribera
TWebS: An Application of Terminological Logics in Web Searching
1999-04-27
Alvaro Barreiro Davide:losada
What Right Do You Have To Do That?
1999-07-02
Web-Integrated Information Integration
1999-05-21
Set-Membership State Estimation with Optimal Bounding Ellipsoids
1998-06-11
Trace Formulae for Stochastic Evolution Operators: Smooth Conjugation Method
1999-06-17
Execution Monitoring of High-Level Temporal Programs.
1999-06-10
Mikhail Soutchanski
Classification of the Effects of F-actin Under Treatment of drugs in Endothelial Cells
1999-02-02
Metric properties of Hilbert geometry
1999-08-06
Lemma and Cut Strategies for Propositional Model Elimination
1997-12-15
An Ejection Chain Approach for the Generalized Assignment Problem
1999-07-03
Experimentally Assessing the Usability of Parallel Programming Systems
1999-01-14
Inefficient Delays in Strategic Trades
1997-06-30
Kim-sau Chung
Magic is Relevant
1996-02-14
Implicit Routing And Shortest Path Information
1997-11-12
Tetrahedra Based Volume Visualization
1998-11-10
Using Compile-Time Analysis and Transformations to Reduce False Sharing on Shared-Memory Multiprocessors
1995-06-29
Tor E. Jeremiassen
An Integrated Scenario Management Strategy
1999-05-11
Engineering Modelling Concepts DPE Architecture
1999-06-23
Geometric Foundations for Interval-Based Probabilities
1998-10-08
iSPN: an Integrated Environment for modeling using Stochastic Petri Nets
1997-09-07
Nonexistence of Certain Divergence-Free Multi-Wavelets
1998-09-24
Algorithm For Jointly Optimized Analysis And Synthesis FIR Filter Banks
1999-05-14
Tor A. Ramstad
Automating Feature Set Selection for Case-Based Learning of Linguistic Knowledge
1999-06-18
Claire Cardie
Head-Tracked Stereo Viewing with TwoHanded 3D Interaction for Animated Character Construction
1997-10-29
Preprocessing Of Visual Speech Under Real World Conditions
1997-12-18
Royal Greenwich Observatory, Madingley Road, Cambridge, UK
1997-07-16
Stepwise Regression under Factor Sparsity using a new Stopping Criterion
1998-10-29
Oddgeir Samset
First Measurement of the Knee in the Hadronic Component of EAS
1999-05-14
A General Stochastic Outer Approximations Method
1970-01-01
Tamper Resistance --- a Cautionary Note
1998-07-31
A Framework for Distributed Multimedia Applications
1997-01-31
Rapid Prototyping of Microelectronic Systems
1995-04-21
Motion Planning with Dynamics
1999-06-26
James Kuffner
A Note on the Dimensionality of Modified Knödel Graphs
1998-06-30
Primordial Helium And
1997-12-11
A Universal, Location-Aware Hoarding Mechanism
1999-08-24
A Vision-Based Learning Method for Pushing Manipulation
1998-09-16
Improved Inclusion-Exclusion Identities and Inequalities Based on a Particular Class of
1999-09-17
Multigrid for Locally Refined Meshes
1996-12-03
Yair Shapira
Production in Two-Photon Processes At
1997-08-25
A Computational Approachto Deciphering Unknown Scripts
1999-05-18
Integrating WWW and Middleware
1999-04-19
Prospects for High Precision Measurements on Muonic Atoms at the Front End of a Muon Collider
1999-05-26
Federated InformationSystems: Concepts, Terminology and Architectures
1999-05-14
Coastal Navigation -- Mobile Robot Navigation with Uncertainty in Dynamic Environments
1998-10-21
Support Vector Density Estimation
1999-07-12
Computer Support for Children's Collaborative Fantasy Play and Storytelling
1999-07-20
A Comparison of Languages which Operationalize and Formalise KADS Models of Expertise
1999-01-17
Structure Of The Solar Core: Inversion Of Recent Low-Degree Data
1997-03-08
A. G. Kosovichev
Flexible HW Synthesis and Optimization by Incremental Design Modification
1997-02-18
Self-Adaptive Local Refinements Supported by the CLIC-3D Library
1997-09-08
H. Ritzdorf
DCSK And DPSK - What Makes Them Different?
1998-09-07
Chern Currents Of Singular Connections Associated With A Section Of A Compactified Bundle
1997-08-22
John Zweck
Hardware/Software Partitioning using Integer Programming
1999-06-30
Context-Dependent Reasoning With Lexical Knowledge Using Default Logic
1999-06-23
Anthony Hunter
Performance Of Complex Chebyshev Approximation In Delay-Root-Nyquist Filter Design
1997-02-18
Stochastic Mathematical Programs With Equilibrium Constraints
1999-06-15
Michael Patriksson
Weakly Nonlinear Evolution Of Topology Of Large-Scale Structure
1995-01-20
Takahiko Matsubara
Parabolic Pde With Hysteresis
1996-07-05
Anglo-Australian Observatory, P.O. Box 296, Epping, NSW 2121, Australia
1998-10-15
Hyper-Linked Software Architectures For Concurrent Engineering
1997-05-20
Numerical Results for the Flux Identification in a System of Conservation Laws
1998-12-13
Jay Rosen
1996-09-02
Jay Rosen
On The Convergence Rate Of A Preconditioned Subspace Eigensolver
1999-08-06
Suely Oliveira
Analysis of the PROFIBUS Token Passing Protocol over Error Prone Links
1999-07-29
Andreas Willig
Iterated GSM Mappings: A Collapsing Hierarchy
1970-01-01
Fast solution of MSC/NASTRAN sparse matrix problems using a multi-level approach
1997-05-30
Detection and Characterization of Multiple Motion Points
1999-04-20
Mobility Tolerant Maintenance of Multi-cast Tree in Mobile Multi-hop Radio Networks
1999-07-06
Digital Watermarking for Telltale Tamper-Proofing and Authentication
1999-06-30
Gallager Codes - Recent Results
1999-07-16
David J. C. Mackay
Plan Mining by Divide-and-Conquer
1999-05-16
Dependency Parsing for Medical Language and Concept Representation
1999-05-20
Friedrich Steimann
Threshold Key-Recovery Systems for RSA
1997-04-09
Emerald: A General-Purpose Programming Language
1997-11-25
Approximation Of Infinite-Dimensional Linear Programming Problems Which Arise In Stochastic Control
1970-01-01
Encrypted Key Exchange
1996-09-26
dHvA Effect with Quantum Interference Oscillation due to Magnetic Breakdown
1999-05-20
Residual Scaling Techniques in Multigrid, I: Equivalence Proof
1996-08-17
Jun Zhang
Unification of Stereo, Motion and Object Recognition via Epipolar Geometry
1999-03-22
Gang Xu
Graphical User Interfaces for Haskell
1993-05-29
Duncan C. Sinclair
Heuristics For The Phylogeny Problem
1999-05-01
Visualizing Evolutionary Activity of Genotypes
1999-05-12
On the Development of Object-Oriented Operating Systems for Deeply Embedded Systems---The
1999-04-19
THE KINEMATICS OF MAIN-SEQUENCE STARS FROM HIPPARCOS DATA J.J. Binney
1997-11-28
Imperative functional programming Brief summary
1995-05-31
On Learning How To Play
1996-06-10
Eduardo F. Morales
Lesion in a Basis Function Model of Parietal Cortex: Comparison with Hemineglect
1999-03-19
Automated Knowledge and Information Fusion from multiple text-based sources using Formal Concept Analysis
1999-06-21
Direct Mapped Cache Performance Modeling for Sparse Matrix Operations
1999-06-09
Complexity of Boolean Routing Extended Abstract
1997-11-12
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
1999-04-26
Application of Random Matrix Theory to Quasiperiodic Systems
1998-08-20
A Memory Efficient Architecture for Real-Time Parallel and Perspective Direct Volume Rendering
1999-07-21
Marco Costantino
1998-12-14
Marco Costantino
Weak Solutions Of A Generalized Boussinesq System
1997-12-11
Y. A. Li
Using a PVS Embedding of CSP to Verify Authentication Protocols
1998-01-15
Bruno Dutertre
Approximating the Pareto Set: Concepts, Diversity Issues, and Performance Assessment
1999-04-13
First-Order System Least Squares For The Stokes Equations, With Application To Linear Elasticity
1995-04-24
Validation of Image Defect Models for Optical Character Recognition
1995-10-27
Extending Graphplan to Handle Uncertainty Sensing Actions
1999-04-08
Survey of the Equational Logic Programming Project
1994-09-23
Michael J. O'donnell
Software Agents and their Use in Mobile Computing
1999-06-03
Broadband Linear Polarisation Of Cp Stars
1999-01-19
Feature Selection as Retrospective Pruning in Hierarchical Clustering
1999-07-18
Luis Talavera
Automatic Differentiation applied to a Nonsmooth Optimization Problem
1997-04-24
Eric Hassold
A controlled experiment on the effects of PSP training: Detailed description and evaluation
1999-04-08
On the energy of the de Sitter-Schwarzschild black hole
1998-05-05
I-ching Yang
Decay Of Correlations
1999-08-12
Viviane Baladi
Adaptation of Mutation Rates in a Simple Model of Evolution
1999-07-19
Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems
1999-06-03
Volume Bounded Molecular Computation
1998-01-15
Bin Fu
Designing Distance-Preserving Fault-Tolerant Topologies
1997-12-12
The Digital Behaim Globe 1492
1997-10-17
On-Line Handwritten Formula Recognition using Hidden Markov Models and Context Dependent Graph Grammars
1999-06-02
Generalization Of Primal-Dual Interior-Point MethodsTo Convex Optimization Problems In Conic Form
1999-08-28
The Bounded Retransmission Protocol must be on time!
1997-02-10
A Negotiation Model For Distributed Multimedia Applications
1995-03-06
Spatio-Temporal Hierarchical Bayesian Modeling: Tropical Ocean Surface Winds
1999-06-08
Finding and Moving Constraints in Cyberspace
1999-08-02
Representation and Self-Similarity of Shapes
1999-02-18
On the Geometry and Shape of Brain Sub-Manifolds
1997-04-16
Internal Definability and Collections
1997-03-31
Fairouz Kamareddine
Searches for R--Parity Violating Decays of Sfermions and Gauginos via
1999-07-13
Coercive Subtyping in Type Theory
1998-05-14
Zhaohui Luo
Traveling Waves for the Diffusive Nicholson's Blowflies Equation
1999-07-27
Engineering Reliable Neural Networks
1995-08-23
Complementarity and Nondegeneracy in Semidefinite Programming
1998-05-06
Diagrammatic Proofs
1999-07-16
An ILU Smoother for the Incompressible Navier-Stokes Equations in General Coordinates
1993-08-01
Requirements for an Architecture for Embodied Conversational Characters
1999-07-09
From Gaze to Focus of Attention
1998-10-15
Issues in a Very Large Scale Distributed Virtual Environment
1997-12-05
An Optimized Design For Multi-Protocol Communication Systems
1999-06-29
An Efficient Algorithm for Aggregating PEPA Models
1999-08-24
Warm Start of the Primal-Dual Method Applied in the Cutting-Plane Scheme
1997-08-12
Jacek Gondzio
Disc Turbulence and Viscosity
1998-06-11
Axel Brandenburg
Back-End Management for E-Business Portals: A Workflow-Based Approach
1999-06-23
Giacomo Piccinelli
Decay Control In Dissipative Quantum Systems
1999-06-15
Improving Donath's technique for estimating the average interconnection length in computer logic
1998-06-08
Dirk Stroobandt
Uncertain Reasoning in Concept Lattices
1997-09-15
Thomas Lukasiewicz
A Multi-Agent Based System for Parallel Image Processing
1997-08-20
Criteria for Adequacy of Finite Difference Schemes for Convection-Diffusion Equations
1998-04-19
Yair Shapira
Efficient Block Iterative Methods For Convection-Dominated Problems And Multigrid For Long-Thin Elements
1999-03-17
Agent Systems for Information-Gathering
1999-04-14
Boosting Trees for Cost-Sensitive Classifications
1999-07-07
Kai Ming Ting
The Global Brain as a Modeling Paradigm for Crisis Management
1994-05-16
Problem Spotting In Human-Machine Interaction
1999-05-07
Vienna-Fortran/HPF Extensions for Sparse and Irregular Problems and Their Compilation
1999-06-03
Analysis of Timed Systems Based on Time-Abstracting Bisimulations
1998-11-10
On the Diameter of the Rotation Graph of Binary Coupling Trees
1999-03-23
Stationary generalized Kerr-Schild spacetimes
1998-05-05
Carlos F. Sopuerta
Ocean Modelling on the Meiko CS-2
1996-03-25
Deutsches Klimarechenzentrum dkrz
Uncovering Hidden Structure in Bond Futures Trading
1998-11-01
Some Useful Filtering Techniques For Illposed Problems
1997-10-31
Prabir Daripa
Unknown
1999-05-04
Journal of Graph Algorithms and Applications
1998-06-18
CuPit-2: A Portable Parallel Programming Language for Artificial Neural Networks
1997-04-24
Case-Based Reasoning as a Methodology for Accumulating Human Expertise for Discrete System Control
1995-09-22
Global Signatures For Robot Control And Reconstruction
1999-05-19
ERS-1 precise orbit determination using TOPEX/ERS-1 dual satellite altimeter crossover differences
1998-07-30
P. N. A. M. Visser
Adaptive Method of Realizing Natural Gradient Learning for Multilayer Perceptrons
1999-06-02
A General Multiresolution Approach to the Estimation of Dense Fields in Remote Sensing
1998-09-08
The current landscape of Agent Communication Languages
1999-03-07
Query Formulation from High-level Concepts for Relational Databases
1999-07-16
Toward Recovering Shape and Motion of 3D Curves from Multi-View Image Sequences
1999-07-08
Software For 3d-Tv And 3d-Stereoscopic Workstations
1999-07-28
A Practical Methodology for Speech Source Localization With Microphone Arrays
1997-06-17
A Floorplan Based Methodology for Data-Path Synthesis of Sub-micron ASICs
1996-06-04
Supporting Interactive Animation Using Multi-way Constraints
1997-10-29
A Metric for Parallel Poly-Algorithm Design
1998-04-28
A Multiscale Finite Element Method For Elliptic Problems In Composite Materials And Porous Media
1997-08-27
Fast Message Assembly Using Compact Address Relations
1996-02-03
Practical Knowledge Representation for the Web
1999-05-21
Dynamic Page Mapping Policies for Cache Conflict Resolution on Standard Hardware
1994-10-13
Synaptic Efficiency Modulations for Context Integration The Meta ODWE Architecture
1997-06-12
N. Pican
January 1997
1997-01-27
Data Storage Interpretation of Labeled Modal Logic
1999-06-17
A Framework for Inverse Queries in Learning Problems
1998-10-28
Integrating PDAs into Distributed Systems: 2K and PalmORB
1999-06-30
Wavelets in Time Series Analysis
1999-05-25
Modular Optimization for Robotic Explorers
1999-08-02
A Hierarchical Genetic System For Symbolic Function Identification
1999-05-26
Euler And Pontrjagin Currents Of A Section Of A Compactified Real Bundle
1997-08-22
John Zweck
Modelling cosmic rays and gamma rays in the Galaxy
1998-04-14
On Pi-conversion in the lambda-cube and the combination with abbreviations
1999-01-12
Approximate Series for Optimal Hedging Strategies
1999-06-29
Nikolai Dokuchaev
The Effect of Scheduling Discipline on Sender-Initiated and Receiver-Initiated Adaptive Load Sharing in Homogeneous Distributed Systems
1997-11-12
Sivarama P. Dandamudi
Statistical Performance Modeling: Case Study of the NPB 2.1 Results
1997-05-02
Erich Strohmaier
Technical Report No. 99-429 On the Power of Real--Time Turing Machines:
1999-07-09
Partitioning Into Two Graphs With Only Small Components
1970-01-01
On Stable Compactification With Casimir-Like Potential
1998-05-05
S. Kriskiv A. Zhuk
Fluid and Kinetic Computation of Drift Alfvén Turbulence
1998-06-27
Considering Decision Cost During Learning of Feature Weights
1996-08-06
C.--P. Yuan
1996-05-02
D-Stereoscopic X Windows
1999-07-28
Non Zero-Sum Stochastic Games in Admission, Service and Routing Control in Queueing Systems
1997-06-02
Eitan Altman
The Trend-Renewal Process for Statistical Analysis of Repairable Systems
1999-08-04
An Optimal Cache for a Federated Database System
1998-05-23
Framework And Method For Model Based Diagnosis With Application To An Automotive Engine
1999-05-12
Mattias Nyberg
The Filter Construction Revisited
1999-07-26
Carsten Butz
Guide to the Generic Planning Architecture
1997-11-13
Abstractions for Parallel N-body Simulations
1996-09-11
Modeling Information Agents: Advertisements, Organizational Roles, and Dynamic Behavior
1999-06-21
Parallelization Strategies for the Ant System
1998-07-27
TNG Technical Report no.62
1999-03-16
The Ordering of Points on a Curve, Part I
1999-05-13
Adam Grabowski
Transformable Multi-Agent Systems: A Specification Language for Cooperation Processes
1997-10-30
Robustness to Jitter in Real Time System
1999-05-17
Nicolas Andreff
An algebraical proof of the Danos-Regnier correctness criterion for proof nets
1997-07-01
Quintijn Puite
An Incremental Polynomial Model Network for system modelling and control
1997-05-23
A Solution to Open Standard of PKI
1999-07-13
Interior Methods for Constrained Optimization
1991-11-22
Margaret H. Wright
Early Cost/Performance Cache Analysis of a Split MCM-Based MicroSparc CPU
1996-02-11
A Neural Network Representation Of Three-Dimensional Geometrical Scene Descriptions
1997-06-06
Christian-a. Bohn
Weighted Ergodic Theorems Along Subsequences of Density Zero
1998-03-17
ZEKE Spectroscopy of the Organometallic Radicals MgCH and ZnCH : Construction of
1998-09-10
Learning From Demonstration
1997-01-05
Stefan Schaal
Dialog Modeling in an Agent-Based Framework
1999-03-25
Background-Field Formalism in Quantum Systems
1996-11-27
Beitrage zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 37 1996, No. 1, 17-29.
1996-05-21
Power Weakly Mixing Infinite Transformations
1999-03-08
IMPROVEMENT OF THE ORBITS OF ASTEROIDS AND THE MASS OF 1 CERES B. Viateau, M. Rapaport
1997-07-16
On Spatial Reference Frames in Qualitative Motion Representation
1999-05-11
Alexandra Musto
Determination Of The Initial Mass Function In The Solar Neighbourhood Between 1.2 And 4
1997-07-17
V. Sabas
Nonlinear Spin Transfer Maps
1999-08-28
C. Weissbaecker
Background
1995-07-23
cs: Heterogeneous Computing With Data Parallel Tasks
1999-05-05
DRAFT Specification of the KQML Agent-Communication Language
1993-06-15
Embedding Ladders and Caterpillars into the Hypercube
1999-02-07
A Layered Recurrent Neural Network for Feature Grouping
1999-02-09
Efficient Support for Pipelining in Distributed Shared Memory Systems
1999-08-30
Tableaux and Algorithms for Propositional Dynamic Logic with Converse
1998-01-19
Geometric Integrators For Classical Spin Systems
1996-10-17
Jason Frank
Algorithms for Equality and Unification in the Presence of Notational Definitions
1999-03-05
On the Verification of VDM Specification and Refinement with PVS
1997-09-16
An Adaptive Multimodal Interface For Wireless Applications
1998-11-30
Bayesian smoothing in the estimation of the pair potential function of Gibbs point processes
1999-02-15
Interconnect Estimation and Planning for Deep Submicron Designs
1999-07-13
Run-Time Program Specialization in Java Bytecode
1999-06-10
A New Public-Key Cryptosystem
1999-05-27
Selected Area Galactic Survey With Isocam
1998-12-18
Convexity, Lipschitz property and differentiability in two--stage stochastic nonlinearprogramming problems
1997-06-06
Modeling the Security of Steganographic Systems
1999-07-21
Developing a Real-time Metaobject Protocol
1997-02-25
Distinguishing Formulas for Free
1995-05-31
Stochastic Analysis of Scale-space Smoothing
1996-08-05
Dynamic Graph Algorithms
1996-09-18
Zvi Galil
A Corrected 5NF Definition for Relational Database Design
1970-01-01
Millist W. Vincent
Security Flaws in the HotJava Web Browser
1999-06-01
New Computing Paradigms Suggested by DNA Computing: Computing by Carving
1999-03-26
A Poisson Formula For Harmonic Functions On The Sierpinski Gasket
1999-01-13
Comprehensive Colour Image Normalization
1999-06-11
A Chaotic Pulse Generator and Sawtooth Control for Information Processing
1997-04-04
A Timed Verification of the IEEE 1394 Leader Election Protocol
1999-07-09
Judi Romijn
Estimating Alphanumeric Selectivity in the Presence of Wildcards
1996-04-01
Ontology-Based Web Site Mapping for Information Exploration
1999-03-03
Locating Matches of Tree Patterns in Forests
1999-05-12
Salvatore De Martino
1998-05-25
Non-linear Constrained Realizations of the Large Scale Structure V. Bistolas
1998-05-25
V. Bistolas
Planning with Goal Agendas
1999-05-18
Code Equivalence
1997-02-14
On Partially Controlled Multi-Agent Systems
1996-05-13
Fast Global Oscillations in Networks of Integrate-and-Fire Neurons With Low Firing Rates
1999-06-16
Nicolas Brunel
Integrating Spatial And Topological Navigation In A Behaviour-Based Multi-Robot Application
1999-05-19
Adding Threads to Standard ML
1993-11-18
A New Bound for the Quadratic Assignment Problem Based on Convex Quadratic Programming
1999-05-24
Preserving Bandwidth Using A Lazy Packet Discard Policy in ATM Networks
1999-06-29
Azer Bestavros
Loanword Formation: A Neural Network Approach
1999-07-05
Oriented Graph Coloring
1998-12-13
Eric Sopena
Data Lineage and Information Density in Database Visualization
1999-02-12
Allison Gyle Woodruff
A Database Model for Object Dynamics
1997-05-09
M. P. Papazoglou
BSP-Like External-Memory Computation
1996-12-10
Conformal Measures For Rational Functions Revisited
1997-11-29
Experiences from Deploying CBR Applications in Electronic Commerce
1999-01-15
Mario Lenz
HeNCE: A Heterogeneous Network Computing Environment
1994-02-10
Faster output-sensitive parallel algorithms for 3D convex hulls and vector maxima
1999-07-21
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
1999-08-23
Thomas Lukasiewicz
A "finite state" version of the Kraft-McMillan theorem
1999-08-13
Fault Handling for Multi-Party Real-Time Communication
1996-06-23
Drift Estimation For Nonparametric Diffusion Model: Nonasymptotic Approach
1999-07-14
Spokoiny V
Adding Linguistic Knowledge to a Lexical Example-Based Translation System
1999-07-02
Ralf D. Brown
A Distributed Multimedia Joint Viewing and Tele-Operation Service for Heterogeneous Workstation Environments
1995-04-23
Equations in Many Sorted Algebras
1999-05-13
The clustering of warm and cool IRAS galaxies
1998-05-25
W. Saunders
Particle representations for a class of nonlinear SPDEs
1999-04-21
Journal of Graph Algorithms and Applications
1997-12-08
Pulse-Based Circuits and Methods for Probabilistic Neural Computation
1999-03-05
Zero-Knowledge Proofs for Finite Field Arithmetic, or: Can Zero-Knowledge be for Free?
1999-01-13
A Case for Compositional File Systems
1998-04-28
Forward Modeling of Ultrasound Propagation in Layered Medium
1999-06-22
On k-set Consensus Problems in Asynchronous Systems
1999-03-03
A Glottal Vocoder Employing Vector Quantization
1999-05-19
Distributed "Magic Ink" Signatures
1999-08-28
Detection of Independently Moving Objects in Passive Video
1995-07-13
Preference Logic Programming
1995-02-23
Artificial Neurons with Arbitrarily Complex Internal Structures
1999-07-29
G. A. Kohring
Constraints on "Second Order Fixed Point" QCD from the CCFR Data on Deep Inelastic Neutrino-Nucleon Scattering
1998-05-11
A Lower Bound On Neutrino Mass
1998-05-11
Ephraim Fischbach
Specification And Analysis Of Concurrent Systems In A Complete Visual Environment
1996-07-23
A Continuous Media Data Transport Service and Protocol for RealTime Communication in High Speed Networks *
1997-07-09
Second Order Sufficient Optimality Condition for a Nonlinear Elliptic Boundary Control Problem
1998-02-09
Beam Dynamics Problems In A Muon Collider
1995-03-31
Cross-Language InformationRetrieval in a Multilingual Legal Domain
1998-09-08
Peter Schauble
CDL3 manual
1998-11-13
SPIKER: Analog Waveform to Digital Spiketrain Conversion in ATR's Artificial Brain CAM-Brain Project
1999-06-28
Network Servers for Multidisciplinary Problem Solving
1997-04-04
Dominant Plane Detection for Uncalibrated Binocular Vision
1998-01-26
A Pitch-Based Approach To Time-Delay Estimation Of Reverberant Speech
1997-06-17
Michael S. Brandstein
Using a Groupware Space for Distributed Requirements Engineering
1999-04-27
Statistical Quality Of Service For Variable, Periodic, Real-Time Tasks: Scheduling And Resource Management Algorithms
1998-09-03
SIS: A System for Sequential Circuit Synthesis
1995-01-26
Dynamic Subsumption Architecture for Programming Intelligent Agents
1999-04-14
Memory Subsystem Performance of Programs Using Copying Garbage Collection
1996-10-14
Asynchrony and Real-Time in Distributed Systems
1996-07-09
Mario Tokoro
Intelligent Adaptive Information Agents
1999-07-14
A Comparative Study of Automatic Vectorizing Compilers
1992-02-15
Populated Information Terrains: Virtual Environments for Sharing Data
1997-09-02
CepheusOB3 association: faint members
1997-03-19
Constraint Handling Rules: Applications and Extensions
1999-08-11
Slim Abdennadher
Unknown
1994-08-18
Formulae for the Derivatives of Heat Semigroups
1997-11-29
Modelling Bond Yield and Forward-Rate Curves for the Financial Times Actuaries British Government Securities Yield Indices
1996-06-04
Andrew J. G. Cairns
Safety for Branching Time Semantics
1998-09-24
Weak Convergence for the Row Sums of a Triangular Array of Empirical Processes under Bracketing Conditions
1998-11-08
Miguel A. Arcones
PSPVM: Implementing PVM on a high-speed Interconnect for Workstation Clusters
1996-07-05
Case Retrieval Nets
1996-02-16
Mario Lenz
Interaction-Oriented Rule Management for Mobile Agent Applications
1999-04-14
Cross Identifications in the Region of Cluster NGC1502
1997-04-14
Anthony J. Weitenbeck
Value Function Based Production Scheduling
1999-05-18
On Optimal Projective Fusers For Function Estimators
1999-07-15
Nageswara S. V. Rao
Rectilinear 2-Center Problems
1999-07-22
Research on Techniques and Tools for Computer Security: The COAST Project and Laboratory
1999-06-01
Distance Routing on Series Parallel Networks
1997-11-12
Combining Trust Region and Line Search Techniques
1998-03-14
Jorge Nocedal
The Predictive Power of Game Structure in Dialogue Act Recognition: Experimental Results Using Maximum Entropy Estimation
1998-08-14
Domain Decomposition Algorithms For Mixed Methods For Second Order Elliptic Problems
1994-12-23
Computation Of Optimal Flow Control Policies Of A Manufacturing System With Multiple Production Rates
1998-09-16
Constraints On Higher Dimensional Models For Viable Extended Inflation
1998-05-14
A. S. Majumdar
The Syntax of Disfluency in Spontaneous Spoken Language.
1998-05-26
David Mckelvie
Propagation Rule Compiler: Tool Specification
1996-08-19
The properties of the peculiar Type Ia SN 1991bg. Analysis and discussion of two years of observations.
1998-05-24
Performance Modelling of Hierarchical Cellular Networks using PEPA
1999-06-18
Cooperative Goal-Satisfaction Without Communication in Large-Scale Agent-Systems
1999-07-13
K. Mani Chandy
1994-02-06
A Generic Neutral Model for Quantitative Comparison of Genotypic Evolutionary Activity
1999-06-03
The Dipole Solution For ThePorous Medium Equation In Several Space Dimensions
1998-09-02
The Procedures
1998-10-22
TIL: A Type-Directed Optimizing Compiler for ML
1996-10-14
A Corpus-based study of repair cues in spontaneous speech
1999-05-10
Polymorphic Type Assignment and CPS Conversion
1996-10-14
Convolution Kernels on Discrete Structures
1999-07-08
David Haussler
On Observing Shape From Defocused Images
1999-08-13
Reversible Long-Term Integration With Variable Step Sizes
1970-01-01
Exploring Time Series Graphically
1999-07-22
Antony Unwin
A Revised Proposal for a Sparse BLAS Toolkit
1995-09-11
Using Broadcasting To Implement Distributed Shared Memory Efficiently
1994-08-18
A Constructive Type System to Integrate Logic and Functional Programming
1996-06-19
Independence-Friendly Epistemic Logic And Some Non-Firstorderisable Concepts
1999-05-06
Ahti Pietarinen
A Parallel Modified Lagrangian Method for an Optimal Control Problem of a Linear Distributed Stochastic System
1999-06-11
Pro-active Information Elicitation in Wide-Area Information Networks
1997-05-09
Learning with Extended Logic Programs
1999-03-25
Geert Boeije Peter Vanrolleghem BIOMATH, Universiteit Gent, Coupure 653, 9000 Gent, Belgium
1999-04-30
An Exploration of Nonprehensile Two-Palm Manipulation: Planning and Execution
1996-10-24
Michael Erdmann
Learning from innate behaviors: A Quantitative Evaluation of Neural Network Controllers
1998-12-10
Noel E. Sharkey
Locality Optimizations for Multi-Level Caches
1999-08-10
Risk-Sensitive Control and Differential Games in Infinite Dimensions
1999-05-08
AGDB: A Debugger for Agent Tcl
1997-10-13
Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity
1999-03-12
Toward Real-time Interactive Virtual Prototyping of Mechanical Systems: Experiences Coupling Virtual Reality with Finite Element Analysis
1999-03-31
Strategy Learning: A Survey Of Problems, Methods, And Architectures
1998-08-17
Dynamic Stochastic Synapses as Computational Units
1999-06-16
Trust Management and Network Layer Security Protocols
1999-07-07
Angelos D. Keromytis
Optimal Control of Semilinear Parabolic Equations with State-Constraints of Bottleneck Type
1998-08-21
Local DCPOs, Local CPOs and Local Completions
1999-05-09
Michael W. Mislove
Figure 12: F02WQFP speed-up;
1997-08-12
Semantics, Modularity, and Rewriting Logic
1998-10-12
Peter D. Mosses
Draft In Progress
1999-05-06
Research Report
1998-02-06
Efficient Free-Form Surface Modeling with Uncertainty
1997-11-06
Miguel Angel
Numerical Methods for Bioelectric Field Problems
1995-11-08
Christopher R. Johnson
Integrating Time Into
1996-11-21
Diego Moll'a Aliod
Admissible Pruning Strategies based on plan minimality for Plan-Space Planning
1995-04-21
Subbarao Kambhampati
An Agent-Based Approach to Managing Distributed, Multi-Platform Software Development Projects
1999-04-27
Initial Report on the SIS Internal Background
1995-11-03
Keith C. Gendreau
Data Compression By Unsupervised Classification
1999-03-02
Fast Asynchronous Systems in Dense Time
1995-11-29
Demon Algorithms and their Application to Optimization Problems
1998-05-03
Proteus System Architecture Organization
1996-02-12
The Evidence Framework applied to Classification Networks
1993-06-26
David J. C. Mackay
The Spectral Decomposition of Nonsymmetric Matrices on Distributed Memory Parallel Computers
1970-01-01
IntegratedProcessorSchedulingforMultimedia
1999-01-29
Constraint Logic Programming - An Informal
1999-07-01
An Informal
Coding and Modulation for Wireless Communications with Application to Small Unit Operations
1999-01-27
Violation Contexts and Deontic Independence
1999-06-16
Leendert Van Der Torre
An Elementary Definability Theorem for First Order Logic
1999-07-26
Hierarchical Data Structures for Interactive Volume Visualization
1995-11-08
Strong Asymptotic Optimality Of Focused Factory
1998-09-19
The Smallest Covering Code of Length 8 and Radius 2 Has 12 Words
1996-04-29
Using Configurable Computing to Accelerate Boolean Satisfiability
1999-01-11
Towards Competence Assessment For Intelligent Systems
1997-12-14
Klaus P. Jantke
MetaJava: An Efficient Run-Time Meta Architecture for Java
1999-07-27
Michael Golm
Loop Re-ordering and Pre-fetching at Run-time
1997-08-29
Tree-valued Markov chains and Poisson-Galton-Watson distributions
1997-07-03
David Aldous
Presupposition as Anaphora in the Verbmobil Semantic Formalism
1996-04-29
Johan Bos
Towards Requirements for Requirements Modelling Tools
1997-10-02
Time Processes for Time Petri Nets
1997-08-11
David J. Aldous
1999-01-20
David J. Aldous
Plant Template Generation in Quantitative Feedback Theory
1998-05-07
Fast and Robust Segmentation of Natural Color Scenes
1997-11-20
Multiresolution Model Development For Overlapping Trees Via Canonical Correlation Analysis
1998-09-08
IMPROVED METHODS FOR IDENTIFYING MOVING GROUPS J.H.J. de Bruijne
1997-07-16
THE PARALLAX OF THE PLEIADES CLUSTER F. van Leeuwen
1997-07-16
Integer and Rational Exponents
1998-01-22
Konrad Raczkowski
Multigrid Methods For Nearly Singular Linear Equations And Eigenvalue Problems
1993-12-16
On the Linear and Hereditary Discrepancies
1999-05-10
Local and Global Relational Consistency
1996-12-06
Fast Browsing of Large Scale Images Using Server Prefetching and Client Caching Techniques
1999-05-24
Circuit Simulation Techniques Based on Lanczos-Type Algorithms
1996-11-08
Roland W. Freund
The Role of Transfer in Learning extended
1999-08-26
Sebastian Thrun
Lund Observatory, Box 43, SE-221 00 Lund, Sweden
1997-07-16
Approximating Shortest Lattice Vectors is Not Harder Than Approximating Closest Lattice Vectors
1999-02-25
High-Speed Viterbi Decoder: An Efficient Scheduling Method to Exploit the Pipelining
1999-06-03
Multigrid for Locally Refined Meshes
1996-11-03
Yair Shapira
Band Edge Localization in Randomly Perturbed Crystals
1996-10-07
Werner Kirsch Peter Stollmann
Program Dependence Analysis of Concurrent Logic Programs and Its Applications
1997-02-27
Visual Support for Combining Algorithms via the Internet
1998-09-29
Peter Becker Stefan M Uller
Drag Effects in Charm Photoproduction
1999-06-08
Efficient Dataflow Representation Of Mpeg-1 Audio layer Iii Decoder Algorithm With Controlled Global States
1999-09-03
Motion Planning with Dynamics
1999-06-26
James Kuffner
Computational Simulation Of Magnetic Resonance Imaging Techniques For Velocity Field Measurements
1997-09-18
Compiling Ruby into FPGAs
1999-02-06
Shaori Guo
Manuscripta Geodaetica
1995-05-25
A high-speed VLSI chip for parallel image decorrelation
1998-12-11
Complex Deconvolution by the Conjugate Gradient Method using the CNN Universal Machine
1999-07-23
Letter. Printed January 13, 1998
1998-01-14
A Dynamic Load Balancing Framework for Unstructured Adaptive Computations on Distributed-Memory Multiprocessors
1999-05-29
Generation as Deduction on Labelled Proof Nets
1997-11-18
A Representational Approach To Knowledge And Multiple Skill Levels For Broad Classes Of Computer Generated Forces
1997-12-05
Linear Systems Analysis And Decoding Of Convolutional Codes
1999-08-15
Joachim Rosenthal Director
Creativity - Simply Random?
1999-04-13
Detlev Zimmermann
Lightweight Run-Time Code Generation
1970-01-01
The DFN-CERT Experience: Building up a new CERT within Europe
1994-06-04
Klaus-peter Kossakowski
Equivalence Between And Multigrid Algorithms For Mixed And Nonconforming Methods For Second Order Elliptic Problems
1994-12-23
Zhangxin Chen
A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching
1996-09-17
Gadgets, Approximation, and Linear Programming
1999-08-30
Mining Library Catalogues: Best-Match Retrieval Based On Exact-Match Interfaces
1998-01-09
The Holy Spirit
1999-04-20
Lim Lip Yeow
The Implementation of Newsqueak
1994-04-09
Rob Pike
Five Pitfalls of Empirical Scheduling Research
1997-10-07
Register File Port Requirements of Transport Triggered Architectures
1995-11-06
Efficient Representation and Validation of Proofs
1998-06-10
Direct Synthesis of Timed Asynchronous Circuits
1999-08-16
$n%5!<%y%$
1997-10-22
Shimizu Toshihiro
Behavior Coordination for a Mobile Robot Using Modular Reinforcement Learning
1996-11-11
On The 3-Connected Matroids That Are Minimal Having A Fixed Restriction
1970-01-01
Balancing Domain Decomposition For Mixed Finite Elements
1993-12-31
VideoTrails
1998-03-22
RENEW: A Tool for Fast and Efficient Implementation of Checkpoint Protocols
1998-07-13
Design and Evaluation of a Switch Cache Architecture for CC-NUMA Multiprocessors
1999-06-28
Handling Discrete Demand In Continuous-Time Production Planning
1998-12-08
Marc Sevaux
The equivalence of the reductions with the E-strategy with and without marks
1997-08-20
A Scalable Virtual Circuit Routing Scheme for ATM Networks
1995-09-12
Gauge Theory of Things Alive: Universal Dynamics as a Tool in Parallel Computing
1997-04-27
Gerhard Mack
Mobility Types for Mobile Ambients
1999-06-02
+ Inventory Topology Sections 1+ {ordered}, 3+ Axis Geometry Geometry Geometry {ordered} {ordered}
1997-05-28
Using Automatic Differentiation with the Quasi-Procedural Method for Multidisciplinary Design Optimization
1998-08-11
AN OPTICAL/INFRARED ASTROMETRIC SATELLITE PROJECT LIGHT M. Yoshizawa, K. Sato, J. Nishikawa, T. Fukushima, M. Miyamoto
1997-07-16
Test-words for Sturmian morphisms
1999-03-30
Jules Verne
Joint Probabilistic Techniques for Tracking Objects Using Multiple Visual Cues
1998-02-18
Amortizing Randomness in Private Multiparty Computations
1999-05-07
First-Order System Least Squares For The Stokes Equations, With Application To Linear Elasticity
1995-04-24
Particle Cascades in Sgr A*: The Possibility of Observing Their gamma-Ray Signature
1998-02-26
Weighting Hidden Markov Models For Maximum Discrimination
1998-05-08
Dynamic Load Balancing in Hierarchical Parallel Database Systems
1999-05-14
Supporting Collaborative Information Activities in Networked Communities
1999-08-26
On generalized measure contraction property and energy functionals over Lipschitz maps
1999-08-25
Experimental Symbolic Analysis of Net Systems
1998-06-18
Incremental Controller Networks: a comparative study between two self-organising non-linear controllers
1997-11-13
Efficient Domain Decomposition Preconditioning for the
1996-06-23
Jonathan M. Smith
Molecular and Ionised Gas Motions in the Compact HII region G29.96--0.02
1999-01-18
S. L. Lumsden
Negative Volume to Machining Process Methods Mapping for CAD/CAPP Integration
1999-07-16
Towards a Theory of Negative Dependence
1999-05-10
Robin Pemantle
Learning variable memory length Markov chains from noisy output
1997-03-07
Gibbs Entropy and Irreversible Thermodynamics
1999-08-25
The HIP Protocol for Hierarchical Multicast Routing
1998-05-28
Building Interpretersby Transforming Stratified Monads
1994-10-25
David Espinosa
Aspects of Fundamental Muon Physics
1999-08-06
Klaus P. Jungmann
Spectral Multidomain Technique with Local Fourier Basis II: Decomposition into Cells
1996-11-20
Developing And Implementing Planning Heuristics In Prolog
1997-12-14
Effectively Exploiting Indirect Jumps
1999-06-15
David B. Whalley
An Alternative Technique for Proving the Aztec Diamond Theorem and Other Applications
1998-10-04
Eric H. Kuo
Two-Loop Gluon Diagrams From String Theory
1997-12-11
Lorenzo Magnea
Propagating Edge States for a Magnetic Hamiltonian
1999-07-19
Enterprise Modelling
1997-11-23
CPC2 Plate Reductions with Hipparcos Stars: First Results
1997-07-16
Stability of bright solitary-wave solutions to perturbed nonlinear Schrödinger equations
1998-04-20
The Strong Independence Theorem for Automorphism Groups and Congruence Lattices of Finite Lattices
1995-06-26
Approximate Maxima Finding of Continuous Functions under Restricted Budget Extended Abstract
1997-11-12
An Optimized Routing Scheme and a Channel Reservation Strategy for a Low Earth Orbit Satellite System
1999-07-11
Dynamic Query Re-Optimization
1970-01-01
Extending CRAFT Data-Distributions for Sparse Matrices
1999-06-03
Flat Symplectic Bundles of N-Extended Supergravities, Central Charges and Black-Hole Entropy
1998-05-26
Laura Andrianopoli
ACCURACY OF NONLINEAR APPROXIMATIONS IN SPHEROIDAL COLLAPSE --- Why are Zel'dovich-type approximations so good? ---
1997-08-07
Nomenclator Descriptive Query Optimization for Large X.500 Environments
1996-03-07
A Status Report on the SEMPER Framework for Secure Electronic Commerce
1998-06-12
.0 Performance
1999-07-29
Data Lineage and Information Density in Database Visualization
1999-02-12
Allison Gyle Woodruff
Current-Mode Programming for the Prototype-TPC Magnet Power Supply
1998-07-23
Complete Characterization of Adversaries Tolerable in Secure Multi-Party Computation
1998-03-18
On the Motion Compensation Within a Down-Conversion Decoder
1999-07-09
Fuzzy Identification of Unknown Systems based on GA
1999-06-16
Update Propagation in Chimera, an Active DOOD Language
1996-08-19
The choice between bli-passive and s-passive in Danish, Norwegian and Swedish
1999-06-23
Elisabet Engdahl
The New Wave in Robot Learning
1998-12-10
Noel E. Sharkey
Measuring Perceived Quality of Speech and Video in Multimedia Conferencing Applications
1998-09-09
A Parallel Programming Model for Irregular Dynamic Neural Networks
1995-10-16
New Techniques for Enhanced Quality of Computer Accompaniment
1996-11-04
Fundamentals of Restricted-Orientation Convexity
1996-02-24
Really Pure Short Distance Penguin Process?
1998-05-23
Bfgs With Update Skipping And Varying Memory
1998-10-05
Local Equivalence of Transversals in Matroids
1996-08-20
Query ReFormulation on the Internet: Empirical Data and the Hyperindex Search Engine
1999-04-19
Performance Evaluation of the SGI Origin2000: A Memory-Centric Characterization of LANL ASCI Applications
1999-05-06
An Architecture for Multicast Telepresentations
1998-06-13
Efficient and Effective Clustering Methods for Spatial Data Mining
1999-06-26
General Mapping of Feed-Forward Neural Networks onto an MIMD Computer
1995-05-24
Modular Lazy Search for Constraint Satisfaction Problems
1999-08-25
Virtual Museums on the Information Superhighway: Prospects and Potholes
1999-05-05
Global Behavior Of Solutions To A Reaction-Diffusion System
1998-04-23
S. B. Cuicui Shangbin
Exploiting IB Assignments for Approximating Marginal Probabilities
1996-02-20
Agency and Obligation
1998-05-15
John F. Horty
Fast and Slow solutions in General Relativity: The Initialization Procedure
1998-05-25
Inflaton Decay and Heavy Particle Production with Negative Coupling
1998-05-15
Buffer losses vs. Deadline Violations for ABR Traffic in an ATM Switch: A Computational Approach
1999-03-02
Stochastic Isocurvature Baryon Fluctuations, Baryon Diffusion, And Primordial Nucleosynthesis
1998-05-24
Estimating Growth and Mortality in Stage-Structured Populations
1970-01-01
Part III Operational Controls
1999-06-01
On the Mathematical Foundation of Learning Algorithms
1996-07-16
Huaiyu Zhu
Finding the Structure of a Satellite Image
1997-03-25
Efficient Oblivious Proofs Of Correct Exponentiation
1999-08-31
A Navigation System for Robot Soccer
1999-06-22
Proof-Carrying Code
1999-02-02
George C. Necula
Using UML to Derive Stochastic Process Algebra Models
1999-08-02
Rob Pooley
Embedded Inodes and Explicit Grouping: Exploiting Disk Bandwidth for Small Files
1997-01-13
A Structural Pattern For Communication Between Components
1995-11-20
Matching: Invariant to Translations, Rotations and Scale Changes
1970-01-01
S. Z. Li
A Polynomial Kernel-Oriented Coalition Algorithm for Rational Information Agents
1998-08-05
Deferred Compilation: The Automation of Run-Time Code Generation
1993-12-13
A Node as a Real-Time Object
1997-03-04
A Data Cube Algebra Engine for Data Mining
1997-11-27
Refining First-Class Stores
1970-01-01
J. Gregory Morrisett
Conquest: CONcurrent QUEries over Space and Time
1970-01-01
International Workshop on Description Logics
1995-06-04
Combining Unsupervised Lexical Knowledge Methods for Word Sense Disambiguation
1999-03-11
Circular Dichroism Effects in Atomic X-Ray Scattering
1999-06-15
Second-Order Statistical Measures for Text-Independent Speaker Identification
1998-11-13
Software Agents
1997-05-13
CP violation in eta ->pi + pi by Higgs-eta mixing through two-loop quantum effects
1998-05-22
Dynamic Scattering from Semiflexible Polymers
1999-01-26
Elimination Forest Guided 2D Sparse LU Factorization
1999-04-08
Active Consistency Enforcement for Repairable Database Transitions
1997-02-10
Semidefinite Programming Relaxations For The Quadratic Assignment Problem
1997-09-18
Beyond PVM 3.4: What We've Learned, What's Next, and Why
1999-02-01
Fast Messages FM: Efficient, Portable Communication for Workstation Clusters and Massively-Parallel Processors
1999-08-09
Approximate Inverse Preconditioning Of Iterative Methods For Nonsymmetric Linear Systems
1996-04-02
A Multirelational Algebra for Multidatabase Systems
1998-04-16
A Simple, Fast, and Effective Rule Learner
1999-05-25
Parallel Multigrid with ADI-like Smoothers in Two Dimensions
1997-03-01
Enhancing Community and Collaboration in the Virtual Library
1997-07-24
Calculating the Order of an Invertible Matrix
1999-08-02
A Community of Autonomous Agents for the Search and Distribution of Information in Networks
1999-06-11
Stephen Marsh
Recognising a Scenario by Calculating a Temporal Proximity Index between Constraint Graphs.
1998-01-14
OzCare: A Workflow Automation System for Care Plans
1999-05-04
Journal of Graph Algorithms and Applications
1997-11-09
Parallel Processing Method of Combinatorial Problem Solving Based on Implicit Stochastic Divide-and-Conquer
1999-08-07
Yasusi Kanada
Reflective Agents for Adaptive Workflows
1997-07-01
Infinite Dimensional Quadratic Optimization: Interior-Point Methods and Control Applications
1995-11-08
On Variational Dynamics In Redshift Space
1998-02-24
Unknown
1996-09-20
Efficient Search for Approximate Nearest Neighbor in High Dimensional Spaces
1999-05-07
CO-OPN/2: A Specification Language for Distributed Systems Engineering
1997-03-04
Information Retrieval and Information Theory
1999-05-03
A New Method for Testing Decision Procedures in Modal Logics
1999-02-15
Symmetry Breaking in
1998-06-19
The Priority Face Determination Tree for Hidden Surface Removal
1999-02-22
. Dsdsabstract
1996-10-16
Convergence of Alternating Domain Decomposition Schemes for Kinetic and Aerodynamic Equations
1997-03-13
Axel Klar
Two Automatic Approaches For Analyzing Connected Speech Processes In Dutch
1998-08-31
Heavy-Quark Production in the Target Fragmentation Region
1997-01-20
Dirk Graudenz
A Perceptron with Optimized Backpropagation Learning Algorithm to preset a Temper mill machine: NEUROSKIN
1997-06-12
Primal-Dual Interior-Point Methods for Semidefinite Programming: Convergence Rates, Stability and Numerical Results
1998-05-06
On Noninvertible Mappings of the Plane: Eruptions
1997-03-13
Modular Verification of SRT Division
1999-05-20
Harald Ruess
Spectral Decomposition of Density Evolution Operators of Nonlinear Discrete-Time Systems
1998-09-07
KINEMATICS OF DISK STARS IN THE SOLAR NEIGHBOURHOOD A.E. G'omez
1997-07-16
More on Four-Dimensional Extremal Black Holes
1998-05-11
N. Hambli
Clock Synchronization and the Power of Broadcasting
1999-06-18
A Communication Kernel for Parallel Programming Support on a Massively Parallel Processor System
1995-06-22
Random Access Decompression using Binary Arithmetic Coding
1999-03-04
Garbage Collection for Large Memory Java Applications
1999-04-07
Andreas Krall
Multiplicity Distributions in
1998-05-24
O. G. Tchikilev
Belief Revision with Unreliable Observations
1999-06-18
The Convex Analysis of Unitarily Invariant Matrix Functions
1995-10-27
A. S. Lewis
The Distance Of The Pleiades And Nearby Clusters
1997-07-16
Position Paper Applying Measures of Distance To Perform Approximate Retrieval
1999-01-21
Journal of Graph Algorithms and Applications
1998-05-12
An Algebraic Decoding Algorithm for Convolutional Codes
1999-05-07
Joachim Rosenthal
A Parallelization of Dijkstra's Shortest Path Algorithm
1999-06-16
Packet Routing In Fixed-Connection Networks: A Survey
1998-12-01
Coalition Structure Generation with Worst Case Guarantees
1999-05-19
Optimal V cycle algebraic multilevel preconditioning
1998-04-05
Y. Notay
Adaptive Leases: A Strong Consistency Mechanism for the World Wide Web
1999-07-05
Report 1: Commissioning of HiRAC at the Nordic Optical Telescope, January 8-16, 1996
1997-07-02
Instrumentcenter For Jordbaseret Astronomisk Forskning
Protocol Interactions and the Chosen Protocol Attack
1997-06-02
Effects of QCD Resummation on Distributions of Top-Antitop Quark Pairs Produced at the Tevatron
1996-06-18
S. Mrenna
Catching and Selective Catching: Efficient Latency Reduction Techniques for Delivering Continuous Multimedia Streams
1999-07-23
The Fundamental Plane at z=0.18
1997-12-11
An algebraical proof of the Contraction Criterion for Proof Nets
1997-07-01
Quintijn Puite
An Integrable Flow on a Family of Hilbert Grassmannians
1996-08-27
Rodrigo P. Gomez
A Scalable Priority Queue Manager Architecture for Output-Buffered ATM Switches
1999-08-07
Local Reconfiguration Policies
1999-03-06
Jonathan K. Millen
Modeling Information Agents: Advertisements, Organizational Roles, and Dynamic Behavior
1999-07-12
Statistics Of Isodensity Contours In Redshift Space
1995-07-09
Takahiko Matsubara
Mass or Gravitationally Induced Neutrino Oscillations? -- A Comparison of
1998-05-22
Designing Experiments for Controller Perturbation Theories --- an Example
1998-02-28
The Application Of The Supercondensed Tlm Node To Propagation Problems In Inhomogeneous Anisotropic Materials
1996-09-30
Identification of Linear Parametrically Varying Systems
1998-09-04
Undecidability of Partial Order Logics
1998-09-15
Fréchet Differentiability of the Solution of the Heat Equation With Respect to a Nonlinear Boundary Condition
1998-02-04
Arnd Rosch
Egida: An Extensible Toolkit For Low-overhead Fault-Tolerance
1999-06-22
The Spatial Aggregation Language For Modeling And Controlling Distributed Physical Systems
1999-04-15
An Optimization Pattern for Efficiently Initializing and Accessing Thread-safe Objects
1999-06-23
Pragmatics and Word Meaning
1997-10-10
Approximations for Singularly Perturbed Parabolic Equations of Arbitrary Order
1999-04-22
Michael A Kouritzin
Arrangements and Local Systems
1970-01-01
Daniel C. Cohen
Looking Back in Time Beyond the Big Bang
1999-05-18
M. Gasperini
A Systematic Approach for Analyzing the Manufacturability of Machined Parts
1994-09-26
Three Results on Mixing Shapes
1997-11-03
T. Ward
Fuzzy-Set Based Information Retrieval for Advanced Help Desk
1998-06-22
Testing Cosmological Models Against The Abundance Of Damped Lyman-Alpha Absorbers
1998-05-14
Continuous Symmetry: A model for Human Figural Perception
1995-02-14
About a Decomposition of the Space of Symmetric Tensors of Compact Support on a Riemannian Manifold
1994-09-07
James E. Rhoads Kitt Peak National Observatory, 950 North Cherry Avenue, Tucson, AZ 85719
1999-08-18
James E. Rhoads
Data Mining In Direct Marketing Databases
1998-11-13
Proving the Correctness of Reactive Systems Using Sized Types
1995-11-07
Construction of Problem-Solving Methods as Parametric Design
1998-10-05
Parameters of Black Holes in Sources With Periodic Variability
1999-06-10
SPIE Intelligent Robots and Computer Vision XIV Algorithms, Techniques, Active Vision and Materials Handling Philadelphia, 1995.
1999-01-14
Active Information Gathering in InfoSleuth
1999-07-06
Stabilization of Relative Equilibria II
1998-11-09
Dunja Mladeni'c
1999-07-21
Learning Hidden Markov Model Structure for Information Extraction
1999-06-01
Clock Synchronization in Virtual Rings
1999-07-09
Generating Efficient Primes for Discrete Log Cryptosystems
1997-01-25
Geometrical Initialization, Parametrization and Control of Multilayer Perceptrons : Application to Function Approximation
1996-03-25
Fabrice Rossi
Partial Deduction System
1998-12-11
Michael Leuschel
Automatic Early Stopping Using Cross Validation: Quantifying the Criteria
1997-12-12
Lutz Prechelt
Using Automatic Clustering to Produce High-Level System Organizations of Source Code
1999-06-12
Modeling And Distributed Simulation Techniques For Synthetic Training Environments
1997-09-27
A Controlled Experiment on Inheritance Depth as a Cost Factor for Maintenance
1999-03-12
GAPS: Iterative Feedback Directed Parallelisation Using Genetic Algorithms
1998-09-30
Andy Nisbet
A Representation for Efficient Planning in Dynamic Domains with External Events
1996-07-17
Jim Blythe
Agent Theories, Architectures, and Languages: A Survey
1998-03-12
Research on Adaptive and Recoverable Distributed Shared Memory
1997-07-03
Classification and Learning of Similarity Measures
1994-09-30
Comparing Hierarchical Data in External Memory
1999-06-05
Sudarshan S. Chawathe
A New Method for Testing Decision Procedures in Modal and Terminological Logics
1999-02-15
Almost Sure Testability Of Classes Of Densities
1999-04-20
Luc Devroye
A Protocol for Efficient Transfer of Data over Fiber/Cable Systems
1996-04-15
Distributed Management by Delegation
1995-07-18
Yechiam Yemini
Current Sheet Formation And Reconnection On Separator Field Lines
1997-05-19
D. W. Longcope
Integer Division Using Reciprocals
1999-06-11
Robert Alverson
Prediction Of Deformed And Annealed Microstructures Using Bayesian Neural Networks And Gaussian Processes
1998-08-24
A Contrast Sensitive Silicon Retina with Reciprocal Synapses
1994-11-08
The Correlation of Peaks in the Microwave Background
1999-04-15
On The Convergence Rate Of A Preconditioned Subspace Eigensolver
1999-08-06
Suely Oliveira
VML: A Class of Virtual Multi-Level Iterative Methods for Solving Partial Differential Equations
1997-10-24
Jun Zhang
An Adaptive Randomized Search for the Euclidean Steiner Tree Problem
1997-12-04
The SwitchWare Active Network Implementation
1998-08-10
Self-Alignment of a Binocular Robot
1995-07-21
Solving the Sum-of-Ratios Problem by an Interior-Point Method
1999-07-14
Quadrature on the half line and two-point Padé approximants to Stieltjes functions. Part I: Algebraic aspects
1999-04-30
Specification and Prototyping of Network Protocols in Rewriting Logic
1998-10-20
No Feasible Interpolation for TC 0 -Frege Proofs
1999-06-04
Practical Parallel List Ranking
1999-03-03
Feedback-Free Multicast Prefix Protocols
1999-01-05
How does one program in the AXIOM System
1997-08-12
J. H. Davenport
Numerical Treatment of a Shape Optimization Problem in Thermoelasticity
1998-02-04
Interpolation by Bivariate Splines on Crosscut Partitions
1999-01-28
Constructing and Transforming CBR Implementations: Techniques for Corporate Memory Management
1999-07-11
Low Power Mapping of Behavioral Arrays to Multiple Memories
1996-08-03
Experiments in Spoken Document Retrieval at CMU
1999-08-12
Bootstrapping for Text Learning Tasks
1999-05-11
A Feature Construct for PEPA
1999-04-30
Polytypic Programming
1996-05-31
When Robots Meet People: Research Directions In Mobile Robotics
1998-09-29
Sebastian Thrun
Phase Transformation Kinetics in d-Dimensional Grains-Containing Systems: Diffusion-Type Model
1997-11-24
Locking in OODBMS Client Supporting Nested Transactions
1996-10-08
Interconnection Length Distributions in 3-Dimensional Anisotropic Systems
1999-01-12
Modular Verification of SRT Division
1999-05-20
Harald Ruess
Mixed Moments of Random Mappings and Chaotic Dynamical Systems
1999-09-02
Specifying and Reasoning about Generic Real-Time Requirements
1999-06-16
Astrophysics Division, ESTEC, NL-2200AG Noordwijk, The Netherlands
1997-07-16
D. Hestroffer
An Overview of the NUMAchine Multiprocessor Project
1996-11-25
Generating Automatically-Tuned Bitmaps from Outlines
1994-09-06
John D. Hobby
The Modelling Of Noise Processes In Stochastic Differential Equations: Application To Biotechnological Processes
1999-04-30
Linux/RK: A Portable Resource Kernel in Linux
1999-01-15
A Quantitative Model for Technological Risk Assessment in the Process of Information Technology Transfer
1997-11-13
Passive Reduced-Order Models for Interconnect Simulation and their Computation via Krylov-Subspace Algorithms
1999-03-19
Roland W. Freund
The Janus-III Translation System: Speech-to-Speech Translation in Multiple Domains
1999-08-27
Bifurcation of One--Dimensional Stochastic Differential Equation
1998-08-03
Impact of Load Balancing on Unstructured Adaptive Grid Computations for Distributed-Memory Multiprocessors
1999-05-29
Action-Selection in Hamsterdam: Lessons from Ethology
1999-06-29
Bruce Blumberg
Appendix B: Samples for higQ, medQ, lowQ
1997-03-11
Optimality Conditions And Generalized Bang-Bang Principle For A State-Constrained Semilinear Parabolic Problem
1998-02-04
The CAM-Brain Machine CBM - Real Time Evolution and Update of a 75 Million Neuron FPGA-Based Artificial Brain
1999-08-17
A Very Singular Solution For The Dual Porous Medium Equation And The Asymptotic Behaviour Of General Solutions
1998-09-02
Formation of Cooperative Behavior among Information Agents in Web Repository Change Monitoring Service
1999-08-10
Cv
1999-08-10
Justin A. Boyan
Dynamic Logic Programming
1999-03-25
Automatic Verification of a Lip Synchronisation Algorithm Using UPPAAL - Extended Version -
1998-07-08
Piranha Scheduling: Strategies and Their Implementation
1994-02-09
A Tight Lower Bound for the Best-alpha Algorithm
1999-07-07
Efficient Real-Time Index Updates in Text Retrieval Systems
1999-07-31
Cayley Graphs With Complete Rotations
1998-12-17
Aspectual Properties of Spanish Absolute Small Clauses
1997-10-09
Departament De Filologia Espanyola
High-performance Monitoring Architecture for Large-scale Distributed Systems Using Event Filtering
1997-09-07
Inducing Features of Random Fields
1997-04-22
Stochastic Simulation of Porosity and Acoustic Impedance Conditioned to Seismic Data and Well Data
1997-07-01
Alfhild L. Eide
Window-based error recovery and flow control with a slow acknowledgement channel: a study of TCP/IP performance
1997-05-31
THE LUMINOSITY AND KINEMATICS OF A SAMPLE OF HOT SUBDWARFS R. Viotti, D. Cardini, A. Emanuele, M. Badiali
1997-07-17
On Modelling Train Traffic in a Model Train System
1998-06-18
CORBA Wrapper for ConceptBase V3.1 Programmer's Manual
1997-01-28
Bound States for Schrodinger Hamiltonians: Phase Space Methods and Applications
1997-05-14
View-Based Object Recognition Using Saliency Maps
1998-03-20
Knowledge Representation and Efficient Image Processing for High-Level Skill Acquisition
1999-06-03