Synchronization of Live Continuous Media Streams
1994-10-12
Christian Blum
Coping With Uncertainty in Map Learning
1996-10-04
The Role Of Dimensionality In The Stability Of A Confined Condensed Bose Gas
1997-12-19
Luca Salasnich
Hybrid Problems Need Hybrid Solutions? Tracking and Controlling Toy Cars
1994-05-03
John Hallam
A KAM type theorem for systems with round-off errors
1997-06-04
Criterion for Proper Actions on Homogeneous Spaces of Reductive Groups
1996-10-17
Communicated M. Moskowitz
The New Jersey Data Reduction Report
1997-12-05
Segmentation/reconstruction of Range Images Based on Piecewise-Linear Approximation
1998-12-09
A parallel algorithm for the simulation of the Immune Response
1997-09-02
Proc. Conf. Akademie
1999-02-16
Masaharu Morimoto
1997-05-23
Masaharu Morimoto
Functions as Data Objects in a Data Flow Based Visual Language
1997-08-23
Optimizing Diagnostic And Therapeutic Strategies Using Decision-Theoretic Planning: Principles And Applications
1998-02-28
Charles E. Kahn
A Fast Effective Heuristic For The Feedback Arc Set Problem
1996-01-04
The irreducibility of all but finitely many Bessel polynomials
1995-06-09
Michael Filaseta
Some Schrodinger operators with power-decaying potentials and pure point spectrum
1997-04-26
Christian Remling
Aspect-Oriented Compilers
1999-03-10
Probing TCP Implementations
1998-03-12
Temperature and Entropy of a Quantum Black Hole and Conformal Anomaly
1998-05-23
Dmitri V. Fursaev
Boosting the Kerr-geometry into an arbitrary direction
1998-05-14
Group Knowledge Isn't Always Distributed Neither Is It Always Implicit
1997-06-06
Teaching and Learning as Multimedia Authoring: The Classroom 2000 Project
1998-11-20
Sequential Data Algebra Primitives
1997-03-03
Alex Sellink
Garbage Collection Alternatives for Icon
1995-11-06
A Correctness Proof for Pipelining in RISC Architectures
1996-09-06
Synthesis and LFT Gain Scheduling with Time Varying Mixed Uncertainties
1995-03-06
Anders Helmersson
An Object-Oriented Architecture for Decision Support Systems
1997-09-22
Duality Symmetries and Noncommutative Geometry of String Spacetimes
1997-07-24
Predictive Modular Neural Networks Methods for Prediction of Sugar Beet Crop Yield
1998-09-20
Spread Spectrum Interference Suppression Using Adaptive Time-Frequency Tilings
1998-04-05
Using Predictive Prefetching to Improve World Wide Web Latency
1998-12-03
Dynamic Load Distribution on Point-to-Point Multicomputer Networks
1992-07-09
Improving Steiner Trees of a Network Under Multiple Constraints
1998-05-14
Too Much Information Can be Too Much for Learning Efficiently
1995-04-28
The GSAT/SA-Familiy - Relating greedy satisifability testing to simulated annealing
1997-03-13
Intelligence - Dynamics and Representations
1995-01-24
Hierarchical Image Caching for Accelerated Walkthroughs of Complex Environments
1998-05-19
Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution
1999-03-25
L E C T R O N I C
1998-05-30
Adaptive Image Segmentation with Distributed Behavior-Based Agents
1999-03-25
Algorithmic Debugging and Testing of Prolog Programs
1998-07-22
PathFinder: A Negotiation-Based Performance-Driven Router for FPGAs
1996-01-04
Intelligent Collaborative Information Retrieval - Actively Learning to Classify and Recommend Documents
1998-02-20
Management of the NHSE -- a Virtual Distributed Digital Library
1995-04-03
Monte Carlo Methods for the Estimation and Selection of Time Series Models
1996-06-11
Genshiro Kitagawa
Aligning Sentences In Bilingual Corpora Using Lexical Information
1998-09-28
Stanley F. Chen
Morphing Binary Trees
1995-07-25
A Reactive Constraint Logic Programming Scheme
1995-05-03
A Normal Form Projection Algorithm for Associative Memory
1998-08-26
Multi-Dimensional Fractional Brownian Motion And Some Applications To Queueing Theory
1997-06-02
S. Belly
Generalizing the Evidence-Theoretic k-NN rule to Fuzzy Pattern Recognition
1997-05-01
Using Hammock Graphs to Eliminate Nonstructured Branch Statements
1996-04-02
The Helmholtz Machine
1994-12-10
Using Persistence to Support Incremental System Construction
1995-03-24
Alan Dearle
Voice and Data Session Capacity over Local Area Networks
1998-04-18
Approximating Dynamical Systems By Compositions
1998-09-29
Olga - a Conversational Agent With Gestures
1997-04-04
Heterogeneous Network Computing: The Next Generation
1998-07-21
Vaidy Sunderam
Geometrical Approach to Inverse Scattering for the Dirac Equation
1997-04-26
Wolf Jung
The Existential Pleasures of Genetic Algorithms
1994-11-28
David E. Goldberg
Branch Classification: a New Mechanism for Improving Branch Predictor Performance
1998-01-27
Concurrent File Operations in a High Performance FORTRAN
1998-10-17
Smooth Conjugacy And S-R-B Measures For Uniformly And Non-Uniformly Hyperbolic Systems
1997-04-26
R. De La Llave
Research Report
1970-01-01
Processor Design for Portable Systems
1996-10-02
Evolution Strategies for Mixed-Integer Optimization of Optical Multilayer Systems
1995-09-13
Fault-tolerant Real-time Communication with Reduced Resource Overhead
1970-01-01
A Theorem of Truemper
1997-11-25
The PESKI Intelligent User Interface
1997-05-21
On Embedding Ternary Trees into Boolean Hypercubes Extended Abstract
1996-05-13
Controlling Rewriting by Rewriting
1999-03-21
Claude Kirchner
Gemmw: A Portable Level 3 Blas Winograd Variant Of Strassen's Matrix--Matrix Multiply Algorithm
1997-06-25
New clients with old servers: A pattern language for client/server frameworks
1995-08-04
Kirk Wolf
A Bayesian hybrid method for context-sensitivespelling correction
1998-02-13
Andrew R. Golding
Document Understanding: Research Directions
1994-01-27
Graphical User Interface Software for System Identification
1998-09-10
Performance Evaluation of FFT Algorithms Using Performance Counters
1999-02-09
A Fast and Accurate Gate-Level Transient Fault Simulation Environment
1999-04-20
Favorable Classes of Mappings and Multimappings In Nonlinear Analysis and Optimization
1996-06-24
Jean-paul Penot
Consensus Service: a modular approach for building agreement protocols in distributed systems
1999-03-30
Rachid Guerraoui
Novel View Synthesis by Cascading Trilinear Tensors
1998-02-13
Why I Don't Play the Piano
1995-12-27
Jon Doyle
ESF Network on Highly Structured Stochastic Systems Report of 3rd workshop: Luminy, France, 4--9 June 1995
1995-08-07
Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis
1998-11-16
by Charles Radin
1997-04-26
Charles Radin
The Complexity of Query Reliability
1998-10-25
Learning to Parse Database Queries Using Inductive Logic Programming
1996-08-28
Möbius-Invariant Knot Energies
1997-11-06
Strategies for Querying Information Agents
1998-04-10
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment
1995-03-10
Nature of singularity in Einstein-massless scalar theory
1996-04-05
Dick C.a. Bulterman
1997-10-01
Dick C. A. Bulterman
Efficient Development of Organisations and Information Technology -- A Design Approach
1997-07-30
Bengt Sandblad
A Comparative Evaluation of Voting and Meta-learning on Partitioned Data
1995-04-24
Theta Sums, Eisenstein Series, And The Semiclassical Dynamics Of A Precessing Spin
1998-06-05
An Assessment of Cyc for Natural Language Processing
1997-01-17
KBST: A Support Tool for Business Modelling in BSDM
1996-02-06
Adaptive Web Sites: an AI Challenge
1998-02-06
Architectural Synthesis via VHDL
1996-01-11
The Superthreaded Architecture: Thread Pipelining with Run-time Data Dependence Checking and Control Speculation
1996-07-20
Unknown
1995-05-03
Empirical Evaluation of Randomly-Wired Multistage Networks Extended Abstract
1996-02-14
E-Mail: Zebpe@ida.liu.se
1995-11-07
Zebo Peng
DARWIN: On the Incremental Migration of Legacy Information Systems
1995-10-17
Simulated Annealing with Time dependent Energy Function via Sobolev inequalities
1999-04-21
Matthias Lowe
Microlocal Techniques For Semiclassical Problems In Geometric Quantization
1997-05-13
David Borthwick
Buffer Management in Multimedia Database Systems
1995-11-29
KANTRA - A Natural Language Interface for Intelligent Robots
1995-03-16
Comparison of the Effective Interaction to Various Orders in Different Mass Regions
1998-05-13
Simulations of X and Y retinal ganglion cell behavior with a nonlinear push-pull model of spatiotemporal retinal processing
1995-03-07
Writing robust IEEE recommended functions in "100% Pure Java"
1998-08-08
Joseph D. Darcy
On Probabilistic Networks for Selection, Merging, and Sorting
1999-01-22
Learnability of Kolmogorov-Easy Circuit Expressions Via Queries
1995-02-01
Harry Buhrman
AConceptual Approach to the Integration of Agent Technology in System Management
1997-05-02
Domain Decomposition in High-Level Parallelization of PDE Codes
1998-10-30
Xing Cai
Informationtheoretic Limitations Of Formal Systems
1998-07-21
Gregory J. Chaitin
Control Of Walking By Central Pattern Generators
1996-03-29
A Local Measure of Fault Tolerance for Kinematically Redundant Manipulators
1996-06-20
Design Patterns in Enterprise
1996-08-22
Steve Macdonald
Cooperative Intelligent Software Agents
1997-02-27
Computing Optical Flow Distributions Using Spatio-temporal Filters
1994-04-15
A Tool for Automatic Test Plan Generation For Mixed-Signal Circuits
1997-12-22
Perceptual Metrics for JPEG Images
1997-12-09
What do Advanced Transaction Models Have to Offer for Workflows?
1997-04-22
Weak Random Sources, Hitting Sets, and BPP Simulations
1998-02-05
1-Semiquasihomogeneous Singularities of Hypersurfaces - Pathology in Characteristic 2
1997-01-14
Marko Roczen
Washington
1997-05-07
A Realistic Digitization Model of Straight Lines
1996-06-25
Designing Distributed Databases from an Organisational Perspective
1996-05-28
Effects of Communication Latency, Overhead, and Bandwidth in a Cluster Architecture
1998-02-02
On P-selectivity and Closeness
1994-04-27
Rajesh P. N. Rao
An Analog Vlsi Integrate-And-Fire Neural Network For Sound Segmentation
1999-02-03
A Net Characterization of Graphs Based on Interception Relations
1998-04-16
NONHYDROSTATIC ATMOSPHERIC DYNAMICS IN PRESSURE-RELATED COORDINATES R. R~o~om Final Report 1993 -- 1996
1997-12-16
Efficient Quantum Transforms
1998-12-02
Using Constraints to Manage Long Duration Transactions in Spatial Information Systems
1997-05-26
ConGolog, a concurrent programming language based on the situation calculus: foundations
1999-03-02
Hector J. Levesque
Nas Parallel Benchmark Results 3-94
1998-12-14
Morse Theory for Implicit Surface Modeling
1997-08-20
John C. Hart
How to Forge DES-Encrypted Messages in 2
1999-01-18
Eli Biham
Contribution Structures for Requirements Traceability
1995-10-27
Canonical Bases: Relations with Standard Bases, Finiteness Conditions and Application to Tame Automorphisms
1994-02-04
Properties of Feedback Neural Networks
1999-03-17
Very Weak Zero One Law for Random Graphs With Order and Random Binary Functions
1995-12-13
Saharon Shelah
Pruning Nested Data Values Using Branch Expressions With Wildcards
1995-11-03
A Framework for Experimenting with High-Performance Transport System Process Architectures
1998-01-10
ISO/IEC JTC1/SC21/WG7 Open Distributed Processing
1997-09-03
Reference Document Sc N
A Local Graph Partitioning Heuristic Meeting Bisection Bounds Extended Abstract
1996-12-28
On the Simultaneous Interpretation of Real World Image Sequences and their Natural Language Description: The System SOCCER
1996-11-06
.2 Cloud Forcing And The Earth's Radiation Budget: New Ideas And New Observations
1997-05-02
Bruce R. Barkstrom
A Pair of Optimal Inequalities Related to the Error Function
1997-11-04
Competitive pricing of information goods: Subscription pricing versus pay-per-use
1997-08-23
meson production at HERA
1999-05-17
B. Clerbaux
Descriptive Name Services For Large Internets
1994-01-28
Joann Janet Ordille
Deformable B-Solids: Application for Localization and Tracking of MRI-SPAMM Data
1996-04-17
Multi-modal Mind Design
1994-11-14
Jim Cunningham
VLDB94 Papers
1994-07-30
CDS Services in Support of MEGACAM/TERAPIX Data Access, Adentification and Validation.
1998-11-13
Parallel Computation of 2-D Wavelet Transforms
1970-01-01
by E. Carlen
1997-09-24
Mutable Object State for Object-Oriented Logic Programming: A Survey
1994-06-09
Vladimir Alexiev
Evaluation of Caching Strategies for an Internet Server
1997-08-04
A. L. Narasimha Reddy
Evaluation And Design Of Benchmark Suites
1998-12-22
Jozo J. Dujmovi'c
Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification
1996-12-16
Parsing English with a Link Grammar
1998-06-22
The SESMU Project: Integrated Customer Management for Multimedia Services
1997-04-17
The Application Of Multiwavelet Filter Banks To Image Processing
1996-10-16
Coevolutionary Process Control
1998-04-07
Integrated Knowledge Acquisition Architectures
1993-04-25
The Comlex Syntax Project: The First Year
1997-03-20
Multitrack Interval Graphs
1996-12-17
A Parallel Fe-Splitting-Up Method For Parabolic Problems
1996-09-26
Modelling Concurrency with Partial Orders
1995-04-15
Vaughan Pratt
An Algebraic Multilevel Parallelizable Preconditioner for Large-Scale CFD Problems
1997-03-18
An Open Interface for Probabilistic Models of Text
1999-02-26
The Extra Cost of Calling a Procedure With a Parameter of a Quantified Type is the Cost of Performing the
1995-03-23
Part IV Technical Controls
1997-02-08
A Case Study in Process Representation Using MVP-L
1994-11-01
Claymore: Augmented Direct Manipulation of Three-Dimensional Objects
1998-09-25
Proc. of the First CCL Workshop
1996-03-28
Aditi-Prolog language manual
1995-09-07
Efficient Broadcasting Protocols for Video on Demand
1998-07-29
Combining Direct and Indirect Methods in Optimal Control: Range Maximization of a Hang Glider
1996-06-14
Realtime CG Animation Of Realistic Fishes Using Nurbs, Inverse Kinematics And A Co-Operative Motion Model
1998-12-14
An Integrated Stereo-Based Approach to Automatic Vehicle Guidance
1998-02-24
DECISION LISTS FOR LEXICAL AMBIGUITY RESOLUTION: Application to Accent Restoration in Spanish and French
1995-04-03
mhz: Anatomy of a micro-benchmark
1998-06-23
Generic Methods in Deductive Object Databases
1996-04-24
Implementing Integrity Control in Active Databases
1993-02-04
PHI---A Logic-Based Tool for Intelligent Help Systems
1997-01-13
Equivalence Classes of Circuit Mutants for Experimental Design
1999-02-17
Incorporation Of Hmm Output Constraints In Hybrid Nn/hmm Systems During Training
1997-05-14
Mike Schuster
Derivation and Presentation of an
1998-09-27
On the Relation Between Logarithmic Series Model and Other Superpopulation Models Useful for Microdata Disclosure Risk Assessment
1998-03-20
Web Computing Skeleton: A Case Study
1997-04-14
Component Based Agent Construction
1999-02-26
Portability versus Efficiency? Parallel Applications on PVM and Parix
1997-09-30
Acoustic And Language Modeling Of Human And Nonhuman Noises For Human-To-Human Spontaneous Speech Recognition
1995-08-21
Low Rank Estimation of Higher Order Statistics
1998-04-09
Virtual Human Animation Based on Movement Observation and Cognitive Behavior Models
1999-02-08
"Interruption Handling": Using Dynamic Replanning and Partially Refined Plans to Deal with Users' Interruptions
1994-06-10
Circumventing Storage Limitations in Variational Data Assimilation Studies
1970-01-01
Debugging of Systems-on-a-Chip
1997-12-22
Diffusion-based Caching along Routing Paths
1998-07-04
Unknown
1997-04-22
Speeding Up Isosurface Extraction using Interval Trees
1997-03-20
Fast Matching of a Dynamic Lip Model to Color Video Sequences under Regular Illumination Conditions
1997-01-16
Michael Vogt
SynGuide:An environment for doing interactive Correctness Preserving Transformations
1994-11-16
Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model
1995-11-06
David Binkley
Permutations Which Are the Union of an Increasing and a Decreasing Subsequence
1998-01-21
M. D. Atkinson
Rainer Himmeroder Georg Lausen Bertram Ludascher Christian Schlepphorst
1998-01-22
Multi-Shapes: Level-of-Detail in Object Reconstruction
1998-12-09
A lattice path model for the Bessel polynomials
1999-03-31
Jim Pitman
Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof
1997-03-21
Neural Chip SAND/1 for Real Time Pattern Recognition
1998-08-20
A New Recursive Identification Algorithm for Singularity Free Adaptive Control
1998-08-18
Coordination Approaches for CIM
1995-07-28
High-Dimensional Wavelet Modeling
1996-01-26
Parallel Incremental Graph Partitioning
1995-08-03
Interactive Simulation of Distributed Transaction Processing Commit Protocols
1997-08-27
Generalized Hex and logical characterizations of polynomial space
1997-01-14
Dynamo-generated Turbulence in Disks: Valueand Variability of Alpha
1995-12-13
Applications of BSR Model of Computation for Subsegment Problems
1999-01-20
Direct Optimization of Margins Improves Generalization in Combined Classifiers
1998-05-19
Guiding User Interfaces Equationally
1998-02-12
T. B. Dinesh
Comparision of the Probability of Visibility of the Most Important Currently Projected Mobile Satellite Systems
1997-05-07
Journal of Graph Algorithms and Applications
1998-06-18
Pict: A Programming Language Based on the Pi-Calculus
1997-03-20
Temporal Databases
1997-10-15
Comparing the Performance and Programmability of the DASH and Cedar Multiprocessors for Scientific Loads
1997-02-07
Inductive Learning of Characteristic Concept Descriptions
1994-08-22
Partitionen einfach zusammenhangender auflosbarer Liegruppen
1995-08-21
Incremental Relevance Feedback for Information Filtering
1996-05-08
James Allan
Identification Of A Nonlinear Parameter In A Parabolic Equation From A Linear Equation
1995-11-01
On Dynamically Consistent Hybrid Systems
1995-06-21
Peter E. Caines
Experiences with the PEPA Performance Modelling Tools
1998-08-12
Unified Feature Definition For Feature Based Design And Feature Based Manufacturing
1995-10-02
An ascription-based approach to Speech Acts
1997-04-23
Planning in Concurrent Domains
1994-09-22
First Experience with the Scalable Coherent Interface
1994-10-06
On Robust Exponential Convergence of Hp Finite Element Methods for Problems With Boundary Layers
1996-12-09
J. M. Melenk
Unknown
1998-06-04
Don Libes
Unknown
1998-09-27
Hypermedia Processors: Design Space Exploration
1998-09-19
Instant ReplayDebugging of Concurrent Logic Programs
1995-04-28
Exokernel: An Operating System Architecture for Application-Level Resource Management
1999-02-11
HARDWARE VOTING OF TRANSPUTERS IN REAL-TIME nMR FAULT-TOLERANT SYSTEMS
1994-11-22
Tight Bounds on the Cumulative Profit of Distributed Voters
1997-10-10
The Transactional Object Cache: A foundation for high performance persistent system construction.
1998-08-16
Solving Computational Grand Challenges Using A Network Of Heterogeneous Supercomputers
1993-03-22
Extending Winograd's Small Convolution Algorithm to Longer Lengths
1998-04-09
Final review of adaptive optics results from the pre-conversion MMT
1997-08-14
Description Of Minimum Weight Codewords Of Cyclic Codes By Algebraic Systems
1996-01-31
Daniel Augot
Software Architecture Modeling For User Interfaces
1994-05-21
Majority-Vote Cellular Automata, Ising Dynamics, and
1997-10-21
Cristopher Moore
Causal Relevance
1997-10-31
Glenn Shafer
High-Concurrency Locking in R-Trees
1995-09-06
A Hierarchical Approach to Parallel Multi-Query Scheduling
1994-07-07
Test Pattern Generation for Circuits Using Power Management Techniques
1997-09-15
Characterising Approximate Problem-Solving By Partially Fulfilled Pre- and Postconditions
1998-06-16
Distributed Constrained Agents for Allocating Service Demands
1999-01-19
Quantitative Analysis of MR Brain Image Sequences by Adaptive Self-Organizing Finite Mixtures
1997-09-19
RT-LOTOS and its application to multimedia protocol specification and validation
1997-10-16
Generative Models for Discovering Sparse Distributed Representations
1997-05-09
Proximity Detecting Codes
1997-01-27
Stability, Relaxation, and Oscillation of Biodegradation Fronts
1998-12-08
Janus-Iii: Speech-To-Speech Translation In Multiple Languages
1996-12-17
Eugen-Nicolae Volanschi Gilles Muller Charles Consel
1970-01-01
Using Exemplary Knowledge for Justified Analogical Reasoning
1995-07-13
Implementing Atomic Objects with the RelaX Transaction Facility
1995-02-01
Logical Transactions and Serializability
1997-09-15
Temporal Conditions with Retroactive and Proactive Updates
1995-05-16
Declustering Using Fractals
1994-02-21
Two New Factors of Fermat Numbers
1998-12-22
Fast Resampling Using Vector Quantization
1995-10-03
Chance and Necessity in Evolution: Lessons from RNA
1999-01-10
Perceptual Fidelity Measure of Digital Color Images
1998-02-11
A Performance Study of Hashing Functions for Hardware Applications
1998-08-03
Cluster Expansions And Iterative Scaling For Maximum Entropy Language Models
1995-09-08
Total Positivity Properties of LB-splines
1997-03-07
Optimal Message Logging Protocols Preliminary Version
1998-02-02
Call Admission Control and Routing in Integrated Services Networks Using Neuro-Dynamic Programming
1999-02-12
Frege on the Psychological Significance of Definitions
1998-05-15
John F. Horty
A multi-modi Proof Planner
1998-09-30
Lassaad Cheikhrouhou
Any two countable, densely ordered sets without endpoints are isomorphic - a formal proof with KIV
1995-12-22
On EOF-Based Linear Prediction Algorithm: Examples
1998-07-28
Prolegomena to a Theory of Communication and Affect
1997-12-29
Aaron Sloman
Latent Semantic Indexing: A Probabilistic Analysis
1997-12-18
Robust Impedance Control
1998-10-01
A Deductive Approach towards Controller Synthesis
1996-10-28
Implementing Algorithmic Skeletons for Generative Communication with LINDA
1997-03-20
Duncan K. G. Campbell
Real-time Estimation of Head Motion Using Weak Perspective Epipolar Geometry
1998-10-27
Active Shape Models for Visual Speech Feature Extraction
1996-10-21
Robust Triangular Solves for Use in Condition Estimation
1994-10-08
Edward Anderson
A Knowledge Base for Structured Documents
1997-04-24
Stable Encoding of Large Finite-State Automata in Recurrent Neural Networks with Sigmoid Discriminants
1998-09-05
OS Agents: Using AI Techniques in the Operating System Environment
1997-01-08
in the Subject line: On Digital's EASYnet: CRL::TECHREPORTS On the Internet: techreports@crl.dec.com
1997-09-03
Richard Szeliski
Walsh and Partition Functions Made Easy
1994-09-06
Paul Field
An Experiment in Determining Software Reliability Model Applicability
1997-01-07
Refining an ASM Specification of the Production Cell to C++ Code
1997-05-28
Luca Mearelli
An Object-Based Model for Dependable Real-Time Distributed Systems
1995-12-07
Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus
1996-08-08
Hierarchical Decision Making in Machine Design
1970-01-01
Eric R. Marsh
Efficient Organization of Large Multidimensional Arrays
1995-06-04
Experience in Building a Cooperative Distributed Organization: Lessons for Cooperative Buildings
1998-01-05
The Traveling Salesrep Problem, Edge Assembly Crossover, and 2-opt
1998-09-08
Automatic Indexing for Storage and Retrieval of Line Drawings
1995-01-10
Translational Polygon Containment and Minimal Enclosure using Mathematical Programming
1996-06-22
Limit Behaviour Of The Partition Function Of Spin Glasses Via Stochastic Calculus
1997-07-31
Experiments by BONSAI Garden
1995-12-13
Computer Generated Intelligent Companions for Distributed Virtual Environments
1996-11-20
Implementing Atomic Actions in Ada 95
1996-01-08
Excited Heavy Baryons In The Bound State Picture
1998-05-23
Second Differentials in Arbitrary Feed-Forward Neural Networks
1997-11-28
Fabrice Rossi
A Formal Approach to Deductive Synthesis of Constraint Logic Programs
1995-08-03
On A Coupled Kuramoto-Sivashinsky And Ginzburg-Landau Type Model For The Marangoni Convection
1997-04-26
A Globally Convergent Inexact Newton Method for Systems of Monotone Equations
1998-05-15
Creating a Wider Bus Using Caching Techniques
1996-10-04
Quantum Methods For Interacting Particle Systems Iii, Statistical Mechanics Of Ising Models
1997-12-04
M. Gianfelice
Quasi-Invariant Parameterisations and Matching of Curves in Images
1998-08-17
Jun Sato
Controller Synthesis For Timed Automata
1998-09-16
Ensuring Completeness of Symbolic Verification Methods for Infinite-State Systems
1997-12-08
Cohomology of Local systems
1999-02-18
Codes, Quadratic Forms and Finite Geometries
1996-05-23
William M. Kantor
Fritz Gesztesy
1997-04-26
Fritz Gesztesy
From Interactions To Collective Behaviour In Agent-Based Systems
1997-06-10
Yves Demazeau
A Reliable Storage Server for Distributed Cooperative Applications
1995-03-10
Distribution Of H
1997-03-03
A Study in Process Simplification
1997-10-07
General Techniques for Comparing Unrooted Evolutionary Trees
1998-06-16
Bayes Point Machines: Estimating the Bayes Point in Kernel Space
1999-04-06
Path-Dependent Multicurrency Interest Rate Derivatives
1998-01-21
Meifang Chu
Demand-driven Computation of Interprocedural Data Flow
1995-08-01
March 1997
1997-07-28
Life Cycle of User Interface Techniques: The DJJ Information System Design Process
1998-09-05
Simultaneous Registration of Multiple Range Views Satisfying Global Consistency Constraints For Use In Reverse Engineering
1998-04-26
Integrating a Knowledge-Based System for Parenteral Nutrition of Neonates into a Clinical Intranet
1998-05-13
Finitely Presented Heyting Algebras
1999-02-01
Carsten Butz
Bimodal Emotion Recognition by Man and Machine
1998-05-14
Pictorial Query Specification for Browsing Through Spatially-Referenced ImageDatabases
1999-01-24
XDeltavg
1995-08-20
Karl H. Hofmann
An Asynchronous Remote Method Invocation ARMI Mechanism for Java
1997-08-15
Variants of the Block-QMR Method and Applications in Quantum Chromodynamics
1997-08-20
Volume Rendering Polyhedral Grids by Incremental Slicing
1993-10-18
Roni Yagel
Deterministic/Stochastic Wavelet Decomposition for Recovery of Signal from Noisy Data
1998-12-26
A Formal Description of Verdi
1994-12-10
Mark Saaltink
Simple, Efficient Object Encoding using Intersection Types
1999-03-27
Karl Crary
Pia: A Framework for Embedded System Co-simulation with Dynamic . . .
1997-03-13
Statistical Mechanics of the Mixture of Experts
1996-05-21
Beyond N-Grams: Can Linguistic Sophistication Improve Language Modeling?
1998-07-15
Splitting of some nonlocalized solutions of the Korteweg-de Vries equation into solitons
1997-11-19
Labelling Wheels for Minimum Sum Number
1996-12-09
Simulation Based Bayesian Nonparametric Regression Methods
1997-11-03
Individual and Collective Approaches for Searcher Satisfaction in IR
1998-07-15
Sums of Squares, Cubes, and Higher Powers
1996-08-21
A Unified ApproachTo Concurrent Debugging
1994-11-21
TR-96-16 May
1999-04-07
Functional Simulation using Binary Decision Diagrams
1998-09-04
Deterministically Annealed Mixture Of Experts Models For Statistical Regression
1996-12-09
Towards The Use of Aesthetics in Decision Making: Kolmogorov Complexity Formalizes Birkhoff's Idea
1998-03-02
On The Average Redundancy Rate Of The Lempel-Ziv Code
1996-08-20
On Illumination Invariance in Color Object Recognition
1997-04-03
A Logic programming theory of reasoning about actions
1998-09-22
Chitta Baral
English Auxiliaries as Tense Inflections
1998-10-07
Louisa Sadler
Finding Optimal Solutions to Rubik's Cube Using Pattern Databases
1997-05-30
Richard E. Korf
Low-Dimensional Representation of Faces in Higher Dimensions of the Face Space
1998-12-10
A. Deffenbacher
Automatic Data Layout and Code Restructuring for Out-of-core Programs
1998-10-27
Gil Utard
Towards a New Formal Model of Transformational Adaptation in Case-Based Reasoning
1998-01-14
Feature-Interaction Visualization and Resolution in an Agent Environment
1998-07-26
Improved Bounds on Relaxations of a Parallel Machine Scheduling Problem
1970-01-01
Analyzing Mobile Code Languages
1998-03-13
Reachability Verification for Hybrid Automata
1999-01-14
Thomas A. Henzinger
A Strong Winner--Take--All Model Based on Integration of Potential Differences
1998-03-23
Ralf Moller
Multiple Vertex Coverings by Specified Induced Graphs
1998-06-04
Dhruv Mubayi
A characterization of the Petersen-type geometry of the McLaughlin group.
1998-06-22
CDS Services in Support of MEGACAM/TERAPIX Data Access, Adentification and Validation.
1970-01-01
Second Differentials in Arbitrary Feed-Forward Neural Networks
1997-11-28
Fabrice Rossi
Self-Similarity in World Wide Web Traffic Evidence and Possible Causes
1997-04-06
An Efficient Neural Gas Network for Classification
1998-09-15
Choosing Regularization Parameters In Iterative Methods For Ill-Posed Problems
1998-10-08
Argument-Based Extended Logic Programming With Defeasible Priorities
1996-04-09
Henry Prakken
Neural Filters for Jet Analysis
1995-04-02
A CSCW Framework for Networked Multimodal Synthetic Environments
1998-06-05
Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time
1998-02-05
The Semantics of the Verdi Intermediate Language
1994-12-10
Mark Saaltink
When An Infinitely-Renormalizable Endomorphism Of The Interval Can Be Smoothed
1997-04-01
Charles Tresser
Dynamic Attention Map by Ising Model for Human Face Detection
1998-05-18
Learning Large DeBruijn Automata with Feed-Forward Neural Networks
1996-03-14
Application Level Scheduling of Gene Sequence Comparison on Metacomputers
1998-04-21
State Space Construction for Behavior Acquisition in Multi Agent Environments with Vision and Action
1998-10-28
Diversity in the Software Development Process
1997-11-14
Efficient Read-Restricted Monotone CNF/DNF Dualization by Learning with Membership Queries
1998-12-03
Prediction of the Anomalous Magnetic Moment of Nucleon From the Nucleon Anomaly
1998-05-15
Yeu-chung Lin
Investigating Optimal Local Memory Performance
1999-02-02
Olivier Temam
Connected Digit Recognition Using Statistical Template Matching
1996-12-02
Generalized Cross-Validation for Large Scale Problems
1996-09-05
Real-Time Transactions with Execution Histories: Priority Assignment and Load Control
1997-07-27
Ozsoyo Glu
Feasible Offset And Optimal Offset For General Single-Layer Channel Routing
1996-10-30
Data-Structures for the Verification of Timed Automata
1997-04-30
Vector Meson Production at
1998-05-07
Michael Duren
The Transformation Calculus
1994-05-11
Jacques Garrigue
Scarcely Variabled Programming And Pascal
1997-04-21
The Second Law As Physical Fact And As Human Inference
1999-04-23
E. T. Jaynes
Some Remarks on Cyclic Linear Logic
1996-10-31
Equipe De Logique
Catenable Double-Ended Queues
1997-03-31
Chris Okasaki
Language, Compiler and Parallel Database Support for I/O Intensive Applications
1996-10-21
Relational Semantics and Scope Disambiguation
1996-08-27
Massimo Poesio
LAPACK Working Note 111, UTK, http:www.netlib.orglapacklawns
1996-08-09
A Model For The Management Of Highly Variable Data
1995-06-12
On the Existence and Non-Existence of Finitary Codings for a Class of Random Fields
1999-04-27
J. E. Steif
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems
1999-03-05
APerformance Study on Different Classes of Load Balancing Algorithms
1996-03-05
Rigidly symmetric L
1995-08-21
Detlev Poguntke
A Two-level World Wide Web Model with LogicProgramming Links
1997-05-28
Algebraic Algorithms
1998-11-21
Mapping Objects to Tables
1997-10-17
Wolfgang Keller
Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL
1994-08-18
Peter Gorm Larsen
Solving the Radio Link Frequency Assignment Problem using Guided Local Search
1998-10-09
On Integral Basis Reduction in Global Function Fields
1997-06-24
Towards a Requirements-based Information Model for Configuration Management
1998-04-30
A Fe-Splitting-Up Method And Its Application To Distributed Parameter Identification Of Parabolic Type
1996-09-26
Defeasible Rules in Content Selection and Text Structuring
1997-03-10
Chapter 1 :
1998-11-25
Customized Remote Execution of Web Agents
1998-03-30
A-translation and Looping Combinators in Pure Type Systems
1996-05-08
A Family of Securable Protection Systems
1998-07-17
Sam Weber
Integrating Uncertainty Handling Formalisms in Distributed Artificial Intelligence
1996-02-27
Simon Parsons
Implementation and Performance of Munin
1998-02-02
The Measured Cost of Conservative Garbage Collection
1995-08-25
Benjamin Zorn
Exact Real Computer Arithmetic
1999-01-19
The Semantics of the C Programming Language
1996-07-18
Benchmark Studies on Face Recognition
1998-10-15
Rigorous Spectral Analysis of the Metal-Insulator Transition in a Limit-Periodic Potential
1997-06-17
Attribute Grammars and Functional Programming Deforestation
1997-04-10
Reliable Cellular Automata with Self-Organization
1997-08-27
Peter Gacs
Weighted Multidimensional Search and its Application to Convex Optimization
1970-01-01
Extraction of Keyphrases from Text: Evaluation of Four Algorithms
1997-11-18
Static and Dynamic Filtering Methods for Approximate String Matching
1996-03-25
Deterministic Computations Whose History Is Independent Of The Order Of Asynchronous Updating
1998-01-15
Peter G Acs
Stabilization of Stochastic Nonlinear Systems Driven by Noise of Unknown Covariance
1998-07-16
Trading Packet Headers for Packet Processing
1996-03-07
Parallelizing Molecular Dynamics using Spatial Decomposition
1994-03-23
Reducing "Structure From Motion": a General Framework for Dynamic Vision Part 1: Modeling
1998-06-09
Part Modeling
Algorithms For A Precise Determination Of The Betatron Tune
1996-06-10
Exploiting the Capabilities of Communications Co-processors
1996-03-11
Two Results on Car-sequencing Problems
1998-04-28
Ian P. Gent
Selection of observations in signal reconstruction with applications in MR-imaging
1997-12-22
AFRAID - A Frequently Redundant Array of Independent Disks
1996-01-27
Resource Management in Networked Multimedia Systems
1996-05-23
Interpolating Runge-Kutta methods for vanishing delay differential equations
1994-09-17
School of Electronic Engineering
1999-01-09
A Debugging Model for Lazy Functional Logic Languages
1998-04-27
Ana Gil-luezas
Rapid Multipoint Linkage Analysis of Recessive Traits in Nuclear Families, including Homozygosity Mapping
1996-03-04
Zero Bias Schottky Diode Model For Low Power, Moderate Current Rectenna
1998-10-23
Embedding CSP in PVS. An Application to Authentication Protocols
1997-06-06
A Toolbox for the Verification of LOTOS Programs
1995-11-17
A Fuzzy-Logic and Multi-Layer Perceptron Hybrid Model Applied to a Real World Steel-Making Problem
1998-02-09
Yannick Lallement
Feature-Oriented Classification for Software Reuse
1995-07-28
Robust Speech Recognition With Speaker Localization By A Microphone Array
1996-11-27
Auditory Neuron Models for Cochlea Implants
1997-01-27
H. Scheich
Processing Natural Language Software Requirement Specifications
1996-08-22
Improving Reviews by Extended Traceability
1998-10-12
And B. Simeon
1998-06-29
M. Arnold
Improved approximation algorithms for unsplittable flow problems Extended Abstract
1998-04-29
Formalizing New Navigation Requirements for NASA's Space Shuttle
1996-02-16
Ben L. Di Vito
G.R.Knapp
1997-11-11
Numerical Solution of Nonlinear ... Control Problems with Application to Jet Engine Control
1997-12-22
Resource Management for Extensible Internet Servers
1998-11-12
Efficient On-Line Call Control Algorithms
1997-01-27
The Dyana Integrated Implementation User Manual
1995-10-26
Invariant Manifolds Associated to Non-Resonant Spectral Subspaces.
1997-04-26
Dynamic Wavelength Allocation in All-Optical Ring Networks
1996-10-10
The RISE System: Conquering Without Separating
1994-11-01
Pedro Domingos
Exposing Constraints
1992-06-18
Constraint-based Hierarchical Placement of Parallel Programs
1994-09-04
Exclusive Semileptonic and Rare B-Meson Decays in QCD
1998-07-20
Efficient Concurrency Control for Broadcast Environments
1998-03-02
Efficient Cooperative Caching using Hints
1997-10-20
A New Concept For Cheap Construction Of Giant Telescopes
1997-03-03
Coda: A Highly Available File Systemfor a Distributed Workstation Environment
1998-01-20
M. Satyanarayanan
Entropy and Uniform Distribution of Orbits in T^d
1997-06-17
David Meiri
Merge Path Improvements for Minimal Model Hyper Tableaux
1999-01-28
Random Porous Media Flow On Large 3-D Grids: Numerics, Performance, Application To Homogenization
1996-12-16
Rachid Ababou
Proof of the Refined Alternating Sign Matrix Conjecture
1996-04-14
Doron Zeilberger
Effective Path Planning and Collision Avoidance for Redundant Manipulators
1995-09-20
A Theory of Pattern Rejection
1996-01-10
Learning Conventions in Multiagent Stochastic Domains using Likelihood Estimates
1996-10-30
Craig Boutilier
The Effect Of Compiler Optimizations On Available Parallelism In Scalar Programs
1999-03-28
Learning Information Extraction Patterns From Examples
1995-06-08
Scott B. Huffman
Parallel Dispatch Queue: A Queue-Based Programming Abstraction To Parallelize Fine-Grain Communication Protocols
1998-11-10
A Limiting Case for Velocity Averaging
1998-03-23
Recursive Mode Matching Method For Multiple Waveguide Junction Modeling
1996-04-03
A Little User Manual for BabLog System
1999-03-29
Transaction Management on Multidatabase Systems
1995-04-05
Kenneth Barker
Norman Carver and Victor Lesser
1997-09-26
Design and Implementation of DDH: A Distributed Dynamic Hashing Algorithm
1995-06-04
Robert Devine
A Framework for the Manipulation of a Multiversion Database
1996-10-29
Reverse Software Engineering Applications of Artificial Neural Networks
1996-09-26
Middle-Agents for the Internet
1997-08-14
Process Identification Using Polynomial Models
1999-03-06
A Deciding Algorithm for Linear Isomorphism of Types with Complexity
1998-02-06
S. Soloviev
A Computational Ecology for the Quadratic Assignment Problem
1998-03-13
Circuit Semantics and Intensional Expressivity
1996-10-06
Invertible Cellular Automata: A Review
1998-04-03
How Many Parameters Are Required to Describe a Star? Principal Component Analysis as an Astrophysical Tool
1999-03-19
Transparent Motion Perception as Detection of Unbalanced Motion Signals. III. Modeling
1997-07-22
Shape From Texture: Direct Estimation of Planar Surface Orientations Using Continuous Wavelet Transform
1996-10-11
Effects of geometric uncertainty on the inverse EEG problem
1997-09-14
Building PRFs from PRPs
1998-06-08
Genetic Algorithms, Operators, and DNA Fragment Assembly
1999-01-09
Jumping Petri Nets. Specific Properties
1996-10-24
Neural Network Techniques for Robust Force Control of Robot Manipulators
1996-11-22
Systems and Control Group Box 27, SE-751 03 Uppsala Sweden.
1998-02-25
Agile Application-Aware Adaptation for Mobility
1997-07-18
An Ideal Model for an Extended Lambda-Calculus with Refinement
1995-01-12
A Hierarchical Processor Scheduling Policy for Distributed-Memory Multicomputer Systems
1997-10-21
Convex coders and oversampled A/D conversion: theory and algorithms
1996-06-10
CCD sequences for wide-field surveys -- II.
1998-05-27
Hybrid Methods to Represent Incomplete and Uncertain Information
1996-08-02
Cliff Joslyn
Generalized Search Trees for Database Systems
1995-09-07
Strengthening the Gilbert-Varshamov bound
1998-09-21
Generating and Solving Imperfect Information Games
1995-09-12
Nonlinear Radial Pulsation Models for Extreme Helium Stars: Application to V652 Her BD +13
1997-05-06
The Effect Of External And Middle Ear Filtering On Automatic Phoneme Recognition
1997-11-19
Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations
1997-08-02
Parallel Coupled Micro-Macro Actuators
1996-02-22
John Bryant Morrell
Empirical Methods for MT Lexicon Development
1998-09-30
I. Dan Melamed
Unknown
1970-01-01
Implementations Of Dispatch Rules In Parallel Manufacturing Simulation
1998-11-06
Image Watermarking for Tamper Detection
1998-07-02
Jiri Fridrich
Truncated Differentials of IDEA
1998-05-13
Specification Matching of Software Components
1997-12-11
objects and cold-dark-matter cosmogonies: the case of 53W091.
1997-12-11
Towards a Robot Learning Architecture
1993-10-02
Monotone Fixed-Point Types and Strong Normalization
1998-11-24
Ralph Matthes
A Cholesky dual method for proximal piecewise linear programming
1995-07-19
Viewpoint generalization in face recognition: The role of category-specific processes
1999-01-09
Hidden Markov decision trees
1996-10-08
Introducing the Tileworld: Experimentally Evaluating Agent Architectures
1996-09-25
Interactions of Scope and Ellipsis
1996-05-02
Schema Interpretation: An Aid to the Schema Analysis in Federated Database Design
1999-03-21
SLAC E155 A PRECISION MEASUREMENT OF POLARIZED STRUCTURE FUNCTION g
1998-05-28
H. Borel
A Micro-machined Approach to Optical Interconnect
1995-02-06
Using MRSEVs to Develop Machining Alternatives
1995-02-21
Bypassing Modelling: an Investigation of Entropy as a Traffic Descriptor in the Fairisle ATM network
1996-06-28
Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity
1997-04-17
On the Hamiltonian Structure of Non-Conservative Linear Flows on
1994-11-21
P. Crehan
Possibilistic Normalization of Inconsistent Random Intervals
1997-01-27
Dr. Cliff Joslyn
A Buffer-Inventory-Based Dynamic Scheduling Algorithm for Multimedia-on-Demand Servers
1997-10-02
A large-scale GenBank search of Expressed Sequence Tags using rapid identity searching program for DNA sequences
1995-12-13
Least-Squares Methods for Blind Source Separation Based on Nonlinear PCA
1998-06-02
Clock Analysis of Synchronous Dataflow Programs
1995-11-17
Thomas P. Jensen
Functional Pearls: Polytypic Unification
1997-10-10
Wavelet/TSVQ Image Coding with Segmentation
1997-02-10
Bridging Textual Ellipses
1996-08-27
A Calculus of Secure Mobile Computations
1998-08-13
AudioFile: A Network-Transparent System for Distributed Audio Applications
1997-09-03
Operant Conditioning in Skinnerbots
1997-04-08
Event-Based Concepts and Language for System Architecture
1993-05-26
The Inflationary Energy Scale
1970-01-01
Andrew R. Liddle
The Hot List Strategy
1997-11-14
Self-Similar Collapse in Brans-Dicke Theory and Critical Behavior
1998-05-24
H. P. De Oliveira
A Process-Management Environment for the Development of Complex Products
1997-07-08
Adaptive Prefetching using Neural Networks
1998-01-18
Lattice trees and super-Brownian motion
1997-04-26
A Flexible Model Supporting the Specification and Enforcement of Role-based Authorizations in Workflow Management Systems
1997-09-09
Proactive Password Checking
1997-11-15
Matt Bishop
Adaptive Receiver Algorithms for Near-Far Resistant CDMA
1995-03-28
On The Geometry Of Visual Correspondence
1998-09-05
Disk-directed I/O for an Out-of-core Computation
1970-01-01
David Kotz
Local Verification of Global Integrity Constraints in Distributed Databases
1999-02-05
Using C++ Class Libraries from an Interpreted Language
1998-07-31
Persistent Java issues from a GemStone perspective
1998-11-25
Semiring-based Constraint Satisfaction and Optimization
1997-03-04
A Simple Algorithm for the Reduction of Blocking Artifacts in Images and Its Implementation
1998-12-09
Presentations of Omega-Categories By Directed Complexes
1996-12-02
Concepts and Axioms
1998-01-28
A New Criterion for Selecting Models from Partially Observed Data
1992-10-27
Hidetoshi Shimodaira
Why Design Spreading Codes for Multiuser CDMA Channels?
1995-06-16
Implementation of Optimization Networks in Synchronous Massively Parallel Hardware
1991-11-02
Unknown
1998-10-06
Monitoring and Visualization in Cluster Environments
1996-04-17
Convergence Assessment for Reversible Jump MCMC Simulations
1998-05-21
FCG: a Code Generator for Lazy Functional Languages
1996-07-26
Self-Calibrating a Stereo Head: An Error Analysis in the Neighbourhood of Degenerate Configurations
1997-10-21
Bayesian Inference for Linear Models Subject to Linear Inequality Constraints
1995-10-11
John Geweke
On the Aspectual Interactions Between Verbs and Noun Phrases
1996-11-21
Longest Common Subsequences
1997-05-13
Mike Paterson
Differential Evaluation of Continual Queries
1997-08-14
On Learning in the Presence of Unspecified Attribute Values Extended Abstract
1999-02-25
Virtual Enterprise and Corporate Memory
1998-08-17
Nada Matta
On-line Learning with Time-Correlated Examples
1998-02-18
Building User Interfaces by Direct Manipulation
1995-06-03
Luca Cardelli
CM-5, KSR1, Paragon XP/S: a comparative description of massively parallel computers on the basis of a catalog of classifying characteristics
1998-06-03
Encoding Presentation Emphasis Algorithms for Graphs
1994-10-09
Emanuel G. Noik
Managing Approximation Models in Optimization
1997-01-27
Combining Approximation Concepts With Genetic Algorithm-Based Structural Optimization Procedures
1998-08-15
Object Database Management Systems: An Overview
1999-02-08
Akmal B. Chaudhri
A Comparison of the Vnode and Sprite File System Architectures
1993-03-08
Brent Welch
WebOS: Operating System Services for Wide Area Applications
1998-06-23
Formal Analysis of the Kerberos Authentication System
1998-01-22
A Reverse Convolution-Inequality
1996-03-01
Friedemann Brock
Parallel GROMOS Users Guide
1992-11-28
Stochastic simulations of high--Reynolds--number turbulence in two dimensions
1994-07-12
Temperature in Natural and Artificial Systems
1998-10-06
Adrian Thompson
An Efficient Algorithm for the Computation of Galerkin Coarse Grid Approximation for the Incompressible Navier-Stokes Equations
1993-08-01
Optimistic Language Constructs
1999-01-24
status: 2nd Version
1995-03-10
On the Analysis of Randomized Load Balancing Schemes
1998-07-17
Michael Mitzenmacher
Calculation of a weak nonleptonic matrix element using "Weinberg" sum rules
1998-05-15
John F. Donoghue
Demonstration of Rational Communicative Behavior in Coordinated Defense
1999-03-29
, RTC++, and RT-Euclid, are introduced and compared. We also present an implementation scheme of the timing constraint block in
1997-03-28
Kwei-jay Lin
Monads for Functional Programming
1995-11-02
Shift Invariant Properties Of The Dual-Tree Complex Wavelet Transform
1998-09-03
Nick Kingsbury
Research Quarterly
1996-01-22
Measures of Complexity in Signal Analysis
1995-10-26
Fast and Effective Stripification of Polygonal Surface Models
1999-02-04
Extended Selection Mechanisms in Genetic Algorithms
1994-09-06
LADD Transmissions: Design, Manufacture, and New Compliance Models
1996-07-12
Constraint Databases: A Survey
1999-03-25
Peter Z. Revesz
Rhythmic constraints on stress timing in English
1997-01-17
Speech Recognition by Composition of Weighted Finite Automata
1998-02-07
Differential Coding of Alpha Planes with Adaptive Quantization
1997-07-29
Invariant-Based Recognition of Complex Curved 3D Objects from Image Contours
1997-02-07
Object-oriented Software for the Analysis of Longitudinal Data in
1997-09-22
CoBase: A Scalable and Extensible Cooperative Information System
1998-05-06
Quasiconformal Homeomorphisms On CR 3-Manifolds With Symmetries
1997-07-15
Puqi Tang
A Planning Model for Agents in Dynamic and Uncertain Real-Time Environments
1998-06-09
Alexander Nareyek
The Asymptotic Behavior of Quadratic Forms in Heavy-Tailed Strongly Dependent Random Variables
1997-04-14
Fast Search Algorithms for the N-Queens Problem
1996-10-02
For Which Graphs Does Every Edge Belong to Exactly Two Chordless Cycles?
1997-12-26
Uri N. Peled
Searching For Higgs Bosons On Lhc Using
1998-05-15
Parallel Numerical Algorithms Based On Overlapping Schwarz Methods For Singularly Perturbed Semi-Linear Elliptic Equations
1996-12-13
Passing Objects by Value in CORBA
1997-04-28
Ennio Grasso
Optimal Compressor Functions for Multidimensional Companding of Memoryless Sources
1998-04-20
Exploiting Case-Based Independence for Approximating Marginal Probabilities
1996-04-09
From System F to Typed Assembly Language
1998-01-06
Sensing Polygon Poses by Inscription
1996-03-23
One-loop effective action for Einstein gravity in special background gauge
1998-05-23
Providing Low-Latency Communications for ATM-Based Parallel Computing Environments
1997-07-23
Tools for Detecting Dependencies in AI Systems
1995-07-11
Propagation Rule Compiler: Tool Specification
1996-08-19
A C<sup>*</sup>-Action without Categorical Quotient
1999-01-28
J Urgen Hausen
Uso Di Piani Di Problem-Solving Nel Riconoscimento Di Piani E Obiettivi
1970-01-01
Object-Oriented Modeling with Roles
1996-09-13
Bent Bruun Kristensen
Signature File Methods For Indexing Object-Oriented Database Systems
1996-01-17
Architectural Support for Mobile Objects in Large Scale Distributed Systems
1996-12-12
Planning Motions of Rolling Surfaces
1970-01-01
Probabilistic and Prioritized Models of Timed CSP
1994-06-03
Gavin Lowe
Virtual-Physical Registers
1997-07-17
Constant-Only Multiplicative Linear Logic is NP-Complete
1998-08-21
Texture Analysis and Tissue . . .
1998-08-10
Automatic Linguistic Segmentation Of Conversational Speech
1970-01-01
2D-h Trees: An Index Scheme for Content-Based Retrieval of Images in Multimedia Systems
1997-07-03
Conditional Independence
1998-08-07
A. P. Dawid
A Contribution to Refinement of Logic Programs
1994-07-06
Modeling and Estimation of Single Evoked Brain Potential Components
1997-03-30
Carl A. Waldspurger
1996-11-04
Carl A. Waldspurger
Interval Censored Survival Data: A Review of Recent Progress
1996-07-23
Fast Parallel Tree Codes for Gravitational and Fluid Dynamical N-Body Problems
1994-04-21
Correlations between Zeros of a Random Polynomial
1997-04-26
Pavel Bleher
Numerical Methods for Asymptotically Minimax Non-parametric Function Estimation with Positivity Constraints I
1998-09-17
Interface, Surface Tension And Reentrant Pinning Transition In The 2d Ising Model
1998-11-26
C. -e. Pfister
Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields
1997-04-26
Jan Philip Solovej
Employing Region Features for Searching an Image Database
1997-09-30
Chapter 5 Cyclostationary Statistics 5.1. Cyclostationary Processes
1999-01-19
Cyclostationary Processes
Using Tracing and Dynamic Slicing to Tune Compilers
1993-09-07
Categorization in a Real-World Agent Using Haptic Exploration and Active Perception
1999-01-12
Kit: A Study in Operating System Verification
1994-10-21
William R. Bevier
Bootstrapping Likelihood for Model Selection with Small Samples
1999-01-21
Wei Pan
Suboptimal Control Of Rigid Body Motion With A Quadratic Cost
1998-09-01
Computational complexity reduction for BN2O networks using similarity of states
1997-09-02
Realisation and Implementation of a Sigma-Delta Bitstream FIR filter
1998-04-29
Computational Semiotics and Fuzzy Linguistics
1998-05-04
Burghard B. Rieger
Program Analysis and Tuning Tools for a Parallel Object Oriented Language: An Experiment with the TAU System.
1995-01-06
Object Allocation in Distributed Databases and Mobile Computers
1995-05-16
Scheduling Issues in the Co-Synthesis of Reactive Real-Time Systems
1994-09-13
A Review of Robert Pirsig's
1995-09-30
Nucleon-Nucleon And Pion-Nucleon Potentials From Phase Shifts Using Quantum Inversion
1998-05-23
Approximation and Comparison for Non-Smooth Anisotropic Motion By Mean Curvature in . . .
1998-12-21
Calculation Of Particle Production By Nambu Goldstone Bosons With Application To Inflation Reheating And Baryogenesis
1998-05-23
Alexandre Dolgov
D. Alekseevsky J. Grabowski G. Marmo P. W. Michor
1998-12-03
MUDs - Serious Research Tool or Just Another Game
1999-05-06
Lawrie Brown
Handling Unanticipated Events in Single and Multiple AUV Systems
1998-09-12
Nonlinear Modelling of Marine Vehicles in 6 Degrees of Freedom
1995-03-07
On Composite Stability of Time-Varying Discrete Interval Systems
1997-06-06
Fast Multipole Method Solution Of Combined Field Integral Equation
1997-07-25
Fusing The Coordinates Of Quantum Superspace
1997-03-12
MarketSpace'96 - an Open Agent-Based Market Infrastructure
1997-06-04
Multitolerant Barrier Synchronization
1997-09-15
Knowledge Extraction from Reinforcement Learning
1999-05-10
Ron Sun
Equational Semantics
1999-03-24
On the Implementation of a Portable, Client-Server Based MPI-IO Interface
1998-07-06
Formalizing Reasoning About Change: A Qualitative Reasoning Approach
1996-11-08
A Revisionist Approach to Process Change
1996-08-12
Dennis Heimbigner
A General Duality Principle for the Sum of Two Operators
1996-06-24
H. Attouch
Dmitri Diakonov
1998-11-11
Dmitri Diakonov
A New Presumed Commit Optimization for Two Phase Commit
1995-11-11
On the Relationship between Combinatorial and LP-Based Approaches to NP-hard Scheduling Problems
1997-12-02
Search for a new light gauge boson with the Crystal Barrel Detector
1994-09-02
F Ould-saada
Experience with Modularity in Consul
1992-12-29
Parallel Functional Programming
1993-12-08
Wolfgang Schreiner
Automatic Generation of Hexahedral Finite Element Meshes
1997-12-14
R. Schneiders
Experiments with a Real Parallel Attribute Evaluator
1997-08-25
MUSICFX: An Arbiter of Group Preferences
1998-07-29
Joseph F. Mccarthy
Increasing Constraint Propagation by Redundant Modeling: an Experience Report
1999-03-17
Robustness Principles for Public Key Protocols
1999-01-15
Seven Desirable Properties For Artificial Learning Systems
1997-09-12
A Combined Unifrontal/multifrontal Method for Unsymmetric Sparse Matrices
1997-09-23
Computing Lower Bounds on Functional Units Before Scheduling
1997-01-15
Modeling User Subjectivity in Image Libraries
1996-06-01
List of Figures
1995-05-22
Estimation of Nominal Direction of Arrival and Angular Spread Using an Array of Sensors
1994-10-19
Electronic Implementation of an Analog Attractor Neural Network With Stochastic Learning
1996-01-15
Learning Cooperative Procedures
1998-06-09
An Authentication Service for Open Network Systems
1998-07-18
A Formal Basis for Structured Multimedia Collaborations
1995-03-14
Efficient Predicate Dispatching
1998-12-31
Multicast Extensions to OSPF
1994-03-23
Integration Of A Submarine Into Npsnet
1995-10-27
Representational Issues in Machine Learning of User Profiles
1996-02-16
The eigenvalues of the Laplacian for the homology of the Lie algebra corresponding to a poset
1996-04-10
Iztok Hozo
A Global Object Model for Accommodating Instance Heterogeneities
1998-08-11
Advances in Large Margin Classifiers
1999-03-15
Large-Scale Parallel Geophysical Algorithms in Java: A Feasibility Study
1999-01-05
Inverse Measures, the Inversion Formula, and Discontinuous Multifractals
1970-01-01
Interactive Resource Allocation by Problem Decomposition and Temporal Abstractions
1994-02-01
Emmanuel Dupoux
1996-03-08
Can We Tell apart Intonation from Prosody if we Look at Accents and Boundaries?
1998-03-03
Oversearching and Layered Search in Empirical Learning
1995-05-19
Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach
1996-07-20
From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog
1998-07-22
Software for Interactive Statistical Graphics - a Review
1997-01-16
Optimal Convolution Sor Acceleration Of Waveform Relaxation With Application To Semiconductor Device Simulation
1995-06-13
Mark Reichelt
Impedance Matrix Compression Using Wavelet Expansions
1997-03-30
Fast Multiplication on Elliptic Curves over Small Fields of Characteristic Two
1997-07-14
Performance Of Low-Cost Ultrasparc Multiprocessors Connected By Sci
1997-01-30
The Power of Friction: Quantifying the "Goodness" of Frictional Grasps
1997-02-08
Finding Regions for Local Repair in Partial CSP Solutions
1997-10-14
Harald Meyer Auf'm Hofe
Beyond PVM 3.4: What We've Learned, What's Next, and Why
1998-06-08
A Comparative Study of Query and Document Translation for Cross-Language Information Retrieval
1998-11-23
Douglas W. Oard
Enumeration and Criteria for Cyclically Shift-Distinct GMW Sequences
1999-04-30
Chapter 4 Subband Transforms
1996-03-18
L E C T R O N I C
1998-05-29
Type Dependencies for Logic Programs Using ACI-Unification
1997-01-22
Structured Interviews on the Object-Oriented Paradigm
1995-05-16
An evaluation of Penny: a system for fine-grain implicit parallelism
1997-04-27
Scalable Performance Scheduling for Hardware-Software Cosynthesis
1997-06-18
Unknown
1992-04-20
How to prevent cheating in Pinch's scheme
1998-07-24
On the Transformation between Direct and Continuation Semantics
1996-03-11
Modeling Those F-Conditions -- Or Not
1997-04-14
Exact Identification of Read-once Formulas Using Fixed Points of Amplification Functions
1996-10-04
Fine-grain Access Control for Distributed Shared Memory
1996-04-02
LITHIUM DOPING OF FULLERENE: Li
1999-01-15
Postponing the Evaluation of Attributes with a High Number of Boundary Points
1998-07-20
Tapio Elomaa
Computer Music Workstations I Have Known and Loved
1995-12-02
Stephen Travis Pope
Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks
1995-06-19
Hilbert R-tree: An improved R-tree using fractals
1994-02-23
Absence of Debye Screening in the Quantum Coulomb System
1997-04-26
The Application of Circular Statistics to Specific Radar Pulse Train Detection
1996-12-06
A new a-posteriori error estimator in adaptive direct boundary element methods. Part I: The Dirichlet problem
1998-10-30
Strong Tractability of Weighted Tensor Products
1996-05-20
Henryk Wo Zniakowski
Linear vs. Branching Time: A Complexity-Theoretic Perspective
1998-05-08
Moshe Y. Vardi
The Deterministic Genetic Algorithm: Implementation Details and Some Results
1999-04-04
Ralf Salomon
A Fast Adaptive Convex Hull Algorithm on Two-Dimensional Processor Arrays with a Reconfigurable Bus System
1997-02-12
Enabling Technology for Distributed Multimedia Applications
1997-06-04
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs
1970-01-01
James C. Corbett
Tracking and Understanding Temporal Descriptions in Dialogue
1998-10-19
A Parallel Raycast Algorithm Of Csg Models On Cm2
1993-10-22
Piero Pili
Simplification of Objects Rendered by Polygonal Approximations
1995-10-27
: A Writer Independent, Large Vocabulary On-Line Cursive Handwriting Recognition System
1995-09-28
A Framework For Dynamic Redefinition Of The Genetic Algorithm
1999-03-01
Improvement of an Algorithm for Planning and Generating Anaphora
1996-03-18
Automatic Acquisition of Hierarchical, Textured 3D Geometric Models of Urban Environments: Project Plan
1997-03-18
Seth Teller
Generalization And Maximum Likelihood From Small Data Sets
1997-01-15
William Byrne
A Feature Map Approach to Real-Time 3-D Object Pose Estimation from Single 2-D Perspective Views
1997-09-04
Computation Structures Group Progress Report 1990-91
1970-01-01
The Power Function as a Performance and Comparison Measure for ATM Switches
1999-01-02
An Open Framework for Cooperative Problem Solving
1995-02-09
Universal Mosaicing using Pipe Projection
1997-07-27
Proving in Zero-Knowledge that a Number is the Product of Two Safe Primes
1999-03-12
Oscillation Theorems For Neutral Differential Equations With The Quasi ---- Derivatives
1995-11-20
Transfer of boundary conditions for DAEs of index 1
1995-04-26
Katalin Balla
Necessary and Sufficient Conditions for Deadlock-free Networks
1997-12-11
Faster Monte Carlo Simulations Using MMX
1998-10-16
Eigenvalues and Expansion of Regular Graphs
1997-02-27
Nabil Kahale
On the Epipolar Geometry in Stereo Vision
1997-06-05
Ebroul Izquierdo M
Classifying Facial Action
1996-01-18
Stably Non-Synchronizable Maps Of The Plane
1997-02-18
Speaking of Mathematics
1996-02-10
Brian Hayes
Neural Networks for Blind Decorrelation of Signals
1998-07-28
Deciding in Partitionable Networks
1995-11-15
Bound States of Black Holes and Other P-branes
1998-05-11
M. J. Duff
State Generation and Automated Class Testing: a Case Study
1999-03-29
Program Verification for Optimized Byte Copy
1994-08-02
Edoardo S. Biagioni
Learning Models for Robot Navigation
1998-12-17
Hagit Shatkay
Representing and Executing Real-Time Systems
1998-07-21
Rafael Ramirez
Experiments with Real-Time Servers in Real-Time Mach
1994-10-10
A Tractable Query Cache By Approximation
1999-04-06
Low-Cost Feedback-Insensitive DFB Laser/ Electroabsorption Modulator Package
1997-03-11
Note Counterexample to the Frankl/Pach conjecture for uniform, dense families
1999-04-21
Human Emotion Recognition from Motion Using a Radial Basis Function Network Architecture
1995-02-15
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs
1999-03-23
Intermittency For Coherent And Incoherent Current Ensemble Model
1998-05-25
B. Ziaja
Separation At Infinity And The Lojasiewicz Exponent Of Polynomial Mappings
1997-07-12
Ewa Cygan
Task Allocation Via Coalition Formation Among Autonomous Agents
1996-08-18
Computer Science Coregistering 3D Models, Range, and Optical Imagery Using Least-Median Squares Fitting
1996-03-01
Tioga: Providing Data Management Support for Scientific Visualization Applications
1998-04-20
The Sequoia 2000 Storage Benchmark
1993-06-30
A Weight-Size Trade-Off for Circuits with MOD m Gates
1995-08-17
Vince Grolmusz
A Rule-based Algorithm for Rigid E-unification
1997-04-17
Jean Goubault
Hadronic Vacuum Polarization and the Muon Anomalous Magnetic Moment 2.
1996-03-25
Functional Differentiation of Computer Programs
1998-07-09
Jerzy Karczmarczuk
Dynamic Plasticity Models
1997-02-10
Modeling the Student with Reinforcement Learning
1997-05-21
Joseph Beck
Computation Models and Function Algebras
1998-07-14
P. Clote
Tracking With an
1997-10-14
Babak Hassibi
Semi-Structured Information: A Modal Logic Approach
1997-08-29
Natasha Alechina
Steiner Points in the Space of Genome Rearrangements
1998-07-09
Ron Avnur, Joseph M. Hellerstein, Bruce Lo, Chris Olston, Bhaskaran Raman, Vijayshankar Raman, Tali Roth, and Kirk Wylie
1998-08-12
Elisabetta Marcelli
1997-04-26
A General Framework for Iteration-Reordering Loop Transformations Technical Summary
1996-08-16
Approximation Error Bounds That Use Vc-Bounds
1998-08-31
Federico Girosi
Improved Methods for Finding Association Rules
1995-02-06
Wavelet-Based Transformations for Nonlinear Signal Processing
1998-04-09
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects
1999-01-11
Marina Lenisa
Fault-Tolerant Execution of Computationally and Storage Intensive Parallel Programs Over A Network Of Workstations: A Case Study
1997-04-14
Implementing
1995-12-21
Nonlinearity Detection For Condition Monitoring Using Higher-Order Statistics
1997-02-26
The Asymptotic Mean Squared Error Of L-Smoothing Splines
1997-10-07
Felix P. Abramovich
Using Linguistic Tools and Resources in Cross-Language Retrieval
1997-04-29
Non Local Effects in Window Type Josephson Junctions.
1998-05-12
Highly Parallel Evolutionary Algorithms For Global Optimization, Symbolic Inference And Non-Linear Regression
1996-04-30
Exploration of Text Collections with Hierarchical Feature Maps
1999-01-11
Dieter Merkl
Efficient Parallel Algorithms for Two Graph Layout Problems
1992-06-20
Xin He
Finding Galaxy Clusters at
1970-01-01
Extremal Traffic and Worst-Case Performance for Queues with Shaped Arrivals
1999-03-20
A Fast Partial Parse of Natural Language Sentences Using a Connectionist Method
1997-09-02
On Bias Plus Variance
1995-09-01
David H. Wolpert
- A Constructive Neural Network Learning Algorithm for Multi-Category Pattern Classification
1997-05-07
Incorporation of Fuzzy Bases into PFHOSS Simulation Models
1998-02-05
Usability Analysis of Visual Programming Environments
1994-11-10
Object-Oriented Real-Time Systems Using a Hybrid Distributed Model of Ada 95's Built-in DSA Capability Distributed Systems Annex-E and CORBA
1997-02-12
Implementing Cooperative Prefetching and Caching in a Globally-Managed Memory System
1998-03-23
A Direct PRSQP Method for Path Planning of Satellite Mounted Robots
1996-07-03
Schulz V. H
Computing Probability Lower and Upper Bounds for
1998-06-04
On the relations between Intelligent Backtracking and Failure-driven Explanation Based Learning in Constraint Satisfaction and Planning
1997-06-18
Subbarao Kambhampati
Ode Models For The Parachute Problem
1996-12-14
Douglas B. Meade
Application of Wireless Communication in Robotics
1997-02-05
Object-Oriented Design of Dynamic Graphics Applications
1996-08-09
A Comparative Evaluation of Combiner and Stacked Generalization
1996-05-29
Bayesian Network Classifiers
1999-02-11
Atmosphere and Ocean Circulation Simulation on Massively Parallel Computers
1995-03-22
Lex Wolters
On Stability of C*-algebras
1997-08-26
Fuzzy Matrices: An Application In Agriculture
1998-05-11
Telescript Language Reference
1996-01-04
Quality patterns --- An approach to packaging software engineering experience
1998-07-27
Preserving Symmetry in Preconditioned Krylov Subspace Methods
1998-03-03
Ordered Sos Rules And Weak Bisimulation
1998-09-28
Iain Phillips
CDL: A Component Description Language
1999-03-10
Joseph R. Kiniry
PKCS 1: RSA Encryption Standard
1993-03-23
Speeding-up Logic Programs by Combining EBG and FOIL
1992-06-01
A Fold for All Seasons
1999-01-24
Wavelet Transforms Via Lifting.
1998-12-23
Uniprocessor Garbage Collection Techniques
1997-09-19
Paul R. Wilson
Steering Traffic Networks
1994-06-17
Yoshitaka Kuwata
The Interactive Systems Labs View4you Video Indexing System
1998-09-21
Optimal Lampton kernel size
1996-09-13
James Theiler
Analysis of a Three-Dimensional Point Pattern with Replication
1994-12-04
Simulation of cortex-like neural networks on a CNAPS SIMD neurocomputer
1998-03-23
WALDMEISTER: Development of a High Performance Completion-Based Theorem Prover
1998-07-06
Coleman-Weinberg Symmetry Breaking in a Bianchi I Universe
1996-01-18
Andrew L. Berkin
Rule Based Specification of Information Systems
1999-03-12
Script-Based Inference and Memory Retrieval in Subsymbolic Story Processing
1994-03-07
Risto Miikkulainen
Compact Recognizers of Episode Sequences
1998-02-19
Rectifiable Diameters Of The Grassmann Spaces Of Certain Von Neumann Algebras And C*-Algebras
1997-04-29
Shuang Zhang
Operationalisation Of Kads Models By Using Conceptual Graph Modules
1997-07-31
Jens-uwe Moeller
On Multi-Arm Manipulation Planning
1996-12-22
: Providing Data Management Support for Scientific Visualization Applications
1995-06-04
Parallel Simulation of Subsonic Fluid Dynamics on a Cluster of Workstations
1995-01-09
Panayotis A. Skordos
DOF path planning in dynamic environments -- A parallel on-line approach
1998-06-17
The Range Test: A Dependence Test for Symbolic, Non-linear Expressions
1970-01-01
On the Classical
1998-05-23
Pulsed Noise - Based Stochastic Optimization with the Hopfield Model
1997-05-10
Jacek Mandziuk
Buffer Management in Multimedia Database Systems
1996-01-08
Waterfall - A Particle System Animation
1994-06-09
Alex Heng-keong Wong
Stream Sockets on SHRIMP
1996-10-15
A Standard Approach for Optimizing Belief Network Inference using Query DAGs
1997-11-06
Transportation Applications of Artificial Intelligence Extended
1994-03-12
ParSODES: A Parallel Stiff ODE Solver - Version 1.0 User's Guide
1996-06-18
Claus Bendtsen
Optimum Segmentation of Medical Images with Hopfield Neural Networks
1995-10-26
University of Sheffield: Description of the LaSIE-II System As Used for MUC-7
1998-11-11
Analysis of the Equality Relations for the Program Terms
1996-12-21
Efficient Simulation of Formal Processor Models
1998-10-02
Massively Parallel Implementation Of The Penn State/ncar Mesoscale Model
1992-12-09
Extensions of Block-Projections Methods With Relaxation Parameters to Inconsistent and Rank-Deficient Least-Squares Problems
1996-10-24
Constantin Popa
Optimizing C++ Code for Explicit Finite Difference Schemes
1998-06-22
An Iterative Strategy for Language Learning
1999-03-22
Bruce Tesar
Logic Programming and Knowledge Representation
1970-01-01
A Two-Stage Evolutionary Process for Designing TSK Fuzzy Rule-Based Systems
1997-06-03
A Characterization of the Simple Failure Biasing Method for Simulations of Highly Reliable Markovian Systems
1998-09-01
Marvin K. Nakayama
Learning Goal Oriented Bayesian Networks for Telecommunications Risk Management
1996-04-09
A Proposal for User Level Sparse BLAS
1992-12-01
Multigrid On The Interface For Mortar Mixed Finite Element Methods For Elliptic Problems
1998-08-07
Efficacité et Simplicité dans les Algorithmes Distribués Auto-Stabilisants de Parcours en Profondeur de Jeton
1998-05-24
Trains 93 Dialogues
1995-09-14
Learning Fallible Deterministic Finite Automata
1997-09-28
Dana Ron
On Fixpoint Objects and Gluing Constructions
1997-04-21
Roy L. Crole
Let's Browse: A Collaborative Web Browsing Agent
1999-02-15
Pathological Behavior of Renormalization-Group Maps at High Fields and Above the Transition Temperature
1997-04-26
Planning as Refinement Search: A unified framework for comparative analysis of Search Space Size and Performance
1993-09-26
Subbarao Kambhampati
Multi-scale Adaptive Segmentation using Edge and Region Based Attributes
1996-02-06
Lightweight Transactions on Networks of Workstations
1998-04-14
Constructions of an MT-MFSK multiplexing technique for radio communications with bursty traffic
1999-01-30
Template-Driven Interfaces for Numerical Subroutines
1994-04-26
Justin A. Boyan
1999-04-19
Justin A. Boyan
Efficient Implementation of Deformable Filter Banks
1999-01-22
Internet Mobility 4x4
1996-12-17
Amplification Of Vacuum Fluctuations In String Cosmology Backgrounds
1995-11-24
M. Gasperini
Discriminative Analysis of the Conformational Patterns of Protein Amino Acid Residues
1995-02-09
Contextually Appropriate Anaphor and Pronoun Generation
1997-11-18
Logicality of Conditional Rewrite Systems
1999-03-16
Characterization of ADCs Using a Non-Iterative Procedure
1997-04-12
The Social Life of Automata
1999-02-01
Ulf Dieckmann
Analyzing the Formation of Structure in High-Dimensional Self-Organizing Maps Reveals Differences to Feature Map Models
1996-08-30
A Model-Based System for Localization and Tracking
1997-01-29
A Low-Cost Pose-Measuring System for Robot Calibration
1996-05-22
Ground Plane Obstacle Detection with a Stereo Vision System
1995-05-26
Parallel Number Theoretical Numerics for Solving s-dimensional Integral Equations of the Convolution Type
1994-09-22
Markus Salchegger Salzburg
A Repository for a CARE Environment
1993-08-24
Toni A. Bunter
Regularity of BPA-Systems is Decidable
1999-01-28
Using Dia-MoLE For Unsupervised Learning Of Domain-Specific Dialogue Acts From Spontaneous Language
1997-07-31
Task Dependence and Termination in Ada
1994-02-28
Laura K. Dillon
Optimal Sampling for Genetic Algorithms
1996-08-29
t/n--1-VP Approach to Fault-Tolerant Software
1997-06-27
Arc Consistency and Quasigroup Completion
1998-09-28
Copyright C
1996-07-12
-----Begin Pgp Signed Message-----
1997-12-01
David Chaum
An Acknowledgment Bucket Scheme for Regulating TCP Flow over ATM
1997-11-09
Kai-yeung Siu
Finite Growth Models and the Learning of Edit Distance Costs
1996-08-11
Detecting Parallelism in C Programs with Recursive Data Structures
1998-02-10
A Remark on the Decay of Superconducting Correlations in One and Two Dimensional Hubbard Models
1997-04-26
Nicolas Macris
Mechanical Design of a Binocular Vision System for a Modular Robot
1998-12-03
Oliver Mertschat
An Online Algorithm To Optimize File Layout In A Dynamic Environment
1996-04-15
Hierarchical Region Based Stereo Matching
1995-02-14
Using PI/OT to Support Complex Parallel I/O
1999-01-14
Representing Control
1998-12-04
TextTiling: A Quantitative Approach to Discourse Segmentation
1993-04-09
Marti A. Hearst
Visualizing and Querying Distributed Event Traces with Hy
1994-06-30
Reconfigurable Custom Computing as a Supercomputer Replacement
1997-10-21
George J. Milne
A Tighter Constraint On Post-Newtonian Gravity Using Millisecond Pulsars
1998-05-14
J. F. Bell
Departmental Styles for L
1996-02-07
Lawrence A. Crowl
God Save the Red Queen! Competition in Co-Evolutionary Robotics
1997-03-13
Faster Algorithms for Some Geometric Graph Problems in Higher Dimensions
1995-02-22
A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming
1997-05-29
Keehang Kwon
A Survey of Evolution Strategies
1994-09-06
A Fuzzy Synchronization Algorithm for Bimodal Speech Signals
1998-06-09
V. Pahor
A Performance Evaluation of Hyper Text Transfer Protocols
1998-10-27
The Swendsen-Wang process does not always mix rapidly
1996-11-11
Beyond Private Networks: Impact of PNNI on Broadband Networking and Services
1997-02-18
Unknown
1996-09-30
An Inference Mechanism for the Compilation of Interactive Array Languages
1994-11-11
The Acquisition and Use of Interaction Behaviour Models
1997-11-26
Monopole Excitations of Baryons in the Nambu--Jona--Lasinio Soliton Model
1998-05-13
Program Timing Analysis
1994-09-08
Roderick Chapman
Run-Time Reconfiguration: A Method for Enhancing the Functional Density of SRAM-based FPGAs
1996-04-13
Alerting in a Digital Library Environment Do Channels Meet the Requirements?
1999-02-18
Variable Sets and Functions Framework for Conceptual Modeling: Integrating ER and OO via Sketches with Dynamic Markers
1995-09-25
Optimization of Operations Resources via Discrete Event Simulation Modeling
1996-10-24
Network Equilibrium Problems With Vector Costs And Nonlinear Scalarization Methods
1996-07-02
Yukawa Textures and Anomalies
1998-05-23
Pierre Bin Etruy
Users' Guide for the Harwell-Boeing Sparse Matrix Collection Release I
1997-01-24
Symmetry Breaking for Suffix Tree Construction
1997-07-08
Suleyman Cenk S
Encoding Transition Systems in Sequent Calculus: Preliminary Report
1970-01-01
Yes, But Why is That Plan Better?
1995-08-14
Representing and Enumerating Edge Connectivity Cuts in
1997-09-14
Software Process Modeling and Evolution in EPOS
1996-02-12
Formally Verified Building Blocks in Functional Logic Diagrams for Emergency Shutdown System Design
1997-04-21
The Macromolecular Crystallographic Information File mmCIF
1997-10-01
Syntax-Directed Construction of Program Dependence Graphs
1996-05-27
Eigenstructure Assignment In Reconfigurable Control Systems
1996-11-13
Self-Initializing Memory Elements
1970-01-01
Space-Time Random Walk For Stochastic Differential Equations In A Bounded Domain
1997-11-19
Detection of Edges in Spectral Data
1998-01-23
Generating Necklaces
1998-08-31
A characterization of 3-local geometry of M24
1999-04-08
Crown Modelling To Find Tree Top Positions In Aerial Photographs
1997-04-15
Morten Larsen
Determination Of End Points And Length Of A Straight Line Using The Hough Transform
1999-01-24
On the Propagation of Hydrodynamic Interactions
1996-11-05
Virtual Realms: An Efficient Implementation Strategy for Finite Resolution Spatial Data Types
1998-12-03
Stochastic Analysis of Mobile Telephony Networks
1997-06-13
Corrado Priami
The Comparative Linguistics of Knowledge Representation
1996-05-14
Calton Pu, Tito Autrey, Andrew Black, Charles Consel
1995-11-09
Finding Pictures of Objects in Large Collections of Images
1996-06-27
On being a teammate: Experiences acquired in the design of RoboCup teams.
1999-01-20
An adaptive finite element semi-Lagrangian advection scheme and its parallelization
1997-10-24
On Discrete and Hybrid Representation of Hybrid Systems
1994-09-14
Design and Analysis Tools for Concurrent Blackboard Systems
1995-03-10
John W. Mcmanus
A Note on Dual Superconductivity and Confinement.
1998-07-22
Keywords:
1997-04-17
Chris Olston, Allison Woodruff, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker
1998-08-12
Disequilibrium Likelihoods for Fine-Scale Mapping of a Rare Allele
1998-05-01
Jinko Graham
Quantifier Elimination for Neocompact Sets
1997-09-10
H. Jerome Keisler
Large Time Behavior of Solutions of a Fast Diffusion Equation with Source
1997-01-13
Jong-shenq Guo
MediCAL - Medical Education by Dynamic Simulation and Interactive Computer Aided Learning
1996-10-30
Jutta Becker
Unknown
1997-04-16
Experimenting with Temporal Relational Databases
1995-06-26
Evaluating word reading models at the item level: Matching the grain of theory and data
1998-01-29
GLUnix: a Global Layer Unix for a Network of Workstations
1997-08-19
Optimal Schedules for Parallel Prefix Computation with Bounded Resources
1996-06-05
Towards Extremely Fast Context Switching in a Block-Multithreaded Processor
1998-03-02
Theo Ungerer
Nested Networks For Robot Control
1995-01-13
A Self-Organizing Network That Can Follow Non-Stationary Distributions
1998-11-20
Bernd Fritzke
Intelligent Component Retrieval for Software Reuse
1995-02-03
Diagonalization in Reduced Hilbert Spaces using a Systematically Improved Basis
1997-07-22
The TameSymbol and Autoduality of the Jacobian
1997-09-15
Richard Crew
Constant Density Visualizations of Non-uniform Distributions of Data
1998-09-04
TCP/ATM Experiences in the MAGIC Testbed
1994-09-08
BER Performance of OFDM System in Frequency-Selective Rician Fading with Diversity Reception
1998-10-23
An Algorithm For Group Formation In An Amorphous Computer
1998-11-03
Flexible smoothing with B-splines and penalties
1996-05-17
New Lower Bounds for Element Distinctness on a One-tape Turing Machine
1999-03-16
Bounding Convergence Time of the Gibbs Sampler in Bayesian Image Restoration
1998-05-13
Alison Gibbs
Global Level Spacings Distribution for Large Random Matrices from Classical Compact Groups: Gaussian Fluctuations
1997-04-26
Alexander Soshnikov
Decidable Bounded Quantification
1998-07-26
Benjamin C. Pierce
HYDRA-MM: Learning Multiple Descriptions to Improve Classification Accuracy
1995-06-07
BRAINN: AConnectionist Approach to Symbolic Reasoning
1999-01-07
Embeddings Of Gromov Hyperbolic Spaces
1998-12-30
The PerDiS FS: A Transactional File System for a Distributed Persistent Store
1998-09-29
Fast motion planning by parallel processing - A review
1997-10-01
Dominik Henrich
Incremental Polynomial Model-Controller Network: a self organising non-linear controller
1998-09-24
Higher-Order Rigid E-Unification
1997-04-17
Jean Goubault
Can Terminological Consistency be Validated Automatically?
1997-10-17
Elliott Macklovitch
Proposal Of A Sorting Experiment At The Cern Sps
1996-06-10
E. Todesco Infn-bologna
Greedy Randomized Adaptive Search Procedures For The Steiner Problem In Graphs
1998-07-01
Training Algorithms for Linear Text Classifiers
1996-05-15
Wavelets in Statistics: Beyond the Standard Assumptions
1998-11-30
Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping
1997-10-17
Exploiting Case-Based Independence for Approximating Marginal Probabilities
1996-04-09
The Comandos Supported Programming Languages
1994-06-16
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets
1998-10-06
Probabilistic Lossy Channel Systems
1996-08-13
On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs
1997-09-11
MPI for Windows NT: Two Generations of Implementations and Experience with the Message Passing Interface for Clusters and SMP Environments
1998-05-27
An Analytical Model for Designing Memory Hierarchies
1997-09-02
Interprocedural Analysis Based on PDAs
1997-09-19
Ten Questions and One Problem on Fuzzy Logic.
1998-05-12
Multimedia Communication in Cellular PACS Network
1997-07-24
New Results on Output-Feedback Variable Structure Model-Reference Adaptive Control: Design and Stability Analysis
1997-03-25
Assembly Partitioning along Simple Paths: the Case of Multiple Translations
1995-02-23
Mesh Optimization
1994-08-01
Software Architecture: An Executive Overview
1996-09-24
Monte Carlo Methods for Equilibrium and Nonequilibrium Problems in Interfacial Electrochemistry
1998-05-12
Research Issues in Workflow Systems
1995-10-12
Design of heterogeneous ICs for mobile and personal communication systems
1998-08-25
On the Automatic Parallelization of the Perfect Benchmarks
1970-01-01
Home Page Product Guide Product Showcase Comparisons Deployment Support Download Trial Community News Developers Partners More BackOffice Products
1998-09-17
More Backoffice
Improved Depth Lower Bounds for Small Distance Connectivity
1996-09-02
Why GAs are Hard to Use
1999-02-07
Market Volatility And Feedback Effects From Dynamic Hedging
1999-03-23
A Formal View of Social Dependence Networks
1996-06-28
Antihomogeneous Conjugacy Operators in Convex Analysis
1995-10-27
Alexander Rubinov
Three-Dimensional Widgets
1993-06-08
Linearly Distributive Functors
1999-02-08
Interval Logics and Their Decision Procedures
1996-03-12
Active Testing for Tracking Roads in Satellite Images
1996-06-26
Bruno Jedynak
"Ko Tok Ples Ensin bilong Tok Pisin" or the TP-CLE: A first report from a pilot speech-to-speech translation project from Swedish to Tok Pisin
1998-09-09
Robert Eklund
in the Subject line: On Digital's EASYnet: CRL::TECHREPORTS On the Internet: techreports@crl.dec.com
1997-09-03
A Temporal Sequence Processor Based on the Biological Reaction-Diffusion Process
1998-03-05
Supporting a CAD Framework on an Advanced Distributed System
1999-03-01
Two Fundamental Limits on Dataflow Multiprocessing
1994-10-16
Mixing via QCD Sum Rules with Finite Mesonic Widths
1998-05-26
Embedded Coding of 3D Graphic Models
1997-10-31
Empirical Evaluation of the CFP Algorithm
1994-02-01
In H. Altay G
Optimizing the Idle Task and Other MMU Tricks
1999-01-14
Stochastic Automata Networks
1997-07-07
Nonparametric Bayesian Function Estimation With An Application In Plant Ecology
1998-09-28
Using Type and Constructor Classes to Interpret Object Structures
1995-12-13
Query Folding
1998-09-25
Xiaolei Qian
Putting Icons into Con_ Text
1997-09-09
Wolfgang Weck
Programmable Active Memories in real-time tasks: implementing data-driven triggers for LHC experiments
1995-11-22
A Symbolic Dynamics Approach to Volatility Prediction
1998-10-09
Implementation and Evaluation of Parallel Mesa Library
1998-02-02
Wilson's element for the Reissner-Mindlin plate
1996-10-29
Covers of PG3,q and of finite generalized quadrangles
1998-02-11
A Real Object-Oriented Visual Design Language for Distributed Software Systems
1999-04-06
Robust Adaptive Segmentation of Range Images
1997-07-30
Is Primitive Av Coherence An Aid To Segment The Scene?
1998-10-06
On Wirelength Estimations for Row-Based Placement
1998-04-17
How to Program in CCSP
1994-09-19
Exotica/FMQM: A Persistent Message-Based Architecture for Distributed Workflow Management
1995-06-05
Convergence Dynamics of an Adaptive Time Delay Estimator in Multipath Channel
1998-06-19
Submitted to
1998-06-16
D. Heath Jones
Extending A Data Base System With Procedures
1994-02-18
Fast Volume Rendering Using an Efficient, Scalable Parallel Formulation of the Shear-Warp Algorithm
1996-08-15
Detecting and Reacting to Unplanned-for World States
1997-07-29
Beyond Intelligent Vacuum Cleaners
1994-01-16
Don Brutzman
Asynchronous Epoch Managementin Replicated Databases
1996-10-29
A System Of Reaction Diffusion Equations Arising In The Theory Of Reinforced Random Walks
1997-02-05
An Object Model Supporting
1998-05-29
Thomas Kirste
Learning the Structure of Dynamic Probabilistic Networks
1998-02-27
Performance Evaluation of Lossy DPCM Coding of Images Using Different Predictors and Quantizers
1998-10-15
An Integrated Environment for Hidden Markov Models A Scilab Toolbox
1997-02-05
Revision History
1995-06-13
Parallel Algorithms for Higher-Dimensional Convex Hulls
1995-04-06
On Approximating Rectangle Tiling and Packing
1998-05-14
Generalized Quantification as Substructural Logic
1995-10-16
Immobilizing Polygons against a Wall
1997-01-20
PAMAS - Power Aware Multi-Access protocol with Signalling for Ad Hoc Networks
1998-07-16
Algorithms for Dynamic Negotiation
1996-09-15
Force Control Command Synthesis for Assembly using a Discrete Event Framework
1997-01-30
Assignment and Scheduling Communicating Periodic Tasks in Distributed Real-Time Systems
1998-02-25
Possibility and Necessity Integrals
1998-08-26
Three-Dimensional Electromagnetic Inverse Scattering by Local Shape Function Method with CGFFT
1997-07-25
A Transparent Architecture for Agent Based Resource Management
1998-04-23
Wavelets in Time Series Analysis
1999-03-03
Complete Sets and Structure in Subrecursive Classes
1997-05-16
Multicast Feedback Suppression Using Representatives
1996-10-31
Nonparametric Entropy Estimation for Stationary Processes and Random Fields, with Applications to English Text
1998-08-11
A Formal Specification of the Concurrency Control in Real-Time Databases
1999-02-11
Automatically-Extracted Thesauri for Cross-Language IR: When Better is Worse
1998-06-10
Ralf D. Brown
A Second-Generation Analog Wavelet Chip for Speech Compression
1994-04-20
Computational Modeling of Word Reading, Acquired Dyslexia, and Remediation
1998-09-28
David C. Plaut
Projection Operation for Multidimensional Geometric Modeling with Real Functions
1997-03-25
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
1995-05-31
S.p. Brooks
1998-05-27
Extended
1995-03-10
Event Selection
1998-11-11
The Marriage of Effects and Monads
1998-05-10
Philip Wadler
A Sensory Uncertainty Field Model for Unknown and Non-stationary Mobile Robot Environments
1998-10-27
A Language for Conveying the Aliasing Properties of Dynamic, Pointer-Based Data Structures
1999-01-24
Privacy-Enhanced Electronic Mail
1994-05-26
Matt Bishop
Unknown
1994-07-05
Scheduling Aperiodic Tasks in Dynamic Priority Systems
1999-01-07
A Family of Trapdoor Ciphers
1998-09-11
Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer
1998-05-27
Dirk Fuchs
Deductive verification of parameterized fault-tolerant systems: A case study
1997-05-22
The Role of Generic Models in Conceptual Change
1996-04-11
Image Quality and Entropy Masking
1997-03-07
VIP: An FPGA-based Processor for Image Processing and Neural Networks
1995-10-26
Some Results on Top-context-free Tree Languages
1995-03-30
Gnus 5.4.56 Manual
1997-06-08
Lars Magne Ingebrigtsen
Automatic Architecture Design By Likelihood-Based Context Clustering With Crossvalidation
1997-12-10
Ivica Rogina
Approximations, Expansions and Univalued Representations of Multifunctions
1998-08-12
Darinka Dentcheva
A Viscoelastic Higher-Order Beam Finite Element A. R. Johnson
1996-06-10
A. R. Johnson
The INEEL Data Integration Mediation System
1998-12-18
Should Computer Scientists Experiment More? - 16 Excuses to Avoid Experimentation
1999-01-05
Walter F. Tichy
Building Fundamentally Extensible Application-Specific Operating Systems in SPACE
1995-03-24
A Study of Search Directions in Primal-Dual Interior-Point Methods for Semidefinite Programming
1998-12-17
M. J. Todd
Renormalization-Group Study of Weakly First-Order Phase Transitions
1998-11-02
N. Tetradis
New SWIC Scanner/Controller System
1996-01-17
Parlists -- a Generalization of Powerlists
1997-02-06
Jacob Kornerup
Synaptic Noise in Dynamically-driven Recurrent Neural Networks: Convergence and Generalization
1998-09-05
On Approach-Rate Conditions In Unimodal Dynamics.
1997-06-18
Hans Thunberg
Presented at the IMA conference on
1999-01-25
On the Reliability of Electronic Payment Systems
1999-01-15
Quantum Obstruction Theory
1999-03-09
Alternative Membership Function for Sequential Fuzzy Clustering
1996-04-23
An Architecture for Large ModSAF Simulations Using Scalable Parallel Processors
1998-11-03
A Hierarchical Self-Organizing Map Model for Sequence Recognition
1998-05-25
S. Carpinteiro
Image Editing in the Contour Domain
1998-05-08
A 3-level Atomicity Model for Decentralized Workflow Management Systems
1996-10-04
Feasibility of Measuring the Cosmological Constant
1995-03-28
Ariel Goobar
Primordial Helium And
1997-12-11
Dual Affine Quantum Groups
1998-06-25
Fabio Gavarini
Multi-Layer Incremental Induction
1998-07-25
An Integration of Network Communication with Workstation Architecture
1994-08-24
Gregory G. Finn
Low Temperature Phase Diagrams For Quantum Perturbations Of Classical Spin Systems
1998-02-10
New Human-Computer Interaction Techniques
1998-12-13
Robert J. K. Jacob
Part-Based Bayesian Recognition Using Implicit Polynomial Invariants
1996-12-10
Using Temporal Logic to Control Search in a Forward Chaining Planner
1997-05-07
Multiscale Hypothesis Testing With Application To Anomaly Characterization From Tomographic Projections
1997-11-07
Using One-Way Functions for Authentication
1998-09-26
Li Gong
A Stochastic Analogue Of The Vinogradov Mean Value Theorem
1999-04-21
Viewing Stemming as Recall Enhancement
1996-07-16
A Process-Oriented Perspective on Analysing Learner-Environment Interactions in Constructivist Learning
1995-10-30
Classification Of 2-Reflective Hyperbolic Lattices Of Rank 4
1999-04-21
E. Vinberg
Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling
1999-03-29
Scientific Problem Solving in a Distributed and Collaborative Multimedia Environment
1998-05-18
Path Optimization for Graph Partitioning Problems
1998-03-04
Cv
1998-05-17
Tom Costello
Artificial Ecological System For Evolving Computational Procedures
1998-07-22
Shinichiro Yoshii
Multiple-Block Ahead Branch Predictors
1998-07-14
Diffusion Approximation to Study the Flow Synchronization in ATM Networks
1995-10-19
Functional Programing
1996-07-17
Philip Wadler
In-Place Power Optimization for LUT-Based FPGAs
1998-10-08
Managing Trust in an Information-Labeling System
1997-03-02
Decomposing, Transforming and Composing Diagrams: The Joys of Modular Verification
1998-10-19
Multiple Space-Time Scale an...
1998-12-24
Abc-Active Terms in Transfinite Lambda Calculus
1996-07-15
Artificial Boundary Conditions of Absolute Transparency for Two- and Three-Dimensional External Time-Dependent Scattering Problems
1998-07-23
Ivan L. Sofronov
Theories, vol. 4, edited by E. Schachinger,
1996-02-16
Video Rate Shading For Volume Data
1998-05-05
Random--Cluster Representation of the Ashkin--Teller Model
1997-04-26
C. -e. Pfister
Approximation Algorithms For The Fixed-Topology Phylogenetic Number Problem
1997-12-03
Asymptotic First Eigenvalue Estimates For The Biharmonic Operator On A Rectangle
1998-07-21
M. P. Owen
A Taxonomy of Descent Algorithms for Nonlinear Programs and Variational Inequalities
1996-11-27
Michael Patriksson
A Multi-Level-Algorithm For The Solution Of Second Order Elliptic Differential Equations On Sparse Grids
1995-04-11
Christoph Pflaum
Implications of MIME for Internet Mail Gateways
1992-06-11
Group N. Borenstein
Generating The Interface Hierarchy Of A Class Library
1995-02-03
Finding Differential Equations For Symmetric Generalized Ultraspherical Polynomials By Using Inversion Methods
1997-04-04
Correction to "Measurable Quotients Of Unipotent Translations On Homogeneous Spaces"
1996-07-01
Dave Witte
Secured Vocal Access to Telephone Servers
1997-02-04
Building DD to Support Query Processing in Federated Systems
1997-07-30
Multiresolution Document Analysis with Wavelets
1996-11-22
Mark W. Davis
1996-10-11
Mark W. Davis
Large Deviations for One-Dimensional Random Walk in a Random Environment - a Survey
1998-12-02
Secure Software Architectures
1997-07-16
An Opportunity Cost Approach for Job Assignment and Reassignment in a Scalable Computing Cluster
1998-05-04
Lie Theory of Differential Equations and Computer Algebra
1995-08-21
Gunter Czichowski
Some Symmetry Remarks on the Ground State Configurations of the Two Dimensional Bosonic Falicov-Kimball Model
1997-04-26
J. Rodrigo Parreira
Scalable Hardware Priority Queue Architectures for High-Speed Packet Switches
1998-03-19
WebWatcher: Machine Learning and Hypertext
1995-07-10
USC: A Universal Stub Compiler
1994-08-27
Formulae, Algorithms, and Quartic Extrema
1998-11-24
D. J. Jeffrey
Query Processing Issues in Object-Oriented Knowledge Base Systems
1995-02-19
Artificial Boundary Conditions Based On The Difference Potentials Method
1996-08-02
Semyon V. Tsynkov
FEM Eigenmodes As Shape Features
1995-07-14
: An Object Oriented Petri Net Programming Notation A Status Report
1996-10-21
Johan Lilius
TREC-4 Ad-Hoc, Routing Retrieval and Filtering Experiments using PIRCS
1997-09-22
Two-loop QCD Corrections to
1998-05-24
Performance Simulation and Modeling of Numerical Computations on the . . .
1995-04-24
Supporting sets of arbitrary connections on iWarp through communication context switches
1994-04-18
Multiprocessors Should Support Simple Memory Consistency Models
1998-03-30
Mark D. Hill
Distributed AI Technologies for Patient Management
1997-10-02
Fast Timing-based Algorithms
1997-06-17
Combinatorial Complexity of Signed Discs
1993-01-29
Implementation of New Maisie Runtime System
1998-10-20
Efficient Search for Approximate Nearest Neighbor in High Dimensional Spaces
1999-02-03
Interprocedural Array Alignment Analysis
1997-07-18
On-Line Algorithms For Combining Language Models
1998-10-17
Explanation-Based Neural Network Learning for Robot Control
1994-06-04
An Approximate Maximum Likelihood Single Tone Frequency Estimator
1999-01-12
Testing Real-Time Constraints in a Process Algebraic Setting
1997-01-08
Weak Bisimulation and Model Checking for Basic Parallel Processes
1997-03-12
Richard Mayr
Bayesian Analysis of Lunar Laser Ranging Data
1998-06-20
Williamh Jefierys
Homotopy Type of
1997-04-08
Shuichi Tsukuda
A Taxonomy of Distributed Debuggers Based on Execution Replay
1996-08-29
Adaptive Voice/data Networks
1994-07-18
An Iterative Projection Algorithm and Some Simulation Results
1996-02-27
Michael G. Schimek
Increasing the Error Tolerance in Transmission of Vector Quantized Images by Self-Organizing Map
1996-03-05
Jari Kangas
Dynamic Model of Visual Recognition Predicts Neural Response Properties in the Visual Cortex
1996-09-05
Global Cellular Automata
1996-05-16
Karel Culik Ii
PLinda 2.0: A Transactional/Checkpointing Approach to Fault Tolerant Linda
1995-03-02
Learning to Construct Knowledge Bases from the World Wide Web
1999-04-16
Robust Self-Calibration and Euclidean Reconstruction via Affine Approximation
1997-12-10
A Staff Developers' Briefing on the World Wide Web
1996-09-02
Sue Cunningham
Automated Symbolic Timing Analysis for Distributed Systems
1998-05-18
Scott D. Stoller
Analyses of Multiple Evidence Combination
1996-06-25
Joon Ho Lee
Transient Behaviour of Queueing Systems with Correlated Traffic
1997-09-25
Auditory Toolbox
1997-12-19
An Authentication and Security Protocol for Mobile Computing
1996-05-27
Yuliang Zheng
Single and Multiple Frame Video Traffic Prediction Using Neural Network Models
1994-09-10
An Iterative Approach to Computing a Direction of Negative Curvature
1998-03-19
Erik Boman
Graphical Models for Discovering Knowledge
1995-09-21
Wray Buntine
Low-Dimensional Lattices VII: Coordination Sequences
1997-03-28
Wavelet Smoothing of Evolutionary Spectra By Non-Linear Thresholding
1997-08-13
Unresolved Wind-Driven Shells and the Supersonic Velocity Dispersion in Giant HII Regions
1998-05-14
Guillermo Tenorio-tagle
SpeeData: Multilingual Spoken Data Entry
1996-06-27
A Rule-Based System For Region Segmentation Improvement In Stereovision
1995-12-08
NASA Technical Paper 3147
1997-04-28
COBRA: A Hybrid Method for Software Cost Estimation, Benchmarking, and Risk Assessment
1998-03-27
Increasing the Concurrency in Estelle
1998-04-30
J. Bredereke
Cauchy--Szego kernels for Hardy spaces on simple Lie groups
1996-02-06
CatLA -- a System for Automatic Acquisition of Subcategorization Information
1999-03-04
Subcategorization Information
The Multivariable Alexander Polynomial for a Closed Braid
1998-12-14
H. R. Morton
Mathematics and Computer Science Division Argonne National Laboratory, Argonne, IL 60439 USA
1994-11-14
The PARTY Partitioning - Library User Guide -- Version 1.1
1997-11-26
Parallelizing Molecular Dynamics Programs for Distributed Memory Machines: An Application of the Chaos Runtime Support Library
1997-01-27
Loop Pipelining for Scheduling Multi-Dimensional Systems via Rotation
1997-03-19
The Hard Problem: A Quantum Approach.
1998-05-13
KANTRA: Human-Machine Interaction for Intelligent Robots using Natural Language
1994-07-15
Adaptive Greedy Approximations
1995-09-07
Detection of Complex Coincidences Using Coupled Learning Rules
1998-03-23
The Molecular Modeling Toolkit: a case study of a large scientific application in Python
1997-11-02
Konrad Hinsen
Temporal Deductive Databases: Data Manipulation and Consistency
1997-09-24
Beat Wuthrich
Prenucleolus and Nucleolus of a Cooperative Game: Characterizations by Tight Coalitions
1997-06-06
Correctness in System Engineering
1999-02-08
Peter B. Ladkin
A General Multi-User Undo/Redo Model
1998-07-17
From Persistent Objects to Object Transmission in Distributed Systems using Oberon
1997-03-20
Measuring Long-Range Dependence under Changing Traffic Conditions
1999-03-14
WebWatcher: A Learning Apprentice for the World Wide Web
1997-10-31
Clustering ECG Complexes Using Hermite Functions and Self-Organizing Maps
1998-04-13
Holger Wache
1997-07-28
Layered, Server-based Support for Object-Oriented Application Development
1996-05-01
Proof of a Fundamental Result in Self-Similar Traffic Modeling
1997-05-21
Convergence Analysis of Canonical Genetic Algorithms
1994-09-08
Unter Rudolph
SSP Chains:<E-224>Robust, Distributed References<E-279>Supporting Acyclic Garbage Collection
1998-11-20
Inductive Learning With Bct
1992-09-22
Philip K. Chan
Web Prefetching Using Partial Match Prediction
1998-10-02
Themistoklis Palpanas
Asymptotically Minimax Non-Parametric Function Estimation With Positivity Constraints I
1998-09-17
Lubomir Dechevsky
Feeding a Large-scale Physics Application to Python
1997-11-03
Observable Operator Processes and Conditioned Continuation Representations
1997-02-19
Refining Conversational Case Libraries
1997-04-16
ARPACK Users Guide: Solution of Large Scale Eigenvalue Problems by Implicitly Restarted Arnoldi Methods.
1997-02-02
Machine Learning Research: Four Current Directions
1998-12-12
Thomas G. Dietterich
Technical Report No. 98-420 A Case Study in Real--Time Parallel Computation: Correcting Algorithms
1999-01-25
The Effect of Disk Scheduling Schemes on a Video Server for Supporting Quality MPEG Video Accesses
1997-04-28
Approximation Algorithms For Hitting Objects With Straight Lines
1995-09-22
Refael Hassin
Modelling Information Systems as Object Societies
1995-04-26
Generating Efficient Substring Parsers for BRC Grammars
1998-07-10
Martin Ruckert
A Prototype System For Off-Line Signature Verification Using Multilayered Feedforward Neural Networks
1997-07-02
Rasha Abbas B. Eng
Orientation Competition in Cortical Filters - An Application to Face Recognition
1995-02-21
RSRR: A Routing Interface For RSVP
1996-11-28
Answering Queries Using Materialized Views with Disjunctions
1999-01-11
Partial Inverse Heuristic for the Approximate Solution of Non-Linear Equations
1998-07-14
On the Multiple Label Placement Problem
1998-06-30
The Field Theory Limit Of Multiloop String Amplitudes
1997-12-11
Why Cryptosystems Fail
1996-11-15
Ross Anderson
On-Line Hardware Implementation for Complex Exponential and Logarithm
1970-01-01
Start-time Fair Queuing: A Scheduling Algorithm for Integrated Services Packet Switching Networks
1998-06-12
Explicit Rates of Convergence of Stochastically Ordered Markov Chains
1995-10-02
Parallel Transport Protocol Proposal
1998-12-27
Exploring Unknown Environments
1999-03-07
Learning in Neural Networks with partially structured synaptic transitions
1998-03-11
On The Spectra Of Randomly Perturbed Expanding Maps
1997-04-26
--- C.i.m.e. Lecture Notes ---
1999-01-19
Knowledge-Based Formulation of Dynamic Decision Models
1998-08-06
Evolutionary Algorithms for Learning of Mobile Robot Controllers
1997-05-26
A Colored Version of the
1997-08-24
Dieter Hutter
A Hypergraph Framework For Optimal Model-Based Decomposition Of Design Problems
1995-07-14
Electronic Payments of Small Amounts
1997-06-23
Torben P. Pedersen
Average-Case Intractability vs. Worst-Case Intractability
1998-05-20
Lexical Semantics and Knowledge Representation in Multilingual Sentence Generation
1996-07-01
Manfred Stede
Automatically Selecting and Using Primary Effects in Planning: Theory and Experiments
1998-09-10
Delta-Sigma Modulators using Frequency-Modulated Intermediate Values
1996-11-04
Content-Based Software Classification by Self-Organization
1996-01-19
Dieter Merkl
Multicast Server Architectures for MARS-based ATM Multicasting
1996-06-04
On the Complexity of Learning from Drifting Distributions
1996-06-02
The Sentograph: Input Devices and the Communication of Bodily Expression
1995-06-01
'lvwulexwhg,qirupdwlrq5hwulhydoxvlqjd0xowl
1997-06-10
Renormalized Finite Temperature Effective Potential of
1998-05-13
Multi-Contributor Causal Structures for Planning: A Formalization and Evaluation
1997-10-22
Subbarao Kambhampati
Large deviation and self-similarity analysis of graphs: DAX stock prices
1997-03-14
How to Get a Perfectly Random Sample from a Generic Markov Chain and Generate a Random Spanning Tree of a Directed Graph
1999-04-27
David Bruce Wilson
*, Peter Yianilos
1995-05-01
Optimal Multicast with Packetization and Network Interface Support
1997-06-20
Stochastic Functional Differential Equations with Markovian Switching
1998-05-07
Xuerong Mao
STDL A Portable Language for Transaction Processing
1997-09-03
SWAMI: An Autonomous Mobile Robot for Inspection of Nuclear Waste Storage Facilities
1998-06-18
Power Scheduling In A Hydro-Thermal System Under Uncertainty
1998-11-17
Abstracting the Tower of Hanoi
1997-11-27
Craig A. Knoblock
Clustering in Weight Space of Feedforward Nets
1997-06-19
Relative Building-Block Fitness and the Building-Block Hypothesis
1994-10-19
Linear Broadcasting and N log log N Election in Unoriented Hypercubes
1998-09-08
Weakly Coupled States on Branching Graphs
1997-04-26
Pseudorandomness for Network Algorithms
1994-11-02
Singular Values and Doubly Stochastic Matrices
1994-01-06
Elastic Structural Matching for On-line Handwritten Alphanumeric Character Recognition
1998-04-29
On 4-NPAF1, 2w Sequences
1998-07-20
Norm Dependence Of The Coefficient Map On The Window Size
1994-11-07
On the Implementation of a Quality of Service Controlled ATM Based Communications System in Chorus
1994-03-23
Efficient Derivative Codes through Automatic Differentiation and Interface Contraction: An Application in Biostatistics
1997-01-27
On the Generation of 2-Dimensional Index Workloads
1998-10-23
Characteristic Words as Fixed Points of Homomorphisms
1997-12-30
Jeffrey Shallit
NCSC-TG-029 Library No. S-239,954 Version 1
1999-04-30
The Gas Reservoir for present day Galaxies: Damped Lyalpha Absorption Systems
1998-09-25
Stepwise Refinement of Control Software - A Case Study Using RAISE
1995-04-03
Forschungszentrum Informatik Karlsruhe
Fault Tolerant Real-Time Global Scheduling on Multiprocessors
1999-04-26
A Better Approximation Algorithm for Finding Planar Subgraphs
1996-04-10
Secure Spread Spectrum Watermarking for Multimedia
1995-12-04
IRENA: Information Retrieval Engine based on Natural language Analysis
1997-07-07
Decentralized Remapping of Data Parallel Computations with the Generalized Dimension Exchange Method
1994-08-02
Size and Structure of Random Ordered Binary Decision Diagrams
1998-09-22
A Factorial Performance Evaluation for Hierarchical Memory Systems
1999-01-22
Combining Analytical and Similarity-Based CBR
1998-03-20
Performance of the H.263 Video Compression Standard
1996-12-16
Critical Technology: Proc.
1997-12-03
A Canonical Calculus of Residuals
1994-09-20
Yves Bertot
Cross-loop Reuse Analysis and its Application to Cache Optimizations
1996-10-20
DFKI Oz User's Manual
1995-05-19
Matematiqki Vesnik
1996-07-08
System Level Hardware/Software Partitioning Based on Simulated Annealing and Tabu Search
1996-10-22
Application of Backstepping Techniques to the Time-varying Exponential Stabilization of Chained Form Systems
1996-02-21
Matthias Neubert
1998-05-14
Matthias Neubert
Harnessing Preattentive Processes for Multivariate Data Visualization
1999-04-07
R.J. Gaitskell, P.D. Barnes, Jr., A. DaSilva, S.R. Golwala, J. Jochum, R.R. Ross, B. Sadoulet, D. Seitz, T. Shutt, G. Smith, W. Stockwell, R. Therrien, S. White
1998-08-21
An extension of the wreath product principle for finite Mazurkiewicz traces
1998-10-12
Growing 1D and quasi 2D unstable manifolds of maps
1998-02-13
Discriminant Analysis and Eigenspace Partition Tree for Face and Object Recognition from Views
1997-06-27
Jointly Optimal Analysis And Synthesis Filter Banks For Bit Constrained Source Coding
1998-08-12
Tor A. Ramstad
File System Development with Stackable Layers
1997-10-29
Automatic Dynamic Compilation Support for Event Dispatching in Extensible Systems
1996-02-15
Figure 1:
1996-01-20
The Effect of Spot Defects on the Parametric Yield of Long Interconnection Lines
1996-08-06
Large Deviations for Interacting Particle Systems. Applications to Non Linear Filtering
1999-01-19
The Clarke and Michel-Penot subdifferentials of the eigenvalues of a symmetric matrix
1999-01-21
A. S. Lewis
Bootstrap Equalization
1998-06-16
An Attempt to Map the Performance of a Range of Algorithm and Heuristic Combinations
1995-01-20
False Sharing and Spatial Locality in Multiprocessor Caches
1997-02-07
A Quality Of Service Architecture
1994-03-22
An Appearance-Based Approach to Object Recognition in Aerial Images
1995-02-17
Learning Model for Organizational Learning in Coexistent Sub-Groups of Swarm Robots
1997-06-29
Sequential to Parallel Fortran Transformation Assistance Tool
1995-03-02
Piecewise Smooth Surface Reconstruction
1997-04-11
Adaptive Load Balancing Strategies for Solving Irregular Problems on Distributed Memory MIMD Systems
1995-03-07
A Performance Oriented Service Interface for Virtual Private Networks
1999-04-20
Rodney Van Meter
1996-11-12
Rodney Van Meter
Toward Fault-Tolerant Adaptive Real-Time Distributed Systems
1970-01-01
A General Approach to Dual Characterizations of Solvability of Inequality Systems with Applications
1995-10-27
A Simple Uniform Semantics for Concatenation-based Grammar
1996-01-19
Annius V. Groenink
Combination of Compatible Reduction Orderings that are Total on Ground Terms
1997-02-21
Line Spread Functions And Resolution For Ghrs-Lsa Spectra With Costar
1996-05-30
Ronald L. Gilliland
Locating P/poly Optimally in the Extended Low Hierarchy
1998-05-18
Simultaneous Buffer and Wire Sizing for Performance and Power Optimization
1997-04-05
Circuit Simulation Techniques Based on Lanczos-Type Algorithms
1996-11-08
Roland W. Freund
? ? ? ! ? ? ? : Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi
1995-07-24
Hartmut Schlosser
Manfred Salmhofer
1997-04-26
Manfred Salmhofer
Musical Image Compression
1998-04-14
Image Fusion Using Steerable Dyadic Wavelet Transform
1997-07-08
System Identification and Modeling of Primary Electrosensory Afferent Response Dynamics
1993-11-22
Decoupling of Impulsive Differential Equations
1998-12-22
Andrejs Reinfelds
Ornl/tm-12187
1970-01-01
Artificial Evolution and Real Robots
1996-03-25
Inman Harvey
Forward Modeling of Ground Penetrating Radar Data for a Horizontally Layered Earth
1996-12-17
Operating System Support for Protocol Boosters
1996-06-25
Beyond the Combinatorial Limit in Depth Minimization for LUT-Based FPGA Designs
1997-01-13
Multi-rate Traffic Shaping and End-to-End Performance Guarantees in ATM
1998-12-30
A Verified Vista Implementation
1994-08-08
Condor Technical Summary
1992-05-06
Query Processing in the MultiMedia Visual Information Seeking Environment: A Comparative Evaluation
1970-01-01
Higher twist corrections to Bjorken sum rule
1998-05-15
Multi-particle States from the Effective Action for Local Composite Operators: Anharmonic Oscillator
1998-05-25
Subpixel Contour Matching Using Continuous Dynamic Programming
1994-08-11
Marc Berthod
Neural Force Control NFC for Complex Manipulator Tasks
1998-12-10
Evolving Catalytic Reaction Sets using Genetic Algorithms
1998-12-17
GIT-COGSCI-95/XX AWorking Memory Model of a Common Procedural Error Michael D. Byrne Susan Bovair
1997-07-09
A Bibliography of Publications in Communications of the ACM: 1990-1999
1999-03-24
High-Performance Image Analysis and Visualization for Three-dimensional Light Microscopy
1995-10-24
Finding Specified Sections of Arrangements: 2D Results
1998-09-06
Numerical Methods for Nonlinear Filtering
1996-06-09
Bill Triggs
Chaotic time series Part I: Estimation of some invariant properties in state space
1998-10-01
Iterative Methods with Perturbations for Ill-Posed Problems
1997-08-19
Schock E. Dr. Professor
The Service Configurator Framework
1995-05-23
Conformal Field Theory
1970-01-01
A. N. Schellekens
Stochastic Optimization Methods for Fitting Polyclass and Feed-Forward Neural Network Models
1998-08-19
Object-Oriented Programming Without Recursive Types
1996-08-19
Unknown
1998-08-05
A Finite Element Method for an Ill-Posed Problem
1999-04-08
W. Lucht
Non-Local Problem Arising From Heat Radiation On Non-Convex Surfaces
1996-03-25
Supporting Persistent C++ Objects in a Distributed Storage System
1999-03-03
WebPersona: A Life-Like Presentation Agent for the World-Wide Web
1997-05-14
Joint Angle and Delay Estimation Using Shift-Invariance Techniques
1998-05-07
Towards the Equivalence of Breaking the Diffie-Hellman Protocol and Computing Discrete Logarithms
1995-06-21
Ueli M. Maurer
Ioannis K. Argyros
1997-09-26
Ioannis K. Argyros
Double Cobordism, Flag Manifolds And Quantum Doubles
1996-11-05
Daimler Benz Research: System and Experiments
1998-01-14
A Parallel Version of the Unsymmetric Lanczos Algorithm and its Application to QMR
1996-03-28
Development of a Connectionist Network Supercomputer
1996-02-22
Efficient Algorithms for Block-Cyclic Redistribution of Arrays
1998-03-10
The following problem is raised by Erdos and R'ev'esz 5: let
1999-03-13
Universit'e Paris Vi
Essentially Infinite Colourings Of Graphs
1999-02-18
A Duration Calculus with Infinite Intervals
1997-02-28
The Scientific Status of Artificial Life
1999-01-13
Jason Noble
Hybrid Algorithms For Dynamic Schedulability Testing
1994-12-06
Charlie Mcelhone
Designing Equalizers based on Explicit Channel Models of Direct-Sequence Code-Division Multiple Access Systems
1996-02-05
Claes Tidestav
Proof Styles in Multimodal Reasoning
1994-08-29
LaBRI, Universit'e de Bordeaux June 8, 1998 summary by Cyril Banderier 1.
1998-10-15
Universit'e De Bordeaux
DC/RJ - : A Justification Assistant for Duration Calculus
1998-03-04
Xia Yong
Multiparadigm Distributed Computing with TPVM
1996-03-14
Critical Area Computation - A New Approach
1998-06-04
A Comparison of two Gigabit SAN/LAN technologies: Scalable Coherent Interface versus Myrinet
1998-07-23
Polyhedral Tracings and their Convolution
1997-04-30
Local Rigidity Of Hyperbolic 3-Manifolds After DEHN SURGERY
1999-01-08
Kevin P. Scannell
Quickly Excluding
1999-01-08
Dimitrios M. Thilikos
Improved Parallel Algorithms for Finding the Most Vital Edge of A Graph with Respect to Minimum Spanning Tree
1997-08-11
Hong Shen
Exercising Application-Specific Run-time Control Over Clustering of Objects
1995-03-10
Prediction Intervals for Neural Networks Via Nonlinear Regression
1998-10-03
On the Exponential Map of Almost Simple Real Algebraic Groups
1996-02-07
Management of the World Wide Web
1998-05-08
Efficient Wavelength Routing in Trees with Low--Degree Converters
1998-07-13
Lie bialgebras real Cohomology
1997-05-30
An Automatic Hardware-Software Partitioner Based on the Possibilistic Programming.
1997-03-20
Federal Criteria for Information Technology Security - Volume II: Registry of Protection Profiles
1993-02-05
Progress with Persistence in Poly and Poly/ML
1996-03-19
David C. J. Matthews
ENWRICH: A Compute-Processor Write Caching Scheme for Parallel File Systems
1998-12-27
A Hierarchical Modeling of Analog CMOS Components for Synthesis
1999-03-30
Computationally Efficient Speech Enhancement By Spectral Minima Tracking In Subbands
1996-01-16
Gerhard Doblinger
Mind Your Grammar: a New Approach to Modelling Text
1998-08-28
A New Time-Frequency Approach for Weak Chirp Signal Detection
1998-04-14
Fluid Power Control of a Flexible Mechanical Structure
1997-06-25
Svante Gunnarsson
CIRCA: A Cooperative Intelligent Real-Time Control Architecture
1995-07-12
Controlled Redundancy in Incremental Rule Learning
1995-11-16
Luis Torgo
AORTA Diagrams As An Aid To Visualising The Execution Of Prolog Programs
1999-01-19
Wavelet-Correlations In Hierarchical Cascade Processes -- The Question Of Scaling And Clustering In Complex Reactions
1997-04-23
Parallel Unconstrained Optimization
1997-12-13
Kwok L. Chow
A Software Tool for Computing the Probability of a System Failure and the Reliabilityfor a Complex Repairable System in Discrete Time
1998-03-13
European Organization For Nuclear Research
1995-10-30
W. Bruckner
Scaling of ABR Parameters Using A Parallel Control Scheme in ATM Networks
1999-01-05
Calculating Power Indices of Weighted Majority Games
1998-08-07
Using Neural Networks for Data Mining
1998-04-10
Efficient Window Block Retrieval in Quadtree-Based Spatial Databases
1998-10-23
Analysis and Optimization of Transmission Schedules for Single-Hop WDM Networks
1993-08-30
Computing Private Information Equilibria: Moral Hazard in an Indian Village
1995-11-03
Ethan Ligon
Parallel Algorithms for Synthesis of Whole-Hand Grasps
1997-02-11
Nancy S. Pollard
3:318-323, 1995
1995-10-19
No Free Lunch Theorems for Search
1996-02-24
Preference Logic Grammars
1998-02-09
Microbial gene identification using interpolated Markov models
1998-02-05
C. M. Newman
1997-04-26
Speech Recognition
1996-05-07
Fuzzy Convergence
1998-04-07
The Development of the C Language+
1998-01-24
Dennis M. Ritchie
Specifying IMPG Using ASF+SDF: A Case Study
1996-05-09
Sebastiano Vigna
User-Oriented Query Modification in Metaclass Systems
1993-12-10
OzCare: A Workflow Automation System for Care Plans
1997-02-22
DESIGN AND IMPLEMENTATION OF MULTIPLE-CONTEXT TRUTH MAINTENANCE SYSTEM WITH BINARY DECISION DIAGRAM Hiroshi G. Okuno,
1996-05-27
The Internet and other networks: Utilization rates and their implications
1998-09-14
Andrew Odlyzko
Visualizing Network Data
1999-01-21
Mining Credit Card