TOP500 Supercomputers
1996-05-19
Robust World-Modelling and Navigation in a Real World
1996-08-20
Uwe R. Zimmer
The Weakest Completion Approach to the Probabilistic Semantics
1970-01-01
Multiple Sequence Comparison and Consistency on Multipartite Graphs
1995-01-25
Space- and Time-Efficient BDD Construction via Working Set Control
1997-11-21
On the Fatness of Minkowski Sums
1999-12-02
Mark Berg
A Tractable Class of Disjunctive Deductive Databases
1994-07-11
More metanilpotent Fitting classes with bounded chief factor ranks
1997-07-18
Hermann Heineken
Evaluation of Disk Allocation Methods for Parallelizing Spatial Queries on Grid Files
1995-05-11
Relocability for SCM
1970-01-01
Andrzej Trybulec
Home Agent Based Location Update and Destination Search Schemes in Ad Hoc Wireless Networks
1999-11-09
Ivan Stojmenovic
Mapping Robust Parallel Multigrid Algorithms To Scalable Memory Architectures
1995-06-13
Global Ray-bundle Tracing
2000-03-01
Current Status of Polycrystalline Thin-Film PV Technologies
1998-09-24
Weight Space Probability Densities in Stochastic Learning: I. Dynamics and Equilibria
1970-01-01
Model-Free Estimation of Some Yield Metrics in Integrated Circuit Fabrication
1996-07-29
Narrowing confidence interval width of SVM learning risk function by algorithmic inference
2000-03-24
Speech Technology in Computer-Aided Language Learning: Strengths and Limitations of a New CALL Paradigm
1998-08-25
Bibliography
1997-04-04
An Overview Of Computational Aeroacoustic Modeling At Nasa Langley
1999-09-27
Dav I D Lockard
What Sort of Architecture is Required for a Human-Like Agent?
1996-09-24
Aaron Sloman
The Justified User Model: A Viewable, Explained User Model*
1994-06-10
Automated Bargaining Agents Preliminary Results
1995-01-19
Voice Input vs. Keyboard Accelerators: A User Study
1992-06-18
Locality Issues in Reliable Multicasting
2000-09-06
Kov David A. Carr
An Extensible Classification Model for Distribution Architectures of Synchronous Groupware
2000-06-05
Jrg Roth Claus Unger
A Unified Compiler Algorithm for Optimizing Locality, Parallelism and Communication in Out-of-Core Computations
1998-05-09
Stability Of The Partitioned Inverse Method For Parallel Solution Of Sparse Triangular Systems
2000-02-03
CAVEStudy: an Infrastructure for Computational Steering in Virtual Reality Environments
1970-01-01
On Covers of Point Sets in Finite Geometries
2000-09-18
Siaw Lynn Ng
A Portable Run-Time System for Object-Parallel Systems
1997-01-27
Revised 5 Report on the Algorithmic Language Scheme
1999-01-28
The Relation between Default Logic and the Well-founded Semantics
1994-01-25
Pseudo-Linear Scale-Space Theory - Towards The Integration of Linear and. . .
1997-08-11
Contribution to the ATLAS B-field 3D Model
1995-09-11
Dokumenttikuvien Sisltpohjaisen Hakujrjestelmn Toteutus
1998-10-05
W couplings measurements at LEP
1998-06-02
An Adaptive Sensitivity
1996-11-12
Tiltrotor Vibration Reduction Through Higher Harmonic Control
1997-03-21
Performance Evaluation of Multithreaded Architectures with Data Prefetching Vladimir Vlassov
1996-04-09
Vladimir Vlassov
Incorporating Hypothetical Knowledge Into The Process Of Inductive Synthesis
1999-03-05
Building Systems that Flexibly Control Downloaded Executable Context
1996-08-20
Baroclinic and Barotropic Aspects of the Wind-Driven Ocean Circulation
2000-06-02
Query-Sensitive Ray Shooting
1996-02-12
Hitch hiker's Guide to ESQIMO
1999-01-27
On Goal-Directed Provability in Classical Logic
1994-11-08
Acknowledgements
1997-02-24
Ramana L. Rao
A Renormalization Group Study Of Self-Organized Criticality
1997-08-19
Jeff Hasty
An Improved Neural Network for Segmenting Objects' Boundaries in Real Images
1997-09-23
Architecture and Coverage of the DISCO Grammar
1994-10-13
Priority Queue Operations and Selection for the BSP* Model
1996-10-30
Noninteracting Force/Motion Control of Defective Manipulation Systems
1970-01-01
A Counting Model for Software Reliability Analysis
1994-01-11
Bibliography
1999-12-08
On The Homogeneous Ideal Of Unreduced Projective Schemes
1996-02-27
Schemes Ballico
The Investigation of Consciousness Through Phenomenology and Neuroscience
1995-09-28
Bruce J. Maclennan
On Sequential Monte Carlo Sampling Methods for Bayesian Filtering
1999-08-02
Parallel Sphere Rendering
1996-09-10
Photoionization, Numerical Resolution, And Galaxy Formation
1996-04-28
The End-to-End Effects of Internet Path Selection
1999-07-06
Improvements in Web-based Educational Systems for Teaching Computing
2000-03-13
Andreas Ausserhofer
Work Control for Newton Type Coupling
1999-06-04
Jurgen Menck
Performance of Autonomy-based Systems: Tuning Emergent Cooperation
1998-11-19
Reflection and Hyper-Programming in Persistent Programming Systems
1997-10-06
Automatic Generation of Instructions in a Multilingual Environment
1999-12-15
Peering and Provisioning of Differentiated Internet Services
1999-12-01
On Binary Relations Without Non-Identical Endomorphisms
2000-07-28
Apoloniusz Tyszka
On The Space-Time Mapping Of While-Loops
1994-01-17
Provable Security for Cryptographic Protocols---Exact Analysis and Engineering Applications
1999-11-21
R n - and G n -Logics
1996-12-04
The Control Of Liquid Helium In Space
1997-08-11
Rapide: An Executable Architecture Definition Language
1996-07-26
Numerical Integration for Radiosity in the Presence of Singularities
1997-02-05
Peter Schrder
Distributing Virtual Worlds in a Teleteaching Environment
1995-09-28
Optimal Prediction for Prefetching in the Worst Case
1994-04-08
Using Many-Particle Decomposition to get a Parallel Self-Organising Map
1997-08-15
Godel with User-defined Evaluable Functions
1995-11-22
TheCommonObjectRequestBroker: ArchitectureandSpecification
2000-09-05
The Direct Lighting Computation in Global Illumination Methods
1994-12-29
Wireless Ad hoc Multicast Routing with Mobility Prediction
1970-01-01
Node-to-Set and Set-to-Set Cluster Fault Tolerant Routing in Hypercubes
1998-04-15
A posteriori Error Computation for an Obstacle Problem
1999-12-22
Evaluation of Item-Based
2000-09-12
George Karypis
Implementation Techniques for Efficient Reflective Languages
1998-05-26
Shigeru Chiba
Navigating Hierarchies with Structure-Based Brushes
1999-07-13
How to Really Find Roots of Polynomials by Newton's Method
1998-12-17
Structuring Communication Software for Quality-of-Service Guarantees
1970-01-01
Discipline Attributes and Teaching Style: Environmental Contexts of an ITS Design for Determining Multimedia and Virtual Reality Representations
1999-05-21
Ashok Patel
Pruning of Neural Networks
1997-02-24
Object-Oriented Bayesian Networks
1999-11-18
Morse Theory and Classifying Spaces
1970-01-01
Rules of Thumb in Data Engineering
2000-08-09
Technical Diagnosis of Telecommunication Equipment
1996-12-19
The Dickey-Fuller-test for exponential random walks
2000-09-07
P. Laurie Davies
Category, Measure, Inductive Inference: A Triality Theorem and its Applications
1997-02-04
The Power Crust, Unions of Balls, and the Medial Axis Transform
2000-07-22
Analysis of Yeast's ORF Upstream Regions by Parallel Processing, Microarrays, and Computational Methods
2000-09-10
Multi-Stage Imperative Languages: A Conservative Extension Result
2000-07-26
Cristiano Calcagno
gprof: a Call Graph Execution Profiler
1996-05-17
Metonymy And Cross Section Demand
1998-11-06
Selection in Massively Parallel Genetic Algorithms
1993-07-15
AC Losses of Prototype HTS Transmission Cables
1999-03-22
Probabilistic Inference from Arbitrary Uncertainty using Mixtures of Factorized Generalized Gaussians
1998-12-22
Truth Maintenance
1999-11-19
David Mcallester
Towards a Calculus of Communicating Functions
1993-01-29
Uwe Nestmann
Appearance Based Active Object Recognition
1998-11-05
Faster Searching in Tries and Quadtrees--- An Analysis of Level Compression
1995-09-11
TCP-Friendly Traffic Conditioners for Differentiated Services
1999-03-30
Message Flow Modulator Final Report
2000-04-02
Self-Contained Automated Methodology for Optimal Flow Control
1999-06-30
Programmable Kernel Analog VLSI Convolution Chip for Real Time Vision Processing
2000-09-20
Incremental grid growing: Encoding high-dimensional structure into a two-dimensional feature map
1994-08-21
Study of a Single-Bunch Instability below Transition Energy
2000-07-25
Probing Interstellar Turbulence in the Warm Ionized Medium using Emission Lines
2000-02-07
Encoding and Classification in a Model of Olfactory Cortex
1970-01-01
Transmission Power Control for Multiple Access Wireless Packet Networks
2000-07-30
Linux System Administrator's Guide 0.3
1995-08-05
Lars Wirzenius
SUBSCRIBERS' LINES AND SETS Recommendation P.30 TRANSMISSION PERFORMANCE OF GROUP AUDIO TERMINALS GATs
1991-11-17
Strongly Typed Genetic Programming
1997-09-30
Applying Large Vocabulary Hybrid HMM-MLP Methods to Telephone Recognition of Digits andNatural Numbers
1998-02-23
Kristine W. Ma
Appendix: A Dehn exhaustibility Lemma
2000-05-02
Louis Funar
Preliminary Survey of I/O Intensive Applications
1998-10-20
Generating Functions for Generating Trees
2000-10-02
Adaptive Passification of Nonlinear Systems
1994-11-10
Computing the Median with Uncertainty
2000-03-04
The Regulation of Investigational Drugs
1998-07-11
David Kessler
Bounded-Skew Clock and Steiner Routing
1999-08-02
Dexterous Manipulation: A Geometric Approach
1998-12-02
Bhubaneswar Mishra
A Coupled Hyperelastic Constitutive Model for Resilient Response of Granular Materials
1999-06-30
K. Hjelmstad
Stability Maximization of a Majority Perceptron Using Tabu Heuristics
1996-08-30
Eddy Mayoraz
T-NORMS vs. IMPLICATION FUNCTIONS AS IMPLICATION OPERATORS IN FUZZY CONTROL
2000-07-25
User-Space Solutions to Thread Switching Overhead
1970-01-01
Group Invariance and Convex Matrix Analysis
1995-03-23
A. S. Lewis
Determining Surface Orientation From Fixated Eye Position and Angular Visual Extent
2000-08-31
Nicola J. Ferrier
Integrating Workflow With Interacting Agents To Support Cooperative Software Engineering
2000-09-21
A Three-stage Method for Designing Genetic Fuzzy Systems by Learning from Examples
2000-07-25
The Load, Capacity and Availability of Quorum Systems
1995-01-31
Moni Naor
Scoping Constructs in Logic Programming: Implementation Problems and their Solution
1997-02-27
Practical Approximation Algorithms for Zero- and Bounded-Skew Trees
2000-09-19
Lapack++ V. 1.1
1996-05-18
ECO: Efficient Collective Operations for Communication on Heterogeneous Networks
1995-09-23
Bruce B. Lowekamp
Family Involvement Perspectives Chapter 3
1999-01-10
The Asymmetry of Galaxies: Physical Morphology for Nearby and High Redshift Galaxies
1999-07-28
Particle Tracking Velocimetry Beneath Water Waves Part I: Visualization and Tracking Algorithms
1997-12-16
Mapping Linear Recurrences onto Systolic Arrays
1996-01-05
Equivalency Reasoning to Solve a Class of Hard Sat Problems
1999-08-14
Chu Min Li
Properties of BiPb-2223 Precursor Powders Calcined in Reduced Oxygen Partial Pressure
1998-11-09
Implementation of a DSM-CC-Server for a DAVIC-Terminal
2000-09-23
Reinhard Baier
Storage Optimization for Large Multidimensional Datasets
1999-11-05
Qualitative and Quantitative Analysis of Timed SDL Specifications
1996-03-01
DIASPORA: A Highly Distributed Web-Query Processing System
2000-08-21
A Note on Heckmann's Probabilistic Power Locale
1996-02-03
Achim Jung
Improving Information Quality in Loan Approval Processes for Fair Lending and Fair Pricing
2000-09-21
Maintaining the Behavior and Consistency of Object-Oriented Systems during Evolution
1994-06-16
Office Of Inspector General
2000-07-28
June Gibbs Brown
A Connectionist Central Pattern Generator for the Aquatic and Terrestrial Gaits of a Simulated Salamander
2000-09-18
Auke Jan Ijspeert
Generalized Strongly Chordal Graphs
1993-05-10
Elias Dahlhaus
D I G I T a L
1997-08-03
A Structured and Open Environment
1995-01-17
Probability Rules
1997-05-20
A Classification Method of Alternatives for Multiple Preference Ordering Criteria Based on Fuzzy Majority
1997-01-28
Strongly Equivalent Logic Programs
2000-09-21
Sequences of Spanning Trees and a Fixed Tree Theorem
2000-08-22
Parallel Transport Approach to Curve Framing
1995-02-23
Design, Implementation, and Performance Evaluation of a Distributed Shared Memory Server for Mach
1992-09-01
Selective Reformulation of Examples in Concept Learning
1996-12-21
CAS/PI: a Portable and Extensible Interface for Computer Algebra Systems
1993-07-14
Norbert Kajler
Towards an Extensible Knowledge Refinement Tool
1997-01-15
Symbolic Computation in Nonlinear Dynamics
1994-02-28
Robert M. Corless
Performance Engineering Models of CORBA-based Distributed-Object Systems
1999-02-18
Stability Investigations For Index-2 Systems
1999-04-08
Souslin Trees Which Are Hard To Specialise
1998-02-26
James Cummings
Remote Seminars through Multimedia Conferencing: Experiences from the MICE project
1994-07-07
Civil Aircraft Autopilot Design Using Robust Control
1999-03-22
R. M. P. Goverde
A Robust Competitive Clustering Algorithm with Applications in Computer Vision
1998-12-04
Accuracy of the Hartree-Fock Approximation for the Hubbard Model
1996-10-18
CONCHA - CONference system based on java and corba event service CHAnnels
1999-09-07
On The Effect Of Floorplanning On The Yield Of Large Area Integrated Circuits
2000-01-14
A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs
1994-05-18
Teodor C. Przymusinski
Explicit Formulas for Orthogonal IIR Wavelets
1997-08-10
Ivan W. Selesnick
Enhancing throughput over wireless LANs using Channel State Dependent Packet Scheduling
1995-12-27
Nonparametric Regression and Prediction with Dependent Errors
2000-06-06
Yuhong Yang
An SOS Message: Conservative Extension in Higher-Order Positive/Negative Conditional Term Rewriting
1998-01-19
Incorporating Flexible and Expressive Rule Control in a Graph-based Transaction Framework
1994-09-06
Acknowledgment Acts in Task-Based Dialogue
1970-01-01
Private Information Retrieval
1995-12-10
SAT01 Notes
2000-09-15
Stanislav Busygin
Improving Real-time Performance of Intelligent Systems with Dynamic Trade-off Evaluation
1997-08-08
U. M. Schwuttke
Genetic Programming with One-Point Crossover
1997-07-10
Foundations for the Study of Software Architecture
2000-08-21
Asymptotic Analysis of Some Elliptic-Parabolic Moving Boundary Problems
1997-10-22
Complete Distributional Problems, Hard Languages, and Resource-Bounded Measure
1997-02-06
Variations In Venus Cloud-Particle Properties: A New View Of Venus's Cloud Morphology As Observed By The Galileo Near Infrared Mapping Spectrometer
1997-07-21
On Synchronized Presentation Management in Multimedia Database Systems
1995-08-16
Aidong Zhang
The Evolution of Market Integration in Russia
2000-08-01
ifdef Considered Harmful, or Portability Experience With C News
1992-08-25
Numerical Solution Of Nonlinear Diffusion With Finite Extinction Phenomenon
1996-01-30
K. Mikula
Choice Functions for Linguistic Preference Relations
2000-07-25
A Requirements Space For Group-Work Systems
1995-04-04
Grouping Volume Renderers for Enhanced Visualization in Computational Fluid Dynamics
1995-02-24
The Intellectual Challenge of CSCW: The Gap Between Social Requirements and Technical Feasibility
2000-05-23
Mark S. Ackerman
Structured Maps: Modeling Explicit Semantics over a Universe of Information
1970-01-01
The Lazy Lambda Calculus in a Concurrency Scenario Extended Abstract
1993-05-26
QoS Guarantees for Third Generation 3G CDMA Systems via Admission and Flow Control
2000-08-09
A Framework for Generalized Sampled-Data Control Systems and Its Application to Convergence Analysis
1999-11-24
Yasuaki Oishi
Solving Type Equations in Multi-Level Specifications preliminary version
1997-03-03
Automatic Resolution Control for the Finite Volume Method. Part 1: A-posteriori Error Estimates
2000-02-11
Neural approaches in the approximation of eye-hand mapping and the inverse kinematics function: A Comparative Study
1995-04-24
Ferry Van Het Groenewoud
Window Programming in DFKI Oz
1996-10-11
Michael Mehl
Amoeba --- A Distributed Operating System for the 1990s
1990-04-16
International Space Station ISS Accommodation of a Single U.S. Assured Crew Return Vehicle ACRV
1997-12-22
Regulation of Organelle Acidity
2000-08-18
Interconnection of Wireless Cells - a Multicast-based Approach
1997-11-13
Andreas Festag
-D Hardcopy: The Hosoya Cube
1998-01-30
Philip J. Mercurio
Analysis of potential parallel implementations of the unsymmetric-pattern multifrontal method for sparse LU factorization
1992-07-17
Cheap Tupling Transformation
1999-11-24
Elastic Servers in CORDS
1996-04-01
Germ'an S. Goldszmidt
Combinatorics Entering the Third Millennium
2000-08-10
Peter J. Cameron
Solving Linear Diophantine Constraints Incrementally
1995-04-04
The Power of Processor Consistency
1993-07-08
Representing Boolean Functions with If-Then-Else DAGs
1991-08-09
Kevin Karplus
Rate-Controlled Static-Priority Queueing
1998-02-16
Implementation
1993-04-29
Analysis of Different Model Selection Criteria
2000-08-01
A Tutorial for InterViews Programmers
1991-09-11
John Vlissides
Conceptual-level Schemata to Object Oriented Implementation Level Schemata
1996-10-02
High Performance Synchronization Algorithms for Multiprogrammed Multiprocessors
1995-04-12
Semantics and Compilation of Recursive Sequential Streams in
1997-06-10
Concept Decompositions for Large Sparse Text Data using Clustering
2000-07-05
Capturing Tacit Knowledge using Recommender Systems
2000-08-16
Open Issues and Challenges in Providing Quality of Service Guarantees in High-Speed Networks
1993-11-18
Jim Kurose
The Funding Process: A challenging task
1995-01-08
Klaus-peter Kossakowski Dfn-cert
Implementation of an Imperative Programming Language With Backtracking
1998-01-19
Surface Anchoring and Optically Induced Molecular Motion in Thin Azobenzene Polymeric Films.
2000-08-09
Sequential and Parallel Local Search for the Time-Constrained Traveling Salesman Problem
1999-09-27
Two-Layer Wiring With Pin Preassignments is Easier If the Power Supply Nets Are Already Generated
1996-12-16
Linear Types and Approximation
1996-02-03
Minimizing a Quadratic Over a Sphere
2000-03-14
William W. Hager
A Representation Of Processes Of Contextual Nets By Matrices
1997-10-22
Multiple Views and Multiple Formats in Knowledge Management
1998-11-03
Bidjan Tschaitschian
Performability Analysis Of Two Approaches To Fault Tolerance
1996-09-05
Fairness Measures for Resource Allocation
2000-08-30
Characterization of Video Traffic
1998-02-23
Rahul Garg
A Probability-One Homotopy Algorithm For Nonsmooth Equations And Mixed Complementarity Problems
2000-09-07
Fast Automatic Field Edge Tracking in Portal Images
1994-07-07
Design Requirements for a Computational Libidinal Economy
1996-08-06
Ian Wright
A Theory For Local, A Posteriori, Pointwise, Residual Based Estimation Of The Finite Element Error
2000-08-18
Jens Hugger
Inheritance of Interorganizational Workflows: How to agree to disagree without loosing control?
2000-09-19
Decomposition Theorems for Some Groups of Diffeomorphisms and Regularity of the Composition Operator.
1997-04-26
R. Obaya
.4 Turing Completeness Of Horn Clauses
2000-09-20
A Motion-Location Based Indexing Method for Retrieving MPEG Videos
1999-12-05
SPIRIT: a Resource Database for Mobile Users
1997-06-02
Monitoring Extensions for Component-Based Distributed Software
2000-07-11
PARMACS V6.1 Specification
1995-05-30
PEX Protocol Specification
1996-01-11
A Resolution Calculus for Presuppositions
1996-01-19
A Formal Semantics and Axiomatization for Specifying the Dynamics of Knowledge-based Systems
1995-12-20
The Efficiencyof "viscous Interaction" Between the Solar Wind and the Magnetosphere During Intense Northward Events
1996-09-20
Bruce T
Query-Relevant Summarization using FAQs
2000-07-31
Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts
2000-02-25
Federico Barber
Effect of the Synaptic Time Constant on Stochastic Spiking Neurons
2000-08-17
A Psychophysical Experiment to Test the Efficient Stereo Coding Theory
1997-11-06
About Stone's notion of Spectrum
2000-09-22
Thierry Coquand
Controlling the Flow of Information in Spoken Algebra to Make Listening Reading Active
1997-06-19
VIGIE User Guide
1998-02-23
Inria Sophia Antipolis
Specification and Use of of Approximate Synchronization in Multimedia Presentations
1994-02-23
Automatic Visual to Tactile Translation, Part I: Human Factors, Access Methods and Image Manipulation
1999-12-08
Lecture 3: December 27, 1998
2000-06-18
Computationally Efficient Blind Equalization
2000-09-06
A Theory of Pattern Rejection
1996-06-14
Bibliography
1994-10-26
Toolkit for First Order Extensions of Monadic Games
2000-09-19
David Janin
Context Modeling and Transformation for Semantic Interoperability
2000-09-19
C-: A Portable Assembly Language
1998-05-11
An Informal Sketch of a Formal Architecture for Construction Grammar
1998-07-17
Paul Kay
To Weave the Web
1997-04-04
Morphosyntactic Tagging of Slovene using Progol
1999-04-01
EE572 Final Report Distal Supervised Learning for Solving Inverse Kinematic Problems
1996-02-16
Types for Elliptic Non-Discrete Series Representations of SL_NF, N prime and F a p-adic field.
1995-07-17
Generic Distributed Shared Memory: the DSM-PM2 Approach
2000-05-16
PDS: A Performance Database Server
1995-02-12
Migrating Multi-Threaded, Shared Objects
1992-11-04
ARPACK Users' Guide: Solution of Large Scale Eigenvalue Problems with Implicitly Restarted Arnoldi Methods.
1997-11-06
Unknown
1995-08-28
Algebraic Multigrid By Smoothed Aggregation For Second And Fourth Order Elliptic Problems
1995-03-31
A Generalized Linear Programming Approach To International Production Efficiency Rankings
2000-09-15
Nonsmooth Analysis of Eigenvalues
1998-06-22
A. S. Lewis
Optimal Layout of Edge-Weighted Forests
1998-08-25
Application of Automatic Differentiation to 3-D Volume Grid Generation Software
1998-02-26
.4 Carrier systems on 1.2/4.4 mm coaxial cable pairs Recommendation G.339 12 MHz VALVE-TYPE SYSTEMS ON STANDARDIZED
1991-11-17
Chorus: A Support For Distributed And Reconfigurable Ada Software
1993-01-12
Marc Guillemont
Unknown
1994-05-02
Learning Unification-Based Natural Language Grammars
1995-01-26
Miles Osborne
SE-OSI: A Prototype Support Environment for Open Systems Interconnection
1993-11-18
Owen Newnan
Slow diffusion for a Brownian motion with random reflecting barriers
1999-04-10
Navigating the Magellan Aerobrake
1997-06-30
Nonlinear Problems in Quantum Semiconductor Modeling
2000-09-21
Programming With Broadcasts
1994-04-07
K. V. S. Prasad
Recursively Decomposable Well-Covered Graphs
1997-10-08
Discovering Chinese Words from Unsegmented Text
1999-08-22
Parallel Image Processing In Heterogeneous Computing Network Systems
1998-04-15
AS/400e series
1998-10-28
The law of the maximum of a Bessel bridge
1998-10-08
Privacy in E-Commerce: Examining User Scenarios and Privacy Preferences
2000-08-27
Type Inference for Record Concatenation and Multiple Inheritance
1995-03-21
Verification And Optimization Of Control Programs By Petri Nets Without State Explosion
1997-07-18
Monika Heiner
Filter Trees for Managing Spatial Data Over a Range of Size Granularities
1996-08-12
Searching Correspondences in Colour Stereo Images - An Approach Using the Fuzzy Integral
1995-11-21
Alois Knoll
Dynamics of TCP Traffic over ATM Networks
1996-09-17
Allyn Romanow
Normality: A Consistency Condition for Concurrent Objects
1996-06-19
Securing Ad Hoc Networks
1999-11-16
Preventing Rather Repairing - A New Approach in ATM Network Management
1998-03-24
Status of this Memo
1997-03-27
Joachim Schmitz
High Quality Document Image Compression with DjVu
2000-06-14
CNN: a Neural Architecture that Learns Multiple Transformations of Spatial Representations
1994-12-15
Fast compression of transportable Tcl agents
1970-01-01
Robert S. Gray
Document Classification with Self-Organizing Maps
2000-08-07
Dieter Merkl
High Performance Computing in the U.S. in 1995 -- An Analysis on the Basis of the TOP500 List
1995-11-17
Adaptation of a Memoryless Preprocessor for Nonlinear Acoustic Echo Cancelling
2000-09-21
Unknown
1996-09-23
Reducing the Average Error of Underresolved Approximations
1997-10-07
A Logical View Of Concurrent Constraint Programming
2000-09-13
Using Stochastic Intervals to Predict Application Behavior on Contended Resources
1999-02-28
On The Quasi--Uniform Convergence Of Transfinite Sequences Of Functions
1995-05-26
J. Ewert
On Bertini-Type Theorem For Weakly-Normal Complex Analytic Sets
1997-01-31
S/lawomir Cynk
Digital DNA Molecules
2000-08-22
On Asymptotic Structure, the Szlenk Index and UKK Properties in Banach Spaces
2000-09-20
Preserving and Using Context Information in Interprocess Communication
1993-08-04
Weakly Chaotic Functions With Zero Topological Entropy And Non--Flat Critical Points
1995-05-26
Stochastic Trends and Cointegration in the Market for Equities
2000-07-25
Pretty Printing in the ASF+SDF Meta-environment Past, Present and Future
1997-03-03
Wind-Driven Currents in a Sea with a Variable Eddy Viscosity Calculated via a Sinc-Galerkin Technique
2000-08-28
Table of
1997-10-28
Dynamic Programming Based Learning Methods For Continuous Time Processes
1996-03-13
Linda Graynel Lawson
A Highly Parallel Algorithm for the Reduction of a Nonsymmetric Matrix to Block Upper-Hessenberg Form
1994-10-07
Subtyping with Union Types, Intersection Types and Recursive Types II
1994-04-28
Data Mining and Visualization of Twin-Cities Traffic Data
2000-09-20
Computing Perfect and Stable Models Using Ordered Model Trees
1995-07-14
The Language Components of DAMSEL: An Embedable Event-driven Declarative Multimedia Specification Language
1995-09-19
Invariants From Triangulations Of Hyperbolic 3-Manifolds
1996-03-07
A Framework for Decidable Metrical Logics
1999-04-23
World Coordinate System Based Image Registration Tools for IRAF
1996-07-27
L. E. Davis
Order-Sorted Feature Theory Unification
1995-04-20
A Gentle Tutorial of the EM Algorithm and its Application to Parameter Estimation for Gaussian Mixture and Hidden Markov Models
2000-09-11
Jeff A. Bilmes
Babel, a multilingual style-option system for use with LATEX's standard document styles
1994-04-21
Johannes Braams
Rotational polygon containment and minimum enclosure using only robust 2D constructions
2000-07-27
Victor J. Milenkovic
UFLOW: Visualizing Uncertainty in Fluid Flow
1996-07-08
Adaptive, Multiresolution Visualization of Large Data Sets using a Distributed MemoryOctree
1999-11-23
The Capacity-Coverage Tradeoff in CDMA Systems with Soft Handoff
1999-02-22
Ntro Uction
1970-01-01
N=2|2 supersymmetric Toda lattice hierarchy in N=2|2 Superspace
1970-01-01
Computing Interior Eigenvalues Of Medium Sized Generalized Symmetric Eigenproblems
2000-07-07
Nonlinearly Preconditioned Inexact Newton Algorithms
2000-07-24
Exploring Unknown Environments
1998-06-26
RAID: High-Performance, Reliable Secondary Storage
1994-09-28
Adaptive-Scale Filtering and Feature Detection Using Range Data
2000-08-30
Clark F. Olson
The fundamental group of the double of the figure eight knot exterior is GFERF.
2000-07-25
Type-of-Service Routing in Dynamic Datagram Networks
1994-04-28
Pricing the Internet
1995-12-16
I R I S a
1995-11-15
Seznec Fabien Lloansi
A Partial Report on Parallel Graph Algorithms EE 382L term project
1995-02-08
Designing a Collaborative Finger Painting Application for Children
2000-09-19
Programming Paradigms and Program Comprehension by Novices
2000-07-30
A Fast Write Barrier for Generational Garbage Collectors
1993-09-13
Urs Hlzle
Workflow Modeling using Proclets
2000-09-22
XEVE: an ESTEREL Verification Environment Version v1_3
1997-12-10
Amar Bouali
Towards a Rate Coordination Between TCP and ABR Congestion Control Algorithms
2000-02-29
Infinite versions of minesweeper are Turing complete
2000-09-11
Richard Kaye
Networking Implementation Notes 4.4BSD Edition
1996-05-17
Efficient Implementation of RAID-5 Using Disk Based Read Modify Writes
1997-04-12
The Future of Document Formatting
1996-11-30
Jeffrey H. Kingston
Toward Automatic Distribution
1996-12-21
Paul Feautrier
Answer Extraction
2000-08-29
Comprehending Complex Behavior Graphs through Abstraction
1996-01-23
Compact Image Coding from Multiscale Edges
2000-10-04
Air-mass factor formulation for spectroscopic measurements from satellites: application to formaldehyde retrievals from GOME
2000-07-28
Eikonal Type Equations For Geometrical Singularities Of Solutions In Field Theory
1997-04-26
Weak lumpability of finite Markov chains and positive invariance of cones
1996-02-15
James Ledoux
Reduction of Bidimensional Spectral Data Obtained with the Integral Field Spectrographs of the 6-m Telescope
1996-07-27
Valery V. Vlasyuk
Bumptrees for Efficient Function, Constraint, and Classification Learning
1998-02-16
Stephen M. Omohundro
A Comparative Study on Chinese Text Categorization Methods
2000-09-04
On Quantum Limits on Flat Tori
1996-01-24
Modeling of a constant Q: Methodology and algorithm for an efficient and optimally inexpensive viscoelastic technique
1996-05-16
p--STUBBORN SUBGROUPS OF CLASSICAL COMPACT LIE GROUPS
1992-08-23
Bob Oliver
ISODE is the trademark of ISODE Consortium Limited. All other products and services mentioned in
1994-10-20
Astrodynamics
1997-07-29
Unsupervised Bayesian Visualization of High-Dimensional Data
2000-09-11
Pseudo-biorthogonal Multiwavelets and Finite Elements
1970-01-01
Vasily Strela
Implementation of Parallel Graph Algorithms on the MasPar
1993-10-11
Uniform Proofs and Disjunctive Logic Programming
1995-01-26
Xasm - An Extensible, Component-Based Abstract State Machines Language
2000-09-05
Evolvable Hardware as Non-linear Predictor for Image Compression
1999-11-04
Luks Sekanina
Introducing MaRS, a Routing Testbed
1993-11-18
Controlling the Evolution of Object-Oriented Applications
1992-08-14
Karl J. Lieberherr
A More Scalable Comparision Shopping Agent
1999-12-30
A Note on Center Problems With Forbidden Polyhedra
1997-11-13
fl1996 Subodh Kumar
1996-12-13
Quasiadditivity Of Capacity And Minimal Thinness
1998-06-04
Applications of the Linguistic OWA Operator in Group Decision Making
1997-01-28
Dual Fronts Propagating into an Unstable State
1993-11-26
Randomized Wait-Free Concurrent Objects extended
1998-08-11
Maurice Herlihy
A Model-Based Gaze Tracking System
1999-03-19
Product Formulas And Associated Hypergroups For Orthogonal Polynomials On The Simplex And On A Parabolic Biangle
1997-02-26
Hybrid Tracking for Augmented Reality
2000-09-17
Debugging Storage Management Problems in Garbage-Collected Environments
1995-12-19
Sather Revisited: A High Performance Free Alternative to C++
1996-09-24
David Stoutamire
On the Two Dimensional Dynamical Ising Model In the Phase Coexistence Region F. Martinelli
1997-04-26
F. Martinelli
Incorporating Linguistics Constraints into Inductive Logic Programming
2000-08-14
NetMedia: A Client-Server Distributed Multimedia Database Environment
1996-04-09
An Overview over Red-Black and Finger Trees
1995-12-16
Heather D. Booth
Eric N. Hanson
1994-01-18
Eric N. Hanson
A Lateral Contribution Learning Algorithm for Multi MLP Architecture
1994-08-18
Galactic and Solar Cosmic Ray Shielding in Deep Space
1997-12-17
Isoperimetric Inequalities and Eigenvalues
1993-12-06
A Simple Investigation Of The Spatial Distribution Of Active Lengths In The Solar Photosphere
1996-12-20
Arp Ad Cs'ik
Supplement No. 10 CONSIDERATIONS RELATING TO TRANSMISSION CHARACTERISTICS FOR ANALOGUE HANDSET TELEPHONES
1991-11-17
Derivative Security Induced Price Manipulation
2000-09-06
An Overview of UNP
1989-03-01
Larry L. Peterson
Learning From Queries for Maximum Information Gain in Imperfectly Learnable Problems
1995-02-28
Branch Merging for Scheduling Concurrent Executions of Branch Operations
1996-10-29
Pthreads Library Interface
1994-10-11
Frank Mueller
MIME: A Portable and Robust Multimedia Format for Internet Mail
1993-11-30
Nathaniel S. Borenstein
A Framework for Using Knowledge in Tableau Proofs
1997-10-17
Benjamin Shults
Is Risk Sharing in the United States A Regional Phenomenon?
2000-07-24
Designing Multi-Hop Optical Networks Using Fixed Wavelength Transceivers
1994-09-13
Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures
1994-01-24
Discrete Hashimoto surfaces and a doubly discrete smoke ring flow
2000-07-26
Hiding Jitter in an Audio Stream
1994-07-08
A Note On Cohomological Vanishing And The Linear Isoperimetric Inequality
2000-06-27
S. M. Gersten
Designing a Digital Library for Young Children: An Intergenerational Partnership
2000-09-19
Learning and Generation of Long-Range Correlated Sequences
2000-08-01
A Priel
Precision Manipulation With a Dextrous Robot Hand
1994-06-21
Paul Michelman
Fast and Efficient Construction of BDDs by Reordering Based Synthesis
1998-09-04
Convergence of Euclidean Radial Basis Approximation on Spheres
2000-08-11
J. Levesley
Procedure Cloning A Transformation for Improved SystemLevel Functional Partitioning
1997-04-24
Frank Vahid
Scalable Session Messages in SRM
1997-09-16
Metadata In Geographic And Environmental Data Management
1998-02-23
Oliver Gunther
Experiences With Cooperative Moderation Of A Usenet Newsgroup
1992-06-03
S. M. Verduyn Lunel
1996-09-12
Query Previews for Networked Information Systems: A Case Study with NASA Environmental Data
1997-06-13
Computational Differential Algebra
1999-03-07
Bud Mishra
New Nonlinear Multigrid Analysis
1996-03-06
Dexuan Xie
A long-memory time series analysis of weekly ticket sales in the Rotterdam Grand Theatre, 1860-1881.
2000-07-31
A New Technique For Inconsistent Qp Problems In The Sqp Method Donlp2 Numerical Results
1997-10-21
P. Spellucci
Spectral Basis Functions From Discriminant Analysis
1999-06-21
Hynek Hermansky
Orthogonal Incremental Learning of a Feedforward Network
1995-11-28
Digital Signal Processors for Multimedia Applications
2000-08-18
Probabilistic End-to-End Delay Bounds for Earliest Deadline First Scheduling
2000-09-06
Matthew Andrews
Genetic Algorithm for Restrictive Channel Routing Problem
1997-04-23
TOP500 Supercomputer Sites
1996-06-18
Towards efficient model checking Statecharts: A Statecharts to Promela Complier Erich Mikk, Yassine Lakhnech, Michael Siegel
1997-04-08
Document Structure Analysis Based on Layout and Textual Features
2000-08-17
Illuminating Objects with Mirrors
1996-05-16
The Integration of a Layout Constraint Language with an Object-Oriented User Interface Management System
1995-02-16
On Comparison Of Adaptive Regularization Methods
2000-09-01
Labelled Modal Logics: Quantifiers
1997-04-24
On the Conservativity of Leibniz Equality
1997-03-03
M. P. A. Sellink
"Comprestimation": Microarray Images in Abundance.
2000-08-02
On Computable Beliefs Of Rational Machines
1995-09-22
Nimrod Megiddo
Medium Access Control Protocol for transparent ATM Access in MBS
1997-02-26
Dietmar Petras
Measuring the Digital Economy
1999-05-19
Three-Class Markovian Segmentation Of High Resolution Sonar Images
1999-11-09
Protocoles temps réel: extensions temps réel de MMS
1995-08-16
Experiments in Automatic Flock Control
2000-02-22
Near--infrared Continuum and 3.3 PAH Imaging of the Ring in the Type 1 Seyfert Galaxy 7469
1997-06-26
M. Voit
A Framework for the Creation and Use of a Knowledge Base of Mathematical Theorems and Definitions
1995-06-12
Benjamin Shults
Pricing American options under spectrally negative exponential Lévy models
2000-08-29
Local Register Allocation Spanning Basic Blocks
1970-01-01
Lynn Thompson
Hotdraw
1995-05-11
John Michael Brant
CMD: A Multidimensional Declustering Method for Parallel Database Systems
1994-03-11
Outline Of A Theory Of Isocortex
1993-01-14
Graph Automata for Linear Graph Languages
1997-09-23
Some efficient solutions to the affine scheduling problem Part II Multidimensional time
1996-12-21
Paul Feautrier
Heuristics for Multiway Partitioning in Hexagonal Cellular Systems
1994-11-05
On The Mapping Of Solution Variables Within Adaptive Analysis Of Nonlinear Shell-Type Problems
2000-04-11
Integrating Database Concurrency Control into the Venus Rule Language
1995-05-24
Processes Of Flats Induced By Higher Dimensional Processes Iii
1994-11-21
FunnelWeb Hacker's Manual
1970-01-01
Effective Temperature-Colour and Surface Brightness-Colour Relationships for the Latest-Type Stars
1996-10-25
Pair-Production of W Bosons in e
1997-02-11
ABR Switch Algorithm Testing: A Case Study with ERICA
1996-09-28
On the Bidirectional Integration of Genetic Algorithms and Fuzzy Logic
2000-07-25
Domain Independent Plan Recognition
1995-12-15
Stefan Huwer
Significance of Ghost Orbit Bifurcations in Semiclassical Spectra
1999-04-19
A Multiple Access Protocol Implementation For A Virtual Cellular Network
1999-07-16
Negotiation Protocols and Dialogue Games
2000-09-13
LAPACK Working Note 117 A Fortran 90 Interface for LAPACK: LAPACK90, version 1.0
1997-03-19
Ray Shooting Amidst Convex Polyhedra and Polyhedral Terrains in Three Dimensions
1997-02-27
BDD Minimization by Truth Table Permutations
1995-03-27
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis
2000-08-14
PPPE Deliverable 4.3.a Part 2 of 2 Analysing various HPF Parallelisation Strategies
1993-09-14
Thomas Brandes
Measurement of Aerodynamic Roughness Radar over Vegetated Surfaces Topic 3- Active Microwaves
1997-07-16
Tailoring Retrieval to Support Case-Based Teaching
2000-08-27
Note: This draft, dated 10 February 1994, was prepared by the Data Communications Protocol Standards DCPS Technical Management Panel DTMP. It has not been approved and is subject to change.
1994-07-26
Interactive Occlusion and Collision of Real and Virtual Objects in Augmented Reality
2000-08-21
Reducing Gap-0 Multiple Alignment To Multiple Alignment
1999-09-04
Winfried Just
Tracking Available Values for Lightweight Closures Summary
1994-03-28
Effective Action of Spontaneously Broken Gauge Theories
1996-03-06
Local Reorientation Dynamics of Semiflexible Polymers in the Melt
2000-05-18
CHORUS on H1: UNIX System V on Networks of Transputers
1994-06-08
Supporting Random Access on Real-time Retrieval of Digital Continuous Media
1994-09-09
On Group Decision Making Under Linguistic Preferences And Fuzzy Linguistic Quantifiers
2000-07-25
Ethnography and collaborative systems development II: practical application in a commercial context
1996-05-02
The Semantics of Viewcharts
1970-01-01
A User Agent Configuration Mechanism For Multimedia Mail Format Information
1992-02-02
Nathaniel S. Borenstein
Explicit Form For The Discrete Logarithm Over The Field
1995-11-22
Gerasimos C. Meletiou
Timing the eclipse of HD185510
1997-04-15
C. Simon Jeffery
Correct Higher-Order Program Transformations
1994-07-26
A. Steckler
Automating the Evolution of Object-Oriented Systems
1995-07-14
A Simple Proof for the NP-Hardness of Edge Labeling
2000-09-15
Alexander Wol
Exact Geometric Computation Using Cascading
1999-11-23
Finite difference method for solving the Boltzmann equations with virtual shared memory
1995-02-13
Failure Recovery based on Quasi-Synchronous Checkpointing in Mobile Computing Systems
1996-07-01
Computing Square Roots Of A Matrix
2000-08-18
Hyun-min Kim
Jackson System Development, Entity-Relationship Analysis and Data Flow Models: A comparative study
1994-01-17
R. J. Wieringa
Higher-order Statistical Properties Arising from the Non-stationarity of Natural Signals
2000-08-17
Graphs, groupoids and Cuntz-Krieger algebras
1998-08-05
On a Class of Biomorphic Motion Systems
1999-07-09
Voting with Ghosts
1990-04-16
Primal-dual RNC approximation of covering integer programs
1997-12-09
I R I S a
1995-02-10
Independent Transversals and Independent Coverings in Sparse Partite Graphs
1998-08-17
Raphael Yuster
Approximations and Progressive Reasoning
1995-05-24
Diss. ETH No. 10991
1995-09-15
Software Cost Estimation with Incomplete Data
1970-01-01
Dithering as a Method for Image Data Compression
1996-03-04
Natural Programming: Project Overview and Proposal
1998-01-13
Brad A. Myers
Development of an Atomic-Broadcast Protocol Using LOTOS
1999-09-01
Local Injectivity Conditions of 2D and 3D Uniform Cubic B-spline Functions
1999-09-29
Electronic Payment Systems on Open Computer Networks: A Survey
1999-11-02
Thomi Pilioura
Upper bounds for quantum dynamics governed by Jacobi matrices with self-similar spectra
1998-05-15
Achieving Reliability Of Distributed Applications In Wireless Multi-Network Environment
1998-08-05
Real-Time Devices At Practical Prices:
1999-02-09
Experiences with Systematic Reuse: Applying the EF/QIP Approach
1998-04-29
The power and influence of a critical set of a class of Youden squares
1999-10-01
Efficient Broadcast Time-Stamping
1999-07-15
Hidden Markov Models And Large-Scale Genome Analysis
1997-09-09
Sean R. Eddy
Bandwidth-Efficient Exploitation of the Degrees of Freedom in a Multipath Fading Channel
2000-07-31
What Determines Earnings and Employment Risk?
1998-11-03
On The Schreier Theory Of Nonabelian Extensions: Generalisations And Computations
1999-08-18
Three Concepts of System Architecture
1996-07-22
Model-based 2D3D Dominant Motion Estimation for Mosaicing and Video Representation
1995-07-11
The Logic of Knowledge Games: Showing a Card
1999-09-09
Hans Van Ditmarsch
Learnability and Markedness in Data-Driven Acquisition of Stress
2000-07-28
Asymptotically Good Covers in Hypergraphs Extended Abstract
1996-01-16
Denotational Semantics of Evaluation Order in Expressions with Side Effects
2000-04-07
Nikolaos S. Papaspyrou
A Family of Normalized LMS Algorithms
1999-02-02
Scott C. Douglas
Robotics TOOLBOX for use with MATLAB Release 3
1996-03-12
Peter I. Corke
Independent component analysis with the EM and FFT algorithm.
2000-03-07
Equalizers For Wireless And Wireline Digital Communications
1997-05-29
On Uniqueness of the Jump Process in Event Enhanced Quantum Theory
1999-09-25
A. Jadczyk
A Conversational Model for Health Promotion on the World Wide Web
1999-06-30
Optimization And Scaling Of Shared-Memory And Message-Passing Implementations Of The Zeus Hydrodynamics Algorithm
1996-11-26
Robert A. Fiedler
Aspects of Computational Logic
1998-05-13
An Inviscid Computational Study of an X-33 Configuration at Hypersonic Speeds
1999-09-29
Ramadas K. Prabhu
Nonreflecting Boundary Conditions For Time Dependent Scattering
2000-04-17
Beyond Contention: Extending Texture-Based Scheduling Heuristics
1997-10-07
Tracking Mobile Units for Dependable Message Delivery
1999-12-17
Building a Plan with Real-Time Execution Guarantees
1996-08-29
Routing Strategies and Message Contention on Low-dimensional Interconnection Networks
1992-03-09
Hitran 92/96
1999-01-21
The Dynamics of Iterated Transportation Simulations
1998-07-28
An End Theorem for Stratified Spaces
2000-03-27
On the Expressive Power of the Unary Transformation Model
1999-04-02
Some Directions for the Measurement of Objects
1999-07-26
On Markovian Fragments of COCOLOG for Logic Control Systems
1995-04-19
A New Family Of Preconditioned Iterative Solvers For Nonsymmetric Linear Systems
1995-10-07
Timing Constraints in Message Sequence Chart Specifications
1997-07-17
An Attribute-Space Representation and Algorithm for Concurrent Engineering
1996-12-04
Automated Advice-giving Strategies for Scientific Inquiry
1996-03-20
Second Order Hamiltonian Equations on
1997-04-28
Luigi Chierchia
A 20MHz CMOS Reorder Buffer for a Superscalar Microprocessor
1992-09-28
Generic and Fully Automatic Content-Based Image Retrieval Using Color
1999-10-19
Suresh K. Choubey
Finger Tracking as an Input Device for Augmented Reality
1998-06-15
Flexible Synchronization of Shared Groupware Objects
1999-11-30
An Incremental Approach to Scheduling during Overloads in Real-Time Systems
2000-08-31
Micropolarizer-Based Multiple-Viewer Autostereoscopic Display
1999-05-26
Adaptation of a Keyphrase Extractor for Japanese
1970-01-01
Evolutionary Approaches To The Learning Of Fuzzy Rule-based Classification Systems
2000-01-14
Development Closed Critical Pairs
1996-02-26
Self-Organizing Maps And Software Reuse
1999-01-11
Dieter Merkl
Fast Recognition of Self-Similar Landmarks
1999-05-05
Mike Papazoglou
1996-12-30
Manfred A. Jeusfeld Mike Papazoglou
Query Reformulation in Multidatabase Systems using Semantic Knowledge
1995-06-10
Opacity in Batticaloa Creole Portuguese stress assignment: motivation for candidate-to-candidate faithfulness
1970-01-01
Andrew J. Koontz-garboden
receive a copy of any of these documents, return the form at the end of this list. TR 94-01
1995-11-03
The Identification of Multiple Outliers in Online Monitoring Data
2000-05-19
Aspects of Efficiency Improvement in Bayesian Networks
1993-05-10
Uffe Kjaerulff
Constraint Consistency Techniques for Continuous Domains
1998-03-04
High-Order Multivariable Transfer Function Curve Fitting: Algorithms, Sparse Matrix Methods and Experimental Results
1997-07-21
David S
A Cooperative Multimedia Environment with QoS Control: Architectural and Implementation Issues
1996-10-18
Comparison of Deep Inelastic Electron-Photon Scattering Data with the Herwig and Phojet Monte Carlo Models
2000-08-21
Sampling of Bandlimited Functions on Unions of Shifted Lattices
2000-07-27
A Direct Proof of a Theorem by Kolmogorov in Hamiltonian Systems
1997-04-28
Scheduling for Large-Scale Parallel Video Servers
1996-05-17
Min-you Wu
A Policy Based Role Object Model
1998-04-09
BIBT E X for ASAE Papers
1970-01-01
An Observation-Based Admission Control Algorithm for Multimedia Servers
1995-05-01
A Note on Disagreement Percolation
2000-08-08
Olle Haggstrom
Analog Computation Via Neural Networks
1993-11-04
Data Transformations for Eliminating Conflict Misses
1998-03-28
Many-body forces between membrane inclusions: A new pattern-formation mechanism
1999-03-08
Scaling in Nonlinear Parabolic Equations: Locality Versus Globality
1997-10-30
Subspace Angles Between Linear Stochastic Models
2000-09-14
Key Words:
2000-05-12
Learning Program Behavior Profiles for Intrusion Detection
1999-03-29
Stability and Performance of Alternative Two-level Interconnection Networks
1991-08-06
Automatic Generation and Management of Interprocedural Program Analyses
1999-05-06
Multiple Solitary-Waves Due to Second Harmonic Generation in Quadratic Media
1997-04-14
ISODE is the trademark of ISODE Consortium Limited. All other products and services mentioned in
1994-10-20
A new approach for distributing Estelle specifications
1995-11-03
Aspects of Version Management of Composite Objects
1994-11-16
Patrick Lambrix
Evaluation of Item-Based Top-N Recommendation Algorithms
2000-09-12
George Karypis
SNMPv2: Simple or Sophisticated?
1994-10-19
Vincent Berkhout
The Hyperion system: Compiling multithreaded Java bytecode for distributed execution
2000-09-06
An Extended Two-Phase Method for Accessing Sections of Out-of-Core Arrays
1998-07-21
"What You can See Is What You can Feel." - Development Of Visual/Haptic Interface to Virtual Environment -
1998-12-29
Technical Report 72 January, 1992
1997-06-14
M. L. Underwood and M.
1997-07-09
Overlapping Schwarz Methods On Unstructured Meshes Using Non-Matching Coarse Grids
1994-07-20
Invariant features for 3-D gesture recognition
1996-08-21
Physical Basis For Nondestructive Tests Of Mos Radiation Hardness *
1997-10-03
Adaptive Fault-Tolerant Wormhole Routing Algorithms with Low Virtual Channel Requirements
1999-11-17
Suresh Chalasani
Advances In Experiment Design For High Performance Aircraft
1998-05-15
Eugene A. Morelli
QoS Adaptation and Flow Filtering in ATM Networks
1994-08-15
Initial Development of Efficient, Low-Debris Laser Targets for the Sandia Soft X-ray Projection Lithography Effort
1970-01-01
Thomas C. Henderson
1997-05-01
Recovering Dynamic Information from Static, Handwritten Word Images
1999-01-27
Liveness, Fairness, and Recurrence in Petri Nets
1999-08-12
On the Deterministic Complexity of Factoring Polynomials over Finite Fields
1999-04-07
Victor Shoup
Internet Resource Discovery Services
1993-06-10
Design and Implementation of Active Capability for an Object-Oriented Database
1993-01-03
Experience With Distributed Programming In Orca
1990-04-16
Approximating Spectral Invariants of Harper Operators on Graphs
2000-08-10
Varghese Mathai
Secret Agents -- A Security Architecture for the KQML Agent Communication Language
1995-10-23
Tracking Facial Feature Points with Gabor Wavelets and Shape Models
2000-09-12
Reducing ADC Resolution by Using . . .
1970-01-01
Vladimir Oksman
A New Approach to a Hyperspace Theory
1996-03-02
Improved Ephemerides Pluto
1997-08-07
E M Standish
SLDNFA: an abductive procedure for normal abductive programs
1994-06-30
Long - Range Correlations In Computer Programs
1998-07-06
A Software Toolbox to Carry-out Virtual Experiments on Human Motion
1997-11-18
Graph Homomorphisms and Phase Transitions
1997-11-26
Variable Fusion: A New Adaptive Signal Regression Method
1997-05-28
Multi-Dimensional Fluctuation Splitting Schemes For The Euler Equations On Unstructured Grids
1995-11-21
Lisa Marie Mesaros
Simplicity and Prediction
1997-09-01
Modelling timetabling problems with STTL
1999-12-07
Jeffrey H. Kingston
On the De Branges Theorem
1995-03-24
Using Snap-Grid Models for Digit Recognition
1999-09-15
Patrick C Hew
Recognition of the Multi Specularity Objects using the Eigen-Window
1999-08-19
Programmable Active Memories: the Coming of Age
1995-04-13
A Self-Optimizing Adaptive LQG Control Scheme for Input-Output Systems
2000-09-15
Constructing Design Plans for DFA Redesign
1970-01-01
On The RobustnessOf Blind Linear Receivers For Short-Code CDMA
2000-09-06
Acknowledgments
1997-07-03
Asymmetric Information And News Disclosure Rules
2000-07-25
Exploiting the Map Metaphor in a Tool for Software Evolution
2000-09-20
Techniques for Securing Networks against Criminal Attacks
2000-09-20
Architectural Design Options for ATM Switches
2000-06-05
Navindra Yadav
________________________ ________________________
1995-03-28
E. Grenier
Design of Spatialized Audio in Nomadic Environments
1998-04-20
PGRIP: PNNI Global Routing Infrastructure Protection
1998-10-23
A Novel Distributed Power Control Algorithm for Classes of Service in Cellular CDMA Networks
1999-04-21
New Results on Deterministic Pricing of Financial Derivatives
2000-08-16
MA42 - A new frontal code for solving sparse unsymmetric systems
1970-01-01
Combining Multiple, Large-Scale Resources in a Reusable Lexicon for Natural Language Generation
1999-06-15
Intelligence - Dynamics and Representations
1995-01-24
On the implementation of the method of Magnus series for linear differentialequations
1998-02-02
A Robust Parser Based on Syntactic Information
1970-01-01
Local T E X and L
1998-06-24
A Geometric Proof of a Formula for the Number of Young Tableaux of a Given Shape
1998-02-23
Michael Luby
Functional Decomposition with Integrated Test Generation
1997-04-18
Christoph Scholl
A Note On The Circumference Of Graphs
1996-01-30
L. Stacho
Validated Retrieval in Case--Based Reasoning
1998-08-11
Efficient Interconnection Designs for Switch-Based Local Area Networks
1994-06-19
Future directions of automated deduction: Distributed automated deduction
1996-04-09
Maria Paola Bonacina
JOTA paper errata
2000-08-13
Matthew J. Tenny
Color Book Production Using TEX
1999-04-08
Michael D. Sofka
A Connectionist Architecture with Inherent Systematicity
1997-12-22
James Henderson
A Subspace Approach to Balanced Truncation for Model Reduction of Nonlinear Control Systems
2000-09-04
A Comparison of Led-From Leads-to
1992-12-04
Efficient Algorithms for Inverting Evolution
2000-04-13
A NUMERICAL SCHEME FOR THE TWO PHASE MULLINS-SEKERKA PROBLEM Peter W. Bates, Xinfu Chen, and Xinyu Deng
1995-09-25
Profile-Guided Receiver Class Prediction
1995-04-19
A LA-COMAImplementation of Parallel Volume Rendering
1995-04-17
and C1O. An examination of the polar regions indicates that large scale planetary variations are likely to play a significant role in transporting mid-stratospheric 0
1997-07-16
Lee S. And
Bounds for Predictive Errors in the Statistical Mechanics of Supervised Learning
1995-10-06
David Haussler
Ramseyan Properties of Graphs
1997-12-26
Pricing Contingent Claims in Incomplete Markets When the Holder Can Choose Among Different Payoffs
2000-09-15
Christoph Kuhn
Real Time Streaming Protocol RTSP
1997-09-18
From Naive Mean Field Theory to the TAP Equations
1970-01-01
Ole Winther
Space Eciency of Propositional Knowledge Representation Formalisms
2000-08-04
Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search
2000-09-13
Test Plan of the Test Manager for the ATLAS DAQ Prototype-1
2000-03-28
A Benchmark For Classifier Learning
1994-08-02
Zijian Zheng
Robust Agent Teams via Socially-Attentive Monitoring
2000-03-27
An Evaluation Of Social Insurance Savings Accounts
2000-09-18
Stefan Flster
Value Dependence Graphs: Representation Without Taxation
1997-03-11
Flexible Physical Memory Management
1995-01-04
Dylan Mcnamee
Enthusiasm and Realism live on a European MultiMedia Communication Platform
1995-09-28
One Year NTG
1994-04-20
C. G. Van Der Laan
Minimal Surfaces in a Complex Projective Space whose Mean Curvature Vectors are Eigenvectors
1995-06-26
Oz Explorer: A Visual Constraint Programming Tool
1996-10-11
Christian Schulte
Gaussian Quadrature For Matrix Valued Functions On The Unit Circle
2000-03-04
Ann Sinap
Local Polynomial Regression Estimators in Survey Sampling
2000-08-30
Real-Time Self-Explanatory Simulation
1993-04-29
A practical Building block for solving . . .
1997-11-17
Learning-Based Ventricle Detection from Cardiac MR and CT Images
1995-07-14
Adapting the SPEC 2000 Benchmark Suite for Simulation-Based Computer Architecture Research
2000-09-13
About Breaking the Trade Off Between Accuracy and Comprehensibility in Concept Learning
1995-05-17
Language Acquisition in the Absence of Explicit Negative Evidence: How Important is Starting Small?
1999-09-14
The Saturation Attack - a Bait for Twofish
2000-09-14
Theoretische Informatik
Visitor-Hoster: Towards An
1994-11-14
Observer Curve and Object Detection From the Optic Flow
1994-12-20
Hopf Rings, DieudonnéModules, and ...
1998-12-29
Paul G. Goerss
Online Type-Directed Partial Evaluation for Dynamically-Typed Languages
2000-06-19
Universal Switch Modules for FPGA Design
1995-08-04
Probabilistic Failure Risk Assessment for Structural Fatigue
1997-08-11
N. R. Moore
An FPGA-based Point Pattern Matching Processor with Application to Fingerprint Matching
1995-11-07
A Comparison of Bandwidth Smoothing Techniques for the Transmission of Prerecorded Compressed Video
1996-12-16
Time Simulation of Segmented Reflector Telescopes in
1997-07-29
What's been Forgotten in Translation Memory
2000-09-12
Type Theory and Programming
1995-05-22
Ratios of Multijet Cross Sections in
2000-09-18
B. Abbott
The Stepping Stones to Object-Oriented Design and Programming
1992-08-14
Karl J. Lieberherr
Experiments with Noise Reduction Neural Networks for Robust Speech Recognition
1998-02-16
Michael Trompf
Sunspots, Animal Spirits And Economic Fluctuations
2000-08-16
A Monte Carlo Approach to Sequence Assembly
1970-01-01
Erik Sandelin
Surface Modelling For Alpine Glacier Monitoring By Airborne Laser Scanning And Digital Photogrammetry
1970-01-01
The Athena Service Management System
1990-10-20
Relative Perturbation Theory: I Eigenvalue and Singular Value Variations
1996-02-14
Ren-cang Li
Knowledge Base Modelling Based on Linguistics and Founded in Logic
1994-06-09
R. P. Van De Riet
Belief Revision via Lamarckian Evolution
2000-09-13
Network Algorithms and Protocol for Multimedia Servers
1995-08-04
Graphical Models for Multivariate Time Series from Intensive Care Monitoring
2000-09-07
Extensions to the MARS model for Integrated Services
1996-09-18
D. Williams
Statistical Model And Genetic Optimization: Application To Pattern Detection In Sonar Images
1997-12-02
M. Mignotte
Constructing Classifier Systems using TOLKIEN
1994-04-14
Anthony Yiu-cheung Tang
On subgroup separability in hyperbolic Coxeter groups.
2000-07-25
Can Operational Data become the driving force for Business Change?
1999-04-07
Nektarios Georgalas
Impact of Network Dynamics on End-to-End Protocols: Case Studies in Reliable Multicast
1998-04-06
Munin: Distributed Shared Memory Based on Type--Specific Memory Coherence
1996-05-05
Partial Commutation and Traces
1996-01-09
Volker Diekert
Types of Circuits to Be Catered for
1991-11-17
The ReTINA Project: An Overview
1996-12-16
Towards Polytypic Parallel Programming
1999-11-24
Quantifiers, Contexts, and Anaphora
1996-04-02
Jaap Van Der Does
Subspace Correction Methods for Nonsymmetric Parabolic Problems
2000-08-11
Automatic Protocol Code Optimizations
1995-12-19
Computational Models and Time-Related Dependability Mechanisms for GUARDS
1996-09-25
The Hamilton-Jacobi Skeleton
2000-07-25
Estimation Of Genetic And Phenotypic Covariance Functions For Longitudinal Data
2000-08-08
K. Meyer
Notes on VTA implementation in Soot
2000-09-21
Felix Kwok
A Necessary And Sufficient Symbolic Condition For The Existence Of Incomplete Cholesky Factorization
1996-09-13
Object Recognition Based On High Spatial Resolution Panchromatic Satellite Imagery
2000-02-04
Recommendations on Queue Management and Congestion Avoidance in the Internet
1997-03-26
Computer-Generated Pen-and-Ink Illustration
1994-05-24
I R I S a
1995-06-13
Wavelets: An Alternative Approach to Solving PDEs
1998-10-19
A Geometric Lagrangian Formalism For Extended Objects
1996-01-02
D. R. Grigore
Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress
1993-03-15
Eavesdropping on the IS--95 Downlink: Reduced Complexity Optimum and Suboptimum Multiuser Detectors
2000-09-06
An Infinite Dimensional Motivation In Higher Order Geometry
1996-04-11
Ivan Kol A R
Knowledge Packets and Knowledge Packet Structures
2000-09-04
Near-Horn Prolog and the Ancestry Family of Procedures
1997-02-27
A Resource Based Pricing Policy For Real-Time Channels In A Packet-Switching Network.
1998-02-16
Information Merging in Neural Modelling
1997-11-06
User's Guide to the p4 Parallel Programming System
1993-11-20
On Analytic Continuation Of Power SeriesWith The Condition On Their Gelfond-Leontev Derivatives
1997-06-24
Myroslav M. Sheremeta
Learning Spatial Concepts Using a Partially-Structured Connectionist Architecture
1998-02-16
Terry Regier
BOOLE: A System to Compute Boolean Combinations of Sculptured Solids
1995-09-13
Nimm Zwei
1997-11-04
Fault Management in Communication Networks: Test Scheduling with a Risk-Sensitive Criterion and Precedence Constraints
2000-09-12
Mark A. Shayman
BayesX - Software for Bayesian Inference based on Markov Chain Monte Carlo simulation techniques - Version 0.5
1970-01-01
Tool-supported Program Abstraction for Finite-state Verification
2000-09-12
RSRR: A Routing Interface For RSVP
1996-11-28
Garbage Collection of Persistent Objects in a Distributed Object-Oriented Platform
1993-09-16
Pedro Sousa
Driving Vision by Topology
1995-03-15
Flexible Management of Shared Groupware Objects
2000-03-31
Evaluation and New Specification of the Extensible Agent Protocol
1995-04-12
Fast Automatic Field Edge Detection in Portal Images
1994-07-07
Real-Time Mach Timers: Exporting Time to the User
1993-04-01
Logic with Probabilistic Operators
1994-08-29
Natasha Alechina
Towards a Systematic Object-Oriented Transformation of a Merise Analysis
1998-03-22
The Assessment of the PCIS Framework
1994-04-13
Contact Point For Changes To This Catalog Entry
1995-05-08
Spectroscopy And Photometry Of Nearby Young Solar Analogs E. J.
2000-08-26
A Generic Architecture for Data Flow Analysis to Support Reverse Engineering
1998-01-19
A Unix Interface for Shared Memory and Memory Mapped Files Under Mach
1993-11-23
Number Theory, Classical Mechanics and the Theory of Large Atoms
1997-04-26
L. A. Seco
Embedding Recurrent Neural Networks into Predator-Prey Models
1998-09-29
Divergence-Free Wavelet Analysis Of Turbulent Flows
2000-07-25
Dynamic Programming Search Techniques For Across-Word Modelling In Speech Recognition
1999-05-12
Link-sharing and Resource Management Models for Packet Networks
1995-12-27
Sally Floyd
Market Market Structure, Innovation And The Persistence Structure, Innovation And The Persistence Of Cost Differences Of Cost Differences
1999-01-07
Cs--1994--31
1994-11-30
A Parallelogram Configuration Condition In Nets
1995-11-22
Jitka Markvartov A
Mapping Class Groups and Moduli Spaces of Curves
1997-05-19
Richard Hain
Explicit Substitutions for Objects and Functions
1998-12-15
Approximate Distance Classification
1998-09-04
Impredicative Representations of Categorical Datatypes
1994-08-22
Thorsten Altenkirch
Dynamic Attributes, Code Generation and the IUE
1994-08-25
A Timing-Driven Global Router for Symmetrical Array Based FPGAs
1994-08-08
Time Series
2000-08-31
Field Theory of Euclidean Matrix Ensembles
2000-08-30
Optical Instruments for Remote Sensing from Space
1997-08-13
Michael P
Rauber'? Conference Pages Are over There, German Documents on the Lower Left,.." - An "Old-Fashioned" Approach to Web Search Results Visualization
2000-09-11
Reinterpreting Physically-Motivated Modeling
1994-08-22
A Distributed Garbage Collection as an Operating System Component
1991-10-04
Curtis T. McMullen
1998-07-02
Curtis T. Mcmullen
Reference and Representation
1996-10-17
Paul Dekker
A Linguistic Decision Model for Promotion Mix Management Solved with Genetic Algorithms
2000-07-24
Measured Interference of Network Security Mechanisms with Network Performance
1997-02-26
The hB II -Tree: A Concurrent And Recoverable Multi-Attribute Index Structure
1994-06-17
Georgios Evangelidis
A Minimal-Copy Network Interface Architecture Supporting ILP and ALF Extended Abstract
1994-10-25
Mapping a Functional Notation for Parallel Programs onto Hypercubes
1994-11-30
Jacob Kornerup
Webmining: Learning from the World Wide Web
2000-09-14
Integrity Constraints for XML
2000-02-28
Wenfei Fan
Singularity-Robust Trajectory Generation
2000-09-08
Estimates of direct and maternal covariance functions for growth of Australian beef calves from birth to weaning
2000-06-26
Karin Meyer
Paul Erdös: a memoir
2000-09-20
Peter J. Cameron
An experimental technique for computing parameter-uniform error estimates for numerical solutions of singular perturbation problems, with an application to Prandtl's problem at high Reynolds number
2000-09-11
A Parallel Unsymmetric-Pattern Multifrontal Method
1994-08-29
A File System for Mobile Computing
1993-06-14
Carl Downing Tait
Material Classification by Drilling
2000-09-15
Estimate of Solar Radius From F-Mode Frequencies
1997-06-13
H. M. Antia
Surface Triangulation: A Survey
1996-07-10
Subodh Kumar
A Model for k-Nearest Neighbor Query Processing Cost in Multidimensional Data Space
1999-04-15
A New Parallel Breadth First Tabu Search Technique for Solving Production Planning Problems
2000-08-02
Parallel Algorithms for Orthotropic Problems
1997-03-03
Real-Time Verification Techniques for Untimed Systems
2000-09-08
Human-Robot Interaction with a Minimal Spanning Natural Language Template for Autonomous&Tele-operated Control
1998-04-21
John S. Zelek
I R I S a
1996-05-30
An Evolutionary Optimization Procedure Applied to the Synthesis of Integrated Spot-Size Converters
1999-01-20
Fast Global Illumination Including Specular Effects
2000-05-30
Quasi-Monte Carlo Radiosity
1999-10-03
Montage : Page 226 = Blanche
1991-11-17
Generating Text Summaries through the Relative Importance of Topics
2000-08-04
B. Z. Shapiro
1997-04-24
B. Z. Shapiro
A Case Study of File System Workload in a Large-Scale Distributed Environment
1995-01-16
An Overview of Class Analyses of Object-oriented Languages
2000-08-10
Detecting Races in Relay Ladder Logic Programs
1998-12-07
Quantifying the Level of Productivity and Economic Benefits of Different Farm Systems, Management Strategies and the Health Status of Herds By Panel Data From Sow Herds
1997-01-18
Nicolaj Henrik Nrgaard
Parallel Programming with Logic Languages: a Survey
1999-08-26
Paolo Ciancarini
Adaptive State Space Quantisation for Reinforcement Learning of Collision-Free Navigation
1994-12-15
A Note On Counting Cuspidal Excursions
1998-06-04
The Modern Role Of Visual Observations Of Comets
1997-07-16
Analytic Machines
1997-11-28
Adaptive Robust Motion And Force Tracking Control Of Robot Manipulators In Contact With Stiff Surfaces
2000-08-11
Directional Flow Visualization of 2D and 3D Vector Fields
1996-04-01
Alex Pang
ISODE is the trademark of ISODE Consortium Limited. All other products and services mentioned in
1993-11-15
Frederik Fouvry
1996-10-31
Multi-Parameter Pure State Estimation Based on the Right Logarithmic Derivative
1999-11-24
Numerical Simulation of Low-Density Shock-Wave Interactions
1999-07-29
Christopher E. Glass
Super Logic Programs
1998-08-31
Analysis and Modeling of Complex Systems Using the Self-Organizing Map
1998-07-07
Legal Notice
1997-07-05
Fast Algorithms for Penetration and Contact Determination Between Non-Convex Polyhedral Models
1997-06-22
Explicit Link Between Local Fractal Transform And Multiresolution Transform
2000-02-11
B. Simon
An Interactive Fur Modeling Technique
1997-05-30
Experience-Based Creativity
1992-07-09
Robert Levinson
Linear Inversion in Layered Viscoacoustic Media Using a Time Domain Method
1996-05-16
Region Formation Analysis with Demand-driven Inlining for Region-based Optimization
2000-07-25
A New Stable Algorithm for Computing Steady State Measures for Markov Chains
1996-07-19
Solutions of the BCM learning rule in a network of lateral interacting nonlinear neurons
2000-02-24
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints
2000-09-06
Fault Diagnosis in Heterogeneous Complex Systems
1996-12-16
Activity Curvature A New Approach To Perception
1995-02-28
Konrad Weigl
CAIS: Collaborative Asynchronous Inspection of Software
1995-03-13
Users Manual for doctext: Producing Documentation from C Source Code
1995-06-21
Finite Element Applications of Parallel Adaptive Integration Strategies
1997-03-28
Applications of the Inverse 3D-Var Method to Data Assimilation
1999-07-08
A Graph-Grammar Approach to Represent Context Knowledge in Oncological Patient Records
1996-01-29
Echo Cancelation
1998-08-11
The Optimization of a Shaped-Charge Design Using Parallel Computers
1970-01-01
Optimistic Virtual Synchrony
2000-08-01
Special Solutions Of Linear Difference Equations With Infinite Delay
1995-11-23
Milan Medve D
Trimming for Subdivision Surfaces
2000-08-02
Detecting Interleaving
2000-08-09
Multiscale Algorithm for Atmospheric Data Assimilation - Part I. Multiscale Iterative Process
1995-03-09
Estimates Of Genetic Parameters For Cannon Bone Length In Beef Cattle
2000-08-09
SuperLU Users' Guide
1997-11-21
Cfd For Scirocco Project
1997-06-20
Shrinking Language Models by Robust Approximation
1999-11-18
Beyond UNIX - A True Distributed System for the 1990s
1995-10-16
Gross Substitutability as a Property of TU-games
1999-10-20
Transis: A Communication Sub-System for High Availability
1996-08-19
Geometry of Singularities for the Steady Boussinesq Equations
1970-01-01
Space Filling Curve Dither with Adaptive Clustering
1994-09-22
Predicting protein structure using hidden Markov models
1997-10-23
Machine Learning, Game Play, and Go
1994-09-09
David Stoutamire
A Universal Robust Low Frequency Watermarking Scheme
2000-08-08
Absolute And Relative Temporal Constraints In Hard Real-Time Databases
1993-07-20
The Nonlinear Dynamics of Filaments
1999-04-09
Dynamic Region-based Wavelet Coding for Telemedicine Applications
1997-05-21
Two-handed Interactive Stereoscopic Visualization
1996-07-05
Aggregating Linguistic Preferences: Properties Of Lowa Operator
2000-07-25
Objectives of OpenMath
1994-11-19
Multiparadigm Programming in Oz
1995-11-18
Links Between Complexity Theory and Constrained Block Coding
2000-09-19
Some Specialized Comparison Techniques for Doubly Stochastic Finite Markov Chains
2000-09-01
Martin Hildebrand
Unknown
1998-09-14
A Reduction Result for Circumscribed Semi-Horn Formulas
2000-07-03
Performance Comparison Of Static Routing And Dynamic Routing In Low-Earth Orbit Satellite Networks
1998-04-04
The Performance Of The Amoeba Distributed Operating System
1990-04-16
Mathematics Education and Interactive Mathematics Laboratories
1996-03-22
William M. Farmer
ANACONDA: Robust Synthesis of Analog Circuits Via Stochastic Pattern Search
1999-10-05
Gradient Descent Training of Bayesian Networks
1999-05-20
Finn Verner Jensen
Uhmann's parallelism and Nagaoka's quantum information geometry
1999-11-24
Keiji Matsumoto
Towards the Quark-Gluon-Plasma
1999-03-12
Johanna Stachel
Applications of Sonochemistry to Materials Synthesis
1999-02-12
Planar Grouping for Automatic Detection of Vanishing Lines and Points
2000-07-22
Reengineering COBOL software implies specification of the underlying dialects
1998-01-19
BRIEFING PAPER BY Daniel Gros CEPS, Brussels, August 2000 Public debt markets in the euro area and the UMTS windfall
2000-09-14
Support for Object Placement in Wide Area Heterogeneous Distributed Systems
1996-09-12
John F. Karpovich
Simplified derandomization of BPP using a hitting set generator
2000-01-20
Fast Nearest Neighbor Search in Medical Image Databases
1996-08-16
LQG and Feedforward Controllers for the Deep Space Network Antennas
1997-07-15
W And
LAPACK Working Note 58 The Design of Linear Algebra Libraries for High Performance Computers
1994-10-07
State-Transition Cost Functions and an Application to Language Translation
1999-11-30
Modeling Timing Correlation and the Accurate Timing Verification of Digital Interface Circuits
1998-11-29
Control Mechanisms for Packet Audio in the Internet
1996-01-09
PassiveTEX: from XML to PDF
2000-08-02
Interpreting Syntropy in Larch
1999-05-11
When All the Observers of a Distributed Computation Do Agree
1994-03-14
MTR 96B0000067 VO1 Distributed Object Management Integration System DOMIS FY96 Final Report
1997-11-04
From Paper to Computer Screen. Human Information Processing and Interfaces to Patient Data.
1999-10-18
Else Nygren
Scheduling to Reduce Memory Coherence Overhead on Coarse-Grain Multiprocessors
1995-04-04
On Scoping, Naming and Overloading in Heterogeneous OODBMS
1998-10-20
Expression Templates for Partial Differential Equations
1999-12-17
Christoph Paum
Techical Research Report
1999-11-05
Approximation Problems with the Divergence Criterion for Gaussian Variables and Gaussian Processes
1996-12-11
A. A. Stoorvogel
Formalizing Belief Reports the Approach and a Case Study
1999-03-11
A Customizable Substrate for Concurrent Languages
1997-06-28
Nesting and Defoliation of Index Expressions for Information Retrieval
1999-04-22
Towards Autonomous, Perceptive, and Intelligent Virtual Actors
1999-06-23
Application of AGLEARN for Hungarian Part-of-speech Tagging
1999-02-22
Szilvia Zvada
Doctoral Colloquium Keynote Address Conduct, Misconduct, And Cargo Cult Science
1997-06-24
James R. Wilson
Safe Cooperative Robot Patterns via Dynamics on Graphs
1997-11-25
Ya-xiang Yuan
1999-05-25
A multi-threaded Message Passing Interface MPI architecture: performance and program issues
1998-09-27
On The Use of Network DRAM in LAPACK Programs
1999-07-29
A New Clustering Evaluation Function Using Renyi's Information Potential
2000-07-06
Robust Unit Selection System For Speech Synthesis
1999-05-06
Alistair Conkie
Committee Networks By Resampling
1998-05-18
Reasoning About Array Structures Using a Dependently Typed Logic
1997-10-10
The Performance of Adaptive Routers on Worst Case Permutations
1997-03-12
Donald D. Chinn
Western European Integrated Energy and Materials Scenarios for Sustainable Development
1998-11-11
with Non-standard Higgs Boson Couplings
1999-08-11
Learning Of Control Knowledge For Symbolic Proofs
1995-07-12
Alternative to the autologistic model using a hidden conditional autoregressive Gaussian process
1998-07-08
Dialectics and Logic Version 4
2000-09-08
Robin Hirsch
Communication Issues in Parallel Computing across ATM Networks
1995-03-31
The Magnus Force on Skyrmions in Ferromagnets and Quantum Hall Systems
1970-01-01
Michael Stone
Warped Distance for Space-Variant Linear Image Interpolation
1999-05-10
Giovanni Ramponi
EUV Emission from RS CVn binaries
1996-05-31
Managing Real--Time Services in Multimedia Networks Using Dynamic Visualization and High--Level Controls
1995-09-13
Nonlinear Device Noise Models: A New Approach from Thermodynamics
1998-01-13
HIT -- A Hierarchical Environment for Interactive Test Engineering
1996-12-16
A Neural-Network Based Approach for Recognition of Pose and Motion Gestures On a Mobile Robot
1999-09-03
On Markov Chains with Sluggish Transients
1998-09-04
G. W. Stewart
Multi-Node Broadcasting in Hypercubes and Star Graphs
1998-05-18
Yu-chee Tseng
Towards a real Real RAM: a Prototype using C++
1997-04-11
Norbert Th. Mller
Using ASF+SDF: A Case Study
1997-03-03
Sebastiano Vigna
Combined Digital Compression And Digital Modulation
1995-08-01
Image Segmentation Using Deformable Models
2000-04-20
Optimization-Based Analysis of a Simplified Ozone Model
1996-12-19
Simulation-based Test of Synchronous and Asynchronous Fault-tolerant Group Membership Services
1997-03-18
Noise-Induced Transitions in a Simplified Model of the Thermohaline Circulation
1999-04-22
Necessary and Sufficient Conditions for Finite Time Singularities in Ordinary Differential Equations
1999-04-12
The Design of the Seer Predictive Caching System
1994-11-29
Geoffrey H. Kuenning
PART I Series P Recommendations TELEPHONE TRANSMISSION QUALITY 1 MONTAGE: PAGE 2 = PAGE BLANCHE 2 SECTION 1
1991-11-17
Center for Applied Mathematical Sciences
1970-01-01
On the Decidability of Continuous Time Specification Formalisms
1997-12-16
A. Rabinovich
On An Oblique Derivative Problem Involving An Indefinite Weight
1995-11-20
M. Faierman
Building Visual Correspondence Maps --- From Neuronal Dynamics To A Face Recognition System
1995-09-18
Rolf P. Wurtz
Pattern Matching in Text Compressed by Using Antidictionaries
1999-07-09
On A Modification Of Relational Axioms
1996-01-05
Dynamic Process Management in an MPI Setting
1995-02-06
Ewing Lusk
The Independence Number Of Dense Graphs With Large Odd Girth
1997-12-26
James B. Shearer
On Immobility
1998-12-02
Medical Diagnosis Of Stroke Using Inductive Machine Learning
1999-08-25
A Concurrent
1994-06-20
Filling Gaps in the Boundary of a Polyhedron
1970-01-01
Valuation Accuracy - An Australian Perspective
2000-03-26
Stereo Matching as a Multistage Grouping Process
1996-10-04
Transition From Kinetic Theory To Macroscopic Fluid Equations: A Problem For Domain Decomposition And A Source For New Algorithms
1998-08-06
Implementing a Question Answering Evaluation
2000-05-30
Compression Of Image Contours Using Combinatorial Optimization
1998-06-20
Integrating RDMS and Data Mining capabilities using Rough Sets
1999-10-15
Ernestina Menasalvas Ruiz
Department of Computer Science
1994-05-31
Darrell Whitley
Design and Implementation of a Web-based Tool for ATM Connection Management
1998-02-23
Martin Bernhardt
Predictive Distribution For Polytomous Logistic Models With Nonlinear Link Functions
1997-04-14
Influence of the phase and timing offset on the BCJR algorithm performance
2000-06-08
Chapter/8 SECURITY/AND/PLANNING/ IN/THE/COMPUTER/SYSTEM/LIFE/CYCLE
1996-09-23
Napoleon's Theorem and Generalizations Through Linear Maps
2000-08-30
Hellmuth Stachel
Smoothing Effects of Bagging
2000-09-12
Harvest User's Manual
1996-02-15
Explicit isoperimetric constants, phase transitions in the random-cluster and Potts models, and Bernoullicity
2000-08-23
Experiments with a Lossless JPEG Codec
1999-07-21
Kongji Huang
I Artificial Intelligence
1992-10-06
Text Mining at the Term Level
2000-03-07
Synergetic Organization in Speech Rhythm
1998-09-15
Fred Cummins
Nonmonotonic Activation Functions in Multilayer Perceptrons
1993-11-18
Gary William Flake
JAWS: A Framework for High-performance Web Servers
1997-12-16
Optimizing an ANSI C Interpreter with Superoperators
1995-10-26
Todd A. Proebsting
On the Complexity of Some Verification Problems in Process Control Specifications
1999-11-19
A. H. M. Ter Hofstede
An Adaptive Data Replication Algorithm
1999-08-13
Pattern Extraction By Adaptive Propagation Of A Regional Threshold
1992-12-01
Fuzzy logic in Autonomous Robot Navigation - a case study
1997-08-07
Alessandro Saffiotti
A Gracefully Degradable Declustered RAID Architecture with near Optimal Maximal Read and Write Parallelism
2000-09-15
Nonlinear Filtering : Stochastic Analysis And Numerical Methods
1997-04-04
Control Flow Normalization for COBOL/CICS Legacy Systems
1998-01-19
Formalising Human Error Resistance And Human Error Tolerance.
1995-11-01
Muxing: A Telephone-Access Mandarin Conversational System
2000-07-28
Error Detection and Error Recovery in Two Dimensional Topological Navigation
1994-08-16
TELEX Recommendation F.60 OPERATIONAL PROVISIONS FOR THE INTERNATIONAL TELEX SERVICE 1
1991-11-17
Design and Comparison of High Strain Shape Memory Alloy Actuators
2000-09-08
The Transitional Dynamics Of Fiscal Policy: Long-Run Capital Accumulation, And Growth
2000-08-09
Stephen J. Turnovsky
Parallel Performance Evaluation through Critical Path Analysis
1995-03-13
Paging Strategies for Highly Mobile Users
1998-04-02
Principles of Transaction-Based On-Line Reorganization
1970-01-01
Fire Support in Marine Air-Ground Task Force Operations Table of
1998-03-19
M. P. Caulfield
Some Applications Of Bruhat-Tits Theory To Harmonic Analysis On A Reductive p-Adic Group
2000-10-04
Stephen Debacker
Viscoelastic Effects in 3D Microphase Separation of Block Copolymers: Dynamic Mean-Field Density Functional Approach
1998-06-08
Perceptual Grouping and Active contour functions for the extraction of roads in satellite pictures
1998-02-13
On the Second Order Behaviour of the Bootstrap of
2000-04-07
Keith Knight
Moving Target Classification and Tracking from Real-time Video
1999-05-28
Self-Sustained Oscillations Of Nonlinearly Viscoelastic Layers
1998-10-20
A User's Manual and Guide to an SDM Simulator on a Connection Machine
1999-03-26
Obscuration Culling on Parallel Graphics Architectures
1995-05-05
Chris Georges
COMPTEL All-Sky Imaging at 2.2 MeV
1999-06-25
Freedom-7: A High Fidelity Seven Axis Haptic Device With Application To Surgical Training
2000-09-11
The Distribution of Totatives
2000-08-30
Trading Quality for Time with Nearest-Neighbor Search
1999-12-01
Triangulated and Weakly Triangulated Graphs: Simpliciality in Vertices and Edges
2000-03-31
Cloud Mapping Using Ground-Based Imagers
1970-01-01
Discretization And Some Qualitative Properties Of Ordinary Differential Equations About Equilibria
1995-05-26
B. M. Garay
I R I S a
1995-04-03
Modality, Bisimulation And Interpolation In Infinitary Logic
1997-09-11
Johan Van Benthem
? ! ? :
1994-10-19
Interactively Restructuring HTML Documents
1996-08-20
Montbonnot Saint-martin
A Combined Adaptive-Mixtures/Plug-In Estimator of Multivariate Probability Densities
1997-08-08
J. Koronacki
Milestones for Disposal of Radioactive Waste at the Waste Isolation Pilot Plant WIPP in the United States
1970-01-01
Rob P. Rechard
A Data Model for Semistructured Data with Partial and Inconsistent Information
2000-07-11
Health Care Professional Workstations: Where Are We Now? ... Where Should We Be Tomorrow?
1994-06-24
Edward H. Shortliffe
A Theory of Modules and its Implementation in SEQUEL 11.0
1995-03-30
Mark Tarver
Learning User Profiles for Personalized Information Dissemination
1999-05-28
On-line Estimation of Visual-Motor Models using Active Vision
1996-02-26
Classifying Architectural Elements as a Foundation for Mechanism Matching
1996-07-22
Estimation Of Gibbs Point Processes By Monte Carlo Methods
1999-02-15
Reconstructing the Shape of a Deformable Membrane from Image Data
2000-08-31
A Bayesian Factor Analysis Model With Generalized Prior Information
1970-01-01
Daniel B. Rowe
Automatic Learning of User Profiles - Towards the Personalisation of Agent Services
2000-07-17
Speech Recognition with a Cortex Model: Preliminary Results and Outlook
1970-01-01
Page Placement For Non-Uniform Memory Access Time NUMA Shared Memory Multiprocessors
1997-02-27
Richard P. Larowe
The Superfield Formalism Applied to the Noncommutative Wess-Zumino Model
1970-01-01
Modular Real-Time Resource Management in the Rialto Operating System
1995-12-27
Using the Technology Acceptance Model to Predict Usage: Extensions and Empirical Test
2000-08-22
Hans Van Der Heijden
Transaction Concepts in Connection Management Applications
1997-09-08
Finite-Volume Hyperbolic 4-Manifolds That Share A Fundamental Polyhedron
1998-01-14
Dubravko Ivan Si C
Voronoi Diagram Based Cumulative Approximation For Engineering Optimization
2000-08-10
Managing Inconsistency in Evolutionary Database Reengineering Processes
2000-04-07
An Investigation of the Interference between Photon and Z-Boson Exchange
1996-11-06
Concurrent Reachability Games
1998-06-16
Air Transportation Industry
1999-04-18
Modular Groups of Quantum Fields in Thermal States
1970-01-01
An Experimental Study on Modelling and Identification of Harmonic Drive Systems
1996-03-19
Combining Predictors: Some Old Methods and a New Method
1998-09-01
Jakob Vogdrup Hansen
Simple Conference Invitation Protocol
1996-02-23
Internet-draft Schulzrinne
SPIMS-TUB Version 2.0 - Documentation
1994-11-25
Guidelines For Dynamic Environmental Criteria:
1997-06-13
A State Space Framework For Automatic
2000-08-31
A Statistical Model for Risk Stratification on the Basis of Left Ventricular Ejection Fraction and Heart-Rate Turbulence
1970-01-01
A Dynamic Syntax-Semantics Interface
1996-04-19
Tsutomu Fujinami
Problem 13
1999-07-16
Fly Spy: Lightweight Localization and Target Tracking for Cooperating Air and Ground Robots
2000-03-09
A Practical Approach Towards a Distributed and Flexible Realization of Policies Using Intelligent Agents
1998-07-15
An Adaptive Buddy Check for Observational Quality Control
2000-09-08
Image Quality Assessment Using the Modulation Transfer Function
1996-07-27
SEQL: Category learning as progressive abstraction using structure mapping
2000-08-30
LAPACK working note 51 Qualitative Properties of the Conjugate Gradient and Lanczos Methods in a Matrix Framework
1999-12-03
Victor Eijkhout
Fault-Local Distributed Mending
1995-04-06
Towards the Representation of Control Knowledge in a Proof Planner
1996-05-14
Erica Melis
OceanStore: An Architecture for Global-Scale Persistent Storage
2000-08-25
Attacking the Software Crisis Through Adaptive Object-Oriented Programming: Further Research and Technology Transfer
1995-09-26
Buckling Behavior of Long Symmetrically Laminated Plates Subjected to Shear and Linearly Varying Axial Edge Loads
1997-07-16
Michael P. Nemeth
The Multimedia Contact Center: Corporate Faade or Human Face?
2000-05-04
Synchronization Relation Tree: A Model for Temporal Synchronization in Multimedia Presentations
1993-03-18
Recommendation T.62
1991-11-17
Performance Measures for Haptic Interfaces
2000-09-08
Oliver R. Astley
Multiple error measures in ECG data compression
1997-05-06
Functional Integrals and their Applications
1997-04-26
David C. Brydges
MOOSE: an object-oriented multimodeling and simulation application framework
1997-06-03
Building predictive models on complex symbolic sequences with a second-order recurrent BCM network with lateral inhibition
2000-04-12
Peter Tino
Reuse Library Interoperability and the World Wide Web
1996-10-28
Allocating Memory Arrays for Polyhedra
1993-09-16
A Denotational Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing
2000-08-04
Managing true parallelism in ADA through PVM
1994-10-24
RSVP Extensions for Policy Control
1996-11-25
A Case Study on the Choice, Interpretation and Checking of Multilevel Models for Longitudinal Binary Outcomes
2000-09-20
TAS | A Generic Window Inference System
2000-09-14
Cylindrical Echocardiographic Image Segmentation Based on 3D Deformable Models
1970-01-01
BlockSolve95 Users Manual: Scalable Library Software for the Parallel Solution of Sparse Linear Systems
1997-07-08
Distributed Garbage Collection in a Client-Server, Persistent Object System
1993-09-25
Umesh Maheshwari
Geant4 Low Energy Electromagnetic Models For Electrons And Photons
1999-10-05
PAVR Report: Collision Treatment For Rigid Bodies Simulation
1997-09-25
An Algorithm for Resolving 2 pi Ambiguities in Interferometric Measurements by use of Multiple Wavelengths
2000-09-22
On Orbit Closures Of Spherical Subgroups In Flag Varieties
2000-08-18
Michel Brion
An Attempt of Characterization of Functions With Sharp Weakly Complete Epigraphs
1996-03-02
A New Approach to Primary Decomposition
1996-07-09
Expanding to the Internet: Pricing and Communications Strategies When Firms Compete on Multiple Channels
2000-08-23
Florian Zettelmeyer
Rendering Caustics on Non-Lambertian Surfaces
1997-04-01
Henrik Wann Jensen
Diagrammatic Derivation of Gradient Algorithms for Neural Networks
1970-01-01
Eric A. Wan
TeraNet: A Multi Gigabit per Second Hybrid Circuit / Packet Switched Lightwave Network
1992-07-24
Generating and Selecting Fuzzy Control Rules Using Evolution Strategies and Genetic Algorithms
2000-07-25
Francisco Herrera
Roots Of Continuous Piecewise Monotone Maps Of An Interval
1995-05-26
Nicotinic Acetylcholine Receptor Knockout Mice as Animal Models for Studying Receptor Function
2000-07-26
Time-Adaptive Self Stabilization
1997-08-04
Subset Selection in Two-Factor Experiments Using Randomization Restricted Designs
2000-07-24
Positive Estimation Of The Between-Group Variance Component In One-Way Anova And Meta-Analysis
2000-08-04
Models and Resource Metrics for Parallel and Distributed Computation
1996-07-15
Optimizing Model Checking Based on BDD Characterization
1999-06-26
Directory Structures for Scalable Internet Caches
1997-11-13
Real-time Display of Virtual Humans: Levels of Details and Impostors
2000-09-15
Users' Guide for the Unsymmetric-pattern MultiFrontal Package UMFPACK Version 1.1
1995-01-06
Recovery Timer Adaptation in SRM
1997-09-16
Messy Genetic Algorithm Based New Learning Method for Structurally Optimised Neurofuzzy Controllers
1996-07-31
Measurement of the W-Pair Production Cross Section and W-Decay Branching Fractions in e
2000-07-28
The Image Foresting Transformation
2000-07-25
Timed Installation and Operation Guide
1996-05-17
Short Universal Generators Via Generalized Ratio-Of-Uniforms Method
2000-07-25
Murnaghan-Kirillov Theory For Supercuspidal Representations Of Tame GL N
2000-08-05
Contention in Shared Memory Algorithms
1998-08-11
Arrays: The Heart And Soul Of W. Werner Peter R.
1997-07-16
W. Werner Peter R
The Prediction of Faulty Classes Using Object-oriented Design Metrics
1970-01-01
Generation of Language Independent Modular Prettyprinters
1997-03-03
Dual Results Of Factorization For Operators
1998-06-04
On Singularities Of Smooth Maps To A Space With A Fixed Cone
1997-04-23
B. Z. Shapiro
Extracting Symbolic Knowledge from Artificial Neural Networks
1999-07-20
Sebastian B. Thrun
Wavelet Packet Transfer Function Modelling of Nonstationary Time Series
2000-09-20
Guy P. Nason
A Holesome File System
1995-07-24
A "Roads" Data Model for Feature-Based Map Generalization
1996-10-02
Optimum Attack on Digital Watermarks and its Defense
2000-09-20
Exact results for generalized Gassmann's equations in composite porous media with two constituents
2000-09-20
Meaning Spotting and Robustness of Recurrent Networks
2000-09-07
Representation of, and Reasoning with, Near-Periodic Recurrent Events
1995-11-18
Efficient Implementation of Adaptive Software
1994-06-27
Data Compression of Discrete Sequence: A Tree Based Approach Using Dynamic Programming TR 97-1-23
1998-04-20
Panda: A Portable Platform to Support Parallel Programming Languages
1994-03-19
The Inefficiency of Batch Training for Large Training Sets
1970-01-01
The Emergence of a "Language" in an Evolving Population of Neural Networks
1999-11-05
Selecting Relevant Information and Delaying Irrelevant Data for ObjectsRecognition
1995-01-17
Archiving TNG Data
1996-07-27
T1e1.4/99-340
1970-01-01
LINEAR --- Linear Notation Interface
1994-09-06
On Integrating Existing Bibliographic Databases and Structured Databases
1996-11-18
Exact Results for Diffusion-Limited Reactions with Synchronous Dynamics Vladimir Privman
1997-04-26
Vladimir Privman
Planning Graph as the Basis for Deriving Heuristics for Plan Synthesis by State Space and CSP Search
2000-09-17
Functional Compositions via Shifting Operators for Bézier Patches and Their Applications
2000-07-12
Magnetic Properties of Impurities and Impurity Pairs in Magnetic Multilayers
2000-09-12
Unsupervised Markovian Segmentation Of Sonar Images
1997-12-02
Machine Scheduling with Transportation Considerations
2000-07-11
Visions for Logic-Based Natural Language Processing
1995-11-20
Incomplete Information with Recursive Preferences
2000-09-27
Bias, Variance and Prediction Error for Classification Rules
1996-04-08
Robert Tibshirani
The name discipline of uniform receptiveness Extended Abstract
1997-10-20
Memory in the Small: Combining Collective Memory and Task Support for a Scientific Community
2000-02-16
Fascicle Ii.5
1991-11-17
Chaos and Crises in International Systems
1994-06-27
Gottfried Mayer-kress
The Wake-Sleep Algorithm for Unsupervised Neural Networks
1994-12-13
A Comprehensive Survey of Join Techniques in Relational Databases
1997-10-06
On Designing ULM-Based FPGA Logic Modules
1994-09-01
Real-Time Streaming of Multichannel Audio Data over Internet
2000-09-11
Use what you've got: Steps toward opportunistic computing
1970-01-01
An Information Brokerage Service Architecture for Electronic Commerce
1999-04-07
Acts Broadband Aeronautical Experiment
1997-08-11
Default Reasoning Using Classical Logic
1996-12-06
Efficient Timing Analysis for CMOS Circuits Considering Data Dependent Delays
1994-09-13
How Many Squares Must a Binary Sequence Contain?
1997-12-26
Derivation of Parallel Programs: Two Examples
1992-12-04
Qualitative Subdivision Algebra: moving towards the Quantitative
1995-06-15
Self-Testing of Universal and Fault-Tolerant Sets of Quantum Gates
2000-08-29
Alexandroff and Scott Topologies for Generalized Ultrametric Spaces
1997-01-08
I R I S a
1995-06-13
A Type System for Smalltalk
1997-10-29
Insights Into Spoken Language Gleaned From Phonetic Transcription Of The Switchboard Corpus
1999-04-02
General Purpose Optimistic Parallel Computing
1994-04-11
Extracting Japanese Domain and Technical Terms is Relatively Easy
1996-07-16
Montage: Fin De La Recommandation I.515 En-T
1991-11-17
Fast Asynchronous Consensus Based on a Weak . . .
1997-09-04
Generating Burstiness in Networks: A Simulation Study of Correlation Effects in Networks of Queues
1990-12-03
Antonio Desimone
A Local Acknowledgement Mechanism for Reliable Multicasting
2000-09-06
Kov David A. Carr
Ok with alignment of sentences. What about clauses?
1999-04-07
Customizing Adaptive Software to Object-Oriented Software Using Grammars
1993-06-01
Computer Science in Japanese Universities
1995-01-19
Toward Uniform Approach to Design of Evolvable Hardware Based Systems
2000-05-30
Azeddien M. Sllame
New Aspects In The Weight Theory And Applications
1997-06-24
Vakhtang Kokilashvili
Alexandria Digital Library Metadata Creator Based on Extensible Markup Language
1998-01-10
Extending Social Reasoning to Cope with Multiple Partner Coalitions
2000-09-15
Abelian Nondiscrete Convergence Groups In The Plane
1998-06-04
Parallel Programming with Parallel Sets in C
1970-01-01
Michael Kilian
Routing in Ad Hoc Networks of Mobile Hosts
1994-11-27
David B. Johnson
Blind Image Deconvolution: An Algorithmic Approach to Practical Image Restoration
1997-07-26
OpS4b deliverable APPARC ESPRIT Contract Performance Analysis Tools For SVM Architectures
1994-08-11
Optical/Dielectric Properties of Materials:
1997-08-11
James L. Lamb
Working in a Virtual World: Interaction Techniques Used in the Chapel Hill Immersive Modeling Program
1996-08-19
Mark R. Mine
A Note on the Power of Revealed Preference Tests with Afriat Inefficiency
1998-11-06
XTPX 3.0 Sun WS Management Information Base
1994-09-09
Application of Wind Tunnel Free-Flight Technique for Wake Vortex Encounters
1997-11-10
Landesman -- Lazer Type Problems At An Eigenvalue Of Odd Multiplicity
1995-11-23
Ludov It Pinda
Performance Evaluation of Soft Real-Time Scheduling for Multicomputer Cluster
2000-02-03
Design Issues For Scalable Availability LH* Schemes with Record Grouping
2000-09-04
A Simulator for Relative Descriptions
1993-11-02
Michael Neitzke
Unknown
1970-01-01
Partial Models of Extended Generalized Logic Programs
2000-09-13
On the Densest K-Subgraph Problem
1997-09-08
PrologElex: A New Tool to Generate Prolog Tokenizers
1997-12-03
Gertjan Van Noord
Hyperplane "Spin" Dynamics, Network Plasticity andBack-Propagation Learning
1991-10-18
Salinity Data Set
1997-07-29
The Program Structure Tree: Computing Control Regions in Linear Time
1999-07-21
Tracking Galileo
1997-08-14
S. W. R. S. Nicholson
Simple Synchrony Networks : Learning to Parse Natural Language with Temporal Synchrony Variable Binding
1998-05-29
Determination of Critical Transmission Range in Ad-Hoc Networks
2000-09-21
Modular Reasoning about Open Systems: A Case Study of Distributed Commit
1994-05-17
How To Use Kyst - A Very Flexible Program To Do Multidimensional Scaling And Unfolding
1995-05-22
LAPACK working note 66 A Characterization of Polynomial Iterative Methods
1994-10-07
Victor Eijkhout
Configurability in a Diagnostic Expert System for Paper Machine Dryer Sections
1970-01-01
R. Henzell
Ground Antennas in NASA's Deep Space Telecommunications
1997-07-02
User's Manual for Version 2.2 of the
1994-06-02
Composite Spectra From The
2000-08-25
Multiple Copy Image Denoising Via Wavelet Thresholding
1998-06-25
A note on the generalized Dumbbell problem
1997-04-30
Colette Ann
1 M. J. Ogorzalek, "Taming chaos---Part II: Control,"
2000-08-24
Displaying Drift Scanning Images from Multiple CCDs in Real-Time During Data Acquisition
1996-07-27
Tom Nicinski
/15/99 DRAFT: Readings in Computer Architecture
1999-07-21
On the parallel complexity of Gaussian Elimination with Pivoting
1998-02-23
M. Leoncini
Comparison of Demodulation Techniques for MSK
1996-04-12
Vulcanization and the random solid state it yields: A statistical mechanical perspective
2000-09-20
New Notions of Reduction and Non-Semantic Proofs of Strong
2000-07-31
MULTIBUMP SOLUTIONS FOR AN ALMOST PERIODICALLY FORCED SINGULAR HAMILTONIAN SYSTEM Paul H. Rabinowitz
1995-09-13
Paul H. Rabinowitz
Price Comparison Results and Super-replication: An Application to Passport Options
2000-08-14
Vicky Henderson
Caching Intermediate Results for Program Improvement
1996-11-13
Prediction Error Learning and Rational Expectations in Autoregressive Models with Forecast Feedback
1998-11-06
Markus Zenner
Equity-Linked Life Insurance - a Model With Stochastic Interest Rates
1998-11-06
A Design For The Robot Creche Scenario
1995-12-07
Darryl Davis
Document for a Standard Message-Passing Interface
1995-05-30
Communication-Induced Determination of Consistent . . .
1997-11-27
The Pleadings Game - An Artificial Intelligence Model of Procedural Justice
1993-12-13
Recommended C Style and Coding Standards
1991-07-14
SDL Specification and Verification of a Distributed Access Generic Optical Network Interface for SMDS Networks
1997-07-21
Back to the Future.
1996-05-02
Steinar Kristoffersen
Statistical Features of Human Exons and Their Flanking Regions
1999-08-19
M. Q. Zhang
Example Paper Using
1994-02-01
Marianne Winslett
Perfect zero knowledge in co-AM
1999-01-05
Johan Hastad
Evaluating Techniques for Generating Metric-Based Classification Trees
1994-06-15
Guide to AERO2S and WINGDES Computer Codes for Prediction and Minimization of Drag Due to Lift
1997-11-17
Consistent Checkpoints of PVM Applications
1994-10-26
Georg Stellner
An Efficient Squaring Architecture for GF2^m and its Applications in Cryptographic Systems
2000-09-11
Sui Generis
2000-09-15
Istituto Nazionale di Fisica Nucleare, via Celoria 16, 20133 Milano - Italy
2000-09-20
Doctrines Whose Structure Forms A Fully Faithful Adjoint String
1997-02-12
F. Marmolejo
An Adaptive Data Object Service Framework for Pervasive Computing Environments
2000-09-13
On the Wheeler-deWitt equation for homogeneous cosmological models
1996-01-02
An Upper Bound For The Number Of Intersections Between A Trajectory Of A Polynomial Vector Field And An Algebraic Hypersurface In The n-SPACE
1997-12-11
Science of Chaos or Chaos in Science?
1997-04-26
VDSL System Requirements Proposals for ITU 99-199
1970-01-01
Contact J. Cioffi editor
Cylindrical Rectification to Minimize Epipolar Distortion
2000-09-14
A Computational Market Model for Distributed Configuration Design
1995-03-29
Michael P. Wellman
Temporal Patterns traps In Asr Of Noisy Speech
1999-06-21
Hynek Hermansky
A Note on the Complexity of Restricted Attribute-Value Grammars
1995-03-20
Evaluating Network Vulnerability with the Mincuts . . .
1997-03-11
Error Estimates Of A Linear Approximation Scheme For Nonlinear Diffusion Problems
1995-05-26
A. Handlovi Cov A
The Survival of Slow Reproducers
2000-09-12
A Safe Subset of Statecharts for Safety-critical Applications
1996-03-18
Understanding Technology in Domestic Environments: Lessons for Cooperative Buildings
2000-09-23
Improving an Algorithm for Approximate Pattern Matching
2000-02-23
Learning Intonation Rules for Concept-to-Speech Generation
2000-01-10
Shimei Pan
Spatial mixture modelling of fMRI data
2000-07-15
An extension of the theorem of Milnor and Thurston on the zeta functions of interval maps
1997-04-26
Space Tilings And Local Isomorphism
1997-04-26
On the Effectiveness of Residue Code Checking for Parallel Two's Complement Multipliers
1996-12-16
Janus 93: Towards Spontaneous Speech Translation
1997-05-02
Pharmacological and Null Mutation Approaches Reveal Nicotinic Receptor Diversity
2000-07-26
"Next" Heuristic For On-The-FlyModel Checking
1999-03-01
Mixture Densities for Video Objects Recognition
2000-08-04
Block Addressing Indices for Approximate Text Retrieval
2000-02-23
Online Real-Time Preemptive Scheduling of Jobs with Deadlines
2000-06-12
I R I S a
1996-02-13
Investigation of Image Feature Extraction by a Genetic Algorithm
2000-04-13
Multimodal System Processing in Mobile Environments
2000-07-31
Sharon Oviatt
Experimental and Modeling Studies of the Exchange Current the Alkali Beta"-Alumina / Porous Electrode / Alkali Metal Vapor Three Phase Boundary
1997-07-16
Scheduling Multiple Families of Jobs on Parallel Machines to Minimize Total Weighted Completion Time
2000-09-11
The Condition of Urban School Finance: Efficient Resource Allocation in Urban Schools
1998-02-26
Dale Ballou
Dynamic Analysis of SA/RT Models Using SPIN
1996-08-28
Minimizing Information Acquisition Cost in Object-Oriented Systems
1995-07-25
Persistence of Multiple Object Models
1995-12-15
TOP500 Supercomputer Sites
1996-05-19
Pictorial Recognition Using Affine-Invariant Spectral Signatures
1997-04-28
Driving on the Highway
2000-08-01
Temporal Analysis Of Load Imbalance In Distributed Computing Systems
1995-09-28
BUILDABONG: A Rapid Prototyping Environment for ASIPs
2000-08-24
Mission Operations And Command Assurance: Flight Operations Quality Improvements
1997-07-16
Continued Monitoring of the Conditioning of the Fermilab Linac 805 MHz Cavities*
2000-09-05
The Development of National
1994-04-20
Using A Formal Language To Support Natural Language In Accident Reports
1994-09-19
Interactional Competence: Challenges for Validity
2000-09-13
Richard F. Young
The Stability of Asymmetric Hopfield Networks With Nonnegative Weights
1997-11-06
Jinwen Ma
A Constraint Solver in Finite Algebras and Its Combination With Unification Algorithms
1994-10-20
Christophe Ringeissen
Local connectivity, Kleinian groups and geodesics on the blowup of the torus
2000-09-28
Curtis T. Mcmullen
, D. Scott Wills
1997-10-27
Stochastic Suprasegmentals: Relationships Between Redundancy, Prosodic Structure And Care Of Articulation In Spontaneous Speech
2000-09-05
Matthew Aylett
Garbage Collection and Run-time Typing as a C++ Library
1995-12-19
David Detlefs
A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover
2000-04-02
Matt Kaufmann
NASA/NSI-DECNET and DOE/ESNET-DECNET TRANSITION STRATEGY FOR PHASE V/OSI Version 2.0 July 1992 Phil DeMar, DOE/Fermi National Accelerator Laboratory Linda Porter, NASA/Marshall Space Flight Center
1992-11-24
A Hierarchy of Totally Ordered Multicasts
1999-03-30
Uwe Wilhelm
An Interoperability Model for Process-Centered Software Engineering Environments and its Implementation in
1995-12-06
Row-Wise Backward Stable Elimination Methods for the Equality Constrained Least Squares Problem
2000-02-23
Polynomial Uniform Convergence and Polynomial-Sample Learnability
1998-02-16
, M.P. Beccar Varela
2000-04-12
Overview of the KOAN Programming Environment for the iPSC/2 and Performance evaluation of the BECAUSE Test Program 2.5.1
1992-12-20
A Direct Control Method For a Class of Nonlinear Systems Using Neural Networks
1991-05-01
SodaBot: A Software Agent Environment and Construction System
1994-11-14
Michael H. Coen
Throughput Optimization with Design Space Exploration during Partitioning for Multi-FPGA Architectures
1999-08-03
An Integrated Software Maintenance Environment
1993-10-08
Panos E. Livadas
When the Underwriter is the Market Maker: An Examination of Trading in the IPO Aftermarket
1999-08-10
How To Organize ECOOP Conferences
1998-12-15
Jrgen Lindskov Knudsen
On the Redundancy of Two-Dimensional Balanced Codes
1997-12-22
Comparing Information Without Leaking It
1999-04-16
A Combination of Preliminary LEP and SLD Electroweak Measurements and Constraints on the Standard Model
1996-11-06
Towards Intelligent Inductive Proof Engineering
2000-02-04
The Founders' Intentions: Sources of the Payment Services Franchise of the Federal Reserve Banks
1997-02-13
On the Selection of the State Saving Strategy in Time Warp Parallel Simulations
1999-03-28
H. Soliman
Finite-State Fractal Block Coding Of Images
1999-05-03
Finding Separator Cuts in Planar Graphs Within Twice the Optimal
1997-12-09
Pattern Formation and Functionality in Swarm Models
1997-02-13
Extensions of the ALPHA Language. . .
1996-10-16
PMI: Knowledge Elicitation and
1999-03-23
An Active Network Approach to Efficient Network Management
2000-07-10
Performance Evaluation of PVM on PC-LAN Distributed Computing
1999-11-30
A Systematic Approach to Parallel Program Verification
1997-08-31
Tadao Takaoka
Charlotte: Metacomputing on the Web
1998-10-16
Quermass-Interaction Processes: Conditions for Stability
1998-10-09
On the Generalized Theta Divisor
1997-05-26
Georg Hein
Numerical Bifurcation Analysis of Premixed Combustion in Porous Inert Media
1999-04-16
Optimal Routing of Hazardous Substances in Time-Varying, Stochastic Transportation Networks
1998-11-25
Towards a Uniform Strategy of Plural Quantification? Iterative Cumulativity and the Witness Condition
1999-03-09
Eyal Hurvitz
SOC in a Class of Sandpile Models with Stochastic Dynamics
1998-07-01
K. D. Usadel
The Categorical Product Data Model as a Formalism for Object--Relational Databases
1996-07-19
The Role Of Error-Tolerant Design In Minimising The Impact Of Risk
1994-09-19
Chaotic Motion in the Outer Asteroid Belt and its Relation to the Age of the Solar System
1996-12-04
Issues in the Physical Realisation of Autonomous Robotic Agents.
1996-02-13
The Enterprise Ontology
1970-01-01
Estimating statistics of neuronal dynamics via Markov chains
2000-06-14
Design, Implementation and Performance of a Content-Based Switch
1999-12-05
Molecular Basis for Interactions of G Protein
1970-01-01
Planning Safe Paths for Nonholonomic Car-Like Robots Navigating Through Computed Landmarks
2000-08-02
Pairing and Quartetting in Strongly Coupled Fermion Systems
1998-02-23
Biologically and Physically-Based Rendering of Natural Scenes
1999-06-18
The Geometry Of Singular Quaternionic Kähler Quotients
1996-09-19
Andrew Dancer
EfficientColoringofaLargeSpectrumofGraphs
1998-08-24
Fast Integration Techniques in 3D Boundary Elements
1998-11-05
Cryptanalysis of Diffie-Hellman, RSA, DSS, and Other Systems Using Timing Attacks
2000-06-14
Paul C. Kocher
Multiple Views Analysis Of Software Designs
1998-11-10
Simulating Partial Differential equations in the World-Wide Web
1999-07-19
Solution with finite energy to a BGK system relaxing to isentropic gas dynamics
2000-06-16
F. Berthelin
TheVirtual Remote Control - An Extensible, Virtual Reality, User Interface Device
1999-07-12
The Cohomology Algebra Of A Subalgebra Of The Steenrod Algebra
1997-04-11
Gregory D. Henderson
Observation of interference between two Bose condensates
1998-03-16
M. R. Andrews
Unknown
2000-06-09
Planning Graph as a Dynamic CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan
2000-02-22
Subbarao Kambhampati
Noncommutative Gröbner Bases For The Commutator Ideal
2000-09-14
Using Bayesian networks in the construction of a bi-level multi-classifier. A case study using Intensive Care Unit patients data
2000-09-15
An extension of Standard ML modules with subtyping and inheritance
1995-09-27
Consul: A Communication Substrate for Fault-Tolerant Distributed Programs
1994-06-08
Model-Checking Of Infinite Graphs Defined By Graph Grammars
1996-05-10
SunPerformanceTuningOverview
1993-06-03
Design of a Multimedia Player with Advanced QoS Control
1970-01-01
Rainer Koster
Enveloping "Persistent" Tools for a Process-Centered Environment
1995-06-26
New Methods for Using Cayley Graphs in Interconnection Networks
1995-01-15
Reasoning in Evidential Networks with Conditional Belief Functions
1995-08-31
Hong Xu
Modeling and Verification of Embedded Systems Using Cadence SMV
2000-04-16
T1e1.4/99-266
1970-01-01
Semi-classical analysis for the transfer operator: formal WKB constructions in large dimension
1997-04-26
Bernard Helffer
A Parametric Study of Jet Interactions with Rarefied Flow
1998-08-05
C. E. Glass
A Comparison of Workflow Metamodels
1998-12-14
Security and Privacy Issues in User Modeling
1997-05-19
Jorg Schreck
Software Synthesis through Task Decomposition by Dependency Analysis
1998-01-20
An Extensible Knowledge Base Management System for Supporting Rule-based Interoperability among Heterogeneous Systems *
1995-12-05
On Generalizations of Verlinde's Formula
1970-01-01
Optimal Wire-Sizing Function with Fringing Capacitance Consideration
1996-12-16
A Field Guide to Boxology:
2000-08-24
Definitional Programming in GCLA Techniques, Functions, and Predicates
1996-04-19
Olof Torgersson
Towards a Logical Approach for Soccer Agents Engineering
2000-08-11
Structuring Wayfinding Tasks With Image Schemata
1970-01-01
Using Argumentation to Control Lexical Choice: A Functional Unification Implementation
1993-03-02
Michael Elhadad
From Box to T E X: An algebraic approach to the construction of documentation tools
1997-03-03
From Imaging and Stochastic Control to a Calculus of Actions
1994-06-16
Judea Pearl
bibliography of Conceptual Program Editors: Design and Formal Specification
1997-09-04
Architectural Blueprints - The "4+1" View Model of Software Architecture
2000-08-21
Genetic Algorithm Based Design Of Passive Elements For Vibration Control
1999-06-11
A Distributed Execution Environment for Large-Scale Workflow Management Systems with Subnets and Server Migration
1997-06-23
LINEAR - Linear Notation Interface Subgroup
1994-07-07
Tagging French -- comparing a statistical and a constraint-based method
1995-06-02
Configuring Database Systems
1998-12-14
Millennium Pharmaceuticals
On Solitary Waves of a Piecewise-Linear Suspension Bridge Model
1996-10-09
A Human-Computer Collaboration Paradigm For Bridging Design Conceptualization And Implementation
1995-10-18
Ping Luo
Efficient Algorithms and Bounds for Wu-Ritt Characteristic Sets
1995-07-10
On Individual and Aggregate TCP Performance
1999-11-09
Plane Laminar Flames With Multicomponent Transport And Complex Chemistry
1998-06-01
Vincent Giovangigli
The Effects of Time Delays on a Telepathology User Interface
2000-07-30
Alphabet Independent And Dictionary Scaled Matching
2000-07-25
An Efficient Algorithm for the Shortest Path Problem
1993-11-04
Using PVM to Implement a Parallel Database System
1994-10-24
Integrating a Transaction manager component with Process Weaver
1994-05-13
M-Dilation Scaling Functions with Regularity Growing Proportionally to Filter Support Width
1970-01-01
Experiences with the Domino Office Procedure System
1994-05-04
Continuous and Embedded Learning in Autonomous Vehicles: Adapting to Sensor Failures
1970-01-01
Stability of the Krylov bases and subspaces
1994-06-16
Learning Similarity for Texture Image Retrieval
1970-01-01
A Simple Local-Spin Group Mutual Exclusion Algorithm
2000-05-11
Modeling Video Spatial Relationships in an Object Model
1996-07-12
From Partial to Possibilistic Logic
1999-08-24
Gerd Wagner
Architecture
1999-02-22
Hock-shan Wong
Exact Sampling with Markov Chains
1999-05-25
David Bruce Wilson
Issues and Solutions for Authenticating MPEG Video
1970-01-01
Stair Matrices And Their Generalizations With Applications To Iterative Methods I: A Generalization Of The Sor Method
1998-08-19
Hao Lu
Validation Of A Non-Linear Finite Element Vehicle Model Using Multiple Impact Data
1999-11-04
Computer Intensive Methods
2000-01-05
Gareth Roberts
Some Issues in the Operational Semantics of Logic Programs or: What do logic programs do?
1997-05-20
James Harland
Design Considerations for Usage Accounting and Feedback in Internetworks
1990-09-01
Neoclassical Growth Accounting and Frontier Analysis: A Synthesis
2000-09-22
Program Development Schemata as Derived Rules
1999-05-18
Penny Anderson
Local LexBFS Properties in an Arbitrary Graph Extended Abstract
2000-02-10
Overview of VPE: A Visual Environment for Message-Passing
1995-10-14
Designations of International Digital Blocks bidirectional and Unidirectional
1991-11-17
Controlled Precision Volume Integration
1997-03-28
C.R. Doering
1997-04-26
Constraint Solving by Narrowing in Combined Algebraic Domains
1994-10-27
Christophe Ringeissen
Variance Reductions applied to Product-Form Multi-Class Queuing Networks: Antithetic Variates and low Discrepancy Sequences
1996-04-15
Bruno Tuffin
Milli-Second Pulsars And Gamma-Ray Emission
1997-10-08
Code Growth in Genetic Programming
1998-05-15
Program Tactics and Logic Tactics
1995-09-27
Perturbed Random Walksand Brownian Motions, and Local Times
1998-03-05
Burgess Davis
Local Structure Optimization
2000-07-02
M. V. Borst
A Scalable Register File Architecture for Dynamically Scheduled Processors
1996-11-04
Explicitly Defined Introns and Destructive Crossover in Genetic Programming
1995-06-01
Dynamic Channels: a New Development Methodology for Mobile Computing Applications
1999-09-05
Cellular remote antenna feeding: Optical fibre or coaxial cable?
1999-01-20
Angewandte Mathematik und Informatik Universit at zu K oln
1970-01-01
AgentSpeakL: BDI Agents speak out in a logical computable language
1997-07-07
Anand S. Rao
Estimates Of Covariance Functions For Mature Weight Of Beef Cows In The Wokalup Selection Experiment
2000-08-08
K. Meyer
A Neural Network that Transforms Occupancy Grids by Parallel Monte Carlo Estimation
1994-12-15
Coprime Factorizations And Well-Posed Linear Systems
1998-05-14
Olof J. Staffans
Visual Relevance Analysis
1996-01-10
Updating Disjunctive Databases via Model Trees
1995-02-07
Quantificational Objects and Agr-o
2000-07-31
Jeffrey T. Runner
Generation Scoping in Jakarta
1997-03-30
Don Batory
Towards Polytypic Parallel Programming
1999-11-24
How the Rdb/VMS Data Sharing System Became Fast
1998-08-11
Digital Modulation Classification Using Power Moment Matrices
1998-05-04
Relic Density of Neutralino Dark Matter in Supergravity Models
1997-12-08
Boundary Layer for Chaffee-Infante Type Equation
1998-04-23
Roger Temam
A View to Automated Reasoning in Artificial Intelligence
1997-11-06
Ulrich Furbach
Stochastic Models for Haptic Texture
1999-02-01
Estimators for Long-Range Dependence: An Empirical Study
1996-10-01
Extremal Eigenvalue Problems For The Laplacian
1998-03-06
Steven J. Cox
Unknown
1997-04-20
Applicatication Of the Rhumb Line Control Strategy To The Highly Spinning Dash Orbiter
1999-06-11
Automatic 3D-Object Modeling From Multiple Uncalibrated Images Using ActiveContour
2000-06-23
Connectedness and Synchronization
1995-12-06
Annie Gal
1994-09-09
Annie Gal
.9 Other terminal equipments Recommendation G.791 GENERAL CONSIDERATIONS ON TRANSMULTIPLEXING EQUIPMENTS
1991-11-17
Real-Time Focus Range Sensor
1996-08-05
METEOR: Exploring Model Elimination Theorem Proving
1997-02-27
Owen Astrachan
Remarks On Germs In Infinite Dimensions
1997-05-02
A. Kriegl
"RISC " for Industrial Robotics: Recent Results and Open Problems
1970-01-01
A Recurrence for Counting Graphical Partitions
1997-12-26
Variable Substitution with Iconic Combinators
1993-10-28
David Stevens
Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation
1997-03-03
Image-Driven Mesh Optimization
2000-09-19
Optimal Design of Internet-based Auctions
1999-01-17
The Ratio of the Extreme to the Sum in a Random Sequence with Applications
1995-09-01
TOPAZ: a Cost-Based, Rule-Driven, Multi-Phase Parallelizer
1998-05-27
Bernhard Mitschang
Experiments with Associative-Commutative Discrimination Nets
1994-12-29
Reasoning about Program Composition
1996-12-12
Cryptography with DNA binary strands
2000-08-22
The Parallel Complexity of Elimination Ordering Procedures
1993-05-10
Elias Dahlhaus
Two Formal Approaches to Modelling Cognitive Aspects of HCI
1997-02-18
Double Auction Dynamics: Structural Consequences of Non-Binding Price Controls
1999-02-27
Context-Sensitive Load Balancing in Distributed Computing Systems
1994-03-03
Andreas Winckler
Specification of Tools for Message Sequence Charts
1997-03-03
Overhauling Rdist for the '90s
1992-09-15
Recommendation F.4 PLAIN AND SECRET LANGUAGE
1991-11-17
I R I S a
1994-04-28
A Serial Implementation of Cuppen's Divide and Conquer Algorithm for the Symmetric Eigenvalue Problem
1994-10-07
I R I S a
1993-10-26
Microwave Radiometer tmr: 1. Instrument Di3scription
1997-08-07
Tool Support for Iterative System Development Activities: Issues and Experiences
2000-08-28
Control, Management and Telemedia COMET Research Group
1996-06-11
A Systematic Approach to Pricing and Hedging of International Derivatives with Interest Rate Risk
1998-11-06
Sound and Complete Elimination of Singleton Kinds
2000-09-13
Karl Crary
Uhlmann's Parallelity in Quantum Estimation Theory
1999-11-24
Keiji Matsumoto
The Integration of Control and Dataflow Structures in Distributed Hard Real-Time Systems
1995-01-20