Generalizing Incremental Condition Estimation
1994-10-08
Interest Rate Effects in Smooth Transition Models for UK Output
2000-07-04
A Logic Language based on GAMMA-like Multiset Rewriting
1995-12-18
Paolo Ciancarini
Preliminary Wide-Angle Bhabha Results from 1994 Data
1999-05-28
Designing a process migration facility: The Charlotte experience
1970-01-01
A 0.4-µm CMOS 10-Gb/s 4-PAM Pre-Emphasis Serial Link Transmitter
1999-12-01
CDF/PUB/JET/PUBLIC/4449 Hard Processes and Perturbative QCD Results from CDF Elizabeth Buckley-Geer for the CDF Collaboration Fermi National Accelerator Laboratory
1998-01-20
To Support Instruction Schedulers for Multi-Issue Pipelined Architectures.
1997-01-02
Dynamics of MBD - A Bandwidth Threshold-Based Packet Discarding Algorithm
2000-03-31
Isoinitial Models for Logic Programs: A Preliminary Study
1999-04-14
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints
2000-07-24
Dynamic Simulation Of Traffic And Its Environmental Impacts
1970-01-01
An Investigation Of Adaptive Capacity Control Schemes In A Dynamic Traffic Environment
2000-02-17
Brenda Groskinsky
Scalable Duplicate Pruning Strategies for Parallel A* Graph Search
2000-02-08
The Emission from Post-Shock Flows in mCVs
1999-07-19
Delay Cognizant Video Coding: Architecture, Applications and Quality Evaluations
1999-12-15
On Biaccessible Points In The Julia Set Of A Cremer Quadratic Polynomial
2000-04-06
Dierk Schleicher
Route Maintenance in a Wireless Mobile Ad Hoc Network
1999-10-01
The Spin Structure Of The Nucleon
1998-01-15
A. Br
The Canonical Solution Operator to
1970-01-01
The Nexus Task-parallel Runtime System
1998-09-01
A Stakeholder Win-Win Approach to Software Engineering Education
2000-04-06
The Quickhull Algorithm for Convex Hulls
1998-01-21
Relevance Feedback With Too Much Data
1995-04-25
James Allan
Physical Parametric Modelling for Nonlinear Systems
1995-12-14
Implementation with Orccad of a Method for Smooth Singularity Crossing in a 6-DOF Manipulator
1995-09-25
Correlations in RC6
2000-04-25
An Asynchronous, Distributed Implementation of Mobile Ambients
2000-02-04
Alan Schmitt
Scopes in Discourse
1996-12-04
Succinct Quantum Proofs for Properties of Finite Groups
2000-06-30
John Watrous
Disjoint Sums over Type Classes in HOL
2000-05-16
Norbert Volker
A Tool to Support Formal Reasoning about Computer Languages
1996-12-11
Richard J. Boulton
Architecture to handle Concurrent Engineering
1997-03-12
Artificial and Physical Viscosity Solutions for a Hyperbolic Conservation System
2000-06-22
Yunguang Lu
Ready for Prime Time - Pre-Generation of Web Pages in TIScover
2000-03-01
Flag vectors of Eulerian partially ordered sets
1999-07-20
Margaret M. Bayer
On The Interface Boundary Condition Of Beavers, Joseph And Saffman
1999-02-10
Willi Jager
XMC: A Logic-Programming-Based Verification Toolset
2000-05-09
To What Extent Do Unique Parts Influence Recognition Across Changes in Viewpoint?
1997-09-17
Scheduling and Communication Synthesis for Distributed Real-Time Systems
2000-06-07
Paul Pop
Handling Sequences with a Competitive Recurrent Network
1994-04-26
Claudia Ulbricht
Concepts of TRIFIT, a flexible software environment for problems in two space dimensions
1997-01-27
Rob F. Van Der Wijngaart
Factorization Systems For Symmetric Cat-Groups
2000-04-03
OCM --- A Monitoring System for Interoperable Tools
1998-05-15
Performance Oriented Parallel Program Design in the CAPSE Environment
1995-04-26
The Role of Reflection in Personal Development Planning.
1997-03-10
Ray Mcaleese
OPTIMIX Language Manual
1996-08-02
Uwe Amann
On The Maximality Of Logics With Approximations
2000-08-28
Jos E Iovino
Searching for Companions to Late Type M Stars
2000-02-23
NaturalJava: A Natural Language Interface for Programming in Java
2000-01-06
First Order Proof Problems Extracted from an Article in the
1998-12-21
SQL/PSM, a standard for persistent stored modules?
1998-02-13
A Process for Derivation and Quantification of Safety Requirements for Components of Complex Systems
1970-01-01
Support Vector Machines for Large-Scale Regression Problems
2000-08-16
The Roles of FPGAs in Reprogrammable Systems
1999-01-19
Scott Hauck
Analysis and Comparison of TCP Reno and Vegas
1998-12-19
Symplectic Phase Flow Approximation for the Numerical Integration of Canonical Systems
1996-06-12
Optimal Constructions Of Wavelet Coefficients Using Total Variation Regularization In Image Compression
1970-01-01
On-To-Knowledge: Ontology-based Tools forKnowledge Management
2000-06-19
Cross-Document Event Coreference: Annotations, Experiments, and Observations
2000-03-22
Amit Bagga
Parallel Volume Rendering on a Shared-Memory Multiprocessor
1992-07-09
Judy Challinger
Mathematical Modelling of Microelectronics Semiconductor Devices
2000-04-12
P. Degond
Chain of Production as a Monetary Propagation Mechanism
1999-06-04
Evaluation of P³T+: A Performance Estimator for Distributed and Parallel Applications
2000-01-25
Objective Model for Perceptual Sharpness in Image Sequences
2000-02-08
Which Sensor Set Is Better For Monitoring Spacecraft Subsystems? A Geometric Answer And Its Probabilistic Generalization
2000-02-26
Matthew Barry
Chip-Level Detection in Optical Code Division Multiple Access
1998-06-06
Hossam M. H. Shalaby
Identifying the Information Contained in a Flawed Theory
1996-04-28
Sean P. Engelson
Disk Subsystem Load Balancing: Disk Striping vs. Conventional Data Placement
1999-06-29
Inaccessibility in Constructive Set Theory and Type Theory
2000-02-18
SEN-R0012 May 31, 2000
2000-05-16
Matlab-like Environment for Accelerator Modeling and Simulation
1999-08-12
Enhancing Spatial Locality using Data Layout Optimizations
1998-05-09
Unknown
1996-01-13
Analysis Of The Local Robustness Of Stability For Maps
1998-11-11
Poisson-Normal Dynamic Generalized Linear Mixed Models of U.S. House Campaign Contributions
1999-08-12
Information Coding in Higher Sensory and Memory Areas
2000-02-25
Alessandro Treves
Condition Number Complexity of an Elementary Algorithm for Computing a Reliable Solution of a Conic Linear System
2000-04-06
Feed-Forward Neural Networks and Topographic Mappings for Exploratory Data Analysis
1970-01-01
David Lowe
The Formation of Protostellar Disks in Magnetized Cloud Cores
1998-06-17
Shantanu Basu
EBU Technical Standard N20-1991 Parallel interface for analogue component video signals in GRB form
1997-09-30
Factoring Integers Above 100 Digits Using Hypercube MPQS
1970-01-01
Computational Strategies For Adjusting Solutions Among Cooperative Expert Systems
1999-07-31
Minjie Zhang
LEPP-Delaunay algorithm: a robust tool for producing size-optimal quality triangulations
2000-04-14
Nio and World Primary Commodity Prices: Warm Water or Hot Air?
1999-05-01
Allan D. Brunner
Far- and Mid-Infrared Spectrum of YBa2Cu3O6 in High Magnetic Fields
2000-06-26
A Decision Support System for Upholstered Furniture Frame Design
1999-09-29
Jin Tong
Optimization And Efficient Implementation Of FIR Filters With Adjustable Fractional Delay
1999-09-14
A Survey of Computational Differential Algebra
1993-10-28
Bud Mishra
Resolution of ISAKMP/Oakley Key-Agreement Protocol Resistant against Denial-of-Service Attack
1999-10-27
A Novel Approach to Asynchronous, Decentralized Decision-Making in Military Command and Control
2000-07-14
The Flood-Gate Principle - a Hybrid Approach to a High Security Solution
2000-01-31
Image Registration With Minimum Spanning Tree Algorithm
2000-07-17
Developing the PARIS: Using the CAVE to Prototype a New VR Display
2000-05-03
Implementation of On-Line Distributed System-Level Diagnosis Theory
2000-06-16
Semicomplete Multipartite Digraphs
1998-11-25
I/O-Efficient Well-Separated Pair Decomposition and its Applications Extended Abstract
2000-06-14
Markets and Economic Growth in South Asia, 1950-97: An Interpretation
1970-01-01
Usability Patterns for Applications on the World Wide Web
1999-07-19
Towards a Framework for Developing Processors for Visual Languages
1998-09-09
Antti-pekka Tuovinen
Prolegomenato Any Future Prolegomena
1997-01-15
Matthew L. Ginsberg
Techniques for Non-Linear Magnification Transformations
1996-04-10
Efficient Video Transport over Lossy Networks
1998-04-25
Pointer-Based Prefetching within the Impulse Adaptable Memory Controller: Initial Results
2000-05-12
Robust Multigrid Preconditioning for Parameter-Dependent Problems I: The Stokes-type Case
1997-09-22
Joachim Schoberl
Limiting The Client Bandwidth Of Broadcasting Protocols For Videos On Demand
2000-04-03
NAVAL POSTGRADUATE SCHOOL Monterey, California
1999-10-03
Didier A. Le Goff
Robust Anisotropic Diffusion
2000-02-09
Texture Synthesis by Non-parametric Sampling
2000-02-21
Connection Management using Adaptive Mobile Agents
1998-05-12
On the Stability of the Generalized Schur Algorithm
2000-07-05
Exploiting Orthogonality in Three Dimensional Graphics for Visualizing Abstract Data
1995-07-06
A Fast Algorithm for the Computation and Enumeration of Perfect Phylogenies
1995-11-21
The Effect of Call Graph Construction Algorithms for Object-Oriented Programs on Automatic Clustering
2000-03-28
Rapid and Accurate Contact Determination between Spline Models using ShellTrees
1998-06-24
Reasoning about Meta Level Activities in Open Distributed Systems
1998-12-11
Towards a Reflective Middleware Framework for QoS-enabled CORBA Component Model Applications
2000-03-12
Blind Separation Of Machine Vibration With Bilinear Forms
2000-03-02
Modelling the Performance of Distributed Database Protocols for Real Time Environments
1970-01-01
Multimessage Multicasting: Complexity and Approximations
1996-08-19
Teofilo F. Gonzalez
Reuse of General Specification Notions and Specification Languages
1997-03-02
Valeri N. Agafonov
Specification-based class testing: A case study
1999-07-05
Ian Maccoll
An Approach to Visual Interaction in Mixed-Initiative Planning
2000-07-26
Swift: A Storage Architecture for Large Objects
1992-07-09
Phoenix: Operation and Performance of a Cryogenic High-Resolution 1 -- 5 micron Infrared Spectrograph
2000-04-12
Reconstructing Planar Domains From Their Moments
2000-08-14
Application Experiences with the Globus Toolkit
1998-07-22
Deriving Information Structure from Prosodically Marked Text with Lexicalized Tree Adjoining Grammars
2000-06-14
Data Management for Large-Scale Scientific Computations in High Performance Distributed Systems
1999-12-06
Representative Objects: Concise Representationsof Semistructured, Hierarchical Data
2000-06-23
The Construction of Attention Functions for Phase Regulation
2000-04-10
Eric Klavins
A Domain Decomposition Method for the Helmholtz equation and related Optimal Control Problems
1996-02-08
Measurement of the W-pair cross-section and of the W mass in
1997-07-31
Security of Cryptosystems Based on Class Groups of Imaginary Quadratic Orders
1970-01-01
Some Recent Progress on the Complexity of Lattice Problems
2000-01-13
Jin-yi Cai
Efficient Dense Matching for Textured Scenes Using Region Growing
1999-03-10
Static Checking of System Behaviors Using Derived Component Assumptions
2000-03-25
Evaluation of Composite Honeycomb Sandwich Panels Under Compressive Loads at Elevated Temperatures
1998-05-01
Sandra Walker
A Separation Theorem for Expected Value and Feared Value Discrete Time Control
1996-02-02
Approximation of a Straight Line in a Bounded Lattice
2000-04-14
Afonso Ferreira And
Improved Approximation Algorithms for Embedding Hypergraphs in a Cycle
1998-06-29
Teofilo F. Gonzalez
CBR in Context: The Present and Future
2000-02-17
Classifier Evaluation and the Use of Algorithmic Classifiers With Expert System Classifiers
1995-03-31
Erach A. Irani
An Operator Interaction Framework for Visualization Systems
1998-07-15
Stealth: A Liberal Approach to Distributed Scheduling for Networks of Workstations
1994-01-31
Compilation as Refinement
1970-01-01
Optimization Strategies for Parallel Linear Recursive Query Processing
1995-08-23
Equivariant Evaluation on Free Loop Spaces
2000-01-30
Iver Ottosen
Numerical Passage from Radiative Heat Transfer to Nonlinear Diffusion Models
2000-04-12
Evolutionary Economic Agents
1970-01-01
A PAC-Bayesian Margin Bound for Linear Classifiers: Why SVMs work
2000-05-18
Monotone Inductive Definitions in Explicit Mathematics
1998-03-10
Michael Rathjen
Exponentially Exact Hyperbolic Systems
2000-04-12
A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time
1998-09-14
Surfing the Digital Wave - Generating Personalised TV Listings using Collaborative, Case-Based Recommendation
1999-04-26
TSP cuts outside the template paradigm
2000-05-15
The Kernel of the BFKL Equation in Next-to-Leading Approximation
1997-06-25
V. S. Fadin
Derivation of a general fluid equation of state based on the quasi-Gaussian entropy theory: application to the Lennard-Jones fluid
1999-10-14
A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication
2000-04-26
Synchronization Induced by Temporal Delays in Pulse-Coupled Oscillators
1999-11-09
Code Compression through Procedural Abstraction before Register Allocation
2000-03-08
Using Mobile Robots to Teach Artificial Intelligence Research Skills
2000-03-09
Optimal Robot Localization in Trees
2000-03-22
Rudolf Fleischer
A General Framework for Shortest Path Algorithms
1999-09-27
Antoon Kolen
The MADKIT Agent Platform Architecture
2000-06-18
A Precise Examination of the. . .
1970-01-01
Universal Spectra, Universal Tiling Sets And The Spectral Set Conjecture
1999-03-06
Steen Pedersen
Group-Theoretical Structure of the Entangled States of N Identical Particles
1970-01-01
Motion Field Histograms for Robust Modeling of Facial Expressions
2000-01-21
Fast Error-correcting Graph Isomorphism Based on Model Precompilation
1996-12-06
Enterprise JavaBeans to CORBA Mapping
1999-10-17
Integrating Propagation and Built-in Constraints
2000-07-13
Effect of Job Size Characteristics on Job Scheduling Performance
2000-04-16
Kento Aida
Cooperative design: Prospects for CSCW in design
2000-02-08
Kjeld Schmidt
Optimization Rules for Programming with Collective Operations
1999-01-10
Treatment of internal sources in the finite-volume ELLAM
2000-02-10
T. F. Russell
Algorithmic Aspects of Regularity
2000-04-07
Y. Kohayakawa
The Ravenscar Profile
1999-06-25
Alan Burns
Arturo Magidin*
1998-07-22
Arturo Magidin
Text/Picture a new way to link them Multi-scaled Links
2000-05-15
Conspiracy and Information Flow in the Take-Grant Protection Model
2000-08-17
Matt Bishop
A Moving Collocation Method for Solving Time Dependent Partial Differential Equations
1996-01-18
Fast Approximation Schemes for Euclidean Multi-Connectivity Problems Extended Abstract
2000-04-27
Automatic Identification of Non-compositional Phrases
2000-05-24
Dekang Lin
Code Transformations for Low Power Caching in Embedded Multimedia Processors
2000-06-22
Enriching a Lexical Semantic Net with Selectional Preferences by Means of Statistical Corpus Analysis
2000-06-07
Andreas Wagner
A Localization Method for a Soccer Robot Using a Vision-Based Omni-Directional Sensor
2000-07-14
Efficient Numerical Error Bounding for Replicated Network Services
2000-06-28
Defining The Semantics Of Languages For Programmable Controllers With Synchronous Processes
1994-12-09
Classical Floorplanning Harmful?
2000-04-12
Andrew B. Kahng
Knowledge Extraction from Machine-Readable Dictionaries: An Evaluation
2000-05-10
On Normal Ordering and Canonical Transformations in Thermal Field Theory
1999-01-08
M. Blasone
D I G I T a L
1998-03-12
Leslie Lamport
A Model for Combining Semantic and Phonetic Term Similarity for Spoken Document and Spoken Query Retrieval
2000-03-09
Fabio Crestani
Compositional Proof Systems for Model Checking Infinite State Processes
1996-03-25
Mads Dam
Confidence Intervals and Prediction Intervals for Feed-Forward Neural Networks
2000-06-25
Noun Phrase Coreference as Clustering
2000-02-25
Path-Based Target Prediction for File System Prefetching
2000-06-02
The Tail of the Stationary Distribution of an Autoregressive Process with ARCH1 Errors
2000-06-28
Milan Borkovec
Lecture Notes on the course q-series in Combinatorics and Number Theory
2000-06-09
A New Face For Ergo: Adding A User Interface To A Programmable Theorem Prover
1970-01-01
Basic LOgical Bulk Shapes BLOBs for Finite Element Hexahedral Mesh Generation
1999-11-27
Shang-sheng Liu
Models for Point Processes Observed with Noise
1999-11-02
Jens Lund
Technical Committee
1999-08-04
An Indexed Bibliography of Genetic Algorithms in the Latin America, Portugal and Spain
1999-02-02
Triangular Bézier Clipping
2000-07-14
Towards a "Universal Dictionary" for Multi-Language Information Retrieval Applications
2000-05-23
Recognition Of Non-Native German Speech With Multilingual Recognizers
2000-01-07
Fcostas, Tefas, Pitas
1997-11-06
Least Squares Cubic Spline Approximation II - Variable Knots
1995-04-24
Single Trial P3 Recognition in a Virtual Environment
2000-05-02
On the Iwasawa Invariants of Elliptic Curves
2000-01-12
Parametric Linear and Quadratic Optimization by Elimination
1999-01-10
Volker Weispfenning
High-Performance Knowledge Extraction from Data on PC-based Networks of Workstations
2000-03-14
Minimal surfaces and the affine Toda field model
1999-12-14
Parameterized Heuristics for Project Scheduling - Biased Random Sampling Methods
2000-05-12
POSSUM: An Animator for the SUM Specification Language
1970-01-01
Accessing Extra Database Information: Concurrency Control and Correctness
1994-01-14
A new NC-algorithm for finding a perfect matching in bipartite planar and small genus graphs Extended Abstract
2000-08-11
Interpolation of Nonstationary Environmental Processes
2000-05-25
Montserrat Fuentes
Potential Flaws in the Conjectured Resistance of MARS to Linear Cryptanalysis
2000-05-08
Using Schubert toolkit to compute with polynomials in several variables
1999-02-18
Shortest Paths in an Arrangement with k Line Orientations
1999-10-06
David W. Hart
A Concrete Categorical Model for the Lambek Calculus
1995-10-10
Aspectual Scope and the Difference Between Logical and Semantic Representation
1997-01-17
Balthasar Bickel
A Framework for Scheduler Synthesis
2000-06-06
Symbolic Cumulant Calculations for Frequency Domain Time Series
1999-03-19
How To Quantize Antibracket
1970-01-01
.6 Using Performance as the Fitness Criterion
2000-04-27
Analysis of Shellsort and Related Algorithms
1996-09-12
Robert Sedgewick
Dominions in Varieties Generated By Simple Groups
1998-07-22
Arturo Magidin
A Quantum Regularization of the One-dimensional Hydrodynamic Model for Semiconductors
2000-04-12
A Dynamic Query Processing Architecture for Data Integration Systems
2000-06-21
How close to regular must a semicomplete multipartite digraph be to secure Hamiltonicity?
1999-01-23
Anders Yeo
Eye-in-hand / Eye-to-hand Cooperation for Visual Servoing
2000-02-17
Time Series Prediction
1996-09-04
Andreas Hadjiprocopis
Verification of Fair Transition Systems
1998-03-15
ANDES: A Performance Analyzer for Parallel Programs
1992-10-10
Alejandro Teruel
FFTs in External or Hierarchical Memory David H. Bailey December 30, 1989
1995-01-27
David H. Bailey
Universal Linear Prediction by Model Order Weighting
1999-05-17
Representation of Electronic Mail Filtering Profiles: A User Study
2000-01-06
Michael J. Pazzani
Genealogy of shocks in Burgers turbulence with white noise . . .
2000-07-21
Learning From And About Other
1999-05-17
Levels- Enterprise
1996-02-14
Kazi Farooqui
Self-Stabilization in Iteration Systems
2000-04-13
A Rudimentary Machine. Experiences In The Design Of A Pedagogic Computer
1998-07-21
Dependently typing JVM method invocation
2000-04-14
Proceedings: Joint Conference on Formal Grammar, Head-Driven Phrase Structure Grammar, and Categorial Grammar, Saarbrücken, Germany
2000-06-14
Performance Prediction in Production Environments
1999-02-28
Jennifer M. Schopf
Algebraic Invariants of Simple 4-Knots
1997-03-06
An Architectural Performance Study of the Fast Fourier Transform on Vector IRAM
2000-08-17
Parallel Repetition of MIP2,1 Systems
2000-04-10
Specifying Logic Programs in Controlled Natural Language
2000-03-31
An attempt to adapt a logic of conditional preferences for reasoning with Contrary-To-Duties
2000-04-04
Supporting staff through effective supervision: How to assess, plan and implement more effective clinic supervision
1970-01-01
The UML as a Formal Modeling Notation
1999-08-17
The Influence of Domain and Interdomain Process Migration on the Performance of Parallel Execution on Distributed Systems
1970-01-01
Using Control Flow Analysis for Space and Time Efficient Stub Generation
1995-06-20
Assembler to C Migration using the FermaT Transformation System
1999-06-08
M. P. Ward
High-Diffraction-Efficiency Pseudorandom Encoding
2000-07-05
Fault Tolerant Routing in the Star and Pancake Interconnection Networks
1996-03-04
Analysis of Functional MRI Data Using Mutual Information
1999-11-09
CoFrame: A Modular Co-Design Framework for Heterogeneous Distributed Systems
2000-08-16
Crest lines extraction in volume 3D medical images : a multi-scale approach
1994-11-23
A Parallel Hybrid Ga For Peptide 3-D Structure Prediction
1995-12-13
Tilt Aftereffects in a Self-Organizing Model of the Primary Visual Cortex
2000-02-21
Nearest Neighbour Search for Visualization Using Arbitrary Triangulations
1996-10-08
Convexifying Polygons with Simple Projections
2000-08-03
Interneuron Plasticity in Associative Networks
2000-02-10
Temporal Logics for Distributed Systems - Paradigms And Algorithms
2000-03-30
A Complete Solution to the Magic Hexagram Problem
2000-03-20
Pricing Congestible Network Resources
1998-08-17
Hal R. Varian
Robust Outcome Prediction for Intensive-Care Patients
2000-06-25
Approximations in Dynamic Zero-Sum Games, II
1994-11-09
Trust Management and Network Layer Security Protocols
1999-06-30
Angelos D. Keromytis
LOCALITE - A Frameless Neuronavigation System for Interventional Magnetic Resonance Imaging Systems
1999-11-13
Action Constraints for Planning
2000-03-10
Ulrich Scholz
Conley Index for Discrete Multivalued Dynamical Systems
1997-10-11
A Scalable Method for Run--Time Loop Parallelization
1997-06-10
Achieving High Quality Solutions in Distributed Agent-Based Control Systems
2000-03-17
MEMO: Visual Languages for ENTERPRISE MODELLING
1999-11-18
Compiler Optimization of Implicit Reductions for Distributed Memory Multiprocessors
2000-06-22
A Usability Tool for Web Evaluation Applied to Digital Library Design
2000-06-22
Multi-Stage Programming with Explicit Annotations
1999-10-18
Impact of Switch Design on the Application Performance of Cache-Coherent Multiprocessors
2000-06-22
Networks For Speech Enhancement
2000-07-12
Pre-Conditioners and Relations between Different Measures of Conditioning for Conic Linear Systems
2000-06-14
TheÅrhus Integral Of Rational Homology 3-Spheres III: The Relation With The Le-Murakami-Ohtsuki Invariant
1999-04-07
Maple in Action - An Introductory Handbook
2000-06-23
Piroz Mohseni
A Discussion on Mixed Longest-Side Midpoint Insertion Delaunay Techniques for the Triangulation Refinement Problem
1999-11-27
Patricio Inostroza
Luc Smria Abhijit Ghosh
1999-11-16
Amalgamation Bases for Nil-2 Groups of Odd Order
2000-06-06
Arturo Magidin
A Query Language for List-Based Complex Objects
1994-05-19
Evolving Neural Networks Using a Dual Representation with a Combined Crossover Operator
1999-08-16
The Do-I-Care Agent: Effective Social Discovery and Filtering on the Web
1998-08-15
Hst And Vla Observations Of The H
1999-12-14
Semi-Lagrangian Methods for Level Set Equations
2000-01-13
John Strain
Manipulating Screen Space with StretchTools: Visualizing Large Structure on Small Screen
1994-02-17
Theory Of Gold-Hydrogen Complexes In Silicon
1997-09-03
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft
2000-05-17
Efficient Recognition of Events in a Distributed System
2000-08-30
Using Multiple Alignments and Phylogenetic Trees to Detect RNA Secondary Structure
1995-11-22
Unbalanced Feistel Networks and Block-Cipher Design
2000-04-04
Asymptotic Distribution Of Estimates For A Time-Varying Parameter In A Harmonic Model With Multiple Fundamentals
2000-03-03
Rafael A. Irizarry
An Indexed Bibliography of Distributed Genetic Algorithms
1999-07-24
A Formal Semantics And An Interactive Environment For Sisal
1999-09-24
Model Search and Inference By Bootstrap "bumping"
1997-12-19
Computer-Aided Diagnosis of Mammographic Masses
1996-05-29
Situated Awareness for Information Seeking
2000-06-21
Predicting UNIX Command Lines: Adjusting to User Patterns
2000-04-17
Application of Genetic Programming to Induction of Linear Classification Trees
2000-01-24
A Type Checker for Object-Z
1970-01-01
Wendy Johnston
Approximating the Maximum Quadratic Assignment Problem
2000-01-15
Pure Literal Look Ahead: An
1996-05-14
On Quorum Controlled Asymmetric Proxy Re-encryption
1999-09-07
Markus Jakobsson
Coordinating Adaptations in Open Service Architectures
1999-06-01
A New Operator for Efficient Evolutionary Solutions to the Travelling Salesman Problem
2000-03-15
Specifying Communication Protocols with Temporal Logic
1995-06-01
Mohamed Jmaiel
TCP in Presence of Bursty Losses
2000-05-02
Tactile Display of Vibratory Information in Teleoperation and Virtual Environments
1996-10-23
Genetic Algorithms, Clustering, and the Breaking of Symmetry
2000-03-12
An Empirical Study of Secure MPEG Video Transmissions
1999-03-18
Rational Communication in Multi-Agent Environments
2000-07-18
Region-Oriented Main Memory Management in Shared-Memory NUMA Multiprocessors
1992-10-09
Benjamin Gamsa
On The Existence Of Initial Models For Partial Higher-Order Conditional Specifications
1995-01-30
Enriching very large ontologies using the WWW
2000-06-07
Identity Management Based On P3P
2000-08-16
Oliver Berthold
The eternal resource locator: an alternative means of establishing trust on the World Wide Web
1998-11-11
Training Products of Experts by Minimizing Contrastive Divergence
2000-08-03
Georey E. Hinton
Self-Affine Tiling via Substitution Dynamical Systems and Rauzy Fractals
2000-04-19
Local Speech Rate Perception In German Speech
2000-07-13
Hartmut R. Pfitzinger
Scalability Problems of Simple Genetic Algorithms
1999-12-03
Dirk Thierens
Finding Linking Opportunities through Relationship-based Analysis
2000-03-28
Imperial College of Science Technology and Medicine, London, SW2 1BZ s.oliver@ic.ac.uk
1998-04-06
Congrats: A System for Converting Graphics to Sound
1999-06-17
The Eye of the Beholder: Subjectivity and the Consequences for Artificial Life
1999-10-18
NAS Parallel Benchmark Results David H. Bailey, Eric Barszcz, Leonardo Dagum and Horst D. Simon January 10, 1993
1995-01-27
Fault Detection And Isolation: A Hybrid Approach
1970-01-01
Completeness and Consistency in Hierarchical State-Based Requirements
1999-11-10
Using Fuzzy Histograms and Distances for Color Image Retrieval
2000-05-10
Process Cruise Control
1999-07-27
An Overview Of The Kepler Conjecture
1998-08-01
Thomas C. Hales
Comparing the Effectiveness of Fine-Grain Memory Caching against Page Migration/Replication in Reducing Traffic in DSM Clusters
2000-04-24
Gene E. Fusch
2000-01-31
Gene E. Fusch
Pitfalls in Computing with Pseudorandom Determinants
2000-03-10
Bernd G Artner
Mining the Knowledge Mine
1997-09-17
Design Entry System
1999-09-27
Extending Tcl for Dynamic Object-Oriented Programming
1995-09-29
Checking Hybrid Automata for Linear Duration Invariants
1997-07-08
Advancing Front Quadrilateral Meshing Using Triangle Transformations
2000-04-14
An Efficient Counting Network
2000-06-22
Semi-analytic Tableaux For Propositional Modal Logics of Nonmonotonicity
1995-06-16
Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving
1998-12-21
Jurgen Stuber
Real-time Specification and Reasoning Using Maximal Intervals
1970-01-01
Taming Xunet III
2000-06-29
University Administrators' Understanding of Multimedia . . .
2000-01-31
Local Symmetries in Propositional Logic
2000-07-10
Noriko H. Arai
Inheritable Properties and Computer Assisted Proofs in Dynamics
1997-10-11
Marian Mrozek
Tests for Poly-Random Function Collections
2000-02-02
Borislav H. Simov
A Knowledge-Based News Server Supporting Ontology-Driven Story Enrichment and Knowledge Retrieval
1999-02-12
Learning to Order Things
1999-05-09
Discrete Transparent Boundary Conditions For Wide Angle Parabolic Equations In Underwater Acoustics
2000-04-12
Unknown
1999-05-04
Computing Call Blocking Probabilities in LEO Satellite Networks: The Single Orbit Case
1970-01-01
Atmospheric tomography with Rayleigh laser beacons for correction of wide fields and 30 m class telescopes
2000-05-25
Understanding and Predicting the Process of Software Maintenance Releases
1996-02-07
The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems
1996-02-08
Linear-Time Temporal Logic and Büchi Automata
1997-08-08
Madhavan Mukund
Defining UML Family Members Using Prefaces
1999-11-29
A Formal Basis for Modelling Process and Task Management Aspects of User Interface Design
1970-01-01
Peter A. Lindsay
A Node-Driven Parse Pruning Technique for Probabilistic GLR Parsing
2000-02-07
Virach Sornlertlamvanich
On Similarity-Based Queries for Time Series Data
1998-12-09
Davood Rafiei
Maximization Of The Subjective Loudness Of Speech With Constrained Amplitude
1999-06-06
Persistence of information on the web: Analyzing citations contained in research articles
1999-12-02
Towards the Evaluation of Natural Language Generation
1998-04-21
A Threshold of Ln N for Approximating Set Cover
2000-06-20
Uriel Feige
Structural Processing and Implicit Memory for Possible and Impossible Figures
1997-10-01
Michael J. Tarr
Deriving Qualitative Rules from Neural Networks in Environmental Science - Preliminary Report
2000-06-02
A Foray into Uniprocessor Real-Time Scheduling Algorithms and Intractibility
1997-12-08
Drs T. Brylawski
Simultaneous Refinement and Coarsening for Adaptive Meshing
1999-02-16
Audio-Haptic Internet Browser And Associated Tools For Blind And Visually Impaired Computer Users
2000-02-15
SQUEEZE: Fast and Progressive Decompression of Triangle Meshes
2000-05-24
Optimization
1993-05-05
From Quantum Nonlocality to Mind-Brain Interaction
2000-08-26
Production of Single W Bosons at
2000-06-08
The Application of Qualitative Spatial Reasoning to GIS
1996-07-08
Brandon Bennett
Summarization Evaluation Methods: Experiments and Analysis
2000-02-07
Nearly Optimal Algorithms for Broadcast on d-Dimensional All-Port and Wormhole-Routed Torus
2000-06-22
Ranking Digital Images Using Combination of Evidences
2000-08-11
Iadh Ounis
Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes
2000-03-29
Bootstrapping a Tagged Corpus through Combination of Existing Heterogeneous Taggers
2000-07-14
Generating Hexahedron-Dominant Mesh Based on Shrinking-Mapping Method
1999-11-27
Weidong Min
A Natural and Simple Function Which is Hard for All Evolutionary Algorithms
2000-07-17
Consistency in ALF Draft
1994-09-09
Thorsten Altenkirch
P³T+: A Performance Estimator for Distributed and Parallel Systems
2000-05-16
Timing Constraint Analysis
1970-01-01
Performance of Linear Multiuser Receivers with Random and Optimal Spreading Sequences for Spread-Spectrum Systems
1999-08-02
Visualisation of Entrenched User Preferences
1996-03-08
Llu'is M`arquez, Llu'is Padr'o and Horacio Rodr'iguez
2000-04-12
The Sources of Certainty in Computation and Formal Systems
1999-11-17
Michael J. O'donnell
Synthetic Workload Generation for Parallel Processing Systems
1997-03-24
Equivariant Homotopy Type of Categories and Preordered Sets
1999-08-11
Calculations Users's Manual
2000-04-18
W Pdflib
Balanced Coalgebroids
2000-06-07
Ion Trap Quantum Gates, Decoherence and Error Correction
1998-09-07
Kernel Functions in Convolution Surfaces: A Comparative Analysis
1999-01-23
Andrei Sherstyuk
Certificate Revocation: Mechanics and Meaning
1999-04-19
Barbara Fox
ConfiTrack access system - Development of an application for the web
1999-05-21
The Political Economy of Exchange Rate Policy in Latin America
2000-01-24
Object Oriented MPI OOMPI: A Class Library for the Message Passing Interface
1999-10-13
Reconstruction of the Disentis monastery from high resolution still video imagery with object oriented measurement routines
1999-06-25
Breadth-First Maximum Likelihood Detection in Multiuser CDMA
1999-09-14
Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au
1970-01-01
Implementation of an Efficient Parallel BDD Package
1996-01-05
Anthony L. Stornetta
The Problem Of Optimal Asset Allocation With Stable Distributed Returns
2000-06-28
A Modal Logic for KLAIM
2000-06-05
Electrorheological Fluid Based Force Feedback Device
2000-04-04
Bayesian Network Models of Subcategorization and Their MDL-Based Learning from Corpus
1997-10-14
Measuring the Strategic Value of Information Technology Investments
1994-08-19
Kurt W. Conrad
Coding Recursion a la Mendler Extended Abstract
2000-05-31
Confidence Intervals for the Between Group Variance in the Unbalanced One-Way Random Effects Model of Analysis of Variance
2000-05-19
Joachim Hartung
World-Wide Web Cache Consistency
2000-03-05
U. Thoma for the Crystal Barrel Collaboration
1999-10-26
RX J2115--5840: confirmation of a new near-synchronous polar
1999-08-17
Knowledge Discovery in Deep Blue - A vast database of . . .
1999-11-30
Murray Campbell
QCD studies at 130 - 136 GeV with the ALEPH detector
1999-05-28
M. H. Lehto
Largest Planar Matching in Random Bipartite Graphs
2000-07-18
A Modular Monadic Action Semantics
1997-03-07
Keith Wansbrough
Testing of Clustering
2000-08-22
Nested Linear / Lattice Codes for Wyner-Ziv Encoding
1998-05-10
Parallel Implementation Of A 2-D Aerodynamics Code
1998-11-06
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems
2000-05-18
View-Based Management of Services in a Programmable Internetwork
1999-07-27
Explanatory Interface In Interactive Design Environments
1996-12-01
Performance And Early Results From The Golf Instrument Flown On The Soho Mission
1999-08-19
Automap: A Parallel Coordination-based Programming System
1999-07-05
Variable Selection via Penalized Likelihood
1999-07-16
Multiplicative Ergodicity and Large Deviations for an Irreducible Markov Chain
2000-03-11
Mobile Robot Group Coordination Using a Model of Interaction Dynamics
2000-03-26
Homology Computation by Reduction of Chain Complexes
1997-10-11
Marian Mrozek
Homme-Machine
1993-09-16
Implementing Heap-Object Behavior Prediction Efficiently and Effectively
1999-12-28
Learning to Rank Structured Alternatives: An Application to Incremental Processing of Natural Language
2000-06-20
What is the Minimum Length of a Non-Extendable Lace?
1970-01-01
Exploring Lag Diversity in the High-Order Ambiguity Function for Polynomial Phase Signals
1996-12-02
A Version of Omega for which ZFC can not Predict a Single Bit
1999-05-20
Measuring Index Quality using Random Walks on the Web
1999-07-30
On the Construction of Statistically Synchronizable Codes
1996-03-13
A semantic basis for Quest
1997-05-21
Luca Cardelli
Classical vs Non-classical Logics - The Universality of Classical Logic
1995-08-14
Dov M Gabbay
Understanding Underdevelopment: Challenges for Institutional Economics from the point of view of Poor Countries
2000-02-04
Pranab Bardhan
Parallel and Distributed Computing Using the Java Language Paradigm
1970-01-01
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All
2000-06-22
Location Awareness and Local Mobility
1999-12-17
On the Security of Remotely Keyed Encryption
1999-07-27
Stefan Lucks
Simple 4-Knots
1997-10-01
Keywords: Artificial Intelligence, Mixed-Initiative Planning, State-Space Planning,Goal Transformations.
2000-06-09
Additions to: On the Elliptic Logarithm Method for Elliptic Diophantine Equations: Re ections and an Improvement
2000-07-25
Concatenated Codes With Fixed Inner Code and Random Outer Code
2000-08-25
Evolution of Controllers from a High-Level Simulator to a High DOF Robot
2000-05-05
On a Portion of the Well-Known Collaboration Graph
1995-07-30
Topical Locality in the Web: Experiments and Observations
1970-01-01
Brian D. Davison
Chaotic Routing - Design and Implementation of an Adaptive Multicomputer Network Router
1993-09-24
Kevin Bolding
Data Engineering
1970-01-01
Orientation Contrast Sensitivity From Long-Range Interactions in Visual Cortex
1999-11-09
An Instability Mechanism for Drumlin Formation
2000-04-25
A. C. Fowler
Modeling Pitch Accent Curves
1998-03-11
Model-based Control of a Simulated Moving Bed Chromatographic Process for the Separation of Fructose and Glucose
2000-06-28
Pitch Accent and Vowel Devoicing in Tokyo Japanese
2000-03-02
Mafuyu Kitahara
Teaching Software Process Improvement through a Case Study
1999-01-21
Towards Focused Plan Monitoring: A Technique and an Application to Mobile Robots
2000-04-18
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm
2000-07-01
Jana Koehler Jana
Data Prefetching for Software DSMs
2000-01-25
Relationships between Sparse Graph Codes
2000-06-13
David J. C. Mackay
Adding Polymorphic Abstraction to ML
2000-03-21
Verification of Hierarchical State/Event Systems using Reusability and Compositionality
1999-05-31
Influences on Attribute Selection in Redescriptions: A Corpus Study
2000-05-05
Pamela W. Jordan
Wrapping Server-Side TCP to Mask Connection Failures
2000-07-21
On Perturbations of Matrix Pencils with Real Spectra,a Revisit
2000-04-03
Ren-cang Li
Fast Algorithms For Bayesian Independent Component Analysis
2000-03-09
Petteri Pajunen
MagicSphere: an insight tool for 3D data visualization
1999-04-13
A Quantitative Measure of Topology Lifetime for Telecommunications Networks
2000-04-10
Segregating Planners and Their Environments
1995-07-25
Visualization Algorithms For Gigabyte Datasets
1997-12-03
David Kenwright
Approximating the Minimum Bisection Size extended Abstract
2000-03-12
PUB-Library 7.0 - User Guide and Function Reference
2000-06-13
Architectural Scaling and Analytical Performance Prediction
1998-08-19
The Effects of Sons and Daughters On Men's Labor Supply and Wages
2000-05-11
Efektywne Sieci Komparator Ow
2000-01-18
Supervised Competitive Learning
1993-09-29
Multiple Scattering as a Diffusion Process
1995-05-31
Jos Stam
A Scaled Difference Chi-square Test Statistic for Moment Structure Analysis
1999-08-23
Crash Recovery in a Distributed Data Storage System
1997-12-31
Minimum Cycle Bases of Halin Graphs
2000-03-16
Peter F. Stadler
Front End Vision: A Multiscale Geometry Engine - Scale-Space Theory in Computer Vision versus Front-End Biological Vision
2000-04-18
An Algorithm for Distributed Reinforcement Learning in Cooperative Multi-Agent Systems
2000-06-19
Directional Resolution: The Davis-Putnam Procedure, Revisited
1996-06-19
Efficient Dynamic Parallelism with OpenMP on Linux SMPs
2000-05-15
An Experiment on Incremental Analysis Using Robust Parsing Techniques
2000-06-15
Optimistic Deltas for WWW Latency Reduction
1999-10-20
Deviation Probability Bound For Martingales With Applications To Statistical Estimation
2000-06-03
Anomalous Exponents and Dipole Solutions for the Thin Film Equation
2000-02-07
Network Design
1998-09-08
R. Ravi
Lattice Basis Reduction and Integer Programming
2000-05-05
Karen Aardal
Approximation and Exactness in Finite State Optimality Theory
2000-06-21
Some remarks on a stationary Vlasov-Poisson system with source term arising in ion beam neutralization
2000-04-12
Finding Approximate Palindromes in Strings
2000-05-22
Valmir C. Barbosa
Programmer's Reference
1998-04-06
Monadic Presentations of Lambda Terms Using Generalized Inductive Types
1999-09-16
Partial Order Reductions for Timed Systems
1999-05-10
Parallel Algorithms For Image Convolution
1998-02-23
Estimated, Calibrated, and Optimal Interest Rate Rules
2000-05-31
Ray C. Fair
High-Speed MARS Hardware
2000-03-16
Gorenstein Local Homomorphisms
1999-04-27
Reengineering Class Hierarchies Using Concept Analysis
1999-12-13
Embedding Hardware Design and Description Languages in Proof Systems
1993-05-26
Hydrodynamic Irreversibility in Creeping Flow
1996-11-16
An Iterative Image Registration Technique
1997-07-22
Two Arc Disjoint Paths in Eulerian Digraphs
1997-05-13
Toshihide Ibaraki
Laplace Control Variates: ANew Swindle
1995-05-19
Robert L. Wolpert
Exploiting Segmentation Mechanism for Protecting against Malicious Mobile Code
2000-05-23
A MCMC Algorithm to Fit a General Exchangeable Model
1995-01-25
Jim Albert
XRAPTOR: A Simulation Environment for Continuous Virtual Multi-Agent Systems - User Manual
1999-12-19
An Orthogonal Taxonomy for Hyperlink Anchor Generation in Video Streams Using OvalTine
2000-04-01
Using the Application
1996-02-19
Cahn-Hilliard stochastic equation: strict positivity of the density
2000-03-17
Caroline Cardon-weber
On k-Sets in Three Dimensions
1999-10-13
Capacity Scaling in Dual-Antenna-Array Wireless Systems
2000-06-03
A System of Parabolic Equations in Nonequilibrium Thermodynamics including Thermal and Electrical Effects
2000-04-12
Pierre Degond
Views of Financial Economists On The Equity Premium And On Professional Controversies
2000-05-06
Ivo Welch
LEMMA: A Distributed Shared Memory with Global and Local Garbage Collection
1995-11-22
Deformation of curves and fibers of Fano-Mori contractions
2000-05-22
Gianluca Occhetta
Data Exploration across Temporal Contexts
2000-01-06
CompOSE|Q - A QoS-enabled Customizable Middleware Framework for Distributed Computing
1999-05-28
Nalini Venkatasubramanian
Designing Software for Mentally Disabled Persons
1996-12-16
Detection of Logical Coupling Based on Product Release History
2000-05-18
Some Wavelet-Based Analyses of Markov Chain Data
1998-09-10
Splitting Off Edges Between Two Subsets Preserving The Edge-Connectivity Of The Graph
2000-05-22
Jrgen Bang-jensen
Probabilistic Logic For Belief Nets
1995-08-17
Bilingual Text Matching using Bilingual Dictionary and Statistics
1997-05-07
A View from Anywhere: Prospects for an Objective Understanding of Consciousness
2000-03-14
Ronald L. Chrisley
Stable Segmentation of 2D Curves
1999-12-04
Andrew W. J. Fitzgibbon
On Index Selection Schemes for Nested Object Hierarchies
1997-07-18
Numeric State Variables in Constraint-Based Planning
1999-11-25
Efficient Algorithms for Elliptic Curve Cryptosystems
1997-08-25
Communication Architecture Tuners: A Methodology for the Design of High-Performance Communication Architectures for System-on-Chips
2000-02-04
An Edgebreaker-Based Efficient Compression Scheme for Regular Meshes
2000-05-24
Software Cache Techniques for Memory Nodes in Distributed Memory Parallel Production Systems
1998-07-24
Experience
1999-01-28
Audit Quality: Attributes, Private Safeguards and the Role of Regulation
2000-03-30
Benito Arruada
Simulation-Based Estimation of a Nonlinear, Latent Factor AggregateProduction Function
1997-01-16
Scalable Parallel Geometric Algorithms For Coarse Grained Multicomputers
1993-05-25
Query Planning with Information Quality Bounds
1970-01-01
Ulf Leser
Low Energy and Equal Spacing - The multifactorial evolution of tuning systems
1999-06-19
Georg Hajdu
Wavelet Galerkin Schemes for 2D-BEM
2000-04-13
Finding Analogues for Innovative Design
1970-01-01
Operations on Records
1995-06-03
Limitation on the Amount of Accessible Information in a Quantum Channel
1996-04-09
Contextualizing the Information Space in Federated Digital Libraries
1999-03-11
An approach to the exterior Dirichlet problem in R
2000-06-27
Testing the Equivalence of Models given through Linear Atomic Representations Extended Abstract
1998-12-21
Reinhard Pichler
Qualitative Reasoning for Automated Traffic Surveillance
1996-06-25
Jonathan H. Fernyhough
A Formal Framework with Late Binding
1999-01-08
Introduction to TLA
1997-12-18
Atif M. Memon
2000-02-23
Solving Word Equations Modulo Partial Commutations
2000-03-03
Cost-Based Scheduling and Dropping Algorithms To Support Integrated Services
1998-10-25
Dynamic Query-Based Debugging
1999-03-25
The Detection of Dust in the Central Galaxies of Distant Cooling-Flow Clusters
1999-11-10
SCIL-VP: a multi-purpose visual programming environment
2000-02-08
Towards the Generation of Rebuttals in a Bayesian Argumentation System
2000-07-13
Splines and Linear Control Theory
1999-09-02
Data Warehousing and OLAP: Improving Query Performance Using Distributed Computing
2000-04-27
. PROPERTIES OF THE SOLVER 1.1. Operating Requirements
1997-09-25
On Generating Solved Instances of Computational Problems
2000-02-02
WP. II - 15 Wave Packet MolecularDynamics Simulations of Hydrogen under extreme Conditions
2000-04-02
Multi-Objective Genetic Algorithms: Problem Difficulties and Construction of Test Problems
1999-09-02
Kalyanmoy Deb
Analysis of fMRI Time-Series Revisited - Again
1995-10-24
Toward A Comprehensive Infosec Certification Methodology
1994-02-25
Testability of Generalized Multiple-Valued Reed-Muller Circuits
1997-12-02
Combinatorial Characterization of Read-Once Formulae
1999-12-30
An Indexed Bibliography of Genetic Algorithms Papers of 1993
1970-01-01
Jarmo T. Alander
Scheduling and Data Replication to Improve Tape Jukebox Performance
1999-09-07
A Semantic Approach to Secure Information Flow
2000-08-25
On The Stabilization Of The Unicycle Model Projecting A Holonomic Solution
1996-06-21
On Loops, Dominators, and Dominance Frontiers
2000-02-25
G. Ramalingam
Learning Predictive Generalizations for Multiple Streams: An Incremental Algorithm
1995-06-13
Quantum Coding
1996-04-09
Benjamin Schumacher
OpenJava: A Class-based Macro System for Java
2000-07-04
Another view on the SSS* algorithm
1999-09-27
Arie De Bruin
Fast Frequency Sweep Technique for Efficient Analysis of Dielectric Waveguides
1996-09-20
A Unified Approach to Evaluation Algorithms for Multivariate Polynomials
1996-02-15
Hammock-on-Ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other Problems
1995-08-22
Simple Generalized Maximum Flow Algorithms
1998-11-26
Kevin D. Wayne
Software Protection and Simulation on Oblivious RAMs
1998-02-16
Independent Componet Analysis
1999-06-07
Symmetries in the Physics of Strongly Correlated Electronic Systems
1998-07-22
F. Mancini A. Avella
Utilising MIMD Parallelism in Modular Visualisation Environments.
1992-10-08
Chris Thornborrow
Semantic and Usage Packaging for Software Components
1999-05-18
Jun Han
Pursuit-Evasion Using Beam Detection
2000-03-22
Transforming High-Level Data-Parallel Programs into Vector Operations
1995-04-21
Advanced decision aids for Air Traffic Controllers: Understanding different working methods from a cognitive point of view
2000-04-25
Search for charginos mass-degenerate with the LSP
1997-07-23
Bounds on covering numbers and fat-shattering dimension for Bayesian learning
2000-07-12
O. Teytaud
Local Velocity Representation: Evidence from Motion Adaptation
1998-08-08
Scientific Discovery from the Perspective of Hypothesis Acceptance
2000-04-27
Recent Work In Heidelberg On The Solution Of The Radiative Transfer Equation
1999-11-04
Comment on `Fiscal Consequences for Mexico of Adopting the Dollar' by Christopher A. Sims
2000-06-13
Information Hiding to Foil the Casual Counterfeiter
1999-07-01
Shape Tensors for Efficient and Learnable Indexing
1995-10-19
Esprit Iii
1995-05-16
Achieving a wide field near infrared camera for the Calar Alto 3.5m telescope
2000-03-10
Models for Configuration Management of Refinement Calculus Developments
1970-01-01
Kelvin J. Ross
Lower Bounds for Matrix Product, in Bounded Depth Circuits with Arbitrary Gates
2000-05-01
Secure Reconfigurable Computing
1999-09-29
Progressive Damage Analysis of Laminated Composite PDALC - A Computational Model Implemented in the NASA COMET Finite Element Code - Version 2.0
1998-10-28
Operational and Performance Issues of a CBQ router
2000-01-13
Fulvio Risso
A Mathematical Approach To A Low Power Fft Architecture
2000-02-02
A Logic Programming Framework for Component-Based Software Prototyping
1999-09-04
A Compact Petri Net Representation and Its Implications for Analysis
1997-01-08
Tentative Prune-and-Search for Computing Fixed-Points with Applications to Geometric Computation
1994-03-15
Solar Particle Event Doses And Dose Rates For Interplanetary Crews: Predictions Using Artificial Intelligence And Bayesian Inference
1970-01-01
Measurement of Functional Reuse
1997-03-02
The Dynamic Composition of Abductive Agents in ALIAS
1999-09-04
Certification D'un Porte-Monnaie 'electronique
2000-05-30
Statement of Originality
1994-05-11
Simon John Dennis Bsc hons
Circular Attribute Grammars with Remote Attribute References
2000-06-06
The Space of Closed Subsets of a Convergent Sequence
2000-03-17
Algebraic Synthesis of Efficient Deadlock Avoidance Policies for Sequential Resource Allocation Systems
2000-02-02
The Monadic Theory of Morphic Infinite Words and Generalizations
2000-03-25
Wolfgang Thomas
Just Enough Reality: Comfortable 3-D Viewing via Microstereopsis
1999-10-17
A remark on approximate M-estimators
1998-11-08
Miguel A. Arcones
Automatic Generation of State Invariants from Requirements Specifications
1998-09-12
Let's put NetApp and CacheFlow out of business!
2000-07-12
Growth and Server Availability of the NCSTRL Digital Library
2000-04-05
Lpc-Based Inversion Of The Drm Articulatory Model
1999-07-01
Sacha Krstulovi C
Computational Evolution of a Model Polymer that Folds to a Specified Target Conformation
1995-11-27
Richard Judson
Incremental Evaluation of Natural Semantics Specifications
1999-09-24
A Recipe Based On-line Food Store
2000-01-06
A Robust Method For Speech Signal Time-Delay Estimation In Reverberant Rooms
2000-03-03
An Obstacle Control Problem With A Source Term
2000-06-01
The Power of
1999-10-13
Architecture Reuse through a Domain Specific Language Generator
1997-03-01
S. A. White
A Generic Object-Oriented Constraint Based Model for University Course Timetabling
2000-06-15
A Magnetoelastic Model For Magnetostrictive Sensors
1999-12-30
Button, and Must Be Run After the Model Has Been Fully Specied By Applying the Various Editors Under the Item
1999-04-09
Report of the AAAI Fall Symposium on Machine Learning and Computer Vision: What, Why and How?
1997-04-13
Efficient and Flexible Multimedia Delivery with Universal Database Systems
1999-08-25
Verifying programs in the Calculus of Inductive Constructions
1997-12-11
Catherine Parent-vigouroux
Nonlinear Accelerator Problems Via Wavelets: 7. Invariant Calculations In Hamilton Problems
1999-03-26
Primary Tasks and Peripheral Awareness: A Field Study of Multiple Monitor Use
2000-05-01
Jonathan Grudin
Theory-Guided Induction of Logic Programs by Inference of Regular Languages
1996-06-10
Henrik Bostrom
Applications Of Fft
1999-02-17
Turning an Action Formalism into a Planner - A Case Study
1993-10-26
Reappraisal of the Approach
1999-05-31
Dynamic Backtracking
1998-03-06
T E X Version 1.2 User's Guide
2000-07-31
Minimal Realizations and State Space Transformations in the Symmetrized Max-Algebra
2000-06-16
Sharp Adaptation for Inverse Problems With Random Noise
2000-03-28
Robust Stereo Ego-motion for Long Distance Navigation
2000-03-13
Mark W. Maimone
Bayesian Multi-Scale Differential Optical Flow
1998-12-28
Eero P. Simoncelli
Radiation Shielding Considerations for the Solar-B EIS CCDs - initial discussion
1999-11-09
Chris Mcfee
Experimenting with Real-Time Specification Methods: The Model Multiplicity Problem
2000-06-19
A CLP Framework for Computing Structural Test Data
2000-05-15
CQ: A Personalized Update Monitoring Toolkit
1999-04-30
The Knowledge Depot: Building and Evaluating a Knowledge . . .
2000-08-05
Random Interval Graphs
1997-02-11
The AMANDA Neutrino Telescope
2000-05-03
Dynamic Constraint Models for Planning and Scheduling Problems
2000-05-22
Roman Bartk
Learning Function-Free Horn Expressions
1998-09-22
Roni Khardon
Maximum Entropy Principle for Electron Transport in Semiconductors
2000-04-12
Vittorio Romano
Impact of Out-ofSequence Processing on the Performance of Data Transmission
1997-07-23
Synthesising Designs from Formal. . .
1970-01-01
The Future And Applications Of Genetic Algorithms
1997-11-07
Marcus Randall
AspectIX contributions to the ECOOP'98 conference
1999-09-17
INCREMENTAL LINEARCONTROLLERS NETWORK AND PROGRESSIVE CONTROL DESIGN Eric Ronco Peter J. Gawthrop
1996-09-25
LOF: Identifying Density-Based Local Outliers
2000-03-01
Synthesis of Recursive Symbolic Models for Articulated Robotic Systems
1998-12-01
Multi-Threading and Message Communication in Qu-Prolog
1970-01-01
Efficient Matrix Inversion via Gauss-Jordan Elimination and its Parallelization
1998-10-02
Message Authentication using Hash Functions--- The HMAC Construction
1998-01-23
E.L.Korotyaev
1997-04-26
Structural Properties and Tractability Results for Linear Synteny
2000-07-09
David Liben-nowell
Distortion-Class Weighted Acoustic Modeling For Robust Speech Recognition Under GSM RPE-LTP Coding
1999-09-30
Three-Dimensional Simulations of Mantle Convection in Io
2000-02-28
Interior-Point Methods for Linear Programming: A Guided Tour
2000-02-24
Fuzzy Image Processing: Potentials and State of the Art
1999-09-14
Hamid R. Tizhoosh
H and K Fluxes and Attendant Processes in
1999-09-02
Comparing the Communication Performance and Scalability of a Linux and an NT Cluster of PCs, a SGI Origin 2000, an IBM SP and a Cray T3E-600
2000-03-27
Camera Calibration Technique using Robust Regression
1999-06-01
Worst-case Bounds for the Logarithmic Loss of Predictors
1999-12-10
Technology Transfer within the ProHPC TTN at ENS Lyon
2000-06-14
Graph Drawing Algorithm Engineering with AGD
1970-01-01
A C++ Implementation of the Bayesian Optimization Algorithm BOA with Decision Graphs
2000-06-02
Martin Pelikan
Documenting Frameworks
1997-03-04
Greg Butler
x86Sim: A Simulation Tool for the Intel x86 Architecture
2000-05-08
Jeffrey D. Heid
A Semantic Approach to the Solution of the Legacy Code Problem
1997-07-01
Density-Functional Account of van der Waals Forces between Parallel Surfaces
1998-02-14
Category-based Semantics for Equational and Constraint Logic Programming
1996-06-04
Hidden Safety Requirements in Large-Scale Systems
1994-06-08
Carl E. Landwehr
Abstraction in Control Learning
1994-07-01
Richard Yee
Optimal Taxation without State-Contingent Debt
2000-06-05
Unknown
2000-02-02
P. Eng
Modeling Free Form Objects by Generating Closed Surfaces
1970-01-01
Edilberto Strauss
An Analytic Center Cutting Plane Method For Semidefinite Feasibility Problems
2000-01-15
Jie Sun
Programmation applicativeÉtat des lieux et perspectives
1996-09-04
GAST: A Flexible and Extensible Tool for Evaluating Multiprocessor Assignment and Scheduling Techniques
1998-08-19
Jan Jonsson
Computing the Toughness and the Scattering Number for Interval and Other Graphs
1994-04-28
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
1999-05-31
Testing for Renamability to Classes of Clause Sets Extended Abstract
1998-12-21
An Implementation Model of Rendezvous Communication
1997-05-21
Luca Cardelli
. Propagation and Correlation
1999-08-09
Rdq 'dhphq Kdswhuursdjdwlrqdqg
Conformation and Proton Configuration of Pyrimidine Deoxynucleoside Oxidation Damage Products in Water
2000-06-12
A solution to Zantema's problem
1995-09-26
Alfons Geser
Bounded Fluctuations and Translation Symmetry Breaking in One-Dimensional Particle Systems
2000-07-31
Permutation Capability of Optical Multistage Interconnection Networks
2000-06-22
Scott Moss
2000-07-04
String Taxonomy Using Learning Automata
2000-05-05
Lower Bounds on the Distortion of Embedding Finite Metric Spaces in Graphs
2000-08-07
Logical Considerations on Default Semantics
1994-12-16
Reliable Mobile Robot Navigation From Unreliable Visual Cues
2000-02-21
A Polymorphic lambda-calculus with Type:Type
1997-05-21
Luca Cardelli
A GUI Builder for Erlang/GS
1996-12-19
Performance Analysis Of The Adaptive Projection Receiver For Joint Detection Of CDMA
2000-02-24
Capacities: From Information Theory to Extremal Set Theory
1996-03-04
Marginal Maximum A Posteriori Estimation using Markov Chain Monte Carlo
2000-08-25
Visualising Software Documents in a Generic Development Environment
1970-01-01
Type-Safe Execution of Mobile Agents in Anonymous Networks
1998-12-15
Recognizing ... Functions Per Dirichlet Space Structure
2000-03-03
Secrecy by Typing in Security Protocols
2000-02-02
Martn Abadi
Case Studies in the Verification of. . .
1970-01-01
Automatic Selection of Problem Solving Libraries based on Competence Matching
1999-06-01
Making Sensitivity Analysis Computationally Efficient
2000-05-25
Linda C. Van Der Gaag
Retrieving Semantically Distant Analogies with Knowledge-Directed Spreading Activation
1970-01-01
Analog Design of a New Neural Network for Optical Character Recognition
1970-01-01
Charging and Rate Control for Elastic Traffic
2000-01-10
Frank Kelly
Automating First-Order Relational Logic
2000-03-20
Daniel Jackson
Symmetric Action Calculi
2000-01-16
Lucian J. Wischik
Mixing in the Downward Displacement of a Turbulent Wash By a Laminar Spacer Or Cement Slurry
2000-02-02
Schlumberger Dowell
Entropy on Crossed Products and Entropy on Free Products
1970-01-01
Marie Choda
Second-Generation Wavelet Collocation Method for the Solution of Partial Differential Equations
2000-05-05
Oleg V. Vasilyev
Solving Sparse Semidefinite Programs Using the Dual Scaling Algorithm with an Iterative Solver
2000-04-20
A Modern Frameworkfor Portable High Performance Numerical Linear Algebra
1999-08-31
Andrew Lumsdaine Director
Steps Toward Computer-Supported Collaborative Learning for Large Classes
2000-08-05
Wearable Computing and Contextual Awareness
1999-07-03
Thad Eugene Starner
Solutioneering in User Interface Design
2000-06-22
Correlated Modulation: A Criterion for Blind Source Separation
2000-03-15
Jrn Anemller
Stop Minding Your P's and Q's: A Simplified On Planar Embedding Algorithm
1999-07-06
Cryptanalysis of the Cellular Message Encryption Algorithm
2000-04-04
Associative, Multiassociative, and Hybrid Processing Extended Abstract
1994-11-22
Affine-Invariant Texture Classification Using Regularity Features
2000-07-07
An F
Fault Injection Based Validation of Fault-Tolerant Multiprocessors
1997-11-04
Digital Signatures, Timestamping and the Corresponding Infrastructure
2000-02-02
Some Remarks On Stationary Possibilistic Processes
2000-01-25
A Category-based Equational Logic Semantics to Constraint Programming
1996-05-20
Razvan Diaconescu
Selection Of Cluster Prototypes From Data By A Genetic Algorithm
2000-06-12
The Rthreads Distributed Shared Memory System
1998-09-14
Affinity-based Self Scheduling for Software Shared Memory System
1999-07-01
Tracing Externalities as Sources of Indeterminacy
1999-06-28
Demand-based Radio Network Planning of Cellular Mobile Communication Systems
1998-11-12
Kurt Tutschku
Functional Dependencies for Object Databases
1997-11-10
Recursive Algorithms for Computing the Cramer-Rao Bound
2000-07-11
Hardware-Optimal Test Register Insertion
2000-05-19
On The Equivalence Between Fuzzy And Statistical Classifiers
2000-06-12
Ludmila I. Kuncheva
A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation
1997-07-31
A Survey on Knödel Graphs
2000-04-05
Solving the Word Problem in Real Time
2000-01-18
Verifying Logic Circuits by Benders Decomposition
1995-08-17
Cellular Telephones and Motor Vehicle Collisions: Some Variations on Matched Case-Control Analysis
1997-02-14
The Distance Approach To Approximate Combinatorial Counting
2000-06-27
Importance Sampling Algorithms for Belief Networks based on Approximate Computation
1996-12-01
An Overview of Edison
2000-08-14
Chris Okasaki
Approximate Euclidean Shortest Paths In 3-Space
2000-05-31
Comments by the NESSIE Project on the AES Finalists
2000-05-26
Classification Of Multiagent Systems
1998-06-18
Two Approaches for Pay-per-Use Software Construction
2000-08-18
Atmospheric Ionizing Radiation AIR ER-2 Preflight Analysis
1998-06-05
An Integrated Approach for Synthesizing LUT Networks
1999-01-25
Critical Ruptures
2000-03-29
Anders Johansen
Modeling Sharing and Recursion for Weak Reduction Strategies using Explicit Substitution
1997-01-24
Guaranteed 3.67V bit encoding of planar triangle graphs
2000-05-24
The N170 Occipito-Temporal Component Is Delayed And Enhanced To Inverted Faces But Not To Inverted Objects: An Electrophysiological Account Of Face-Specific Processes In The Human Brain.
1999-11-04
Unknown
1996-01-13
Tracking Planar Structures With Log-Polar Images
2000-06-21
An approach to the exterior Dirichlet problem in R
2000-06-27
CFL3D User's Manual Version 5.0
1998-07-17
BOX-QUACAN and the implementation of Augmented Lagrangian algorithms for minimization with inequality constraints
1999-03-10
Netlib Services and Resources
1994-12-09
Monte-Carlo approximations and fluctuations for 2D Boltzmann equations without cutoff
2000-06-20
Tim: A Prototype Tool For Integrating System Development Methods
1998-01-26
metaXa and the Future of Reflection
1999-01-18
Michael Golm Jrgen Kleinder
Optimal Reward-Based Scheduling of Periodic Real-Time Tasks
1999-12-17
An Indexed Bibliography of Genetic Algorithms - Papers of 1996 non-proceedings
1970-01-01
Jarmo T. Alander
Computing the Penetration Depth of Two Convex Polytopes in 3D
2000-07-07
A New Architecture for a Parallel Finite Field Multiplier with Low Complexity Based on Composite Fields
1997-03-17
Christof Paar
Infinite-dimensional symplectic capacities and a squeezing theorem for Hamiltonian PDE's
2000-02-08
Sergej B. Kuksin
Systematic Compilation For Predicated Execution
2000-03-14
Reactive, Generative and Stratified Models of Probabilistic Processes
1995-04-15
Results and Discussion
1995-12-13
Profile-Guided Optimization Across Process Boundaries
1999-12-13
An Integrated Framework for Extended Discovery in Particle Physics
1998-03-03
Fast Latent Semantic Indexing Of Spoken Documents By Using Self-Organizing Maps
1999-11-14
Mikko Kurimo
Content-based Indexing and Retrieval of Audio Data using Wavelets
2000-06-30
Dynamic-CBT and ChIPS - Router Support for Improved Multimedia Performance on the Internet
2000-03-17
Learning to Forget: Continual Prediction with LSTM
2000-05-31
A Channel Sharing Scheme for Cellular Mobile Communications
1999-12-10
Acting under Uncertainty: Discrete Bayesian Models for Mobile-Robot Navigation
1996-05-16
Bridging the gap between Fault Tree Analysis Modeling Tools and the Systems being Modeled
1999-11-09
David W
Constructive Quasi-Ramsey Numbers And Tournament Ranking
1999-09-24
Wadsleyite II: A new high pressure hydrous phase in the peridotite-H
2000-05-01
Adaptation in Automated User-Interface Design
2000-01-06
Fuzzy Distance Control for Intelligent Vehicle Guidance
2000-07-18
Evaluating the Tradeoffs in Partial-Order Planning Algorithms
1998-11-10
Scalability in an Intentional Naming System
2000-05-22
Homogenization and the Polynomial Calculus
1999-11-23
Automatic Inheritance Hierarchy Restructuring and Method Refactoring
2000-01-20
Ivan Moore
The One-Way Analysis Of Variance
2000-07-13
P. L. Davies
End-To-End Arguments In System Design
1999-02-14
Facing the Hard Question
2000-06-20
Asymptotic Behaviour of Ground States
1999-06-23
Josephus Hulshof
Hp Howto
2000-05-04
Bruno Cornec
Alternative Theorems for Nonlinear Projection Equations and Applications to Generalized Complementarity Problems
2000-03-23
A Variation on the Zero-One Law
1997-10-13
Semantic Interpretation as Classificatory Abduction
1994-03-31
Julie Hartigan
Critical Path Analysis of TCP Transactions
2000-06-07
Automatic Segmentation of Low Visibility Moving Objects through Energy Analysis of the Local 3D Spectrum
2000-06-20
Orthogonal Maximal Abelian *-Subalgebras of the N×n Matrices and Cyclic N-Roots
2000-03-24
Uffe Haagerup
Photoproduction of
1997-12-19
Design of an OpenGL Interface for the J Programming Language
1997-11-19
Matrix Chain Ordering in Polylog Time with
1993-02-19
Rank One Case of Dwork's Conjecture
2000-06-06
Daqing Wan
A Novel Approach to Process Modeling for Instrument Surveillance and Calibration Verification
1970-01-01
From: "Carl Meyer"<CARLHMEYER@email.msn.com>
2000-04-25
Carl H. Meyer
Rapidity Correlations in Baryon and Proton Production in Hadronic Z
1997-07-23
In Hadronic Z
Information-Passing and Belief Revision in Multi-Agent Systems
1999-01-08
Hierarchically Structured Mobile Agents and their Migration
1999-06-04
Ichiro Satoh
Probability laws related to the Jacobi theta and Riemann zeta functions, and Brownian excursions
1999-11-22
Jim Pitman
Explorations in Linear Algebra Using Group Work and Technology
1996-09-20
UbiWorld: An Environment Integrating Virtual Reality, Supercomputing, and Design
1997-01-15
A Computational Framework and SIMD Algorithms for Low-Level Support of Intermediate Level Vision Processing
1993-09-21
Fcast Multicast File Distribution
2000-02-13
Dynamic First Order Logic Programming
2000-02-20
Maximizing Performance by Retiming and Clock Skew Scheduling
2000-04-12
Increasing Functional Constraints Need to Be Checked Only Once
1995-08-30
Bing Liu
The KERNEL Text Understanding System
2000-07-03
Deriving Focused Calculi For Transitive Relations
2000-01-20
Georg Struth
D I G I T a L
1997-10-01
An Improved Output-size Sensitive Parallel Algorithm for Hidden-Surface Removal for Terrains
2000-06-22
Reinforcement Driven Information Acquisition In Non-Deterministic Environments
1995-11-15
Galois Representations Attached to Elliptic Curves and Diophantine Problems
2000-05-11
Gerhard Frey
Modelling and Hazard Identification in an Air-Traffic Control User-Interface
1970-01-01
Automatic Volume Control for Auditory Interfaces
2000-06-19
First Year Report: Symmetric Action Calculi
2000-01-16
Lucian Wischik
Applying Formal Methods to an Information Security Device: An Experience Report
2000-07-27
Beat Tracking with Musical Knowledge
2000-05-05
Some Structural Properties of Low Rank Matrices Related to Computational Complexity
1997-09-25
An Activity-Oriented Approach to Visually Structured Knowledge Representation for Problem-Based Learning in Virtual Learning Environments
2000-07-10
Serial and Strategic Effects in Reading Aloud
1998-12-07
Use of High-Level Linguistic Constraints for Constructing Feature-Based Phonological Model in Speech Recognition
2000-01-28
Multi-Resolution Dynamic Meshes with Arbitrary Deformations
2000-03-01
Intelligent Systems in Patient Monitoring and Therapy Management - A Survey of Research Projects
1994-10-19
Serdar Uckun
Monetary Policy Misspecification in VAR Models
1999-12-10
Power Aware Page Allocation
2000-07-07
Iterative Decoding and Channel Estimation
2000-07-05
Office Of Inspector General
2000-04-03
June Gibbs Brown
Normal Bases via General GaußPeriods
1998-02-23
Efficiently Sequencing Tape-Resident Jobs
1999-09-07
Honest Databases That Can Keep Secrets
1999-04-02
Aslantest User's Manual
1994-01-07
Jeff Douglas
Fast Signature Segmentation on a Multi-DSP Architecture
2000-07-03
Distributed Computing
1994-08-16
Deductive Queries in ODMG Databases: the DOQL Approach
1999-04-01
Stage-Graph Representations
1997-11-12
Interior Point Methods in Semidefinite Programming with Applications to Combinatorial Optimization
1998-02-16
Farid Alizadeh
Combining a Monad and a Comonad
2000-04-30
John Power
Almost Sure Quasilocality in the Random Cluster Model
1997-04-26
Koen Vande Velde
Value of Commercial Software Development under Technology Risk
2000-08-10
Dimensioning All-Optical Dual-Homing Hierarchical Multi-Ring Networks With Various Connectivities
2000-03-24
Managing Memory Requirements in the Synthesis of Real-Time Systems from Processing Graphs
1998-07-24
Hidden Surface Removal Algorithms for Curved Surfaces
1995-06-27
Fault Isolation in Multicast Trees
2000-04-21
Measuring the Effectiveness of Reinforcement Learning for Behavior-Based Robots
1997-01-25
John Shackleton
Towards Perfectly Absorbing Boundary Conditions for Euler Equations
1997-05-29
Coercion Completion and Conservativity in Coercive Subtyping
2000-07-12
A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience
2000-03-24
Dealing with Server Corruption in Weakly Consistent, Replicated Data Systems
2000-03-13
Design Considerations for Distributed Caching on the Internet
1999-01-22
An Adaptive Local Grid Refinement Method for Nonlinear Filtering
1995-10-20
Trends In Distributed Object Computing
2000-07-04
Sense Type Decision Trees for Natural Language Procesing
1999-05-06
Maria Zamfir Bleyberg
State Update Transformation
2000-04-10
LabFlow-1: a Database Benchmark for High-Throughput Workflow Management
1996-10-08
A Cellular Nerve for Higher Order Categories
1999-07-23
Clemens Berger
On the Use of Asynchrony in Achieving Extensibility and High Performance in an Object Storage System
1995-08-09
On Polling Systems where Servers wait for Customers
1996-12-05
Theme-based Retrieval of Web News
2000-05-09
The "Virtual-Primary-Copy Approach" Compared To Other Approaches With Weak Consistent Data Replication
1999-06-09
Richard Lenz
Understanding Mathematical Experience
2000-02-14
On the Small Sample Size Behavior of Bayesian and Information-Theoretic Approaches for Predictive Inference
1998-09-01
Correlation of the charge collection efficiency of GaAs particle detectors with material properties
1999-05-28
An Object-Centered Approach to Designing Programming Environments
1994-02-17
Redundancy Criteria for Constrained Completion
1996-09-19
A Branching-Time Theory for Probabilistic Model Checking
1970-01-01
Mathematical Problems for the Next Century
2000-01-03
Steve Smale
Egress Admission Control
1999-11-23
A Model for Building Planners that Design
2000-07-08
The Underlying Logic of Hoare Logic
2000-01-13
Numerical Shadowing Using Componentwise Bounds And A Sharper Fixed Point Result
1999-05-03
Erik S. Van Vleck
Testing Tradeoff And Pecking Order Predictions About Dividends And Debt
2000-07-12
Developments and Trends in the Parallel Solution of Linear Systems
2000-03-09
Axiomatic Semantics for Java^light Extended Abstract
2000-04-14
Modeling Event Recognition
1995-05-19
Multimodal Cooperative Resolution of Referential Expressions in the DenK System
2000-06-18
Issues for a Temporal Refinement Calculus
1998-08-19
Sweep as a Generic Pruning Technique
2000-06-15
Nicolas Beldiceanu
Classification and Representation of Conflict in Multi-Agent Systems
1999-06-08
Attentive Face Detection and Recognition
2000-05-11
Dynamic Memory Hierarchy Performance Optimization
2000-07-14
Expansion of W 3OH
1999-12-16
An Implementable Scheme for Secure Delegation of Computing and Data
2000-01-31
Hybrid Probabilistic Logic Programs as Residuated Logic Programs
2000-05-18
Faculdade De Ciencias E Tecnologia
Detecting Vector Field Singularities from Potentials
2000-07-21
On R-trees with low stabbing number
2000-06-21
A Large Deviations Analysis of Range Tracking Loops
1998-11-29
Quartz: A QoS Architecture for Open Systems
2000-02-16
Frank Siqueira
Automated Model Selection for Simulation
1994-02-16
The Effect of Interrupts on Software Pipeline Execution on Message-passing Architectures
1997-01-27
A Reference Model for Teleconferencing Systems
1999-08-05
Peter W. Michor
1999-01-21
Peter W. Michor
Constrained Second-Order Recurrent Networks for Finite-State Automata Induction
1998-03-30
Gast~ao B. Lima Neto
1999-11-23
Abelian Groups, GaußPeriods, and Normal Bases
2000-07-14
Shuhong Gao
Verification of Timed and Hybrid Systems
2000-05-22
Kim Guldstrand Larsen
Supervision Of Perception Tasks For Autonomous Systems: The Ocapi Approach
1993-10-07
Characteristic Methods for Fokker-Planck and Fermi Pencil Beam Equations
2000-04-12
M. Asadzadeh
Argument Contained Ellipsis
2000-04-24
Christopher Kennedy
A Formally Verified High-Level Synthesis Front-end: Translation of VHDL to Dependence Flow Graphs
1970-01-01
Localization of Classical Waves I: Acoustic Waves.
1997-04-26
High-Level Robot Control Through Logic
2000-05-24
Status and Results of the Search for Gamma-Ray Bursts above 1 TeV with the HEGRA Experiment
1999-06-10
The Analytic Center Quadratic Cut Method ACQCM for Strongly Monotone Variational Inequality Problems
1998-03-27
The Enhancement of a Dependency Parser for Latin
1994-02-22
Ulrich Koch
An Implementation of Constructive Synchronous Programs in POLIS
1970-01-01
A Long-Step Primal-Dual Algorithm for the Symmetric Programming Problem
2000-02-05
A Superlinearly Convergent Sequential Quadratically Constrained Quadratic Programming Algorithm For Degenerate Nonlinear Programming
1999-12-22
Mihai Anitescu
On the Performance of TCP Splicing for URL-aware Redirection
1999-09-27
An Object Oriented Design for High Performance Linear Algebra on Distributed Memory Architectures
1994-10-08
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation
1999-01-22
Homotopy Orbits of Free Loop Spaces
1999-11-18
Increasable Supply and "Collusive-Seeming Equilibria" in the Uniform-Price Auction
1999-11-08
David Mcadams
Removal Bias: a New Cause of Code Growth in Tree Based Evolutionary Programming
1999-03-16
Point To Point Communication Using Virtual Channel Flow Control And Wormhole Routing
1998-01-09
On the Best ROBDD Variable Ordering for Functions with Disjunctive Decompositions.
1998-02-10
A Social Mechanism of Reputation Management in Electronic Communities
2000-04-25
Reducing the Dimensionality of Face Space in a Sparse Distributed Local-Features Representation
2000-03-26
Penio S. Penev
Monodic Epistemic Predicate Logic
2000-05-05
A Semantic Analysis Of Understanding
2000-01-20
Jens Allwood
Invasiveness of Performance Instrumentation Measurements on Multiprocessors
1995-01-24
Toward Agents that Recognize Emotion
2000-01-19
Rosalind W. Picard
Mixed Language Query Disambiguation
2000-07-20
Solving Polynomial Systems Using a Branch and Prune Approach
1995-02-08
Context-based Space Filling Curves
2000-04-05
Communication Protocol for Wide-area Group
1997-10-22
Arch Beam Models: Finite Element Analysis and Superconvergence
1999-09-02
Zhimin Zhang
CMOS Operational Amplier Design and Optimization via Geometric Programming
1997-12-12
Minimizing Redundant Dependencies and Interprocessor Synchronizations
1997-05-21
The New World of Mechanisms
1994-10-27
Efficient 3x3 Median Filter Computations
1998-01-20
Werner Purgathofer
Three-Phase Equilibrium in a Binary Hard-Core Lattice Model?
1998-04-02
Multiple objective nonatomic Markov decision processes with total reward criteria
2000-03-21
Asymptotic Preserving Monte Carlo Methods for the Boltzmann Equation
2000-04-12
Visualising the Potential of Interactive Systems
2000-06-22
Harold Thimbleby
Progressively Authenticated Image Transmission
2000-05-02
CDC00-REG1324 On the Relationship Between LMIs and AREs: Applications to Absolute Stability Criteria, Robustness Analysis and Optimal Control
2000-05-24
Getting Ready to Work: Patterns for a Developer's Workspace
2000-07-25
BUISY - Using Brokered Data-Objects for Environmental Information Systems
2000-05-15
On the computational content of the Krasnoselski and Ishikawa fixed point theorems
2000-08-21
Ulrich Kohlenbach
High-Level Area Prediction for Power Estimation
1997-05-12
Type-II Quantum Computers
2000-07-26
Jerey Yepez
Scalability Metrics and Analysis of Mobile Agent Systems
2000-05-19
Murray Woodside
Implementation of "Generic Synchronization Policies" in Pict
1996-03-29
Patrick Varone
A Flexible Simulation Tool for Manufacturing Cell Design, II: Response Surface Analysis and Case Study
2000-03-28
Derive Enriched Semantics by Calculation
1970-01-01
He Jifeng
Automatic Enhancement of Noisy Image Sequences Through Local Spatio-Temporal Spectrum Analysis
1999-12-03
XML-Based Information Mediation with MIX
1999-01-29
Product Preserving Functors Of Infinite Dimensional Manifolds
1998-12-03
Prospects For Cfd On Petaflops Systems
1997-11-15
David E. Keyes
MetricViews: design of multiple spreadsheets into a single dynamic view
1998-05-05
David Small
On the Robustness of Empirical Likelihood Ratio Confidence Intervals for Location
2000-08-21
The Distribution of Supermassive Black Holes in the Nuclei of Nearby Galaxies
1999-11-10
Meta-Modelling Semantics of UML
1999-10-14
Cramer-von Mises regression
2000-08-21
Kilani Ghoudi
Session 12c3
2000-06-15
An EM Algorithm for Regularized RBF Networks
1999-06-21
Mark J L Orr
The future of the SPS injection channel
1999-04-23
Visualization Methods for Personal Photo Collections: Browsing and Searching in the PhotoFinder
2000-05-11
Incomplete Partial Fractions for Parallel Evaluation of Rational Matrix Functions
1996-02-21
Differential and Integral Geometry of Linear Scale-Spaces
1998-01-06
Interfaces to Interaction Data
1998-05-27
O. Duke-williams
A Note About HARPs State Trimming Method
1998-06-09
Parallel Conjugate Gradient: Effects of Ordering Strategies, Programming Paradigms, and Architectural Platforms
2000-03-07
More About TAS and IsaWin - Tools for Formal Program Development
1999-10-20
Christoph Luth
Mainz Rolling Brains
2000-02-13
Multi-Dimensional Upwind Leapfrog Schemes And Their Applications
1999-07-06
Cheolwan Kim
Modular Termination Proofs for Prolog with Tabling
1999-09-09
A Simulation Tool for the Performance Evaluation of Parallel Branch and Bound Algorithms
1999-09-27
Weighted Matchings for Dense Stereo Correspondence
1999-06-30
Accelerated Remotely Keyed Encryption
1999-07-27
Theoretische Informatik
Perfect Matchings in
1999-09-25
The Categorical Product Data Model as a Formalism for Object--Relational Databases
1999-05-24
Multi-CoIteration, Categorically
1999-08-23
Tarmo Uustalu
Performance Evaluation of a Parallel Tabu Search Task Scheduling Algorithm
1970-01-01
Partial-order verification in SPIN can be more efficient
1997-05-09
Hans Van Der Schoot
Schrödinger Operators And Topological Pressure On Manifolds Of Negative Curvature
1999-12-07
Detecting Strain-Gauge Failures in Stress-Cycle Count Matrices
2000-05-22
Modelling the Competence of Case-Bases
2000-02-17
UFO - United Functions and Objects: Draft Language Description
1995-06-16
John Sargeant
A Hybrid Approach for Detecting and Isolating Faults in Nuclear Power Plant Interacting Systems
1970-01-01
On-Line Multi-Threaded Scheduling
2000-01-18
A Space Semantics for Core Haskell
2000-08-14
Smart Messages: An Object-Oriented Communication Mechanism
1996-09-16
Eshrat Arjom
On the Security of the 128-Bit Block Cipher DEAL
1999-07-27
Theoretische Informatik
, D.P. Giesy
2000-03-01
Index Set Splitting
1999-12-13
Symphany: A System for Automatic Synthesis of Adaptive Systems
1999-03-19
Probabilistic Model-based Multisensor Image Fusion
2000-03-27
XML, Databases, and Interoperability
1999-09-09
The Matrix Exponential
1999-10-18
Gordon K. Smyth
The University of Tennessee Maintenance and Reliability Center Motor Shaft Misalignment Research Project
1970-01-01
Migratory Applications
1996-04-20
The Global Power of Additional Queries to P-Random Oracles
2000-02-11
Wolfgang Merkle
Extending Software Through Metaphors and Metonymies
2000-01-06
A Remark on the Regularity of Solutions of Maxwell's Equations on Lipschitz Domains
1999-10-19
Martin Costabel
Polynomial Growth Solutions Of Uniformly Elliptic Operators Of Non-Divergence Form
2000-06-06
Peter Li
Refinement of Z Machines
1970-01-01
Karl Lermer
Protocols for Non-Deterministic Communication over Synchronous Channels
2000-06-22
Erik D. Demaine
Incremental Physical Design
1970-01-01
Fault-Tolerant Distributed Systems: a Modular Approach to the Non-Blocking Atomic Commitment Problem
1996-09-12
Calculating the Least Conjunctive Refinement
1970-01-01
Brendan P. Mahony
State-Based Vs Simulation-Based Diagnosis of Dynamic Systems
2000-05-26
Compilation by Transformation in the Glasgow Haskell Compiler
1994-12-05
Air Traffic CoficS as DistributedJost Activity : Using Clark'sTheo' o Languageto Understand CoerstandSX7 Woers in ATC
2000-06-05
Detection of Distinct Sound Events in Acoustic Signals onset Detection
2000-07-05
Anssi Klapuri
Generating Code from Hierarchical State-Based Requirements
1999-11-10
Distributed Indexing/Searching Workshop
1996-06-19
Logical Modalities and Multi-Stage Programming
1999-10-18
Graph-Based Hierarchical Conceptual Clustering
2000-05-04
Observational Evidence Of Triggered Star Formation
2000-03-02
The Septo-Hippocampal System and Anxiety: A Robot Simulation
1999-08-26
Programming Access Control: The KLAIM Experience
2000-07-04
A Pseudo-Bayesian Aloha Algorithm with Mixed Priorities
2000-05-25
A proof of Higman's Lemma by open induction
1996-05-06
Alfons Geser
Improving the Interoperability in Multi-agent Systems
1999-05-28
Separating Synchronisation and Functionality in Concurrent Logical Objects
1995-09-07
Andrew Davison
Return Words In Sturmian And Episturmian Words
2000-05-04
Nonuniform Markov Models
1998-02-07
An Approach to Rough Terrain Autonomous Mobility
2000-05-16
A Probabilistic Union Model For Partial And Temporal Corruption Of Speech
2000-06-30
Cryptographic Techniques in Statistical Data Protection
2000-05-04
Abstraction and Performance from Explicit Monadic Reflection
1999-03-24
Stochastic Context-Free Grammars for Modeling RNA
1993-08-19
The Navigation Problem in the World-Wide-Web
1970-01-01
M. Levene
M-Completeness Is Seldom Monadic Over Graphs
2000-06-29
Transmitted Walter Tholen
Multivalued Logics: A Uniform Approach to Inference in Artificial Intelligence
1997-01-15
Matthew L. Ginsberg
Orthogonal Eigenvectors and Relative Gaps
2000-03-31
Unknown
1997-05-21
A Web-based Authoring Tool for Algebra-Related Intelligent Tutoring Systems
2000-05-02
An Asynchronous, Distributed Implementation of Mobile Ambients
2000-03-21
Power Control and Capacity Analysis for a Packetized Indoor Multimedia DS-CDMA Network
1999-12-10
Evolutionary Synthesis of a Fuzzy Image Compression Algorithm
1999-03-29
Real and Spurious Long Memory Properties of Stock Market Data
1997-09-23
A Structured TCP in Standard ML
1970-01-01
Edoardo Biagioni
Learning Visual Features to Recommend Grasp Configurations
1970-01-01
Justus H. Piater
On the Specification of Views in DOOD Systems
1997-02-08
A Polynomial Algorithm for Finding a Cycle Covering a Given Set of Vertices in a Semicomplete Multipartite Digraph
1999-01-23
Anders Yeo
Generating Random Monotone Polygons
1994-03-15
Diffractive Optical Propagation Techniques for Mixed-Signal CAD Tools
2000-06-25
Name Transparency in Very Large Scale Distributed File Systems
1993-06-07
Cartesian Grid Methods for Fluid Flow in Complex Geometries
1999-10-22
Randall J. Leveque
An Interface Between Optimization and Application for the Numerical Solution of Optimal Control Problems
1999-02-17
Special Surface Transition: Massive Field Theory And Critical Exponents In Three Dimensions
1997-07-30
On the Convergence of an Inexact Primal-Dual Interior Point Method for Linear Programming
2000-04-07
Is Human Object Recognition Better Described By Geon-Structural-Descriptions Or By Multiple-Views?
1997-10-03
Improving Cache Locality by a Combination of Loop and Data Transformations
2000-08-03
The Problem of Image Compression
1998-01-27
Developing Population Codes By Minimizing Description Length
1994-01-17
Penalized Discriminant Analysis
1995-07-24
Shape and Motion Carving in 6D
2000-03-20
Knowledge Extraction from Text: Machine Learning for Text-to-rule Translation
1995-06-22
FOAM: FragmentedObjects for the Implementation of Mobile Agents
1999-07-27
A Methodology for High-Level Synthesis of Communication on Multicomputers
2000-02-22
Fault-Tolerance through Scheduling of Aperiodic Tasks in Hard Real-Time Multiprocessor Systems
1999-06-28
An Indexed Bibliography of Genetic Algorithms - Papers Available via ftp and www
1998-09-03
Jarmo T. Alander
Distribution Free Decomposition of Multivariate Data
2000-04-12
Correction of Misclassifications in Primary Local Image Recognition Using a Nonlinear Graph-Based Estimation Technique
2000-08-31
Communication Algorithms on the Multi-Mesh
1998-07-30
DALI: An Untyped CBV Operational Semantics and Equational Theory for Datatypes with Binders Technical Development
2000-04-14
Cluster I/O with River: Making the Fast Case Common
2000-03-28
Message-Passing Performance of Parallel Computers
2000-07-17
Vladimir Getov
Princeton
1993-11-22
Iftode Kai Li
On the unfolding of reversible vector fields with SO2-symmetry and a non-semisimple eigenvalue 0
1970-01-01
Andrei Afendikov
T1m1.5/99-366
1970-01-01
A Survey of Software Requirements Specification Practices in the New Zealand Software Industry
1999-08-31
Why the Chou-Fasman parameters are not reliable in protein secondary structure prediction
1997-10-17
Using Scoped Behavior to Optimize Data Sharing Idioms
1999-05-31
Paul Lu
New Results for Online Page Replication
2000-06-28
Rudolf Fleischer
Checking Linear Temporal Logic Properties
1995-10-22
Lexical Space: Learning and using continuous linguistic representations
1997-05-14
An Indexed Bibliography of Genetic Algorithms in Electronics and VLSI Design and Testing
1999-01-06
Jarmo T. Alander
On the Expressiveness of Pure Mobile Ambients
2000-07-31
Tales from the Front: Industrial Experience with Formal Validation
1995-10-22
Mark Staskauskas
A real shortproof of Pick's theorem
2000-02-04
Matthias Beck
High-level Simulation of BSP Architectures
1996-01-03
Lasse Natvig
Feature Structures, Unification and Finite-State Transducers
2000-03-22
Rmi Zajac
On the Requirements of High-Integrity Code Generation
1999-11-10
A Weighted Nearest Neighbor Algorithm for Learning with Symbolic Features
1998-03-09
Is Hypothesis Testing Useful for Subcategorization Acquisition?
2000-05-08
Texture Analysis Using Local Property Maps
2000-02-07
How to Implement A Priori Information: A Statistical Mechanics Approach
2000-02-29
Jorg C. Lemm
Nested Expressions in Logic Programs Extended Abstract
2000-08-22
Who Wins Domineering on Rectangular Boards?
2000-08-03
Completing Partial Combinatory Algebras with Unique Head-Normal Forms
1995-07-06
Inge Bethke
Secure Communications Processing for Distributed Languages
2000-02-02
On the Costs and Benefits of using Partial-Order Methods for the Verification of Concurrent Systems
1999-07-01
Patrice Godefroid
Providing Bandwidth Guarantees in an Input-Buffered Crossbar Switch
1999-06-23
Dynamic Spectrum Allocation: The Impotency of Duration Notification
2000-05-23
Incorporating Volatility Updating INTO THE HISTORICAL SIMULATION METHOD FOR VALUE AT RISK
1998-12-15
The Impact of the Young-old and the Old-old on a Small Rural Region: An Application of the Wisconsin Economic Impact Modeling System
1999-10-26
Solving Multistage Stochastic Network Programs on Massively Parallel Computers
1997-09-17
Towards a fully automated protein structure classification: How to get CATH classification from FSSP Z-scores
1999-11-22
Ergo User Manual
1970-01-01
OS Support for General-Purpose Routers
1999-03-01
Almost-certainly Runlength-limiting Codes
2000-08-19
David J. C. Mackay
Performance Evaluation and Benchmarking of Native Signal Processing
2000-03-14
Defining Differentiation and Integration in Z
1970-01-01
SPADE: An Efficient Algorithm for Mining Frequent Sequences
2000-05-29
Mohammed J. Zaki
Using Context in Machine Translation of Spoken Language
1999-08-31
Overview of Perceptually-Driven Radiosity Methods
2000-01-19
Werner Purgathofer
Post-Mortem Black-Box Correctness Tests for Basic Parallel Data Structures
1999-12-02
Parallel and Distributed Programming with Pthreads and Rthreads
1998-09-14
Two Descriptions of State Spaces of Orthomodular Structure
1999-12-14
WebCaL: A Domain-Specific Language for Web Caching
2000-07-12
An Estimate of the Effects of Currency Unions on Trade and Growth
2000-06-15
HOLCF: Higher Order Logic of Computable Functions
1997-09-29
Franz Regensburger
On the Regulation of Fee Structures in Mutual Funds
1998-11-02
Transport Through Quantum Dots And The Kondo Problem
1999-09-28
Adaptive and Efficient Algorithms for Lattice Agreement and Renaming
1999-12-26
Hagit Attiya
Clustering Categorical Data
2000-05-10
Control Independence in Trace Processors
2000-05-08
Time-Accurate Schemes for Computing Two- and Three-Dimensional Viscous Fluxes on Unstructured Dynamic Meshes
1996-03-20
Development of a Secure Electronic Marketplace for Europe
1997-09-20
Michael Waidner
About Entities, Complex Objects and Object-Oriented Data Models
1997-02-08
Improving Heuristic Mini-Max Search by Supervised Learning
2000-07-25
Michael Buro
Best Viewpoints for Active Vision Classification and Pose Estimation
2000-03-10
Modeling Categorization Dynamics through Conversation by Constructive Approach
2000-03-23
Takashi Hashimoto
Extensible Networked Information Retrieval
1993-06-15
Evidence for a Spectral Interpretation of the Zeros of
1999-02-08
Michael Oded Rubinstein
A Study of Procedural Search Control in Simon
1996-05-07
Sujay Parekh
Confluently
1993-03-19
Book review of: T. Ballmer, W. Brennenstuhl, Speech Act Classification. A study in the Lexical analysis of English speech activity verbs.
2000-04-13
Book Review
A case study on modeling shared memory access effects during performance analysis of HW/SW systems
1998-11-11
Interaction Techniques for Immersive Virtual Environments: Design, Evaluation, and Application
1999-01-28
Doug A. Bowman
Transient and Stationary Waiting Times in max,+-Linear Systems with Poisson Input
1996-11-04
Resource Allocation, Scheduling and Load Balancing based on the PVM Resource Manager
1998-02-04
Forward Integrals and Stochastic Differential Equations
2000-03-30
M. Zhle
Factorisation parall`ele de Cholesky pour matrices creuses sur une m'emoire virtuelle partag'ee
1993-09-16
The Generalized CEM Algorithm
1999-08-04
The Impact of Database Selection on Distributed Searching
2000-05-15
The Applicability of Importance Sampling in Performance Simulation of Networks
1999-02-23
Poul E. Heegaard
A Refined Model for the Solution Structure of Oxidized Putidaredoxin
1999-05-28
PARSEVAL: A Workbench for Queueing Networks Parallel Simulation
1994-04-15
Asymptotic distribution of regression M-estimators
1999-11-06
Miguel A. Arcones
Modular Neural Networks: a state of the art
1996-01-25
Multi-tape Automata for Speech and Language Systems: A Prolog Implementation
1998-08-31
Finding Admissible and Preferred Arguments Can be Very Hard
2000-01-21
Photon And Di-Photon Results From Cdf And D
1999-05-14
A Dual Interpretation of "Standard Constraints" in Parametric Scheduling
2000-03-06
Reasoning about Timeand Probability
1994-02-17
A Constraint Satisfaction Approach to a Circuit Design Problem
1998-08-03
A Compactness Result for Vector Fields With Divergence and Curl in
1999-03-12
The Conjugate Gradient Regularization Method in Computed Tomography Problems
2000-03-20
Elena Loli Piccolomini
Physical versus Computational Complementarity I
1998-05-01
Parametric Evaluation of Performance Behavior in Hierarchical Storage Architecture
1997-05-09
Service Management For Differentiated Services Networks
1970-01-01
A New Measure of Image Enhancement
2000-07-14
A Framework for Robustness Analysis of Constrained Finite Receding Horizon Control
2000-03-06
James A. Primbs
Transformations Birationnelles Quadratiques De L'espace Projectif Complexe
2000-02-29
On Homogeneous Linear Recurrence Relations and Approximation of Zeros of Complex Polynomials
1970-01-01
Bahman Kalantari
Scheduled Hot-Potato Routing
1995-03-23
Blind Separation of Disjoint Orthogonal Signals: Demixing N Sources from 2 Mixtures
2000-02-22
Implementation Of Networked Machine Tools In Reconfigurable Manufacturing Systems
2000-04-13
k-client Problem
1998-02-25
First Measurement of the W-pair Production Cross-section at
1997-09-04
Finite Resolution Crisp And Fuzzy Spatial Objects
2000-06-06
Representing Capabilities of Problem Solving Methods
2000-04-05
Stochastic Programming by Monte Carlo Simulation Methods
2000-02-07
Alexander Shapiro
A Comparison of Two Strategies for ASR in Additive Noise: Missing Data and Spectral Subtraction
1999-10-20
A Scalable Approach to Thread-Level Speculation
2000-03-21
Polytechnique
1999-08-04
A. J. Kennedy
Supercomputer Suggests Supermind
2000-04-21
Doug Matzke Msee
A Kinematics-Based Probabilistic Roadmap Method for Closed Chain Systems
2000-05-17
Utility and Quality-of-Service Models for Periodic Prefetching of WWW Resources
2000-05-30
Marios D. Dikaiakos
Downward Refinement and the Efficiency of Hierarchical Problem Solving
1998-09-10
Efficient Convex Optimization For Engineering Design
1999-07-30
Competitive Paging And Dual-Guided On-Line Weighted Caching And Matching Algorithms
1994-01-28
Neal Young
Parallel Simulated Annealing for the Set-partitioning Problem
1970-01-01
Zbigniew J. Czech
Object-relational Queries into Multidimensional Databases with the Active Data Repository
1999-03-09
Distance Expanding Maps
2000-04-28
Non-Serializable Executions in Heterogeneous Distributed Database Systems
1999-09-07
Sensitivity Loss versus Duration of Reconfiguration and ALMA Array Design
1999-12-29
M. S. Yun
Optimal Scheduling for UET-UCT Grids Into Fixed Number of Processors
2000-05-03
On Stagnation Of The Differential Evolution Algorithm
2000-07-28
Asymptotic Behaviour of the Thin Film Equation in Bounded Domains
2000-03-02
On random orderings of variables for parity OBDDs
1998-12-07
Cycle-true simulation of the ST10 microcontroller including the core and the peripherals
2000-06-20
Monadic Second Order Asymptotics on Random Acyclic Graphs
2000-01-21
Gregory L. Mccolm
Real Time Inverse Kinematics for General 6R Manipulators
1999-02-25
3D Case Tool - An interesting view on debugging
1999-11-03
Silicon Gel, a Mechanical Brain Tissue Model?
1999-11-16
Sequential Circuit Test Generation in a Genetic Algorithm Framework
1999-06-30
Experimental Study Of Finite Automata Storing Static Lexicons
2000-08-23
The Approach to Quality-of-Service Integration into CORBA
1999-11-17
Random Debaters And The Hardness Of Approximating Stochastic Functions
2000-08-15
Carroll Morgan and Annabelle McIver August 1995 Phone: +61 7 365 1003 Fax: +61 7 365 1533 via anonymous ftp, from
1970-01-01
Is the rapid radio variability seen in PKS 0537-441 due to microlensing ?
1999-05-11
Bits To the User: a Communication Benchmark
1996-05-29
Error Recovery Mechanisms Based on Retransmissions for Video Coded with Motion Compensation Techniques
1970-01-01
A Logic of Authentication
2000-02-02
A Systematic Approach to Software Safety Integrity Levels
1970-01-01
Chapter 13 Bose condensation: Reformulation
2000-02-04
Classifying Molecular Sequences Using a Linkage Graph With Their Pairwise Similarities
1999-08-31
Towards the Usage of Dynamic Object Aggregations as a Foundation for Composition
1999-12-29
C++ Class Library Data Management for Scientific Visualization
1995-01-27
Regularisable And Minimal Orbits For Group Actions In Infinite Dimensions
1999-08-06
A Note on Bias Optimality in Controlled Queueing Systems
1999-01-04
Active Databases for Active Repositories
1994-06-13
Isotropic Forms of Dynamics in the Relativistic Direct Interaction Theory
1998-12-29
Effective Specialization of Realistic Programs via Use Sensitivity
2000-02-02
A Matrix Model for Type 0 Strings
1999-07-12
RESUME of Michail G. Lagoudakis
2000-03-16
Upper bounds on differential characteristics in Twofish
2000-08-11
A Recipe for Atomic Semantics for Byzantine Quorum Systems
2000-07-18
Exploiting the Structure of the Joint Detection Problem with Decision Feedback
1999-09-22
Constructing Fuzzy Graphs from Examples
1998-02-23
Michael R. Berthold
Oriented Statistical Nonlinear Smoothing Filter
1998-06-19
Introduction to Adaptive Methods for Differential Equations
1995-08-24
Comparison of the Laminar Distribution of Input from Areas 17 and 18 of the Visual Cortex to the Lateral Geniculate Nucleus of the Cat
2000-02-07
S'COOL Provides Research Opportunities and Current Data for Todays Technological Classroom
2000-05-17
Retinotopic organization in human visual cortex and the spatial precision of functional MRI
1998-08-13
Representing Hyper-Graphs by Regular Languages
2000-01-06
Tools and Methods of Internet Usage in the General Education System in Estonia
2000-04-04
Educationalsciences Esence
Maintaining Minimum Spanning Trees in Dynamic Graphs
1997-09-08
Logic Programming and Knowledge Representation
1995-10-12
Structuring Z Specifications: Some Choices
1970-01-01
Applying Multi-Media to the Reuse of Design Knowledge
1997-03-04
Sidney C. Bailin
Gleaning the Web
1999-09-29
Wedding the Wavelet Transform and Multivariate Data Analysis
2000-03-20
Fionn Murtagh
Search by Shape Examples: Modeling Nonrigid Deformation
2000-03-21
New silicon-detector systems for the HERMES front region
1997-11-11
Performance of Coordinating Concurrent Hierarchical Planning Agents Using Summary Information
2000-05-31
The jet-disk symbiosis model for Gamma Ray Bursts: cosmic ray and neutrino background contribution
2000-05-02
Large-Scale Group Communication Protocol on High-Speed Channel
1997-11-03
Differential Invariants under Gamma Correction
2000-03-26
Andreas Siebert
A I X D Os
1998-04-06
D Os
Electron Collisional Broadening of Isolated Lines From Multiply-ionized Atoms
1999-12-28
Reduced Order Controllers for Spatially Distributed Systems via Proper Orthogonal Decomposition
2000-05-30
Jeanne Atwell Belinda
Large-Scale Capacitance Calculation
2000-03-09
MIMO System Identification Using Orthonormal Basis Functions
2000-05-04
Concepts of Object Paradigm for an Approach to Modular Specification of Communication Protocols
1999-07-21
Data-Flow Frameworks for Worst-Case Execution Time Analysis
2000-04-14
Johann Blieberger
Restricted Polyinstantiation or How to Close Signaling Channels Without Duplicity
1999-04-02
Ravi Sandhu
The SPHERIGON: A Simple Polygon Patch for Smoothing Quickly your Polygonal Meshes.
1999-03-26
A Scheme for Analyzing Electronic Payment Systems
2000-08-18
A New Multistage Approach to Motion and Structure Estimation: From Essential Parameters to Euclidean Motion Via Fundamental Matrix
1996-08-18
Computing Optimal Linear Layouts of Trees in Linear Time
1999-07-02
Konstantinos Skodinis
Organizational Culture and Behavioral Issues Affecting Software Reuse
1997-03-04
Eric V. Price
The Efficiency of Multimodal Interaction for a Map-based Task
2000-03-09
Human-Computer Coupling
2000-01-19
Rosalind W. Picard
The 30 Ghz Transfer Structure For The Clic Study
1999-08-12
Hash Based Parallel Algorithms for Mining Association Rules
1999-01-25
First Evidence for a Radially Excited
1997-08-01
The Semantics and Expressive Power of the MLR Data Model
1999-04-02
Discrete Time Network Algebra for a Semantic Foundation of SDL
1997-10-20
Transient Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions
1999-11-04
Information System Architecture for Secure Data Warehousing
2000-05-25
Marta Oliva
Exchange Rate Expectations and FDI Flows
2000-04-22
Inheritance in the Join Calculus
2000-06-09