Visualization of Geometric Algorithms in an Electronic Classroom
1997-07-09
Interactive Dsp Course Development/teaching Environment
1997-06-29
A Genetic Approach to the Overlapped Scheduling of Iterative Data-Flow Graphs for Target Architectures with Communication Delays
1997-12-22
Efficient Support for Irregular Applications on Distributed-Memory Machines
1995-04-07
Low Perturbation Address Trace Collection for Operating System, Multiprogrammed, and Parallel Workloads in Multiprocessors
1970-01-01
A Bound on the Number of Integrators Needed to Linearize a Control System
1995-08-31
Alan Murta
1996-05-22
Alan Murta
Reinforcement Learning: Architectures and Algorithms
1995-02-13
CS 221, Autumn 1998 Programming Assignment 2: Digit Recognition
1998-11-13
A Viewpoint-based Framework for Software Development Environments
1999-02-08
Complexity Classes and Rewrite Systems With PolynomialInterpretation
1998-08-31
Chirally Invariant Transport Equations For Quark Matter
1998-05-15
Stochastic Analysis on Configuration Spaces: Basic Ideas and Recent Results
1998-04-07
Michael Rockner
Reduced Training Time for Reinforcement Learning with Hidden State
1994-06-14
R. Andrew Mccallum
Discovering Useful Knowledge from Aircraft Operation/Maintenance Data
1997-05-13
Automatic Indexing for Thai Text with Unknown Words using Trie Structure
1999-02-08
Buildings and Non-positively Curved Polygons of Finite Groups
1998-11-11
Paul R. Brown
Density Estimation By Wavelet Thresholding
1994-07-21
The Gardens Prototype: An Extensible Architecture Supporting Adaptive Parallel Computation
1997-11-30
Zero-curvature condition in two dimensions. Relativistic particle models and finite
1997-04-26
K. Kamimura
Register Allocation over the Program Dependence Graph
1998-12-04
Multicasting Multimedia Streams with Active Networks
1998-03-26
Instances and Connectors: Issues for a Second Generation Process Language
1998-09-25
A Case for Parallelism in Data Warehousing and OLAP
1998-09-01
Fuzzy Structural Semantics. On a generative model of vague NL meaning
1998-04-19
Burghard B. Rieger
CLAIRE: Combining Objects and Rules for Problem Solving
1996-09-24
A Three-Layer Approach to Semistructured Data
1998-11-03
Johann Christoph Freytag
Estimation Of The Mean Energy Of Muons In Multilayer Detectors
1998-05-15
Job-Shop Scheduling Using Neural Networks
1998-10-03
Visual Web Surfing with Hy
1995-08-22
Intelligente WWW Suche
1999-03-14
M. E. Muller
Comparison of the Galois Connexion and Widening/Narrowing Approaches to Abstract Interpretation
1997-11-19
Chess Isn't Tough Enough: Better Games for Mind-Machine Competition
1997-04-23
Using Versions in Update Transactions: Application to Integrity Checking
1997-06-02
A PBW Basis For Lusztig's Form Of Untwisted Affine Quantum Groups
1998-06-25
Fabio Gavarini
Automatic Configuration Management in a General Object-Based Environment
1997-03-07
Lars Bendix
Dense-Order Constraint Databases Extended Abstract
1995-03-09
Elimination of Local Bridges
1970-01-01
Automatic Retrieval and Clustering of Similar Words
1998-05-22
Dekang Lin
Finite Fields in AXIOM
1997-08-12
QSERL: Quasi-Static Energy Recovery Logic
1998-05-06
Temporal Integrity Constraints in Relational Databases
1994-10-03
Computing Optical Flow Via Variational Techniques
1999-04-02
Efficient Image Segmentation Using Partial Differential Equations and Morphology
1998-05-13
Joachim Weickert
Integrating XTANGO's Animator into the SR Concurrent Programming Language
1996-09-30
Stephen J. Hartley
Generalized Relational Algebra: Modeling Spatial Queries in Constrained Databases
1970-01-01
The Trace Decomposition Problem
1996-05-02
Demeter Krupka
August 24, 1993
1999-02-10
G. S. Stiles
On Combined Dynamic Traffic Assignment and Traffic-Responsive Signal Control
1998-04-02
Isaac Porche
Computing Per-Process Summary Side-Effect Information
1995-06-29
Computer Simulation and Optimization of a Free-Space Optical Interconnection System
1996-08-22
Features and Design Patterns - A Comparison
1999-02-25
Static Analyses for the Effective Specialization of Realistic Applications
1998-10-20
Random Walk On Weighted Graphs And Totally Positive Matrices
1997-04-07
David V Ingerman
FAST compiler user's guide
1993-09-06
Simulating Access to Hidden Information while Learning
1998-11-06
System: Model Generator and Application Frontends
1997-09-02
Generating Dependency Structures of Fuzzy Word Meanings in Semantic Space
1998-04-19
Burghard B. Rieger
A Scattering Theory for Markov Chains
1997-09-29
Operator Overloading as an Enabling Technology for Automatic Differentiation
1997-01-27
Compact elements in solvable real Lie algebras
1995-08-20
Karl H. Hofmann
Constructions and Bounds for Visual Cryptography
1998-07-15
Asymptotic Stability of a 9-point Multigrid Algorithm for the Convection-Diffusion Equations
1997-03-22
Jules Kouatchou
Finite Gain Stabilization of Discrete-Time Linear Systems Subject to Actuator Saturation
1998-08-12
The Harvard Atom-like Tool Halt Manual
1998-09-26
Cliff Young
Iterative Searching In An Online Database
1995-10-23
Demand-Driven Data Flow Analysis For Communication Optimization
1998-01-12
Proc. International Symp. on Math. Foundations of Comp.
1995-04-06
Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection
1996-06-28
Subtyping Recursive Types in Kernel Fun
1999-01-14
Getting At the
1997-09-30
Coordination in Parallel Programming: the ConCoord Environment
1997-06-05
A. A. Holzbacher
Modelling Asynchrony with a Synchronous Model
1997-03-30
Adaptor: A Compilation System for Data Parallel Fortran Programs
1994-05-27
Thomas Brandes
Applications of Abduction to Expert Systems
1995-12-22
Tim Menzies
Abstracting Object Interactions Using Composition Filters
1998-09-25
The Polar Gap
1996-11-08
A New Zealand digital library for computer science research
1996-07-31
A globality theorem for Lie-wedges that are bounded by a hyperplane-ideal
1995-08-21
Dirk Mittenhuber
Icelandic and Norwegian children's narratives
1997-12-05
Elizabeth Lanza
A Differential Model of Adsorption Hysteresis with Applications to Chromatography
1997-09-19
On the Effectiveness of Evolutionary Search in High-Dimensional NK-Landscapes
1998-02-10
A Case-Based Reasoning Approach for Associative Query Answering
1998-05-06
Claudio Hermida Bart Jacobs
1996-09-09
Fortran 77 Routines for H∞ and H2 Design of Discrete-Time Linear Control Systems
1998-10-23
Language Learning with a Bounded Number of Mind Changes
1995-04-28
Overcomplete Systems of Wavelet and Related Local Bases for Adaptive Signal Representation and Estimation
1999-04-15
Rainer Von Sachs
On the Scalar Curvature of Einstein Manifolds
1998-05-31
Limits on Dust in Rich Clusters of Galaxies From the Color of Background Quasars
1998-05-14
Dan Maoz
Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification
1997-10-01
The DEVS Model Interchange Format OpenDEVS. A Proposal
1996-06-12
Comparative Performance Analysis of Uniformly Distributed Applications
1994-01-26
Transmission of Video Streams with Constant Bandwidth Allocation
1998-09-20
A Framework for Undoing Actions in Collaborative Systems
1995-01-18
Michael J. Knister
Using Stochastic Grammars to Learn Robotic Tasks
1998-11-03
PRR: Prime Round-Robin Placement for Implementing VCR Operations
1998-01-06
An Object-Oriented Run-time System for Parallel Programming
1997-02-04
Schrödinger operators with strong magnetic fields: Quasi-periodicity of spectral orbits and topology
1997-12-19
Recognizing Blasting Caps in X-Ray Images
1998-01-24
in the Subject line: On Digital's EASYnet: CRL::TECHREPORTS On the Internet: techreports@crl.dec.com
1997-09-03
Thomas M. Levergood
An Update Semantics for Prima Facie Obligations
1998-05-14
Existence And Uniqueness Of Entropy Solutions For Nonlinear Elliptic Equations With Measure Data
1997-11-19
Fortran RED - A Retargetable Environment for Automatic Data Layout
1998-10-20
Ulrich Kremer
Priors, Preferences and Categorical Percepts
1995-10-26
Formal Foundations for Object-Oriented Data Modeling
1992-05-13
Reactive Modules
1998-07-28
On the Consistency Management of Large Case Bases: the Case for Validation
1998-09-09
The Memory Structures of ATLAS I, a High Performance, 16x16 ATM Switch Supporting Backpressure.
1998-06-16
Irrational Numbers of Constant Type --- A New Characterization
1998-02-21
Theoretical Investigation on the Generalized Crossover Operator
1998-02-24
Certifying Software for High Assurance Environments
1999-03-16
Jeffrey Voas
A Bandwidth Control Scheme for Connectionless ATM Traffic with Multiple Traffic Classes
1996-03-13
Published in
1995-02-23
Tom Axford
Time Series Prediction with Multilayer Perceptron, FIR and Elman Neural Networks
1997-11-18
Finite p'-Semiregular Groups
1997-02-26
Hidden Algebraic Engineering
1998-12-07
Joseph A. Goguen
The Lorentz force between D0 and D6 branes in string and Matrix theory
1998-07-20
The binding roots of symbolic AI: a brief review of the Cyc project
1998-03-13
Deniz Yuret
Singularities of Fractions and Behaviour of Polynomials At Infinity
1998-03-17
AOP: towards a generic framework using program transformation and analysis
1998-07-29
Cochannel Reuse Ratio Distributions in Dynamic Channel Assignment Microcellular Systems
1996-12-18
Grounding Agent Sociality: The Social World is its Own Best Model
1998-01-29
Kerstin Dautenhahn
Temporal Populations
1996-03-02
Sam Sandqvist
On Synthesizing Application-Specific Array Architectures from Behavioral Specifications
1995-05-29
A Variation on the Zero-One Law
1998-04-10
Irregular Data-Parallel Objects in C++
1996-10-11
Completeness and Consistency in Hierarchical State-Based Requirements
1996-09-12
Simultaneous Blind Equalization and Decoding of Multiple Coded Co-channel Signals
1998-01-09
The Algebraic Theory of Recombination Spaces
1996-07-18
Automatic Differentiation Applied to Unsaturated Flow - ADOL-C Case Study
1997-01-27
On Finite Geometric Random Walks And Probabilistic Combinatorics
1998-08-25
Learning Bayesian Networks is NP-Complete
1996-01-20
David Maxwell Chickering
Building Probabilistic Models for Natural Language
1998-09-28
Supporting Dynamic Space-sharing on Clusters of Non-dedicated Workstations
1997-06-23
A proposal for Ensuring High Availability of Distributed Multimedia Applications
1998-03-30
T E X Version 1.2 User's Guide
1996-01-11
A Genetic Algorithm for the Induction of Natural Language Grammars
1996-07-26
Modelling of Amorphous Polymer Surfaces in Computer Simulation
1996-10-27
Indexing with WordNet synsets can improve text retrieval
1998-06-24
Specifying and Validating Requirements: The VENUS System
1997-09-18
Linkedit : An Interactive Graphical System For Modeling Objects With Constraints
1999-04-09
Rapid 3D Modeling By Casual Sketching On An Object
1997-06-08
A System for Transparent File Compression With Caching Under Linux
1997-12-26
Possibilistic Qualitative Model-Based Diagnosis and Trend Analysis of Spacecraft Systems
1995-04-21
Cliff Joslyn
History Cache: Hardware Support for Reverse Execution
1996-10-02
Rok Sosic
Nonlinear Decentralized Control of Large-Scale Power Systems
1998-12-13
An Investigation Into the Correlation of Cue Phrases, Unfilled Pauses and the Structuring of Spoken Discourse
1997-05-20
Janet Cahn
Logic Partition Orderings for Multi-FPGA Systems
1995-10-16
Fast, Long-Lived Renaming
1995-12-11
Computer Vision: What Is The Object?
1997-12-16
James V. Stone
Model-Driven Grouping and Recognition of Generic Object Parts from Single Images
1996-05-25
Presented At
1997-03-12
LogGP: Incorporating Long Messages into the LogP Model ---
1995-10-04
Verification of Timed Systems Using POSETs
1998-08-03
Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study
1997-11-24
Process And Policy: Resource-Bounded Non-Demonstrative Reasoning
1998-05-03
R. P. Loui
From Data Representation to Data Model: Meta-Semantic Issues in the Evolution of SGML
1995-05-02
Operating System and Window System Research for Distributed Multi-media Applications: A Status Report
1993-04-01
Automatic Cross-Language Retrieval Using Latent Semantic Indexing
1997-01-18
Proper motions of the hot subdwarfs: Observations and population tests
1997-12-11
A new entanglement measure induced by the Hilbert-Schmidt norm
1998-12-26
The Ability of Directed Tests to Predict Software Quality
1999-03-16
The MIT Alewife Machine: Architecture and Performance
1970-01-01
The Formation and Use of Abstract Concepts in Design
1996-02-05
Fast Image Search Using A Multiscale Stochastic Model
1998-02-26
Information Retrieval Course Material of the Course held in the Summer Term 1993 Chapter 6: Probabilistic Models in Information Retrieval
1996-04-04
Norbert Fuhr
Unit-Memory Hamming Turbo Codes
1997-06-03
Evolution of Low Complexity Artificial Neural Networks for Land Cover Classification from Remote Sensing Data
1998-06-23
From VDM Specifications to Functional Prototypes
1998-01-23
A Note on Using 32-Bit CRC for Detecting Cell Misordering in ATM Networks
1999-01-26
Middleware Support for Data Mining and Knowledge Discovery in Large-scale Distributed Information Systems
1997-04-06
Azer Bestavros
Constraint Objects
1996-12-11
Scalability of Learning Arbiter and Combiner Trees from Partitioned Data
1997-03-07
Mixed Existence Theorems For First And Second Order Differential Inclusions
1998-05-16
Diego Averna
Operating System Implications of Solid-State Mobile Computers
1998-12-29
On the Power of Circular Splicing Systems and DNA Computability
1997-11-07
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types Extended Abstract
1998-04-27
Estimating the Inherent Parallelism in Prolog Programs
1992-11-24
Some Integral Geometry Tools to Estimate the Complexity of 3D Scenes
1997-07-15
FUNCTIONAL EQUATIONS IN THE PROBLEM OF BOUNDEDNESS OF STOCHASTIC BRANCHING DYNAMICS F.I. Karpelevich
1997-07-01
F. I. Karpelevich
Symbolic Computation in System Simulation and Design
1995-05-04
Self-Organizing Wide-Area Network Caches
1997-12-22
Object-Oriented Modeling for Simulation and Development of Large-Scale Systems
1996-11-18
Concurrency and Recovery in Generalized Search Trees
1997-02-24
Argument Structure as a Locus for Binding Theory
1997-03-06
Christopher D. Manning
Routing in Optical Multistage Interconnection Networks: a Neural Network Solution
1998-09-05
Knowledge Integration and Learning
1980-01-02
Pavel B. Brazdil
Implementing Fail-Silent Nodes For Distributed Systems
1997-06-27
On The Piecewise Smoothness Of Entropy Solutions To Scalar Conservation Laws
1997-02-27
Eitan Tadmor
Byzantine Quorum Systems
1997-03-28
GripSee: A Robot for Visually-Guided Grasping
1998-06-02
Grammar&Parser Evaluation in the XTAG Project
1998-04-23
Lower Bounds on the Size of Depth 3 Threshold Circuits with AND Gates at the Bottom
1997-03-17
Consistent Low-Complexity Estimation Of Active Parameters In Large Linear Regressions
1997-04-09
Fredrik Gustafsson
Universal versus Drive dependent exponents for Sandpile Models
1997-12-11
Hiizu Nakanishi
Rationale-Based Monitoring for Planning in Dynamic Environments
1998-09-16
A Revision-Based Generation Architecture for Reporting Facts in their Historical Context
1996-03-08
Jacques Robin
Formal Verification of the Island Tunnel Controller using Multiway Decision Graphs
1998-05-20
Bayesian Analysis Of Long Memory Time Series
1998-09-01
Giovanni Petris
Executing Nested Parallel Loops On Shared-Memory Multiprocessors
1992-06-02
Cluster communication using a PCI to SCI interface
1996-10-07
Generalization in Reinforcement Learning: Successful Examples Using Sparse Coarse Coding
1996-07-30
Richard S. Sutton
Reply to Dario Floreano's "Engineering Adaptive Behavior"
1999-03-17
Marco Dorigo
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies
1999-03-31
Anosov Actions on Non-Commutative Algebras
1997-04-26
Global Partitioning of Parallel Loops and Data Arrays for Caches and Distributed Memory in Multiprocessors
1994-07-27
The Relations between Volume Ratios and New Concepts of GL Constants
1997-04-29
Monotonous Oracle Machines
1997-02-19
Implications of Memory Mapping on Cache Misses
1997-09-30
DIEGO, Another Step Towards a Module Concept for Graph Transformation Systems
1995-12-04
Gabriele Taentzer
Real-time Constraints as Strategies
1998-06-25
Frank Buschmann
Some investigations of domain decomposition techniques in parallel CFD
1999-05-10
Reprinted From
1995-07-25
Efficient Algorithms for Detection and Resolution of Distributed Deadlocks Extended Abstract
1998-12-13
An Argumentation Based Approach to Risk Assessment.
1999-01-25
Toward ACompletely Automatic Neural Network Based Human Chromosome Analysis
1999-02-16
Boaz Lerner
An Evolutionary Algorithm for Integer Programming
1997-03-26
Gunter Rudolph
Efficient Data Layout, Scheduling and Playout Control in a Multimedia Storage Server
1995-02-02
Noise, Sampling, and Efficient Genetic Algorithms
1997-05-03
Brad L. Miller
A Riemann-Lebesgue Lemma for Jacobi expansions
1997-02-11
George Gasper
Stochastic Stability of Queueing Networks
1997-03-27
Qian-yu Tang
Evolving Artificial Neural Networks using the "Baldwin Effect"
1995-05-04
An Overview of Genetic Algorithms: Part 2, Research Topics
1994-09-06
Multigrid results for the nonconforming Morley element
1997-03-21
EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH 15 September 1997
1997-11-02
Modeling Process Coordination Via Tiles, Graphs, And Constraints
1997-10-12
Ugo Montanari
Upstream Cable Modems: The Intelligent Physical Layer
1998-08-25
Joins that Generalize: Text Classification Using WHIRL
1998-10-17
Interplay of Hard and Soft Physics in Small
1998-05-15
Finding the Right Cutting Planes for the TSP
1999-01-13
Matthew S. Levine
Query DAGs: A practical paradigm for implementing belief-network inference
1998-11-04
Matematiqki Vesnik
1996-07-08
A Dynamical Origin for the Top Mass
1998-05-15
B. Holdom
A Tabu Search Approach to Optimal Structuring Element Extraction for MST-Based Shapes Description
1998-05-06
Tianzi Jiang
Distributional Energy-Momentum Densities of Schwarzschild Space-Time
1997-08-01
Datagram Forwarding via Stateless Internetwork Switching
1997-12-10
Using Warp to Control Network Contention in Mermera
1993-10-13
Towards a Social, Ethical Theory of Information
1997-07-13
Joseph A. Goguen
Wess-Zumino Terms for Reducible Anomalous Gauge Theories
1998-05-23
Hyperbolic Sets for Noninvertible Maps and Relations
1996-06-14
The Waxholm Application Database
1995-11-03
Self-Similar "Fractal" Traffic in ATM Networks
1997-11-11
Nicolas D. Georganas
Approximation Results for Parameter Estimation in Nonlinear Elastomers
1998-03-24
Formal Verification and Empirical Analysis of Rollback Relaxation
1997-05-05
Optimal Multigrid Algorithms for the Massive Gaussian Model and Path Integrals
1999-02-09
An Efficient Implementation of Sequentially Consistent Distributed Shared Memories
1995-03-10
Hamburg Working Papers on Language Production - II
1995-02-09
A. Schopp
A Secure Kernelized Architecture for Multilevel Object-Oriented Databases
1998-09-14
Customized Information Extraction as a Basis for Resource Discovery
1995-02-02
Performance Modelling and Synchronisation
1998-12-08
The CRC Handbook Of Combinatorial Designs
1998-06-23
Qualitative Distances
1995-06-23
The Hebbian paradigm reintegrated: Local reverberations as internal representations
1998-03-11
Daniel J. Amit
J.A. Garc'ia Departamento de Ciencias de la Computaci'on e I.A. E.T.S. de Ingenier'ia Inform'atica. Universidad de Granada. 18071 Granada. Spain.
1997-12-04
Monotonic Subsequences in Dimensions Higher Than One
1998-01-13
Parallel Adaptive Numerical Simulation
1998-06-30
Uttl M. Schneider
Deriving Software Performance Models from Architectural Patterns by Graph Transformations
1998-11-26
Navigation and Coordination Primitives for Multidimensional Visual Browsers
1997-11-03
Essential Features of a Compiler Target Language for Parallel Machines
1996-04-10
George A. Papadopoulos
A Study Of Lithium Deuteride As A Material For A Polarized Target
1999-01-28
Selected issues of design and implementation of Decision Support Systems
1994-09-19
Recompression of Still Images
1997-06-06
Syin Chan
Supporting Real-Time Applications in an Integrated Services Packet Network: Architecture and Mechanism
1999-02-15
TENSOLVE: A Software Package for Solving Systems of Nonlinear Equations and Nonlinear Least Squares Problems Using Tensor Methods
1997-01-27
Generalized H-codes and Doubly Even Self Dual Binary Codes
1998-07-06
Subband Coding of Video Using Energy-Adaptive Arithmetic Coding and Statistical Feedback-Free Rate Control
1997-02-20
An Algorithm for Analyzing Probed Partial Digestion Experiments
1995-02-09
Behaviour Specification of Parallel Active Objects
1998-02-27
Grouping Volume Renderers for Enhanced Visualization in Computational Fluid Dynamics
1995-05-05
Compositional Logic Programming
1996-09-24
A Simple Yet Robust Structural Approach For Recognizing On-Line Handwritten Alphanumeric Characters
1998-06-26
A Classified Review On The Combination Fuzzy Logic-Genetic Algorithms Bibliography: 1989-1995
1996-05-15
The Complexity of Approximate Optima for Greatest Common Divisor Computations
1998-02-23
Stability, Linearization and Control of Switched Systems
1999-03-02
Towards Semantics-based Partial Evaluation of Imperative Programs
1997-09-02
Unknown
1997-06-04
Multiscale Texture Segmentation using Wavelet-Domain Hidden Markov Models
1999-02-03
Gradient-Based Learning Algorithms for Recurrent Connectionist Networks
1998-08-25
Differential FeI Line Shifts as Convective Signatures in R=40,000Échelle Spectra?
1998-09-25
Techniques d'Intelligence Artificielle pour l'Exécution de Programmes Logiques Géométriques.
1996-03-19
Bayesian Learning in Reproducing Kernel Hilbert Spaces - The Usefulness of the Bayes Point
1999-04-02
Evangelos P. Markatos, Christina Tziviskou, and Athanasios Papathanasiou
1998-07-09
Matematiqki Vesnik
1996-07-07
Parallel Genetic Solution for Multiobjective MDO
1999-02-09
Decomposition of Knowledge for Concurrent Processing
1995-11-14
A Compiler for Rewrite Programs in Associative-Commutative Theories
1998-11-13
Pierre-etienne Moreau
Multiuser Interface Design in CSCW Systems
1995-03-10
A Reference Model for Firewall Technology and its Implications for Connection Signaling
1996-11-21
Theory and Modelling of the Radio Emission from X-ray Transients
1996-01-02
Lewis Ball
Domain-Specific Interface Generation from Dataflow Specifications
1998-01-29
Testing Timed Automata
1998-05-06
Comparing Normative Argumentation to Other Probabilistic Systems
1996-04-19
Simon Parsons
Boundary Detection Through Dynamic Polygons
1997-06-04
Fast Token Distribution on Reconfigurable Meshes
1996-09-10
A Projective Framework for Scene Segmentation in the Presence of Moving Objects
1998-12-07
RING: A Client-Server System for Multi-User Virtual Environments
1997-08-15
Thomas A. Funkhouser
S.E. Johnson
1998-09-04
S. E. Johnson
Journal of Graph Algorithms and Applications
1999-02-02
Embedding Of Hilbert Manifolds With Smooth Boundary Into Semispaces Of Hilbert Spaces
1995-11-22
Face Verification based on Morphological Shape Decomposition
1998-02-11
Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas
1996-02-01
A Space Decomposition Method For Parabolic Equations
1998-03-18
Xue--cheng Tai
Acknowledgements
1998-07-16
Chun-nan Hsu
Fachbereich Informatik Interner Bericht
1996-07-09
Ntroduction
1994-04-15
Resistance Extraction using a Routing Algorithm
1998-06-17
Autonomous Interface Agents
1997-05-28
Henry Lieberman
Designing an Agent for Understanding and Generating Metaphor
1998-05-21
Scalable Techniques for Mining Causal Structures
1998-07-08
The Utility Model For Adaptive Multimedia Systems
1998-03-15
A New Asymptotic Stability Criterion for Non-Linear Time-Variant Differential Equations
1998-02-25
Duality in Multi-Commodity Market Computations
1998-08-31
Response-Time Bounds of Rule-Based Programs under Rule Priority Structure
1994-09-09
Refinement Calculus, Part I: Sequential Nondeterministic Programs
1994-09-08
Constructing Piecewise Linear Homeomorphisms of Simple Polygons
1995-12-05
On the Unboundedness of the Number of Solutions of a Dirichlet Problem
1992-05-05
Man Kam Kwong
Machine Learning for Information Extraction from Online Documents
1997-10-31
Dayne Freitag
Grassmannian sigma-models and Topological-Antitopological Fusion
1998-05-23
Practical Prefetching via Data Compression
1996-04-01
The Effects of Phase Offsets on the Performance of Binary and Quaternary Phase Shift Keying in a Multiuser CDMA System
1999-01-05
An Experimental Comparison of Constraint-Based Algorithms for the Preemptive Job-Shop Scheduling Problem
1997-10-21
Claude Le Pape
Learning to Select Useful Landmarks
1995-04-25
Brian N. Bershad Stefan Savage Przemys/law Pardyak David Becker Marc Fiuczynski Emin Gun Sirer
1995-03-12
Simulation of a Subsumption Architecture Robot: Genghis
1994-05-20
Test Suite Design Guidelines and Methodology
1996-02-21
Mining Association Rules with Weighted Items
1999-02-22
Exploratory Analysis of Functional Data: An Application to the Jominy Problem
1996-12-20
Kysti Huhtala
Sensitivity Studies For
1997-02-18
Generative Patterns
1994-06-12
Mechanics for Vibratory Manipulation
1997-01-30
Design of Approximately Linear-Phase Allpass-Based QMF Banks
1998-04-29
Double of the Yangian and rational R-matrices
1999-04-21
S. M. Khoroshkin
Slicing Real-Time Programs for Enhanced Schedulability
1996-08-29
A Probabilistic Theory of Abductive Diagnostic Reasoning
1995-04-08
J. Masdemont
1997-04-26
J. Masdemont
Finding Initial Estimates of Human Face Location
1996-01-18
Equational Specification of Dynamic Objects
1992-03-31
Roel Wieringa
Using differential properties of the Green function in seakeeping computational codes
1999-01-19
Introduction To SNMP - The Simple Network Management Protocol
1994-08-08
Numerical Treatment of Differential Equations of Fractional Order
1997-02-10
Luise Blank
Effective Erasure Codes for Reliable Computer Communication Protocols
1997-06-30
Luigi Rizzo
Report Documentation Page
1998-08-24
Michael P. Nemeth
Fast-Converging Filtered Regressor Algorithms for Blind Equalization
1998-07-28
Multiagent Coordination in Tightly Coupled Task Scheduling
1997-05-23
Abstractions for Mobile Computation
1970-01-01
Size Analysis of Nearly Regular Delaunay Triangulations
1998-03-13
Functional languages and very fine grained parallelism: Initial results
1995-01-09
Improved Scheduling in Object Bases using Statically Derived Information
1998-10-02
A Genetic Algorithm for Bin Packing and Line Balancing
1997-11-10
E. Falkenauer A. Delchambre
Belief Revision in Non-Monotonic Reasoning
1996-05-24
Coordinated Path Planning for Multiple Robots
1996-09-19
Mark H. Overmars
Barcons, Santander, Spain
1997-11-12
Astron Nachr
Stages and Transformations in Parallel Programming
1996-03-20
Sergei Gorlatch
Interactive Scientific Visualisation A Position Paper
1994-08-11
R. J. Hubbold
Distributed Interoperable Virtual Environments
1996-06-11
Evolvable Reactive Execution System using Reconfigurable Hardware: a Robot Navigation System Case Study
1998-07-30
Efficient Adaptive Learning For Classification Tasks With Binary Units
1998-04-01
Using Powerdomains to Generalize Relational Databases
1997-10-21
Level of Detail Visualization of Scalar Data Sets on Irregular Surface Meshes
1998-07-21
A Discipline of B
1996-12-21
Fernando Mejia
Simple Gap Termination for Term Graph Rewriting Systems
1997-04-17
Mizuhito Ogawa
Refinement-Based
1998-05-19
Collaborative Geometrical Modeling in Immersive Virtual Environments
1998-01-24
Debugging Type Errors
1995-11-08
Supporting Fine-Grained Data Lineage in a Database Visualization Environment
1997-02-07
Unstructured Volume-Agglomeration MG: Solution of the Poisson Equation
1994-01-31
Software Manual for Unix Z/EVES Version 1.5
1997-12-04
Multi-Scale Shape Description in Medical Imaging
1997-05-20
Simon R. Arridge
Towards Performance Evaluation with General Distributions in Process Algebras
1998-09-21
Building a Secure, Location Transparent Object Invocation System
1995-08-04
The Impact Of Adding Aggressiveness To A Non-Aggressive Windowing Protocol
1997-01-30
Specification And Analysis Of Concurrent Systems In A Complete Visual Environment
1999-03-25
Magnitude Squared Design Of Recursive Filters With The Chebyshev Norm Using A Constrained Rational Remez Algorithm
1998-04-09
Towards an Effective Calculus for Object Query Languages
1996-01-21
A Measurement of the Michel Parameters in Leptonic Decays of the Tau
1998-03-18
Cleo Collaboration
Specification in CTL+Past, Verification in CTL
1998-08-07
The complexity of policy evaluation for finite-horizon partially-observable Markov decision processes
1997-02-27
Fast Similarity Search in the Presence of Noise, Scaling, and Translation in Time-Series Databases
1998-09-01
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides
1996-07-22
A Resolution Calculus for Modal Logics
1998-01-08
Hans Jürgen Ohlbach
Cooperation Without Genes, Games Or Cognition.
1999-01-08
Charlotte K. Hemelrijk
On-Line Algorithms in Machine Learning
1997-09-10
Avrim L. Blum
Efficient Detection of Restricted Classes of Global Predicates
1997-08-01
A Coordination Architecture for MBone Conferences
1999-01-17
The Design of Microkernel Support for the Sr Concurrent Programming Language
1998-01-20
Spatial Reasoning Rules in Multimedia Management Systems
1996-07-08
Ultra High Speed Digital Processing for Wireless Systems using Passive Microwave Logic
1998-09-14
Harrick M. Vin
1997-02-27
Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods
1998-11-18
Lossy Coding of Sources with Mixed Distribution
1999-03-15
Kenneth Zeger
The Mesh with Hybrid Buses: An Efficient Parallel Architecture for Digital Geometry
1998-05-27
Making Systems Sensitive to the User , s Time and Working Memory Constraints
1998-10-30
Monitoring of the Gravitational Lens MG 0414+0534
1970-01-01
Decay Of Mass For A Semilinear Parabolic Equation
1998-10-20
Matania Ben-artzi
An Algorithm for Case-Based Plan Adaptation
1993-11-04
An M-Net Semantics for BPN
1997-08-11
Johan Lilius
Wavelets Based on Splines: An Application
1999-02-06
A short course on the Lie theory of semigroups I
1995-08-20
Karl H. Hofmann
Detection Performance Degradation due to Miscalibrated Arrays in Airborne Radar
1999-01-11
Trading of Objects in a Heterogenous Large Distributed System
1995-02-06
Object Recognition Using Spatiotemporal Signatures
1997-12-16
James V Stone
Robert van Engelen
1996-06-18
A Software Synthesis Method for Building Real-Time Systems from Processing Graphs
1998-02-25
On Learning Monotone Boolean Functions
1998-11-02
Agent-Based Programming Language for Multi-AgentTeams
1999-03-23
Harmonic Maps With Prescribed Singularities Into Hadamard Manifolds
1997-03-21
Gilbert Weinstein
Network Security via Private-Key Certificates
1992-01-31
A.Kononenko, C.B.Yue June,1994
1997-04-26
A Proof Procedure based on Recomputation-Free Lemmatization
1995-07-26
Modeling Location Management in Personal Communication Services
1999-02-05
A Constructive Development Environment for Distributed Programs
1994-11-14
Using a Reflective Real-Time Operating System to Implement a Just-in-Time Scheduling Policy for a Flexible Manufacturing Workcell
1995-10-24
Marty Humphrey
On Groups Acting On Nonpositively Curved Cubical Complexes
1998-02-26
Werner Ballmann
Robust Value Function Approximation by Working Backwards
1995-09-16
Programming Language Expressiveness and Circuit Complexity
1996-05-02
EMRBF: A Statistical Basis for Using Radial Basis Functions for Process Control
1996-10-03
Unknown
1998-08-05
With Microscope and Tweezers: An Analysis of the Internet Virus of November 1988
1993-02-16
The Dimension Of The Frontier Of Planar Brownian Motion
1998-12-24
Weakly Gibbsian Measures and Quasilocality: a long range pair-interaction example.
1998-11-19
R. Lefevere
WKB expansion for the angular momentum and the Kepler problem: from the torus quantization to the exact one
1997-04-26
Marko Robnik
Animation: From Cartoons to the User Interface
1998-11-25
Inventory Of Equipment In The Cleaning And Deburring Workstation
1997-12-31
Improving the Data Cache Performance of Multiprocessor Operating Systems
1995-12-18
Improving Translation through Contextual Information
1997-05-20
Maite Taboada
An Efficient A* based Algorithm for Optimal Graph Matching applied to Computer Vision
1998-10-28
Viscous Splitting Approximation Of Mixed Hyperbolic-Parabolic Convection-Diffusion Equations
1997-11-17
Extrapolation of Reduced Sobolev Imbeddings
1997-06-24
Miroslav Krbec And
Probability and Distribution in Time of Pulse Overlap in Periodic Settings
1996-12-12
Jane Perkins
A formalization of the Ramified Type Theory
1999-01-28
Demand-Driven Dataflow for Concurrent Committed-Choice Code
1998-01-06
Variable Bit Rate Video in ATM Network: Models and Statistical Characteristics
1998-11-22
Fish-Scales: Representing Fuzzy Manifolds
1997-09-06
Radim S Ara Ruzena Bajcsy
Left Kan Extensions Over omega-Cat
1993-03-01
David B. Benson
A High-performance Endsystem Architecture for Real-time CORBA
1997-01-27
A High-Level Simulator for the Performance Analysis of Dataflow Implementations of Jacobi algorithms
1997-12-22
Authorisation and Privacy in a Networked World
1999-05-06
Lawrie Brown
Bosonization of Fermion Determinants
1998-05-14
Place Sequence Learning for Navigation
1998-06-10
Olivier Trullier
A Reliable Multicast Framework for Light-weight Sessions and Application Level Framing
1996-11-27
Compiling Modechart Specifications
1995-09-21
Modelling Nonlocal Processes In Semiconductor Devices With Exponential Difference Schemes - Part 1: Relaxation Time Approximations
1998-12-06
Recognition of Images in Large Databases Using a Learning Framework
1997-04-15
Register Allocation in WAM
1998-08-05
Simultaneous Blind Equalization and Decoding of Multiple Coded Co-channel Signals
1998-01-09
Adaptive Wavelet Image Block Coding
1996-04-24
Andreas Uhl
Program Comprehension in a Reuse Reengineering Environment
1996-12-06
Unknown
1993-07-27
A Survey of Parallel Genetic Algorithms
1997-05-21
Design Case Adaptation Using Genetic Algorithms
1996-02-08
Large Hadron Collider Project
1997-12-03
Oliver S. Bruning
On The Message Complexity Of Binary Byzantine Agreement Under Crash Failures
1998-01-13
First Results for a Mathematical Theory of Possibilistic Processes
1998-08-26
A Multiplicative Updating Algorithm for Training Support Vector Machines
1999-04-06
Visualisation in the SPROUT molecular design program
1995-11-22
Quick and Incomplete Responses: The Semantic Approach
1997-09-26
Chung-dak Shum
A unifying approach to existence of Nash equilibria
1997-06-11
Erik J. Balder
Finite State Machine Decomposition For Low Power
1998-08-06
Analysis Of An Asymmetric Leader Election Algorithm
1997-12-26
Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers and BSP
1997-06-18
Multiobjective Hybrid Controller Synthesis
1998-02-02
Why is it so hard to find Feedback Control in Software Processes? Invited Presentation
1998-09-09
Model Checking of non-finite state processes by Finite Approximations
1995-08-11
Impact Of Tropospheric Scintillation On Direct-Sequence Spread-Spectrum Satellite Communication Networks
1997-09-28
Gabor Space and the Development of Preattentive Similarity
1999-03-17
Accommodating Integrity Constraints During Database Design
1996-09-08
Dimitris Plexousakis
Numerical Algorithms for Acoustic Integrals - the Devil is in the Details
1996-05-10
Kenneth S. Brentner
SMART High Precision : TREC 7
1999-02-08
Database Server Organization for Handling Mobile Clients
1997-04-22
Gio Wiederhold and Xiaolei Qian
1995-09-15
Internal Strategies in a Rewriting Implementation of Tile Systems
1998-12-23
A Distributed Computing Environment Framework: An OSF Perspective
1996-04-12
From Brad Curtis Johnson
On the Interaction Between an Operating System and Web Server
1997-07-13
Parallel Number Theoretical Numerics for Solving
1996-02-16
SPICE-Based Optoelectronic System Simulation
1998-06-08
Combinatorial Aspects of Multiple Zeta Values
1998-08-24
Using Block Norms in Bicriteria Optimization
1998-05-20
Evaluation of Sampling for Data Mining of Association Rules
1996-05-08
AMODEUS-2 HCI Modelling and Design Approaches: Executive Summaries and Worked Examples
1994-03-28
Applying an Update Method to a Set of Receivers Extended Abstract
1970-01-01
Architecture and Design of a Secure Electronic Marketplace
1997-03-19
CED Model for Asset Returns and Fractal Market Hypothesis.
1996-07-23
Validation, Verification And Integrity Issues In Expert And Database Systems
1998-12-08
Spatial Modelling with Geometric Constraints
1997-09-03
A Note on Large Graphs of Diameter Two and Given Maximum Degree
1997-01-09
PCODE: An Efficient and Reliable Collective Communication Protocol for Unreliable Broadcast Domains
1994-11-07
A User Agent Configuration Mechanism For Multimedia Mail Format Information
1992-06-10
Reducing Cache Misses in Numerical Applications Using Data Relocation and Prefetching
1995-11-17
Trapped Modes In Acoustic Waveguides
1997-04-26
L. Parnovski
An Algebraic Geometric Realization Of The Chern Character
1998-05-31
Ralph Cohen
Numerical, Graphical and Symbolic Analysis of Bernoulli Equations
1995-01-05
Douglas B. Meade
Data Management and QoS in Distributed Multimedia Systems - Towards an Integrated Framework
1997-08-25
Reachability Analysis of Dynamical Systems having Piecewise-Constant Derivatives
1995-07-12
Quasi-Synchronous Checkpointing: Models, Characterization, and Classification
1997-09-06
ATLAS I: A Single-chip ATM switch for NOWs
1996-12-15
Transis: A Communication Sub-System for High Availability
1994-08-15
On the Expressiveness of First-Order Constraint Languages
1997-11-03
Performance of LAPACK: A Portable Library of Numerical Linear Algebra Routines
1997-01-27
An Example of a Differential Calculus on the Quantum Complex N-Space*
1995-08-21
Rainer Matthes
View-Based Recognition
1993-08-01
Thomas M. Breuel
Maintaining Maintainability
1998-11-25
A Goal-Oriented Behaviour-Based Control Architecture For Autonomous Mobile Robots Allowing Learning
1995-11-25
Mohamed Salah Hamdi
The Need to Address Plan Misinference During Dialogues and Why Abduction Might Help
1998-08-19
Susan W. Mcroy
A Comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets
1998-05-13
A Data Driven Graphical User Interface for Vacuum Control Applications
1996-03-26
Self-Stabilizing End-to-End Communication
1996-03-07
Triangle: Engineering a 2D Quality Mesh Generator and Delaunay Triangulator
1996-03-02
Jonathan Richard Shewchuk
Projection Operation for Multidimensional Geometric Modeling with Real Functions
1998-11-18
The Acquisition of a Lexicon from Paired Phoneme Sequences and Semantic Representations
1995-05-16
Carl De Marcken
Barney Pell
1997-09-17
Routing on the PADAM: Degrees of Optimality
1997-07-07
A Biologically Meaningful Model for Comparing Molecular Phylogenies
1995-08-09
Iterative Joint Design of Source Codes and Multiresolution Channel Codes
1997-03-24
The Intentional Stance and the Imitation Game
1998-12-20
Ajit Narayanan
The Developmental Approach to Artificial Intelligence: Concepts, Developmental Algorithms and Experimental Results
1998-12-15
A Survey of General and Architecture-Specific Compiler Optimization Techniques
1998-11-12
Authorization in the Digital Library: Secure Access to Services across Enterprise Boundaries
1997-02-08
The Cost of Complex Communication on Simple Networks
1997-02-19
Stochastic Lotka-Volterra Systems Of Competing Auto-Catalytic Agents Lead Generically To Truncated Pareto Power Wealth Distribution, Truncated Levy Distribution Of Market Returns, Clustered . . .
1998-05-19
Sorin Solomon
The Utility of Embedded Communications and the Emergence of Protocols
1994-06-10
Finite Limits and Monotone Computations: The Lower Bounds Criterion
1998-01-30
Stasys Jukna
Towards a Theory of Access-Limited Logic for Knowledge Representation
1996-08-21
Scheduling Vector Straight Line Code on Vector Processors
1996-04-17
Basis Pursuit
1996-02-28
Asymptotic Expansions of Functional Inverses
1992-07-03
Machine Inspection Of Biscuit Bake
1996-01-23
Game Semantics
1998-09-23
RELACS: A Communications Infrastructure for Constructing Reliable Applications in Large-Scale Distributed Systems
1995-01-29
Using Petri Nets for Specifying Active Objects and Generative Communication
1996-10-21
Tom Holvoet
Stratified Motion Planning with Application to Robotic Finger Gaiting
1998-07-24
Bill Goodwine
Experience with a Primal Presolve Algorithm
1993-06-19
Improved Decision Making through Simulation Based Planning
1996-11-06
On Mean Rate Policing with a Bursty Traffic Specification&Allocation BTSA Policer Function
1997-02-28
Indexing for Data Models with Constraints and Classes
1995-04-27
Numerical Passage from Radiative Heat Transfer to Nonlinear Diffusion Models
1998-09-22
On the Convergence of the Monte Carlo Maximum Likelihood Method for Latent Variable Models
1999-03-09
E. Moulines
Finding hidden Hamiltonian cycles
1997-06-02
Communicating Mathematics: Useful Ideas from Computer Science
1996-05-23
Charles Wells
Algorithms for Triangulated Terrains
1997-09-03
Marc Van Kreveld
Coupling With Compensators
1997-04-21
Gunter Last
The Space Complexity of Approximating the Frequency Moments
1997-12-29
Algebraic characterizations of various Beth definability properties
1999-03-15
Eva Hoogland
An Improved Approximation Algorithm for Minimum Size 2-Edge Connected Spanning Subgraphs
1999-01-11
Hierarchical Calculation of 3d-Structure
1995-05-31
A Fast Search Technique for Large Vocabulary On-Line Handwriting Recognition
1996-08-13
Fair Airport Scheduling Algorithms
1998-06-12
Utterance Verification Improves Closed-Set Recognition And Out-Of-Vocabulary Rejection
1995-12-22
Optimality Conditions for Nonconvex Semidefinite Programming
1998-05-07
Anders Forsgren
On Formal Analysis of Emergent Properties
1996-05-08
Jacek Malec
An Efficient Implementation of Multiple Return Values in Scheme
1994-03-17
Parallel Algorithms for Discovery of Association Rules
1998-05-04
Computer Simulation of PEC Network
1999-03-02
RSTA on the Move: Detection and Tracking of Moving Objects from an Autonomous Mobile Platform
1996-09-05
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus
1999-02-05
Program Slicing-Based Regression Testing Techniques+
1996-09-16
Controlled Anisotropic Diffusion
1995-09-22
Nicolas Rougon
Computational Architectures for Responsive Vision: the Vision Engine
1995-07-30
Rocky 7: A Next Generation Mars Rover Prototype
1998-11-17
Surface Reconstruction from Unorganized Points
1994-08-01
Designing A Portable Architecture For Intelligent Particle Accelerator Control
1997-05-21
Using Abstractions for Decision-Theoretic Planning with Time Constraints
1994-05-31
MEGACAM, the Next Generation Wide-field Camera for CFHT
1998-11-13
Implementing the Square-Root Information Kalman Filter on a Jacobi-Type Systolic Array
1998-09-14
Marc Moonen
Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Logic Programming
1999-02-22
Alan M. Frisch
Structure Oriented Case Retrieval
1997-10-17
Search for Protoplanetary and Debris Disks Around Millisecond Pulsars
1995-06-13
R. S. Foster
On List Edge-Colorings of Subcubic Graphs
1970-01-01
Simulation of Highway Traffic for Mobile Communication Systems Design
1997-06-04
Chess, Shogi, Go, natural developments in game research
1997-11-25
Analysis of Algorithms for Listing Equivalence Classes of
1996-05-28
Branch and Bound with Mini-Bucket Heuristics
1999-01-26
USC: A Universal Stub Compiler
1994-06-01
A Scalable Architecture for Autonomous Heterogeneous Database Interactions
1997-05-13
Synchronization Barrier Elimination in Synchronous FORALLs
1998-12-27
Ernst A. Heinz
On the Effectiveness of Functional Language Features: NAS benchmark FT
1997-12-04
Secure Applications Need Flexible Operating Systems
1997-04-25
Supporting Ongoing User Involvement in Development via Expectation-Driven Event Monitoring
1998-01-31
Performance Analysis Of Two Fitting Algorithms For The Measurement Of Parameterised Objects
1998-06-22
Henri Veldhuis
Probabilistic and Constructive Methods in Harmonic Analysis and Additive Number Theory
1996-06-02
Mihail N. Kolountzakis
RSVP: A New Resource ReSerVation Protocol
1995-12-28
The Muse Object Architecture: A New Operating System Structuring Concept
1991-02-14
Training Sequence Design for Adaptive Equalization of Multi-user Systems
1998-11-16
Urbashi Mitra
A Semantic-Head-Driven Generation Algorithm for Unification-Based Formalisms
1994-11-24
Designer Definites in Logical Form
1999-02-03
Mary P. Harper
A Variational Fit to the Lattice Energy of Two Heavy-Light Mesons
1999-02-12
Dome: Parallel programming in a heterogeneous multi-user environment
1998-01-06
Extending The Scalable Coherent Interface For Large-Scale Shared-Memory Multiprocessors
1993-02-15
Ross Evan Johnson
A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking
1996-07-18
An Exploration of Nonprehensile Two-Palm Manipulation
1996-12-13
Michael Erdmann
Phase Slips and the Eckhaus Instability
1997-04-26
J. -p. Eckmann
Recovery and Page Coherency for a Scalable Multicomputer Object Store
1997-03-11
Erlang - An Experimental Telephony Programming Language
1995-09-26
Surface Reflection Model Estimation from Naturally Illuminated Image Sequences
1998-07-07
Robert Charles Love
Interconnect Design for Deep Submicron ICs
1998-05-01
Siva: Artificial Life Based On Programmed Self-Decomposition Model
1998-08-02
Hiroki Sayama
V.m. Braun
1997-12-11
V. M. Braun
A Decision-Mechanism for Reactive and Coordinated Agents
1997-06-24
Silvia Coradeschi
A Two-Level Flow Control Scheme for ABR Traffic in ATM Networks
1997-08-13
The Dirichlet Problem At Infinity For Random Walks On Graphs With A Strong Isoperimetric Inequality
1997-09-16
Vadim A. Kaimanovich
F3.608e+05>Astron. Astrophys. 341, 181--189 1999<F7.933e+05>
1999-02-02
Parallel and Configurable Protocols: Experiences with a Prototype and an Architectural Framework
1993-06-25
Voltage-Current Characteristics of Multi-Dimensional Semiconductor Devices
1996-10-28
Christian Schmeiser
Fragmentation Production of Doubly Heavy Baryons
1998-05-13
Gryllus Bimaculatus
1997-05-14
Cryptanalysis of 2,5 Rounds of IDEA Extended Abstract
1997-09-19
Exact Results for 1D Conserved Order Parameter Model Vladimir Privman
1997-04-26
Vladimir Privman
Propagation Delay Estimation of DS-CDMA Signals in a Fading Environment
1994-07-29
Contract-Based Distributed Scheduling for Distributed Processing
1997-04-23
Limit Points for Average Genus II : 2-Connected Non-simplicial Graphs
1992-04-28
Smartest Recompilation
1970-01-01
Zhong Shao
Estimating Alphanumeric Selectivity in the Presence of Wildcards
1996-04-01
Constraint Satisfaction with an ObjectOriented Knowledge Representation Language
1998-08-18
Phantom Redundancy: A High-Level Synthesis Approach For Manufacturability
1995-08-05
Hypertext Transfer Protocol - HTTP/1.1
1996-05-03
Sensors In
1998-02-11
Average-Case Interactive Communication
1996-05-02
Alon Orlitsky
A Concurrent and Distributed Extension of Scheme
1996-01-22
Christian Queinnec
Partitioning Graphs Into Generalized Dominating Sets
1998-02-10
Optimization with Semidefinite, Quadratic and Linear Constraints
1998-03-06
Perturbed Random Walks and Brownian Motions, and Local Times
1998-03-05
Burgess Davis
Quarterware for Middleware
1998-05-12
The Hybrid Accelerated Waveform Technique for Parallel Device Transient Simulation
1997-03-17
Tianruo Yang
Improving The Numerical Stability And The Performance Of A Parallel Sparse Solver
1998-04-08
Simultaneous Modelling and Knowledge Acquisition Using NRDR
1998-07-09
Unifying Data and Control Transformations for Distributed Shared-Memory Machines
1995-07-28
The Global Pairwise Approach to Radiation Hybrid Mapping
1999-01-12
France Telecom - CNET
1999-03-22
Modeling RNA Secondary Structures Using Tree Grammars
1996-05-10
HOS-based symmetric and asymmetric statistical models of non-Gaussian noise for signal detection optimization
1997-04-15
Baryogenesis from Flat Directions of the Supersymmetric Standard Model
1998-05-14
hence use both simultaneously if cost/effort permits it. The authors conclude that this type of analysis is often required to for expert systems to provide a quantitative basis for testing.
1997-03-14
Tracking of Rotating Objects
1998-04-27
An Energy-Minimizing Interpolation For Robust Multigrid Methods
1970-01-01
On quantization of 2D gravity
1999-01-05
System for Indexing Multi-Spectral Satellite Images for Efficient Content-Based Retrieval
1970-01-01
Evolving Mobile Robots in Simulated and Real Environments
1999-01-12
Objects, Properties, and Modules in
1997-04-18
Investigations about Monads
1996-08-20
Randomised Algorithms
1998-03-02
Gudmund S. Frandsen
Geometric Foundations for Interval-Based Probabilities
1999-04-24
Analysis and Geometry on Configuration Spaces
1999-04-21
Exceptional Events as Evidence for Determinism
1998-02-25
Daniel T. Kaplan
Comments on "Geodesic Saliency of Watershed Contours and Hierarchical Segmentation"
1998-09-17
Eliane Cubero-castan
Deriving and Applying Logic Program Transformers
1995-06-14
Implementation of ABACUS A Branch-and-Bound Algorithm for MIPs
1997-11-10
A Generalized Equalization-Based Algorithm For Multipath Time Delay Estimation
1998-06-19
Convergence Rate of Minimization Learning for Neural Networks
1998-01-22
Invertibility of the Biharmonic Single Layer Potential Operator
1995-10-31
Recognition of Spatiotemporal Patterns Using a Nonmonotone Neural Network with Hidden Neurons
1998-08-11
Parallel Preconditioned Conjugate-Gradients Methods on Transputer Networks
1997-06-06
Testing the Compton Attenuation Theory of Gamma-Ray Burst Spectra
1995-11-28
A Genetic Algorithm for the Induction of Natural Language Grammars
1995-04-12
Multi-Sensor Inspection Telerobot
1998-11-17
Multicommodity Flows and Polyhedra
1994-02-28
A. M. H. Gerards
Optimized Top Quark Analysis with the Decision Tree
1998-05-15
Implementation of a Management Agent for Interpreting Obligation Policy
1996-07-30
Large-Scale Integer Programs in Image Analysis
1998-06-18
Higher Order Logic Programming with Untyped Lambda Expressions
1998-04-20
James H. Andrews
Test Of Universality Hypothesis For Scalar Confining Potential Between Quarks
1998-05-23
Temporal Distributed Revision Programs
1996-02-01
Flow Control for Limited Buffer Multicast
1993-06-14
Peter B. Danzig
An Adaptive Texture and Shape Based Defect Classification
1999-03-01
Ratio for the
1998-05-15
T. Watabe
Ensuring Semi-Atomicity in Heterogeneous Distributed Database Systems
1995-02-04
Sequential Regularization Methods for simulating mechanical systems with many closed loops
1998-04-08
Using Natural Wavelet Bases And Multiscale Stochastic Models For Tomographic Reconstruction
1994-06-07
Design and Evaluation of a Connection Management Mechanism for an ATM-Based Connectionless Service
1970-01-01
Speech Concatenation And Synthesis Using An Overlap-Add Sinusoidal Model
1997-10-27
Mermera: Non-Coherent Distributed Shared Memory For Parallel Computing
1993-05-14
Himanshu Shekhar Sinha
Feasible Formation of Coalitions Among Autonomous Agents in Non-Super-Additive Environments
1998-07-27
Improving Branch Prediction Accuracy by Reducing Pattern History Table Interference
1998-11-05
Improving Instruction-Level Parallelism by Exploiting Global Value Locality
1998-11-30
Writing a Tcl extension : the Toocl example
1995-02-27
Tactical Generation in a Free Constituent Order Language
1996-02-05
Token Distribution on Reconfigurable d-Dimensional Meshes
1996-09-10
Identification of Linear Systems by an . . .
1998-08-24
The Brauer algebra and the Birman-Wenzl-Murakami algebra
1995-07-24
Axel Schuler
Scaling Laws and Vanishing Viscosity Limits in Turbulence Theory
1998-12-14
The Auction Manager: Market Middleware for Large-Scale Electronic Commerce
1998-07-29
Efficient Signcryption Schemes On Elliptic Curves
1998-04-28
Yuliang Zheng
Language Processor Construction: The Case for YOOCC and TROOPER
1995-11-19
Aerodynamic Identification using Neural Networks
1997-04-02
Switching Latency Impact on Star-coupled WDM Photonic Network Pre-allocation Protocol Performance
1995-03-17
Classification of Lexical Items via Context Priming
1995-03-06
On-line Decision Support for Emergency Trauma Management
1995-03-02
Optimisations for the memory hierarchy of a Singular Value Decomposition Algorithm implemented on the MIMD Architecture
1997-10-20
Korean ECM: Semantic and Pragmatic Factors
1995-11-10
On the Benefit of Supporting Virtual Channels in Wormhole Routers
1999-02-01
Interactive Resource Allocation by Problem Decomposition and Temporal Abstractions
1996-02-12
Optimal Implementation of Wait-Free Binary Relations
1996-11-29
Eric Goubault
Massive Parallelism on the Hybrid Text Retrieval Machine
1995-06-19
Dik L. Lee
Evaluating an Information Extraction System
1998-03-06
Presented at Southcon 92 Orlando, 1992
1992-10-14
Automatic Face Recognition using Radial Basis Function Networks
1998-06-08
Andrew Jonathan Howell
A Recursive Workspace Balancing Controller for a 3D Multibody Model of a Biped
1997-08-25
Jeffrey M. Wendlandt
Deciding Strong Sequentiality for orthogonal term rewriting systems is in Co-NP
1995-11-08
A Multimedia Framework For Effective Exploration Of Case Studies
1997-10-20
Reversibility in Optimally Scalable Computer Architectures
1997-09-05
Using Datacycle for Concurrency Control in a Distributed Database Environment
1997-09-28
Motion in Periodic Potentials
1997-10-16
The Wold Isomorphism for Cyclostationary Sequences
1998-07-17
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
1999-01-15
A Log-Structured History Data Access Method LHAM
1996-06-05
Gerhard Weikum
Static Type Checking of Multi-Methods
1992-06-10
Residual Meson-Meson Interaction From Lattice Gauge Simulation In A Simple Qed
1998-05-14
Construction of Relativistic Quantum Fields in the Framework of White Noise Analysis
1998-11-04
A Structured Specification of an Active Database System
1994-10-19
Gradual Distributed Real-Coded Genetic Algorithms
1998-10-28
A Constraint on the Distance Scale to Cosmological Gamma--Ray Bursts
1998-05-25
Jean M. Quashnock
MAC vs. PC - Determinism and Randomness as Complementary Approaches to Robotic Exploration of Continuous Unknown Domains
1998-09-28
Optimization in Machine Learning
1999-02-11
O. L. Mangasarian
Higher Dimensional Transition Systems
1996-05-07
D-Plotting Facilities
1998-06-30
Image Metamorphosis based on Elastic Body Spline and Snake Model
1998-04-27
Data Storage Interpretation of Labeled Modal Logic
1995-07-24
Dependency Preserving Refinements and the Fundamental Problem of Database Design
1997-06-01
J. A. Makowsky
Degraded Character Image Restoration
1998-05-08
Rule-Based Implementation of Transaction Model Specifications
1995-12-07
Klaus R. Dittrich
Rejoinder
1996-12-30
Motion and Deformation Analysis of the Heart using Thin-Plate Splines and Density and Velocity Encoded MR Images
1996-05-07
Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs
1996-05-30
Pedro Diniz
Template Matching and Measures of Match in Image Processing
1996-10-02
G. S. Cox
Navigation and Routemark-Detection of the Bremen Autonomous Wheelchair
1998-01-29
Combinations of Simplifying Conditional Term Rewriting Systems
1996-03-25
Enno Ohlebusch
A Framework for Managing Distributed Multimedia Services
1997-04-17
Hypergraph Based Clustering in High-Dimensional Data Sets: A Summary of Results
1998-09-01
Bamshad Mobasher
High-Order Temporal Effects in Finite-State Machine Analysis
1998-10-07
Integrating Experimental Models of Syntax, Phonology, and Accent/Dialect in a Speech Recognizer
1996-01-24
Dissertation
1995-10-27
David R. Pratt
Evaluation Of A Hearing Compensation Algorithm
1995-02-06
Nonlinear Stochastic Image Modeling by Means of Multidimensional Finite Mixture Distributions
1998-10-19
Denoising of Sensory Data by Maximum Likelihood Estimation of Sparse Components
1998-05-25
Aapo Hyvrinen
On Primal-Dual Path-Following Algorithms in Semidefinite Programming
1996-12-11
Horizontal Generalization
1995-07-08
David H. Wolpert
A Petri Net Based Environment for the Design of Event-Driven Interfaces
1998-02-27
From Numerical Interpolation to Constructing Intelligent Behaviours
1998-02-02
A Study Of Fragmentation Processes Using A Discrete Element Method
1996-02-01
An Exercise in Hybrid System Specification Using an Extension of Z Extended Abstract
1996-07-04
Photon Production from a Quark--Gluon Plasma
1998-05-14
Dependency Analysis and Neural Network Modeling of Currency Exchange Rates
1996-07-02
Hong Pi
Efficient Message Passing Interface MPI for Parallel Computing on Clusters of Workstations
1997-07-31
Output-Buffer ATM Packet Switching for Integrated-Services Communication Networks
1997-02-18
Rule-Based Requirements Specification and Validation
1997-09-18
Cellular Repair/Misrepair Track Model
1998-08-24
Planning Motions with Intentions
1995-08-01
Semiclassics Of The Quantum Current
1997-06-11
A Fast Shadow Algorithm for Area Light Sources Using Backprojection
1994-08-30
A Greedy Randomized Adaptive Search Procedure For The Feedback Vertex Set Problem
1997-03-19
Weakly Gibbsian measures for lattice spin systems
1997-03-13
Christian Maes
Dynamic Queries for Visual Information Seeking
1998-09-05
Ben Shneiderman
Surface Characterization of Polycarbonate Parts from Selective Laser Sintering
1996-05-13
PASSWORD R2.5 : Certification Authority Requirements
1994-05-26
Michael Roe
Feeding a Large-scale Physics Application to Python
1997-11-03
Exact Learning of u-DNF Formulas with Malicious Membership Queries
1994-03-12
Dana Angluin
Remarks On Infinite Series In Linear Normed Spaces
1998-04-02
On Reducing the Sensitivity of Software Reliability to Variations in the Operational Profile
1997-11-14
Logspace and Logtime Leaf Languages
1996-04-18
Asymptotically Euclidean manifolds and twistor spinors
1998-03-11
Virtually-Synchronous Communication Based on a Weak Failure Suspector
1998-08-28
Aleta Ricciardi
An Object Model for Flexible Distributed Systems
1996-05-23
Principal Curve Clustering With Noise
1997-03-07
On the Expected Sublinearity of the Boyer-Moore Algorithm
1997-02-11
R. Schaback
Nonclassical And Conditional Symmetries
1995-06-30
Finitistic dimension and Ziegler spectrum
1996-07-17
Henning Krause
Structure and Dynamics of Dilute Polymer Solutions Under Shear Flow Via Nonequilibrium Molecular Dynamics
1998-09-30
An algorithm to test if a given circular HDOL-language avoids a pattern
1994-07-28
Julien Cassaigne
A Class of Rectangular Hybrid Systems with Computable Reach Set
1997-04-28
Multi-Way VLSI Circuit Partitioning Based on Dual Net Representation
1995-07-09
ASIUM: learning subcategorization frames and restrictions of selection
1998-05-13
David Faure
An Integrated System For Quality Inspection Of Tiles
1997-08-11
Orgy in the Computer: Multi-Parent Reproduction in Genetic Algorithms
1995-11-20
A Database Interface for File Update
1995-12-15
Queries for Bias Testing
1994-10-29
Diana F. Gordon
-- 1-- Quark Masses
1997-09-23
Incorporating Advice into Agents that Learn from Reinforcements
1998-12-21
Bull/Inesc development of a Programming Platform for DCE
1995-09-01
Evolving non-Trivial Behaviors on Real Robots: an Autonomous Robot that Picks up Objects
1999-01-12
Genie: A Database Generator for Testing Inference Detection Tools
1970-01-01
Finding Functional Links for Neural Networks by Evolutionary Computation
1995-11-20
Categorization in a Real-World Agent Using Haptic Exploration and Active Perception
1996-08-12
A Perturbation Theory for Ergodic Properties of Markov Chains
1998-04-23
Phonological Change In Cincinnati
1996-04-03
Execution Planning in Internet Marketplaces
1998-03-12
Volker Gaede
Processing Incremental Multidimensional Range Queries in a Direct Manipulation Visual Query Environment
1998-07-16
Deadlock Resolution in Networks Employing Connection-Based Adaptive Routing
1997-01-12
Logics for data mining GUHA rediviva
1998-11-23
Petr Hjek
Heuristic Topological Design of Low-Cost Optical Telecommunication Networks
1997-09-23
`C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation
1997-06-15
Data Structures, Algorithms, and Software Engineering
1997-07-07
Christian S. Collberg
Bonding and Sealing Evaluations for Cryogenic Tanks
1997-11-18
David E. Glass
Unknown
1994-06-27
Unknown
1993-07-01
Models For Concurrency
1997-02-05
Inductive Learning of Compact Rule Sets By Using Efficient Hypotheses Reduction
1998-02-16
Thomas Koch
Efficient Support for Scan Operations in Video Servers
1996-12-04
E**: Porting the E Database Language to Amadeus
1970-01-01
Digital Communication Over Rayleigh Fading Channels
1994-02-18
T. M. Parks
A Clinical Information System for Psychiatry
1998-01-23
Bibliography
1999-02-05
Lernen von Heuristiken für Deduktionssysteme
1998-11-19
Mining Multi-Dimensional Data for Decision Support
1998-02-19
Department of
1995-08-16
Individuals Obligations
1994-07-21
Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity
1998-10-27
How to Obey the 7 Commandments for Spoken Dialogue?
1998-09-15
The Raw Compiler Project
1997-10-13
Self-fulfilling Bias in Multiagent Learning
1996-08-17
Embedding Learning in Behaviour-Based Architectures: A Conceptual Approach
1998-03-13
BDT: A Thread Library for the Myricom LANai 4.x Communications Processor
1997-05-21
A Modal Analysis of Staged Computation
1995-11-20
Rowan Davies
Architectural Framework for Developing Concurrent Applications
1996-11-18
As recognition system we use a modular MS-TDNN 6. Figure 2 shows the architecture. The preprocessed acoustic and visual data are fed into two front-end TDNNs 14, respec...
1995-09-28
Evaluation of Main Memory Join Algorithms for Joins with Set Comparison Join Predicates
1997-05-30
Cryptanalytic Attacks on Pseudorandom Number Generators
1998-01-12
StdHep 4.05
1999-02-16
Fermilab Stdhep
Scan Chain Optimization: Heuristic and Optimal Solutions
1996-12-11
Joint Model and Feature Space Adaptation For Robust Continuous Speech Recognition
1997-01-08
Context-Based Statistical Sub-Spaces
1998-03-02
Gregory B. Newby
Who is the Fastest Man in the World?
1997-01-31
Robert Tibshirani
Security Protocol Verification using SPIN
1997-05-15
An Optimal Dynamic Load Balancing Algorithm
1995-12-14
Lorentz Symmetry Violation, Vacuum And Superluminal Particles
1997-09-04
Luis Gonzalez-mestres
Cut Times For Simple Random Walk
1996-10-21
Gregory F. Lawler
On Introducing Higher Order Functions in ABEL
1995-12-22
Ole-johan Dahl
Rethinking Some Empty Categories: Missing Objects and Parasitic Gaps in HPSG
1995-11-27
Claire Grover
A Motion Planning Algorithm of Polyhedra in Contact for Mechanical Assembly
1997-08-27
H. Tsukune
Dienst: Building a Production Technical Report Server
1996-12-18
Unknown
1998-02-18
Puzzling Aspects of the Adiabatic Effective Action in Chern Simons Theories
1998-12-18
and a Performance Instrumentation Analysis and Visualization Tool for
1998-11-02
Kivanc Dincer
"Nonsense on Crutches": Popular Misconceptions in Information Systems Evaluation
1997-04-22
Christopher J Hemingway
A Methodology For The Performance Modelling Of Distributed Cache Coherent Multiprocessors
1997-01-04
On Laplace Integrals and Transfer Operators in Large Dimension: Examples in the non Convex Case
1995-09-04
Bernard Helffer
Parallel Handling of Integrity Constraints
1993-11-18
expect: Scripts for Controlling Interactive Processes
1992-01-20
Quasi-convex Functions and Quasi-monotone Operators
1970-01-01
Vladimir L. Levin
Bandwidth Scheduling for Wide-Area ATM Networks Using Virtual Finishing Times
1995-10-05
Mining Association Rules with Item Constraints
1997-06-02
B. Z. Shapiro and M.Z.Shapiro
1997-08-11
A Critical Examination of the Schema Theorem
1994-04-01
Michael D. Vose
Unknown
1995-04-04
Compiler Techniques For Matlab Programs By Luiz Ant
1970-01-01
The Amulet Environment: New Models for Effective User Interface Software Development
1996-11-11
On Behaviors of Cellular Automata with Rule 165
1998-03-11
Shuichi Inokuchi
Can a Relativistic Iron K Line Be Resolved in Cyg X-1 with SIXA ?
1998-03-02
P. Muhli
Performance Considerations on Adaptive L-Filters
1995-12-19
Ralph Sucher
Guidelines for Adapting an Interpretation Model in an Application
1995-03-15
Phase Statistics and Decorrelation in SAR Interferograms
1998-08-03
The X--ray Spectrum of the Plerionic System PSR
1970-01-01
Motion and Structure from Time-Varying Optical Flow
1997-12-15
A Berry-Esseen Bound For M-Estimators
1999-04-21
V. Bentkus
On Being Incoherent Without Being Very Hard
1995-01-05
Qualitative Motion Understanding
1996-06-12
J¨org Walter
1997-02-24
Helge Ritter
CBET: a Case Base Exploration Tool
1998-01-26
Neural Networks For Fast Arbitration And Switching Noise Reduction In Large Crossbars
1995-04-04
Towards An Improved Evaluation Metric For Object Database Management Systems
1995-11-28
Object Interconnections
1997-01-05
ITL: Logic which has a process as a value of a variable
1970-01-01
Shinji Kono
Fuzzy Class Rescoring: A Part-Of-Speech Language Model
1997-06-08
P. Geutner
Analysis of Some Vector Extrapolation Methods for Solving Systems of Linear Equations
1995-07-19
Fast Optical Hazard Detection for Planetary Rovers using Multiple Spot Laser Triangulation
1997-01-28
Michael Danos
1998-05-24
Michael Danos
Is Cowling's anti-dynamo theorem valid near a rotating black hole?
1997-12-11
Modeling Micro-Controller Peripherals for High-Level Co-Simulation and Synthesis
1997-04-17
A Unified Approach to Data Modeling for a Class of Image Database Applications
1996-02-05
The Phase Transition in Constraint Satisfaction Problems: A Closer Look at the Mushy Region
1994-04-15
Barbara M. Smith
Color-Octet
1997-12-11
How to Make
1997-07-01
Inexact Block Quasi-Newton Methods For Sparse Systems Of Nonlinear Equations.
1998-07-28
Explicit Substitution: on the Edge of Strong Normalization
1997-11-11
Experiences with Extension Programming and Scripting in Python
1997-11-06
Charles Anderson
Induced Representations Of Twisted C*-Dynamical Systems
1996-08-12
S. Kaliszewski
Formal Methods for the Analysis of Authentication Protocols
1999-01-07
Compiler Support for Non-intrusive Monitoring and Debugging of Real-TimeSystems in the CRL Environment
1997-11-26
The Global Array Programming Model for High Performance Scientific Computing
1996-08-01
Expressiveness of Binary Constraints for the Frequency Assignment Problem
1997-09-08
Gaussian Mixture Densities for Classification of Nuclear Power Plant Data
1997-10-22
Focusing Attention in Anytime Decision-Theoretic Planning
1995-08-24
Peter Haddawy
A Supernodal Approach to Sparse Partial Pivoting
1995-09-08
Logic Programming: The Evolving Algebra Approach
1996-06-24
Egon Borger
Harmonics In Power Systems: Their Causes, Effects And Mitigation
1996-10-27
George J. Wakileh
Stochastic Differential Games With Multiple Modes
1996-12-04
Dialog Parsing in the TRAINS System
1996-04-01
Problems for Semantic Interpretation
1993-08-11
Gabriele Scheler
Models of Machines and Computation for Mapping in Multicomputers
1997-08-29
Admissible Pruning Strategies based on plan minimality for Plan-Space Planning
1995-04-21
Subbarao Kambhampati
Document Image Defect Models and Their Uses
1998-05-08
Henry S. Baird
OBDD-based Verification of Communication Protocols - Methods for the Verification of Data Link Protocols
1998-12-15
Data Integration in Engineering Environments
1998-02-04
Induction Time Effects In Pulse Combustors
1996-08-19
Why Cryptosystems Fail
1994-01-24
Ross Anderson
The Potato Operation: Computer vision for agricultural robotics
1997-01-07
A Bairstow's type method for trigonometric polynomials
1995-07-19
Ionel Molnar
Description Logics with Concrete Domains and Aggregation
1998-07-15
Molecular Dynamics With Quantum Fluctuations And Its Application To Heavy Ion Collisions
1998-05-16
Akira Ohnishi
inTouch: A Medium for Haptic Interpersonal Communication
1998-01-15
Co-evolution for Cooperative Behavior Acquisition in A Multiple Mobile Robot Environment
1998-10-22
Service Disciplines For Guaranteed Performance Service in Packet-Switching Networks
1998-01-26
Hui Zhang
Representing Complex Fuzzy Membership Functions in a Connectionist Network
1993-11-23
Steve G. Romaniuk
Photorealistic Scene Reconstruction by Voxel Coloring
1997-07-24
Query Flocks: A Generalization of Association-Rule Mining
1998-07-09
Applications of Generalized Radial Basis Functions in Speaker Normalization and Identification
1995-02-10
Overlapping Communication and Computation in Hypercubes
1996-02-14
Luis Díaz De Cerio
Liquid Crystals in the Mantles of Neutron Stars
1998-03-13
Understanding Application Performance on Shared Virtual Memory Systems
1996-03-17
Large Dense Numerical Linear Algebra in 1993: The Parallel Computing Influence
1999-02-03
Alan Edelman
Restoration of Images Scanned in the Presence of Vibrations
1997-12-10
A Hierarchical Dirichlet Language Model
1995-12-06
Telemedicine and Medical Informatics in the Multimedia Super Corridor: The Malaysian Vision
1998-09-28
Fast Algorithms for K 4 Immersion Testing
1996-02-16
Represents the Energy Taken Away By Neutrinos, With an Average Value Being
1998-06-23
High Energy
Numerical Evaluation of SDPA SemiDefinite Programming Algorithm.
1998-07-15
A Model of Visual Recognition and Categorization
1997-08-08
ACCPM --- A Library for Convex Optimization Based on an Analytic Center Cutting Plane Method
1996-06-21
J. Gondzio
A Heuristic Incremental Modeling Approach to Course Timetabling
1998-03-11
A Symbolic Dynamics Approach to Volatility Prediction
1999-02-19
A Frontier-Based Approach for Autonomous Exploration
1997-05-19
Brian Yamauchi
A self adjustment technique minimizing channel to channel variations in VLSI readout chips
1996-10-18
A Knowledge Based System for the Configuration of Image Processing Algorithms
1998-01-14
ACE: A High-Performance Parallel Prolog System
1995-01-13
High Speed, Scalable, and Accurate Implementation of Packet Fair Queueing Algorithms in ATM Networks
1997-11-10
On the Optimality of the Takagi-Sugeno-Kang Fuzzy Inference Mechanism
1995-01-27
Tor A. Johansen
Gradual Distributed Real-Coded Genetic Algorithms
1998-10-28
Complete Axiomatizations for Reasoning About Knowledge and Time
1997-04-19
Cone-LP's and Semidefinite Programs: Geometry and a Simplex-type Method
1998-02-03
MASK: combining 2D and 3D segmentation methods to enhance functionality
1994-05-04
Averaging under Fast Quasiperiodic Forcing
1994-03-02
A new finiteness condition for monoids presented by complete rewriting systems after Craig C. Squier
1993-09-27
Gibbs Random Fields, Co-Occurrences, and Texture Modeling
1994-06-28
High-Level Data Parallel Programming in Promoter
1997-01-22
An introduction to Evolutionary Algorithms and their application to the Aerofoil Design Problem - Part II: the Results
1997-04-16
I. De Falco
RADIANCE Visual Comfort Calculation
1997-07-22
Gregory J. Ward
A Discipline for Handling Feature Interaction
1998-09-03
An Object-Oriented Deductive Language
1997-10-17
Parallel Algorithms For Adaptive Mesh Refinement
1995-04-25
A Market-Oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems
1998-01-27
Michael P. Wellman
On the Rate Of Information Gain In Experiments With A Finite Parameter Set
1997-02-07
Automatic Binding of Native Scientific Libraries to Java
1997-11-14
On Reduction via Determinization of Speech-Recognition Lattices
1997-07-08
The Conceptual Side of Mode Switching
1995-03-12
Modeling Real-Time Systems with SCR - An Evaluation and Lessons Learned in a Building Automation System Project
1998-10-22
Quality Adaptation in a Multisession Multimedia System: Model, Algorithms and Architecture
1998-06-18
Md. Shahadatullah Khan
Open Problems 23
1997-04-27
A Polynomial Time Interior-Point Path-Following Algorithm for LCP Based on Chen-Harker-Kanzow Smoothing Techniques
1997-11-11
Reverse Communication Interface for Linear Algebra Templates for Iterative Methods
1995-05-18
On the Spatial Multiplexing Gain of SDMA for Wireless Local Loop Access
1998-10-06
Rates Of Convergence For Everywhere-Positive Markov Chains
1994-08-03
Regression Testing for Wrapper Maintenance
1999-03-22
Nicholas Kushmerick
Detecting Data Races on Weak Memory Systems Sarita V. Adve, Mark D. Hill, Barton P. Miller, Robert H.B. Netzer
1996-10-18
Mirroring the ADS Bibliographic Databases
1998-04-14
On the Distribution of Characteristics in Composite Permutations
1997-04-02
XY-pic User's Guide
1999-02-25
Kristoer H. Rose
Exact sampling for Bayesian inference: towards general purpose algorithms
1998-06-29
A Comparative analysis of Partial Order Planning and Task Reduction Planning
1994-09-16
Subbarao Kambhampati
Two-level Description of Turkish Morphology
1994-01-28
Optimized Computer-Generated Motions for Animation
1994-10-06
Jeff Goldsmith
Markov processes related with Dunkl Operators
1998-02-12
Margit Rosler
Solvable Groups of Automorphisms of Stable Planes
1995-08-20
A Formal Approach to Fuzzy Modeling
1998-02-02
John Lygeros
Monads, Shapely Functors and Traversals
1998-05-03
E. Moggi
A Flow Shop with Compatibility Constraints in a Steelmaking Plant
1997-06-20
Wolfgang Slany
Minimization of Communication Cost Through Caching in Mobile Environments
1997-09-09
A Distributed Real-Time MPEG Video Audio Player
1999-01-19
8 William C. Donelson.
1998-04-06
Lower and Upper Bounds for Attacks on Authentication Protocols
1999-02-03
Scott D. Stoller
TimeNET 2.0
1997-05-20
Hierarchical Bayesian Time Series Models
1995-12-05
L. Mark Berliner
Crashes as Critical Points
1998-10-19
Memory Requirement for Routing in Distributed Networks Extended Abstract
1997-01-31
A World Wide Web Resource Discovery System
1995-11-18
Delayed choice: an operator for joining Message Sequence Charts
1999-01-28
Polylogarithmic Parallel Parsing of
1970-01-01
On the Adequacy of Program Dependence Graphs for Representing Programs
1995-05-15
Documents mean more than just Paper!
1994-06-27
LAPACK Working Note 111, UTK, http:www.netlib.orglapacklawns
1996-08-09
Multigrid With Overlapping Patches
1995-03-31
The Theta Multiplier For Number Fields Via
1997-04-01
John A. Rhodes
The PVM Concurrent Computing System: Evolution, Experiences, and Trends
1994-02-14
Point Sets with Distinct Distances
1998-04-13
Measurement And Qcd-Analysis Of The Proton Structure Function
1998-05-08
Frank Lehner
Evaluating the Effectiveness OF PROCESS WEAVER®as a Process Management Tool: A Case Study
1995-11-22
Genuine Atomic Multicast in Asynchronous Distributed Systems
1998-06-03
Rachid Guerraoui
Fuzzy Representation Systems in Linguistic Semantics
1998-04-19
Burghard B. Rieger
Gradient Algorithms for ML Estimation of Time-Varying FIR Channels
1997-07-16
Data Placement in Shared-Nothing Parallel Database Systems
1997-02-22
On Lagrangian Relaxation of Quadratic Matrix Constraints
1998-06-09
The LRPD Test: Speculative Run--Time Parallelization of Loops with Privatization and Reduction Parallelization
1994-11-11
CHATR: a generic speech synthesis system
1996-05-28
On the Testability of Iterative Logic Arrays
1995-05-17
Wavelet Threshold Estimators for Data With Correlated Noise
1995-01-05
Node Rewriting in Hypergraphs
1998-02-11
Michel Bauderon
Issues in Reliable Network Memory Paging
1995-11-16
Evangelos P. Markatos
Computing Circumscription Revisited: A Reduction Algorithm
1996-01-24
An Interface for Navigating Clustered Document Sets Returned by Queries
1998-08-13
Likelihood Inference for Discretely Observed Non-Linear Diffusions
1998-08-04
GEMM--Based Level 3 BLAS: High-Performance Model Implementations and Performance Evaluation Benchmark
1995-11-27
Regular Path Queries with Constraints
1997-02-20
Curricular Trends, First-Year Courses, Curriculum Design, Academic Decision-Making
1998-02-24
CapNet - A Gigabit Wide Area Backplane That Supports Mobile Data Objects
1996-05-21
Evaluation of Tradeoffs in Resource Management Techniques for Multimedia Storage Servers
1998-11-18
Final Report on Research in Parallel Computing: Network-based Multicomputers 1990 - 1995
1996-02-23
Model Acquisition Using Stochastic Projective Geometry
1995-08-31
Design and Evaluation of an Environment
1997-01-21
New Lower Bounds for Hopcroft's Problem Extended Abstract
1995-03-12
Static and Runtime Scheduling of Unstructured Communication
1994-03-15
Modeling Dynamic Receptive Field Changes in Primary Visual Cortex Using Inhibitory Learning
1997-02-18
An Iconic Representation for Image Retrieval
1997-09-25
A Motion Planning Algorithm of Polyhedra in Contact for Mechanical Assembly
1997-08-27
H. Tsukune
Pedro L. Garrido
1997-04-26
Group Leader Election under Link-State Routing
1997-10-07
Multimedia Agents in a Distributed Broadband Environment
1996-08-26
Kolmogorov Algorithmic Complexity and Its Probability Interpretation in Quantum Gravity
1996-04-05
Bridging The Gap Between The Design and Implementation of Hard Real-Time Systems
1996-09-14
Evolutionary Neural Networks for Value Ordering in Constraint Satisfaction Problems
1997-10-29
The PVM 3.4 Tracing Facility and XPVM 1.1
1995-06-15
From Simple Features to Sophisticated Evaluation Functions
1998-11-30
Michael Buro
On the Expressive Power of Programming Languages
1992-10-24
Matthias Felleisen
LAPACK Working Note 111, UTK, http:www.netlib.orglapacklawns
1996-08-09
Scalable Network Architectures Using The Optical Transpose Interconnection System OTIS
1996-08-22
Structured Sampling And Reconstruction Of Illumination For Image Synthesis
1994-01-31
HERO: Hierarchical EMC-Constrained Routing
1997-05-23
Research Paths Coding Within an Image Analysis and Synthesis Laboratory
1998-08-05
Geometric Lattices Of Structured Partitions I. Gain-graphic matroids and group valued partitions
1997-08-25
Thomas Zaslavsky
Domains and Denotational Semantics: History, Accomplishments and Open Problems
1996-01-22
Efficient Mobile Access to the WWW over GSM
1999-03-09
Xavier Delord
High-Resolution Source Coding for Non-Difference Distortion Measures: Multidimensional Companding
1999-04-01
A Comparison Theorem For Linear Delay Differential Equations
1995-11-17
Jozef D Zurina
Research on Proof-Carrying Code for Untrusted-Code Security
1997-12-17
An evaluation of structural parameters for probabilistic reasoning: Results on benchmark circuits
1996-12-06
The Relation between Abductive Hypotheses and Inductive Hypotheses
1998-01-16
Akinori Abe
Learning an Intersection of a Constant Number of Halfspaces over a Uniform Distribution
1994-04-15
Exact solutions of the multichannel Kondo-lattice model with infinite range hopping
1997-02-05
Geometry of Singularities for the Steady Boussinesq Equations
1970-01-01
Recovering from Failure in Temporal Planning
1996-09-03
ERROR AND COMPLEXITY ANALYSIS FOR A COLLOCATION-GRID-PROJECTION PLUS PRECORRECTED-FFT ALGORITHM FOR SOLVING POTENTIAL INTEGRAL EQUATIONS WITH LAPLACE OR HELMHOLTZ KERNELS J. R. Phillips
1995-09-11
J. R. Phillips
Faster and Simpler Algorithms for Multicommodity Flow and other Fractional Packing Problems
1998-12-27
Design, Implementation, and Evaluation of a Software-based Real-Time Ethernet Protocol
1995-12-14
Structural Prediction Models for High-Performance Distributed Applications
1997-03-19
Jennifer M. Schopf
A Characterization of the Dirichlet Distribution with Application to Learning Bayesian Networks
1997-03-20
Fully Dynamic Biconnectivity in Graphs
1997-03-01
M. R. Henzinger
Physical Memory Management in aNetwork Operating System
1993-10-14
Michael Newell Nelson
Dynamic Scene Description System --- ODYS
1996-05-13
Jacek Malec
Performance of the GCel-512 and PowerXPlorer for parallel neural network simulations
1995-12-15
February 1997
1997-02-18
Design for Validation
1970-01-01
Defining k in Gk
1999-04-21
Demand more from your SGML database!
1996-02-27
Arijit Sengupta
How the Learning of Rule Weights Affects the Interpretability of Fuzzy Systems
1998-05-20
The Potential for Using Thread-Level Data Speculation to Facilitate Automatic Parallelization
1997-12-04
Galton-Watson Trees with the Same Mean have the Same Polar Sets
1996-12-12
Landmark-Based Elastic Matching Of Tomographic Images
1997-01-31
From Quads to Graphs: An Intermediate Representation's Journey
1997-01-27
Cliff Click
Parallelizing Unstructured Sparse Matrix Computations On Large-Scale Multiprocessors
1993-10-25
Reconstructing Evolutionary Trees In A General Markov Model
1999-01-16
Reasonable Lisp
1992-11-02
Christian Queinnec
Fail-Stop Signatures
1970-01-01
Construction of Optimal Binary Split Trees in the Presence of Bounded Access Probabilities
1995-06-30
The Virtues of Eta-expansion
1996-01-30
Experiments With Lvcsr Based Language Identification
1997-01-30
Mechanisms for Specifying Static Speculation
1997-06-10
Stability and Instability of Relativistic Electrons in Classical Electromagnetic Fields
1997-09-17
Globally Constrained Deformable Models for 3D Object Reconstruction
1998-09-01
Experimental State of the Art in 3D Object Recognition and Localization Using Range Data
1997-01-24
Using Ground-Truth Data To Design Priors In Bayesian Spect Reconstruction
1970-01-01
is current gain of the parasitic BJT.
1997-07-11
Endomorphisms of Stable Planes
1995-08-21
The Problem of Regions
1997-01-31
Département de Mathématiques et Informatique
1997-01-07
New Combinatorial Bounds for Authentication Codes and Key Predistribution Schemes
1998-02-20
Disk-directed I/O for MIMD Multiprocessors
1970-01-01
David Kotz
Chirp Hunting
1998-07-27
MIME Multipurpose Internet Mail Extensions Part One:
1970-01-01
Prediction Risk and Architecture Selection for Neural Networks
1970-01-01
John Moody
Asymptotic Results For Cisoid Parameter Estimation In The Colored Noise Case
1997-11-14
Monotone Complexity
1996-08-07
Michael Sipser
Learning Techniques for Adaptive Image Analysis and Object Detection
1997-02-07
Mapping Heredity: Using Probabilistic Models and Algorithms to Map Genes and Genomes Part II
1998-08-24
A Comparative Study of Reliable Error Estimators for Pruning Regression Trees
1998-06-08
A Scheduler-Sensitive Global Register Allocator
1998-12-04
Application Of Adaptive Wavelets For Speech Coding
1999-02-06
Shubha Kadambe
Lowering HPF Procedure Interface to a Canonical Representation
1997-01-06
Arthur Veen
Application-Specific
1994-08-17
TextVis: An Integrated Visual Environment for Text Mining
1999-02-23
Primary Partition "Virtually-Synchronous Communication" harder than Consensus
1998-08-28
Alain S
Using Unicode with MIME
1994-11-17
Storing and Indexing Plan Derivations through Explanation-based Analysis of Retrieval Failures
1997-11-13
Average-Case Learning Curves for Radial Basis Function Networks
1995-05-04
Sean B. Holden
Sequential Implementation of Parallel Narrowing
1996-09-24
Bayesian Network Classifiers
1999-02-11
Prediction Rules for Exchangeable Sequences Related to Species Sampling
1998-05-18
Multirate Scheduling for Guaranteed and Predictive Services in ATM Networks
1998-12-30
A Critique of Object Algebras
1996-12-17
Padé-Type Approach to Nonlinear Random Vibration Analysis
1998-10-27
Mining Surprising Patterns Using Temporal Description Length
1998-07-15
On the Early History of the Singular Value Decomposition
1998-09-05
G. W. Stewart
Spatial Measures of Software Complexity
1999-03-23
Vladica Trenkic, Christos Christopoulos and Trevor M. Benson
1996-09-30
The Out-of-Bootstrap Method for Model Averaging and Selection
1997-05-30
J. Sunil Rao
DAGWOOD s A System for Manipulating Polynomial Given by Straight-Line Programs*
1994-09-02
The Permanent Requires Large Uniform Threshold Circuits
1998-05-07
Eric Allender
The Vertex Space Domain Decomposition Method For Elliptic Problems With Discontinuous Coefficient On Unstructured Meshes
1994-05-03
Jian Ping Shao
Learning and Design of Principal Curves
1998-05-09
Adaptive Algorithms for
1995-11-17
Reflections on Distributing agents
1998-10-12
A Reliable Ordered Delivery Protocol for Interconnected Local-Area Networks
1995-08-17
WebSuite-A Tool Suite For Harnessing Web Data
1997-06-04
VGLADs: The Efficient Implementation of Binary Neural Networks
1998-06-22
Wavelet Multiresolution Analyses Adapted For The Fast Solution Of Boundary Value Ordinary Differential Equations
1995-06-13
Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits
1997-08-13
SCI Multiprocessor PC Cluster in a WindowsNT Environment
1997-11-21
Ropes: Support for Collective Operations Among Distributed Threads
1995-05-17
CalibrationoftheHubbleSpaceTelescopeFine GuidanceSensors: An ApplicationofSeminalIdeasofH.K.Eichhorn
1998-06-18
Multidimensional Reissner-Nordström Problem With A Generalized Maxwell Field
1998-05-24
Extending Object-Oriented Programming to Address Hard Optimization Problems
1997-10-17
Glenn Silverstein
Theoretical Line Profiles Of The Magnetic Compact Stars
1997-03-03
Yonggi Kim
Semigraphoids and Structures of Probabilistic Conditional Independence
1997-08-28
Milan Studen Y
Evolving Recurrent Bilinear Perceptrons For Time Series Prediction
1998-02-16
Language and Library Support for Practical PRAM Programming
1996-11-18
The HTK Hidden Markov Model Toolkit: Design and Philosophy
1999-01-01
Sj Young
Genetic Algorithm with Alphabet Optimization
1999-03-11
The Hilbert basis of the cut cone over the complete graph
1995-06-21
Formally Verifying Data and Control with Weak Reachability Invariants
1999-03-16
Dynamic Embedded Memories
1995-05-22
STING : A Statistical Information Grid Approach to Spatial Data Mining
1997-04-26
Practical Metaprogramming
1970-01-01
Formal Analysis of a Real-Time Kernel Specification
1996-02-20
Simon Fowler
Instantaneous Chiral Quark Model for Relativistic Mesons in a Hot and Dense Medium
1997-02-13
Toward Movement-Invariant Automatic Lip-Reading And Speech Recognition
1995-08-22
Maximum Likelihood Estimation of Equispaced Sinusoids in Rotating Machine Fault Detection
1995-07-17
Smarter Corpus-based Syntactic Disambiguation
1998-12-15
Incorporating Load Factor into the Scheduling of Soft Real-Time Transactions
1970-01-01
Discrete Approximation of Spaces - A Uniform Approach to Topologically Structured Datatypes and their Function Spaces
1996-01-26
Parameter Estimation for a Generalized Parallel Loop Scheduling Algorithm
1994-12-21
Dynamics of a Spin-Exchange Model
1997-04-26
A Multiplicative Updating Algorithm for Training Support Vector Machines
1999-04-06
Periodic behaviour in timed systems with {AND, OR} causality - Part I: systems of dimension 1 and 2
1996-03-28
Jeremy Gunawardena
Processor Coupling: Integrating Compile Time and Runtime Scheduling for Parallelism
1998-03-30
COMMON FIXED POINT THEOREMS FOR COMPATIBLE MAPPINGS AND COMPATIBLE MAPPINGS OF TYPE A V. Popa and H. K. Pathak
1970-01-01
Applying Compiler Techniques to Scheduling in Real-Time Systems
1995-06-22
A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems
1997-06-23
An Application Framework for Synchronous Collaboration using Java Beans
1998-09-29
Evolving Behavioral Strategies in Predators and Prey
1997-02-23
Reasoning about Sets via Atomic Decomposition
1996-10-08
Efficient Text Categorization
1998-03-04
Marko Grobelnik
Bet, The Bicorspectral Transform A New Tool For Non-Gaussian Processes
1999-01-21
G9.5 Experiments with an ecosystems model for integrated production planning
1997-02-19
Fast Parallel Algorithms for a Broad Class of Nonlinear Variational Diffusion Approaches
1999-03-31
in the Subject line: On Digital's EASYnet: CRL::TECHREPORTS On the Internet: techreports@crl.dec.com
1997-09-03
An introduction to Neural Networks
1998-10-15
Recursive Array Layouts and Fast Parallel Matrix Multiplication
1999-02-04
Adaptive Narrowband Interference Cancellation in Overlaid CDMA Systems Using Prior Knowledge
1998-10-23
Linda-Like Systems and Their Implementation
1991-11-28
Edited Greg Wilson
Generating Explanations In Context
1994-07-11
Johanna D. Moore
The NO² Data Model
1995-12-07
A Theory Of Inferred Causation
1996-11-12
T. S. Verma Verma@cs:ucla:edu
Inf'erence Grammaticale R'eguli`ere : Caract'erisation De L'ensemble Des Solutions Canoniques
1997-12-11
Jacques Nicolas
Associative Reinforcement Learning: Functions in k-DNF
1995-10-13
Leslie Pack Kaelbling
Improved Approximation Algorithms for Uniform Connectivity Problems
1997-09-14
Flexible Tree-structured Signal Expansions Using Time-varying Wavelet Packets
1998-12-26
Technical Report TR-VS-97-01 An Infrastructure for Web-Agent-based Service Providing
1997-10-22
Stefan Funfrocken
Design and Performance Tradeoffs in Clustered Video Servers
1998-06-16
Renu Tewariy
Analysis results of the first combined test of the LArgon and TILECAL barrel calorimeter prototypes
1999-03-23
Height-relaxed AVL rebalancing: A unified, fine-grained approach to concurrent dictionaries
1998-03-19
A Relevance-TheoreticAccount of. . .
1996-08-22
Operations and Cooperations in Elliptic Cohomology, Part I: Generalized modular forms and the cooperation algebra
1995-01-08
Visualizing the Execution of Threads-based Parallel Programs
1995-01-29
Asynchronous 1D Cellular Automata and the Effects of Fluctuation and Randomness - Extended version -
1997-09-22
Yasusi Kanada
Janus - a C++ Template Library for Parallel Dynamic Mesh Applications
1999-01-08
Theoretical View Of Anisotropies Of Cosmic Microwave Background
1998-10-31
Naoshi Sugiyama
Rakesh Mullick and Norberto F. Ezquerra*
1993-07-27
Data Distribution Analysis and Optimization for Pointer-Based Distributed Programs
1997-04-15
A Study Of Timing Properties With The Timed Token Protocol
1994-04-20
The Implementation Of Postgres
1994-02-18
Query Languages for Bags
1994-01-19
Competitive Learning Algorithms for Robust Vector Quantization
1997-11-06
Developments In Chaotic Dynamics
1998-12-08
Lai-sang Young
Recursive Neural Networks as an Hypothesis Tester for Deinterleaving Repetitive Sequences
1996-12-09
Automatically Acquiring a Language Model for POS Tagging Using Decision Trees
1997-09-19
C Jordi Girona
A Tour of Trellis Graphics
1996-05-17
Graphical User Interfaces for Declarative Languages
1997-08-24
David Overton
Impedance Control as Merging Mechanism for a Behaviour-Based Architecture
1999-04-16
Replicated File Management in Large-Scale Distributed Systems
1995-03-10
Distortion and l 1 -Homology
1999-01-30
S. M. Gersten
Computing Optimal Schedules for Landing Aircraft
1995-10-19
On Social Laws for Artificial Agent Societies: Off-Line Design
1995-11-22
Unknown
1997-04-26
Charles Radin
A Perturbative Gluon Condensate
1997-12-11
Functional programming using Caml Light
1998-06-30
Michel Mauny
On Long-Range Dependence in NSFNET Traffic
1998-08-13
Adaptive Rate-Controlled Scheduling for Multimedia Applications
1997-08-26
Steady-State Analysis of Infinite Stochastic Petri Nets: Comparing the Spectral Expansion and the Matrix-Geometric Method
1970-01-01
A Multiscale Sub-Octave Wavelet Transform for De-Noising and Enhancement
1996-11-01
Error estimation in the histogram Monte Carlo method
1998-05-04
Object-Centered Surface Reconstruction: Combining Multi-Image Stereo and Shading
1996-01-30
An Improved Analytical Model for Wormhole Routed Networks with Application to Butterfly Fat-Trees
1997-09-12
Object Services Architecture
1993-07-12
The Reliable Router: A Reliable and High-Performance Communication Substrate for Parallel Computers
1994-07-10
Continuous Compilation For Software Development And Mobile Computing
1996-08-27
Implementation of Dynamic Algebras with an Application to Prolog
1996-06-24
Lehrstuhl Informatik V
A New Algorithm and Refined Bounds for Extended Gcd Computation
1997-01-29
David Ford
Towards Truth In Head-Driven Phrase Structure Grammar
1970-01-01
Paul John King
Ordonnancement: Strat egies, D ebats et Intelligence Artificielle
1993-11-10
Berthe Y. Choueiry
The structure and design of realizable decision feedback equalizers for IIR channels with coloured noise
1996-05-09
Mikael Sternad
PLATSIM: An Efficient Linear Simulation and Analysis Package for Large-Order Flexible Systems
1995-08-28
Some Bounds on the Computational Power of Piecewise Constant Derivative Systems Extended Abstract
1998-09-11
R. Bartels
1970-01-01
R. Bartels
Motion Tracking Using Snakes and Dynamic Programming
1998-04-11
Recognition Of Hand-Written Patterns By Rotation-Invariant Neocognitron
1998-08-27
The Journal of Functional and Logic Programming
1998-03-17
Probabilistic Evaluation of Counterfactual Queries
1994-09-01
Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs
1996-09-10
Modulare Verifikation von Zustandsgraphen
1996-08-08
Linear Algorithms for Partitioning Embedded Graphs of Bounded Genus
1996-07-15
Early Stop Criterion from the Bootstrap Ensemble
1997-02-11
General Routing on the Lowest Level of the Image Understanding Architecture
1995-04-12
M.Sc Thesis
1997-04-03
Alastair D. Reid
Deriving Global Authorizations for Federated Databases
1998-12-05
Eugene F. Fodor
Adaptive MAC Protocol for a Cable Modem
1997-07-07
Relative Perturbation Bounds for the Unitary Polar Factor
1995-01-12
Ren-cang Li
On the Evaluation of Euler Sums
1996-08-21
--- Supporting Distributed Programming in C++
1998-06-24
A Dynamic QoS Adaptation Mechanism for Networked Virtual Reality
1999-01-27
Nadaraya-Watson Estimator for Sensor Fusion
1997-01-29
Nageswara S. V. Rao
Improvements of Speed and Performance of Data Compression Based on Dictionary and Context Similarity
1997-04-16
Kunihiko Sadakane
A Toolset for Performance Engineering and Software Design of Client-Server Systems
1996-02-19
Parallel Clustering on a Unidirectional Ring
1997-04-01
Uniform Stability Of Markov Chains
1995-08-02
Combinatorial Geometry for Shape Representation and Indexing
1997-01-29
Stefan Carlsson
Self-Focusing In The Perturbed And Unperturbed Nonlinear Schrödinger Equation In Critical Dimension
1999-03-12
Penalized Discriminant Analysis
1995-07-24
A Type-Free Formalization of Mathematics Where Proofs Are Objects
1997-07-07
A Wavelet--Galerkin Method for the Stokes Equations
1996-02-07
V.4: SQL/TP - a Temporal Extension of SQL
1998-12-22
David Toman
Safer Tuple Spaces
1998-08-19
A Reverse Engineering Approach To Subsystem Structure Identification
1999-02-09
Run-time Visualization of Program Data
1994-05-19
A Grand Unified Supersymmetric Theory of Flavor
1998-05-14
A Computerized Training Environment for Forestry Operators
1996-03-12
Optimal Control of Nonlinear Simultaneous Systems
1998-07-15
David Vengerov
, Mark Sanderson
1997-12-19
SU2Theta
1997-09-23
: A Decentralized Process Centered Environment
1993-05-06
Israel Z. Ben-shaul
Assessing the Relevance of Identifier Names in a Legacy Software System
1999-01-07
A Formalization of Access-Limited Logic for Knowledge Representation
1996-08-21
Vol. 7, No. 1 March 1998
1998-10-05
Mean-Reverting Stochastic Volatility
1999-02-01
floeOmega
1995-08-21
Helmut Boseck
Probabilistic Behavior in Action Systems
1997-05-26
A Web Laboratory for Software Data Analysis
1999-01-21
The MeDoc Distributed Electronic Library Accounting and Security Aspects Extended Abstract
1997-01-17
Hans-Walter Rix,
1997-06-01
TeV gamma-ray observations of Southern BL Lacs with the CANGAROO 3.8m Imaging Telescope
1998-06-29
Non Parametric Maximum Likelihood Estimation of Features in Spatial Point Processes using Voronoi Tesselation
1997-01-06
Denis Allard
Choosing the Forcing Terms in an Inexact Newton Method
1997-01-27
Surgery And Geometric Topology
1997-05-23
Planets Around White Dwarfs
1998-06-25
Where to Provide Support for Efficient Multicasting in Irregular Networks: Network Interface or Switch?
1998-06-02
Mutual Encompassing and Model Equivalence
1997-04-22
Reduction Of Constraint Systems
1999-01-12
Fluctuation Patterns and Conditional Reversibility in Nonequilibrium Systems
1997-04-26
Giovanni Gallavotti
A Quick Overview of Larch/C++
1995-06-06
The INDIGO program
1996-02-05
Bruno Bouzy
Stabilization Methods For Simulations Of Constrained Multibody Dynamics
1995-04-21
Hong Sheng Chin
Incremental Planning
1995-09-01
Transactional Memory: Architectural Support for Lock-Free Data Structures
1992-12-12
A semantics approach for KQML -- a general purpose communication language for software agents
1994-08-15
Evaluation of High Performance Fortran through Application Kernels
1997-05-08
Description Of The LTG System Used For MUC-7
1998-08-25
Practical Issues Of 2-D Parallel Finite Element Analysis
1996-03-12
Eyfsvi6e"efefi3ggiff
1999-02-16
Chip Tap Model of a Mobile Radio Link for CDMA-Applications
1996-04-01
Switched Segmented Image Coding - JPEG Schemes for Progressive Image Transmission
1997-10-07
Electromagnetic Origin of the CMB Anisotropy in String Cosmology
1995-11-24
The Crab Total Gamma-ray Emission as seen by CGRO
1997-11-24
Cosmic density and velocity fields in Lagrangian perturbation theory
1998-05-24
Mikel Susperregi
Fail High Reductions Extended Abstract
1996-07-12
Rainer Feldmann
Early Prediction of Testability by Analyzing Behavioral VHDL Specifications
1997-11-18
Modeling Parallel Bandwidth: Local vs. Global Restrictions
1997-09-11
Validating Object-Oriented Specifications through Animation
1997-07-10
Antonio Grau
Characterizations and Implementation of Static Semantics of Disjunctive Programs
1996-07-06
The Generalized Dimension Exchange Method for Load Balancing in k-ary n-cubes and Variants
1995-04-26
Derivation Replay for Partial-Order Planning
1994-04-11
CERES results on low-mass electron pair production in Pb--Au collisions
1998-02-04
Polynomial Time Samplable Distributions
1995-07-17
Tomoyuki Yamakami
Maximum Current Estimation In Cmos Circuits
1995-12-09
Digital VLSI-Implementation of a Psychoacoustically and Physiologically Motivated Speech Preprocessor
1998-09-09
Gradient Descent for General Reinforcement Learning
1999-01-29
MVPe: Visual Design of Parallel Simulation Models
1998-10-20
An Intelligent Control Architecture for Accelerator Beamline Tuning
1997-05-21
Lorentz Invariance And Superluminal Particles L. Gonzalez-Mestres
1997-04-26
L. Gonzalez-mestres
Learning to Coordinate Behaviors
1998-06-01
Specifying causality in action theories: A default logic approach
1998-03-06
Yan Zhang
Lagrangian Stability and Global Optimality in Nonconvex Quadratic Minimization Over Euclidean Balls and Spheres
1995-10-27
Incremental Class Dictionary Learning and Optimization
1992-08-14
On the Epipolar Geometry in Stereo Vision
1997-06-06
Ebroul Izquierdo M
Position paper: Getting rid of synchronous writes to improve file-system performance
1996-03-15
Peter Bosch
A Study on Fuzzy Rules Discovery Using Pseudo-Bacterial Genetic Algorithm with Adaptive Operator
1998-11-18
Invariants, Patterns and Weights for Ordering Terms
1999-03-04
Independence Concepts forConvex Sets of Probabilities
1996-01-30
Luis M. De Campos
Quantum Bit Commitment and Coin Tossing Protocols
1998-07-15
Gilles Brassard
A Continuum of Minimal Pairs of Compact Convex Sets which are not Connected by Translations
1996-06-24
Diethard Pallaschke
Prediction Games And Arcing Algorithms
1998-12-15
Leo Breiman
Calling 32-bit NAG C DLL functions from Visual Basic
1997-08-12
George Levy
Comparing Heuristic, Evolutionary and Local Search Approaches to Scheduling
1996-02-05
Providing Programs for Protein Crystallography
1997-04-03
Eleanor J. Dodson
Document Feature Recognition using a mesh of Associative Memories
1997-03-24
Motion in Periodic Potentials
1997-10-16
Essays on Darwinism - 3: Genic and Organismic Selection
1999-01-09
Hypertext Transfer Protocol --HTTP/1.1
1996-08-22
Wisconsin Program-Integration System 2.0 - Reference Manual
1995-08-03
Unknown
1996-12-09
A Distributed Delay-Constrained Dynamic Multicast Routing Algorithm
1998-05-08
Successive Galerkin Approximation Algorithms for Nonlinear Optimal and Robust Control.
1998-01-15
A New Parallel Vector Model, With Exact Characterizations of NC k
1993-08-19
Kenneth W. Regan
Numerical Solution of PDEs on Parallel Computers Utilizing Sequential Simulators
1998-01-30
Privacy and Communication Complexity
1995-11-23
Eyal Kushilevitz
Transverse Instability for Non-Normal Parameters
1998-03-12
Peter Ashwiny X
Generalised Cellular Automata
1998-11-25
Martin Schaller
CSPs with Counters: a Likelihood-Based Heuristic
1996-10-21
Dynamic Linear Time Temporal Logic
1998-04-02
Linear-Time Encodable and Decodable Error-Correcting Codes
1998-02-17
Daniel A. Spielman
Experiences with Object Oriented Parallel Plasma PIC Simulations
1995-09-14
Importance Ordering for Real-Time Depth of Field
1996-01-07
Paul Fearing
Autonomous Decision Making in Local Navigation
1998-07-08
Percy Dahm
On the Bit Error Behaviour of Coded DS-CDMA with Various Modulation Techniques
1998-07-09
Concept-Based Component Retrieval
1995-05-03
Network Security via Private-Key Certificates
1990-10-12
Equilibrium Pricing in Multi-service Priority-based Networks
1997-10-10
Constraint-based Discourse Agents
1997-10-02
Building Wide Area 2-D Site Models From High Resolution Fully Polarimetric Synthetic Aperture Radar Images
1996-09-26
S. Kuttikkad
SIGMA: Integrating Learning Techniques in Computational Markets for Information Filtering
1995-12-05
Hierarchical hp Finite Elements in Hybrid Domains
1997-09-18
Spencer J. Sherwin
Efficient Search for Approximate Nearest Neighbor in High Dimensional Spaces
1998-03-06
A Neuro-Fuzzy Bibliography
1996-05-20
Fellow, IEEE
1997-07-28
Detection and Tracking of Very Small Low Contrast Objects
1998-09-22
Generating Functions And Generalized Dedekind Sums
1997-03-20
Ira M. Gessel
Short Certificates for Tournaments
1997-12-26
Noga Alon
Abstraction Tree Indexing for Terms
1998-01-08
Hans Jürgen Ohlbach
The CMU Learning Robot Laboratory Data Toolkit
1997-07-17
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
1998-04-15
On A Theorem Of Picard
1997-04-26
F. Gesztesy
Trails as Archetypes of Intentionality
1994-09-10
John Batali
Automated Analysis of Cryptographic Protocols Using
1997-03-04
Fast Information Sharing in a Complete Network
1999-04-19
V. S. Sunderam
How to integrate Schema Evolution into the Persistent Garbage Collection
1970-01-01
Theta Sums, Eisenstein Series, And The Semiclassical Dynamics Of A Precessing Spin
1998-01-27
Using Probabilistic Information in Data Integration
1997-08-13
Toward the Integration of Exploration and Modeling in a Planning Framework
1998-04-10
Learning Words From Natural Audio-Visual Input
1998-08-27
The Performance of Consistent Checkpointing
1994-01-28
Finding Near-Replicas of Documents on the Web
1998-03-02
An Abstract Machine for Model Generation with PHUR Tableaux Extended Abstract
1998-10-04
Programmier- Und Modellierungssprachen
OMNIS/Myriad on its Way to a Full Hypermedia Information System
1996-12-01
Performance Modelling of Concurrent and Parallel Software
1998-02-18
C. M. Woodside
A system for reconstruction of missing data in image sequences using sampled 3D AR models and MRF motion priors
1998-09-03
Linear Scheduling Is Nearly Optimal
1996-09-24
On Universal Learning Algorithms
1999-02-08
A Polynomial-time Algorithm for Learning Noisy Linear Threshold Functions
1998-03-24
Derivative Superconvergence of Rectangular Finite Elements for the Reissner-Mindlin Plate
1996-10-28
The Weyl group as fixed point set of smooth involutions
1996-07-17
Communicated G. Mauceri
Machine Learning of Phonotactics: Bibliography
1998-08-24
Isochrony and the Rhythm of Conversation
1996-04-11
Matthew Bull
Prime Ideals Of Finite Height In Polynomial Rings
1998-02-09
QSO clustering and the AAT 2dF QSO redshift survey
1998-09-23
A Preference Semantics for Ground Nonmonotonic Modal Logics
1996-09-24
Visual Cortical Mechanisms of Motion Perception and Navigation: Experiments and Models
1998-03-10
Christopher Pack
A Systolic ON-LINE Non-restoring Division Scheme
1995-05-29
Permutability of Proofs in Intuitionistic Sequent Calculi.
1997-06-10
Roy Dyckhoff
Evolutionary Robotics At Sussex
1999-01-11
Decision Lists For Lexical Ambiguity Resolution: Application to Accent Restoration in Spanish and French
1998-04-08
Diagnostic Model-Checking for Real-Time Systems
1995-11-29
Parallel Protein Puzzle: A New Suite of Protein Docking Tools
1996-09-23
Hans-peter Lenhof
COBE-DMR-NORMALISATION FOR COSMOLOGICAL CONSTANT DOMINATED COLD DARK MATTER MODELS Rados/law Stompor
1998-05-12
Towards Performance-Driven System Support for Distributed Computing in Clustered Environments
1998-11-06
Kihong Park
Linux Parallel Processing HOWTO
1998-01-06
Towards Accurate Recovery of Shape from Shading under Diffuse Lighting
1997-11-17
Natural Language Grammatical Inference with Recurrent Neural Networks
1998-04-02
Constructing Node-Disjoint Routes In
1998-10-07
Technical Report No. 480
1997-05-08
Prototype-Oriented Development of High-performance Systems
1999-01-12
Datalog Programs with Arithmetical Constraints: Hierarchic, Periodic and Spiralling Least Fixpoints
1995-11-20
Realising a Concurrent Object-Based Programming Model on Parallel Virtual Shared Memory Architectures
1995-10-05
Implementation Of A Protocol Conformance Test Sequence Generation Methodology Using Distinguishing Sequences
1970-01-01
A Comparison of Frailty and Other Models for Bivariate Survival Data
1998-06-16
How Can We Design Better Networks for DSM Systems?
1997-06-20
Efficient Algorithms for Learning to Play Repeated Games Against Computationally Bounded Adversaries
1999-02-11
Decomposable Modeling in Natural Language Processing
1999-03-17
A Large Scale Double Beta and Dark Matter experiment: On the physics potential of GENIUS
1998-01-13
AFS Programmer's Reference:
1996-02-09
Transarc Corporation
Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm
1993-05-21
Tracking Dynamic Team Activity: An Extended Report
1996-08-06
Milind Tambe
Object--Oriented Modeling Of Power--Electronic Circuits Using Dymola
1997-02-27
Proximal Nodes: A Model to Query Document Databases by Content and Structure
1997-12-06
The PRESTO Application Suite
1995-10-02
Lepton Flavour Violations in SO10 with large
1998-05-14
Informed Prefetching and Caching
1997-10-15
GJ Specification
1998-08-05
The Local Stability Of Accretion Disks With Advection
1998-05-25
Xue-bing Wu
Optimizing Queries over Multimedia Repositories
1997-05-01
On Ladder Structures And Linear Phase Conditions For Bi-Orthogonal Filter Banks
1994-12-23
Imran A. Shah
Obstacle Avoidance of Manipulators By Using Freedom in the Coordinates Transformation for Exact Linearization
1998-08-01
!+, -./01 23456
1998-03-07
Unenforced E-Commerce
1998-01-14
Tuomas Sandholm
Using Polyballs to Approximate Shapes and Skeletons
1998-07-23
The Use and Interpretation of Meta Level Constraints
1996-05-31
Pierre Berlandier
Convergence Estimates For Solution Of Integral Equations With Gmres
1995-05-17
Tioga-2: A Direct Manipulation Database Visualization Environment
1995-08-27
Finite-Dimensional Systems Integrable Via Inverse Scattering
1998-04-16
F. Pempinelli
Sampled-Data Repetitive Control Systems
1997-03-14
Strategic Development, Technology Transfer and Strategic Technology Assessment in Changing Environments
1997-11-13
Goel Kahen
The Versatility of Function-indexed Weighted Log-rank Statistics
1998-07-30
Michael R. Kosorok
The Starburst Active Database Rule System
1999-02-05
Jennifer Widom
Unfolding Of Chaotic Quadratic Maps --- Parameter DependenceOf Natural Measures
1998-06-18
Hans Thunberg
Decidability of Systems of Set Constraints with Negative Constraints
1996-10-11
Matematiqki Vesnik
1996-07-08
Semantic Control Systems
1995-08-21
Cliff Joslyn
Rhythmic constraints on stress timing in English
1997-10-23
Delay Guarantee of Virtual Clock Server
1995-10-19
Priors, Stabilizers and Basis Functions: from regularization to radial, tensor and additive splines
1994-06-28
Genetic Design Of VLSI-Layouts
1997-09-30
On the Constituent Structure of Slovene
1993-12-14
Sandi Kodri C
Relation Learning In Gene Expression: Introns, Variable LengthRepresentation, And All That
1997-09-29
Hillol Kargupta
Processor Capacity Reserves for Multimedia Operating Systems
1997-04-08
The Concurrent Graph:
1998-02-24
Exploration in Active Learning
1998-09-29
Sebastian Thrun
Voronoi L-decomposition of PSD n and the Hypermetric Correlation Cone
1997-05-05
A Hypergraph-based Framework for Visual Interaction with Databases
1970-01-01
Pipelined Interface for HW/SW-Codesign
1995-06-08
Stringy and Membranic Theory of Swimming of Micro-organisms
1998-05-25
M. Kawamura Nojiri
Foundations for Design Pattern Application
1996-01-24
Speed-Accuracy Trade-off in Gate Sizing
1997-12-22
Etienne Jacobs
A Decision-Theoretic Approach to Database Selection in Networked IR
1997-01-14
Norbert Fuhr
Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems
1998-04-27
Paul Shaw
On Partially Controlled Multi-Agent Systems
1996-06-29
Cost Wells in Random Graphs
1996-12-18
Extension of the Lanczos and CGS methods to systems of nonlinear equations
1970-01-01
Sonia Krzyworzcka
A View to Graph Drawing Algorithms through Graph
1997-06-18
Michael Himsolt
A Computer Simulation Study Of A Single Rigid Body Dynamic Model For Biped Postural Control
1997-04-09
Home-based SVM protocols for SMP clusters: Design and Performance
1998-11-05
Generalized Constant Propagation A Study in C
1997-04-08
Interval Based Workload Characterization for Distributed Systems
1997-03-07
Dynamical Neural Networks for Mobile Robot Control
1970-01-01
Brian Yamauchi
An Efficient Probabilistic Context-Free Parsing Algorithm that Computes Prefix Probabilities
1998-02-16
Andreas Stolcke
S . EMH . E: A Generalised Two-Level System
1996-08-03
George Anton Kiraz
Frustrating the User On Purpose: Using Biosignals in a Pilot Study to Detect the User's Emotional State
1998-03-10
Abductive Consequence Relations
1996-11-19
A Fast and Efficient Compression Method for Binary Images
1999-02-08
Language Animation
1970-01-01
Multimedia Presentation of Interpreted Visual Data
1997-03-12
Markov Random Field Models for Pose Estimation in Object Recognition
1999-02-07
Communication Performance Models in Prism: A Spectral Element-Fourier Parallel Navier-Stokes Solver
1996-10-04
BONSAI Garden: Parallel Machine Discovery System for Sequences
1995-02-09
Utility Elicitation as a Classification Problem
1998-08-04
Real-Time Databases
1996-02-28
Krithi Ramamritham
Software Cache Coherence for Large Scale Multiprocessors
1994-12-30
Characterisation of object behaviour in Standard ML of New Jersey
1995-01-31
Non-Wildcard Matching Beats The Interpretation Tree
1998-11-23
Robert B. Fisher
A Computational Model of Spatial Representations That Explains Object-Centered Neglect in Parietal Patients
1997-02-18
Form Approved OMB No. 0704-0188
1998-04-09
Fault-Tolerant Multicomputer Design with DSP96002 Microprocessors
1997-09-23
Alan D. George
A Multimedia Enhanced Transport Servicein A Quality Of Service Architecture
1993-10-15
Hierarchical Interfaces In Random Media Ii: The Gibbs Measures
1997-04-26
Woodruff@cs.berkeley.edu
1994-03-31
Detecting Static Objects In Busy Scenes
1998-03-06
Jia Wang
Robust Adaptive Control of Minimum Phase Nonlinear Systems
1995-07-08
Weierstraß--Institut fur Angewandte Analysis und Stochastik Mohrenstrasse 39, D-10117 Berlin, Germany
1997-04-26
Anton Bovier
A Comparison of Continuously Controlled and Controlled K-theory.
1994-09-15
Optical and Radio Emission from the Galactic Supernova Remnant HB 3 G132.6+1.5
1997-12-03
A Comparison of Bandwidth Smoothing Techniques for the Transmission of Prerecorded Compressed Video
1998-03-19
Stable Quasicrystalline Ground States
1997-04-26
Evolving Neural Networks to Play Go
1997-05-15
Evolving Motion-tracking Behaviour For a Panning Camera Head
1998-05-26