-SCOTVEC-SCOTTISH VOCATIONAL EDUCATION COUNCIL HIGHER NATIONAL UNIT SPECIFICATION GENERAL INFORMATION -Unit Number 8412565 -Superclass- CB -Title- NETWORK TECHNOLOGY
2000-01-31
Design of a Parallel Nonsymmetric Eigenroutine Toolbox, Part I
1999-11-22
Zhaojun Bai
An Interpolation Theorem
2000-07-10
Martin Otto
Towards A Next-Generation Search Engine
2000-06-14
Bayesian Fault Detection and Diagnosis in Dynamic Systems
2000-05-19
My purpose is to discuss an extremely simple technique that deserves to be better known. Suppose
2000-05-04
Donald E. Knuth
Deriving Logic Programming Languages
1996-10-14
An Inexpensive High Speed Modem for the Universal Serial Bus USB
1999-10-15
Multimedia Document Models - Sealed Fate or Setting Out for New Shores?
2000-03-02
Sense Tagging the Penn Treebank
2000-03-30
A Framework for Dynamic Constraint Reasoning using Procedural Constraints
2000-06-26
Self-Adaptation by Co-evolution
1998-10-01
Search for
1997-09-02
Gustavo Wolf
Formal Verification of Safety Properties in Timed Circuits
2000-04-11
The Granularity of Waiting
1995-12-11
A Review of Watermarking Principles and Practices
2000-06-28
A Brief Naive Psychology Manifesto
1996-10-21
Stuart Watt
Blind Estimation of Multiple Co-Channel Digital Signals Arriving at an Antenna Array
1995-12-13
Co-ordinating Distributed ViewPoints: the anatomy of a consistency check
2000-07-07
Legacy Systems Migration - A Method and its Tool-kit Framework
2000-03-27
IRCS Report 97--08
1997-05-14
Stepwise Refinement of Data Flow Architectures
1998-01-16
Bernhard Rumpe
Locating Geometric Primitives by Pruning the Parameter Space
2000-06-07
Clark F. Olson
Transience of Multiclass Queueing Networks via Fluid Limit Models
1998-08-24
Sean P. Meyn
Iterative Recovery of Collaborations and Roles in Dynamically Typed Object-Oriented Languages
2000-03-21
A Concurrent Abstract Interpreter
1994-09-09
Infinite Objects in Type Theory
1996-06-25
Thierry Coquand
Call Admission and Resource Reservation for Multicast Sessions
1996-10-16
math.AG/0001142, 1999. 29 M. Mustata. Local cohomology at monomial ideals. Preprint
2000-03-18
VisX Users Guide
1997-02-05
Anthony P. Reeves
Wayne Hayes
1997-04-24
MAD: A Real World Application of Qualitative Model-Based Decision Tree Generation for Diagnosis
2000-02-16
Strict Convex Regularizations, Proximal Points And Augmented Lagrangians
1999-10-15
Sampling Schemes for Model Visualisation
1999-12-18
Tameness of Some Locally Trivial Pseudovarieties
1999-12-27
WEARABLE CINEMA/WEARABLE CITY: bridging physical and virtual spaces through wearable computing
2000-01-30
Efficient Algorithms for Integer Programs with Two Variables per Constraint Extended Abstract
1999-04-22
Physical Maps and Interval Sandwich Problems: Bounded Degrees Help
1996-04-14
Efficient Capacitance Extraction Computations In Wavelet Domain
2000-01-13
Dendritic GABA Release Depresses Excitatory Transmission between Layer 2/3 Pyramidal and Bitufted Neurons in Rat Neocortex
2000-05-01
Internets in the Sky: The Capacity of Three Dimensional Wireless Networks
2000-05-15
An Investigation of Sexual Selection as a Mechanism for Obtaining Multiple Distinct Solutions
1998-10-01
Representing Subassembly Trees By Deepest Common Ancestor Relations
1994-11-11
Jan D. Wolter
Time Granularity in Simulation Models of Ecological Systems
1995-04-27
Weighted H² approximation of transfer functions
1996-04-29
Temporal Logic for Reasoning about Concurrent Programs
1995-11-10
Ergodic Average in Constraint Programming Extended Abstract
1999-07-22
The Web in High School Science Teaching: Constructing a Technology in Practice
2000-03-06
Raven Mccrory Wallace
DataCutter: Middleware for Filtering Very Large Scientific Datasets on Archival Storage Systems
2000-03-24
Formation of Droplets in Microscale Jetting Devices
1999-05-19
Comparison of Elastic and Proton Dissociative
1999-07-13
Electroproduction From H
An Architecture For Reverse Charging In The Internet
2000-07-10
Singular Continuous Spectrum for Palindromic Schrödinger Operators
1997-04-26
From CM Draconis to the Crowded Field BW3: Aspects of the Search for Extrasolar Planets Around Small Eclipsing Binaries
2000-02-23
SCR*: A Toolset for Specifying and Analyzing Software Requirements
1998-11-13
Foundations of Spatioterminological Reasoning with Description Logics
1998-05-08
Experience with adaptive mobile applications in Odyssey
2000-03-06
B. D. Noble
Finite Trees And The Necessary Use Of Large Cardinals
1998-09-11
Harvey M. Friedman
OCELOT: A system for summarizing web pages
2000-05-30
Artificial Societies and Psychological Agents
1996-10-21
Stuart Watt
Information Seeking as Socially Situated Activity
2000-03-31
Christopher Lueg
Computing a Largest Empty Anchored Cylinder, and Related Problems
1999-03-26
IBM Research Report
1998-03-30
Optimization Complexity of Linear Logic Proof Games
1997-04-07
Secure Multicast in Wireless Networks of Mobile Hosts: Protocols and Issues
2000-05-29
Transitive Closures of Regular Relations for Verifying Infinite-State Systems
2000-01-14
Creating Virtual Walkthrough Environment From Vertical Panoramic Mosaic
2000-06-23
Pipelined Multipliers and FPGA Architectures
1999-08-11
Mathew Wojko
Discussion of the paper by "Adjusting for non-ignorable drop-out using semiparametric non-response models"
1999-02-19
Some Experiments on Indicators of Parsing Complexity for Lexicalized Grammars
2000-06-26
Optimizing Client-Server Performance When Mining Large Databases
2000-02-10
"ARC": Simulateur d'architecture de reseaux de communications
1996-01-19
Deadlock Detection by Fair Reachability Analysis: from Cyclic to Multi-Cyclic Protocols and beyond?
1996-02-17
Mat-k 3.2 Lecture Notes: Week 3.
1997-09-17
Soren S. Nielsen
Innovation, Rent Extraction, and Integration in Systems Markets
2000-04-11
Trajectory Triangulation: 3D Reconstruction of Moving Points from a Monocular Image Sequence
2000-07-02
Communicating With Multiple Agents
1994-10-11
A Group Communication Framework
2000-02-08
Convergence Analysis Of A Multi-Level Relaxation Method
1993-05-25
Uniform Language Resource Access and Distribution
2000-03-28
A Goal-driven Auto-Configuration Tool for the Distributed Workflow Management System Mentor-lite
2000-02-16
Subtyping with Union Types, Intersection Types and Recursive Types II
1994-05-25
A Primal-Dual Schema Based Approximation Algorithm for the Element Connectivity Problem
2000-01-05
Conjugacy Classes in Maximal Parabolic Subgroups of General Linear Groups
2000-01-05
Scott H. Murray
The "Join the Club" Interpretation of Some Graph Algorithms
2000-06-08
A Manual for the CHAOS Runtime Library
1998-09-17
Local Percolation Probabilities for a Natural Sandstone
1996-11-18
R. Hilfer
BDDC v2 A basic bdd-based logical calculator
2000-04-19
Pascal Raymond
Measurement of the
1997-12-19
Intra-GoP Modeling of MPEG Video Traffic
1999-12-21
A Fill-Unit Approach to Multiple Instruction Issue
1995-03-02
Psychiatric Diagnosis from the Viewpoint of Computational Logic
2000-03-16
Techniques for handling inference complexity in Dynamic Belief Networks
1994-02-17
Deformable B-Solids and Implicit Snakes for 3D Localization and Tracking of SPAMM MRI-Data
1997-07-16
A Manager's Guide to Evaluating Test Suites
2000-06-28
Sphere Packing Numbers for Subsets of the Boolean n-Cube with Bounded Vapnik-Chervonenkis Dimension
1992-07-09
David Haussler
Public Perceptions of Climate Change: A "Willingness to Pay" Assessment
1999-02-16
An Overview of the PARADIGM Compiler for Distributed-Memory Multicomputers
1998-01-23
Selected Trends in Scientific Visualization
1998-04-27
Modular Neural Networks for Learning Context-Dependent Game Strategies
2000-05-23
Justin A. Boyan
The O-Tree { A Constraint-Based Index Structure Inga Sitzmann Peter Stuckey
1999-08-02
Boundaries of Coxeter Matroids
1997-07-23
Analysis of Defense Meteorological Satellite Program 12 and 13 Satellite Magnetometer Measurements
2000-03-23
Predicting Automatic Speech Recognition Performance Using Prosodic Cues
2000-03-20
Design and Implementation of the Elvira Video Server
1996-12-20
The Automatic Compression of Multiple Classification Ripple Down Rule Knowledge Based Systems: Preliminary Experiments
1999-06-13
One-Dimensional Peg Solitaire
2000-04-12
Cristopher Moore
Reachability and Connectivity Queries in Constraint Databases
2000-02-08
Parallel Domain Decomposition Methods for Parabolic Equations
2000-05-08
Issues in Designing a Communication Architecture for Large-Scale Virtual Environments
1999-10-20
Rapid Prototyping of Robotic Systems
2000-05-14
The application of Shannon entropy in the identification of putative drug targets
2000-04-23
Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - And A Case Study
2000-03-29
Michael Thielscher
Speech Recognition Via Phonetically Featured Syllables
1998-08-17
Design Patterns for the Management of IP Networks
2000-02-23
Convex l 2 Synthesis for Multidimensional Systems
2000-06-15
A Zero-Delay Sequential Scheme for Lossy Coding of Individual Sequences
2000-02-28
Analysis of a Neural Network Model
1991-09-10
Rewriting Executable Files to Measure Program Behavior
1992-05-06
A Case Study in Neural Network Training with the Breeder Genetic Algorithm
2000-04-11
Llu'is A. Belanche
Critical Issues Regarding the Trace Cache Fetch Mechanism
1999-10-13
A Statically Allocated Parallel Functional Language
2000-04-13
Alan Mycroft
Implementation And Performance Evaluation Of The Parallel Relational Database Server SDC-II
1997-11-14
Idle Computing Resources as Micro-Currencies - Bartering CPU Time for Online Content
1999-07-08
On the Impossibility of Consistent Causal Recovery
2000-04-13
Byoungjoo Lee
Bridging Gaps in Models of Expertise
1999-06-14
Robustness of Viability Controllers under Small Perturbations
1999-06-21
On Efficiently Implementing SchemaSQL Database System
2000-07-06
A Two-Phase Model Algorithm with Global Convergence for Nonlinear Programming
1999-03-09
J. M. Mart Inez
Planning Transition Relevance Points in Speech-based Information Systems
1997-01-21
Yan Qu
Version 4.0 Beta Version
2000-04-04
David L. Swofford
Community Research as a Springboard for District: A Household Survey of Maternal and Child Health in the Mount Frere Health District
1970-01-01
Large Vocabulary Word Sense Disambiguation
2000-03-29
Developing Modular Application Builders to Exploit MIMD Parallel Resources
1994-08-08
C. Thornborrow
Experiments with a Reassignment Heuristic for Large Constraint Satisfaction Problems
1993-05-11
B M Smith
Semper Semper
2000-07-17
An Effective Admission Control Mechanism for Variable-Bit-Rate Video Streaming
1997-10-06
Modelling Mixed-Integer Optimisation Problems in Constraint Logic Programming
1996-01-05
Observed Information in Semiparametric Models
1998-07-24
Ground-Based Photometric Detection Of Extrasolar Planets
2000-02-23
Developing Flexible and High-performance Web Servers with Frameworks and Patterns
1998-11-19
How Community and Deviance on LambdaMOO and Lord Graham's Demesne can prepare us for the future of Computer Mediated Communication in Cyberspace
1999-01-04
Susan Sim
Providing Quality of Service Guarantees Using Only Edge Routers
2000-07-05
Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables
1999-11-23
Martin Sauerhoff
Evaluation of Design Options for the Trace Cache Fetch Mechanism
1999-10-13
How Well Are High-End DSPs Suited for the AES Algorithms?
2000-03-20
Survey on Information Appliances
2000-06-22
Experimental Studies of Access Graph Based Heuristics: Beating the LRU Standard?
1999-11-09
Ziv Rosen
Hardware-Supported Fault Tolerance for Multiprocessors
1997-11-04
A Joint Source and Channel Coding System Based on Arithmetic Coding
2000-07-17
Jossy Sayir
Detecting Data Inconsistency for Multidatabases
1996-11-13
Internet-Based Manufacturing Integration
2000-02-03
Manoochehr Ghiassi
Greedy Algorithms and Best
2000-02-17
Peter Oswald
A Linear Programming Approach to Novelty Detection
2000-05-18
Probabilistic Hybrid Action Models for Predicting Concurrent Percept-driven Robot Behavior
1999-11-08
Cache Miss Equations: A Compiler Framework for Analyzing and Tuning Memory Behavior
1999-12-13
Performance of Coordinating Concurrent Hierarchical Planning Agents Using Summary Information
2000-05-10
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC
2000-04-17
A Practical Constructive Scheme for Deterministic Shared-Memory Access
1994-02-17
An OpenFramework for Distributed Multimedia Retrieval
2000-03-01
David Mcg Squire
On The Trend To Global Equilibrium In Spatially Inhomogeneous Entropy-Dissipating Systems Part I : The Linear Fokker-Planck Equation
2000-04-12
L. Desvillettes
A Taxonomy of Computer Program Security Flaws, with Examples
1994-09-23
Statistically Testing Uncertain Geometric Relations
2000-07-05
Hua Type Integrals over Unitary Groups and over Projective Limits of Unitary Groups
1970-01-01
Yurii A. Neretin
Patterns of Extinction and Biodiversity in the Fossil Record
2000-03-17
Module Generation for Genetic Programming and Its Incremental Evolution
1998-10-03
Exploring the discrimination power of the time domain for segmentation and characterization of lesions in serial MR data
1999-06-09
A process algebra for Interworkings
2000-02-29
Measuring Synchronisation and Scheduling Overheads in OpenMP
1999-10-05
J. M. Bull
Energy Estimation Tools for the Palm
2000-07-07
Recognising Line Segment Strokes
1999-06-14
Patrick C Hew
Hybrid Wavelet Packets A Top Down Approach
1998-11-12
Toward A Cost-Effective DSM Organization That Exploits Processor-Memory Integration
2000-05-03
Redesigning Design/CPN: Integrating Interaction and Petri Nets In Use
2000-06-28
Resonance Scattering of a Transverse Sound Wave From a Planar Crystal Defect
1998-07-23
An Efficient Method for Finding an Optimal Bi-Decomposition
1999-01-25
Recent Advances In Janus: A Speech Translation System
1994-02-17
MPEG Traffic Generation Matching Intra- and Inter-GoP Correlation
1999-12-21
From Weak Satisfiability to n-Satisfiability On Hypergraphs Extended Abstract
1999-04-01
Some Equidistributed Statistics On Genocchi Permutations
1998-07-24
Perfect Simulation from the Quicksort Limit Distribution
2000-06-06
Time-Varying Electrostatic Modeling Techniques
1997-07-01
David M. Hull
A Formal Expression of the Safety and Functional Requirements of a Safety-Critical System
1994-04-15
Updates plus Preferences
2000-03-16
Lus Moniz Pereira
An Asynchronous Parallel Supernodal Algorithm for Sparse Gaussian Elimination
1997-04-16
Interior-Point Methods for Linear Programming: A Guided Tour
2000-02-24
Heuristic versions of Shanks' algorithm for computing the continued fraction of log
2000-04-27
Internet Protocol Next Generation
1998-01-26
Bruno Crispo
Compact Securities Markets for Pareto Optimal Reallocation of Risk
2000-05-12
Mechatronic Models for Simulation and Model Based Control of the Walking Machine ALDURO
1999-07-07
Learning Lazy Rules to Improve the Performance of Classifiers
2000-04-30
Exception Handling in Agent Systems
2000-02-14
Discovery of a very luminous megamaser during a radio are in the Seyfert 2 galaxy Mrk 348
2000-04-26
A Fast Solution to the Surface Reconstruction Problem
1993-04-27
Analysis Of The Cholesky Method With Iterative Refinement For Solving The Symmetric Definite Generalized Eigenproblem
2000-06-07
Ultrafilter Spaces on the Semilattice of Partitions
2000-02-21
Lorenz Halbeisen
Some Results On Knots And Links In All Dimensions
1997-05-23
Eiji Ogasa
Self-Organizing Map in Data-Analysis - Notes on Overfitting and Overinterpretation
2000-05-08
Adaptation of Software Metrics to Telecommunication Networks
1996-09-02
Asynchronous Communication Model Based on Linear Logic
1993-04-06
Using Information Extraction and Natural Language Generation to Answer E-Mail
2000-07-17
Multiple Boosting: A Combination of Boosting and Bagging
1999-01-19
Stochastic Differential Equations In Transport
1999-10-20
D. W. Dean
Detection of the thermal radio continuum emission from the G9.62+0.19-F Hot Core
2000-06-12
Authentic Attributes with Fine-Grained Anonymity Protection
2000-05-22
Two Paradigms Of Linguistics: The Semiotic Versus Non-Semiotic Paradigm
2000-02-17
Prelude To The Resource Curse: Oil And Gas Development Strategies In Central Asia And Beyond
1999-11-24
Tangential Structures On Toric Manifolds, And Connected Sums Of Polytopes
2000-05-22
Minimal State Graph Generation
1999-12-15
Recursion Formulae For Basic Hypergeometric Functions
2000-05-12
Cognitive Science Meets Multi-Agent Systems: A Prolegomenon
2000-04-18
Ron Sun
Counting Dimensions Of L-Harmonic Functions
2000-03-08
Peter Li
Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall
1996-12-03
Improving Multiple-block Prediction in the Block-based Trace Cache
2000-05-08
Ryan Rakvic
Discussion of `Policy Rules for Open Economies' by Laurence Ball
1999-01-30
Improving Functional Density Through Run-Time Circuit Reconfiguration
1999-07-07
Estimating Word Translation Probabilities from Unrelated Monolingual Corpora Using the EM Algorithm
2000-04-13
Kevin Knight
Optimal Software Pipelining of Nested Loops
1998-05-09
J. Ramanujam
Renegotiation in Repeated Oligopoly Interaction
2000-06-08
Joseph Farrell
Complexity Of The Minimum Base Game On Matroids
1997-03-27
Naohisa Kabutoya
Cg/Stability Map for the Reference H Cycle 3 Supersonic Transport Concept Along the High Speed Research Baseline Mission Profile
2000-03-07
Compiling and supporting skeletons on MPP
1999-02-18
Susanna Pelagatti
Collaborative Geometrical Modeling in Immersive Virtual Environments
1999-05-09
Model Checking Partial State Spaces with 3-Valued Temporal Logics Extended Abstract
1999-07-23
Open Charm and Beauty Production at HERA.
2000-02-09
Karin Daum
The Impact Of EMS Support On Inspections; Description Of An Experiment
1998-05-06
A Toolkit for Strategic Usability: Results from Workshops, Panels, and Surveys
2000-04-03
On Reformulating Planning As Dynamic Constraint Satisfaction Extended Abstract
2000-06-21
Correctness of Logic Program Transformations Based on Existential Termination
1999-04-12
Least-Squares Galerkin Methods For Parabolic Problems I: Semi-Discretization In Time
2000-03-24
Continuous,
1996-11-30
William Harry Plantinga
Hamilton-Jacobi equations with partial gradient and application to homogenization
1999-11-03
Improving Software Robustness with Dependability Cases
2000-07-11
A Java Tool For Collaborative Editing Over The Internet
1999-02-04
Likelihood Inference In The Errors-In-Variables Model
1998-02-13
A. W. Van Der Vaart
A Probabilistic View on Tangent Distance
2000-06-14
Tractable Average-Case Analysis of Naive Bayesian Classifiers
1999-07-13
On the Removal of Anti and Output Dependences
2000-06-14
Universitat Zurich, Technische Universitat Berlin and Technion
1998-11-29
An Approach for Modeling the Name Lookup Problem in the C Programming Language
2000-06-19
Scheduling Block-Cyclic Array Redistribution
1997-03-07
Modeling Time-Varying Processes by Unfolding the Time Domain
2000-07-18
Lars Kindermann
Analysis of the Internet Key Exchange Protocol Using the NRL Protocol Analyzer
1999-03-06
Catherine Meadows
The Effect Of Aging On The Clustering And Precipitation Process In Al-Mg-Si Alloys
1999-10-30
Adaptive Image Transmission
1997-01-06
Multiscale Methods for the Segmentation of Images
1996-01-17
Polyhedral Flows in Hybrid Automata
2000-01-12
New upper bounds for satisfiability in modal logics -- the case-study of modal K
2000-01-12
Series representations of Lévy processes from the perspective of point processes
2000-05-10
World Wide Web Presentations for Volatile Hypermedia Database Output
1998-06-29
A Study of the epsilon-NLMS Algorithm With Application to Stereophonic Acoustic Echo Cancellation
2000-03-22
Hardware and Software Support for Speculative Execution of Sequential Binaries on a Chip-Multiprocessor
1998-08-22
Mating Constraint Languages for Assembly Sequence Planning
1994-11-11
A Three-Level Analysis of a Simple Acceleration Maneuver, with Uncertainties
1999-11-24
Nancy Lynch
On the Use of Research Categorizations as the Basis for Organizing Knowledge: A Test in the Domain of Information Behavior in Health Care
2000-07-03
Paul Solomon
Directory Services Plug-ins
2000-05-11
Promoting Scholarship Through Design
1999-12-17
Tamara Sumner
Empirical Studies of Software Engineering: A Roadmap
2000-04-07
Incremental Attribute Evaluation of LR-attributed grammars Using Space-EOEcient Data Structure
2000-07-11
Congestion and Dilation, Similarities and Differences: a Survey
2000-05-15
A Multichip Module, the Basic Building Block for Large Area Pixel Detectors
1996-12-03
High Performance Communication Subsystem for Clustering Standard HighVolume Servers Using Gigabit Ethernet
2000-04-13
Utopia Level 2, Version 1.0
1996-11-12
A Search for Tidal Stellar Debris from the Magellanic Clouds: Survey Results from the First Two Years
1998-09-17
Morphological Multiscale Gradient Watershed Image Analysis
1997-07-29
Paul Jackway
Informed Embedding: Exploiting Image and Detector Information during Watermark Insertion
2000-06-28
Rational Krylov Algorithms for Eigenvalue Computation and Model Reduction
1998-09-28
Axel Ruhe
A Combinatorial Definition of Baez-Dolan omega-Categories
1970-01-01
Hiroyuki Miyoshi
Dijet Measurements At Cdf And D0
1998-10-07
Jodi Lamoureux
Constructing Interactive Network Visual Interfaces
1999-08-11
Bwolen Po-Jen Yang
1999-05-03
Bwolen Po-jen Yang
OpenGL-assisted Occlusion Culling for Large Polygonal Models
2000-01-24
From ATP to Timed Graphs and Hybrid Systems
1993-11-16
Diagnosis Tools for Telecommunication Network Traffic Management
1996-05-14
Do the Right Thing . . . But Expect the Unexpected
2000-05-03
Jon Oberlander
Data Broadcast Scheduling
1997-01-27
Speeding up Relief algorithms with k-d trees
2000-01-11
Marko Robnik
Nonisomorphic Mappings in Synchronous Derivations
2000-06-14
Anoop Sarkar
TEXTAL: A Pattern Recognition System for Interpreting Electron Density Maps
1999-04-27
Global Context-Based Value Prediction
1999-01-05
State-Based Model Checking of Event-Driven System Requirements
1996-02-23
A Measurement of the Proton Structure Function
1997-12-19
H Collaboration
A Semidefinite Programming Approach to the Quadratic Knapsack Problem
2000-02-29
Revisiting Hipparcos data for pre-main sequence stars
1999-09-18
Scheduling CBR Flows: FIFO or Per-flow Queuing
1999-07-28
On The Uniformity Of Distribution Of The Naor-Reingold Pseudo-Random Function
2000-04-30
Igor E. Shparlinski
Object Signing In Bamboo
2000-03-30
Marlon L. Smith
Caching Strategies for Data-Intensive Web Sites
2000-06-07
Protocols Can Make Traffic Appear Self-Similar
2000-02-12
Jon M. Peha
Beyond Elaboration: The Interaction of Relations and Focus in Coherent Text
2000-07-20
The Chojugiga2, which dates beck to 12th century Japan, is a n...
1998-07-28
DISPLACED CAPITAL: A Study of Aerospace Plant Closings
2000-04-07
An Open Software Infrastructure For Reconfigurable Control Systems
2000-04-10
Circuit Implementations of Soliton Systems
1999-05-17
Andrew C. Singer
Electroweak Results From Nutev
1998-12-16
R. B. Drucker
Behavioral Subtyping and Behavioral Enrichment of Multimethods
2000-05-04
The Global Superorganism: an evolutionary-cybernetic model of the emerging network society
1970-01-01
Francis Heylighen
Navigation and Interaction Within Graphical Bookmarks
2000-04-17
Mountaz Hascot
Trust and Reputation Management in a Small-World Network
2000-04-18
Design and Implementation of Flexible User Protocol Interface
1995-03-01
Effects of Data Hiding on Remote Data Analysis
1999-10-27
Kanta Matsuura
A 3-level Atomicity Model for Decentralized Process-centered Software Engineering Environments
1997-07-24
Physiologically Based Predictions of Psychophysical Threshold, Dynamic Range and Intensity Difference Limen in Mammalian Cochlear Implant Subjects
2000-07-12
The Stability of Hedonic Coalition Structures
1970-01-01
Wan Network Services
1999-12-17
Development Of A Flow Solver Employing Local Adaptation Based On Multiscale Analysis On B-Spline Grids
2000-04-25
Detection and Estimation of Multiplexed Soliton Signals
1999-05-17
A logical framework to prove properties of ALPHA programs
1996-10-22
Approximation Algorithms for Finding Sparse 2-Spanners of 4-Connected Planar Triangulations
1999-06-25
Tractable and Intractable Second-Order Matching Problems
2000-07-10
Towards a Formalization of the Unified Modeling Language
1997-09-29
Environment Matting Extensions: Towards Higher Accuracy and Real-Time Capture
2000-05-05
Joint Decoding and Channel Estimation for Space-Time Codes
2000-07-17
Alex Grant
Coordinating Parallel Processes on Networks of Workstations
1997-07-13
A Parallel Algorithm for Computing the Polar Decomposition
2000-02-07
Nicholas J. Higham
Large numbers, Knuth's arrow notation, and Ramsey theory
1999-12-21
Hans Jrgen Prmel
Acceptor: A Design Pattern for Passively Initializing Network Services
1998-11-19
Douglas C. Schmidt
Distributing Timed Model Checking - How the Search Order Matters
2000-04-18
Extracting State Diagrams From Legacy Systems
2000-03-29
Implementation of Transparent Sources Embedded in Acoustic Finite-Difference Time-Domain Grids
1998-07-06
Toward Languages and Formal Systems for Distributed Computing
1999-12-28
Mario Tokoro
Synchronization of 1-Way Connected Processors
2000-01-12
How to win Schumpeterian Competition. Technological Transfers in the German Plastics Industry from the 1930s to the 1970s.
2000-03-29
Jochen Streb
Of Multicomponent Polymer Stars
1997-07-30
Modeling Carbon Black Reinforcement in Rubber Compound
2000-02-24
Analysis and Caching of Dependencies
2000-02-02
Barrier/Seed Layer Requirements for Copper Interconnects
1999-05-04
Home-based SVM protocols for SMP clusters: Design and Performance
1999-01-28
Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks
1996-02-09
Bounding Predicates and Insertion Policies for Multidimensional Indexes
2000-05-11
Towards a New Way of Parameterization
1997-09-29
Signal Boosting for Translingual Topic Tracking: Document Expansion and n-best Translation
2000-06-14
Shedding New Light in the World of Logical Systems
1997-07-19
Experiments with a Task Partitioning Model for Heterogeneous Computing
1999-12-27
David J. Lilja
Compass Permits Leader Election
2000-02-24
Improving Rooftop Detection in Aerial Images Through Machine Learning
1998-04-10
Paged Binding Array: Environment Representation for And-Or Parallel Prolog
1970-01-01
Gopal Gupta
Techniques for Reducing Read Latency of Core Bus Wrappers
1999-12-23
On the Expressive Power of Existential Quantification in Polynomial-Time Computability
2000-06-21
Dieter Spreen
Geometric Hashing
1999-12-19
Isidore Rigoutsos
Explaining the Perfect Sampler
2000-06-13
Fair Allocation of Utilities in Multirate Multicast Networks
2000-05-16
Verification of a System to Prevent Aircraft Illuminationby Adaptive Optics Laser Beacons
2000-05-09
Counting solutions to the View Maintenance Problem
1994-01-02
Factorial Hidden Markov Models
1996-08-09
Newton-Krylov-Schwarz Methods For Richards' Equation
1999-10-25
Lower Bounds for Randomized Read-k-Times Branching Programs Extended Abstract
1998-03-06
Generating Semantics-Based Trajectories of Moving Objects
2000-06-06
DNS, DHCP, and IP DNS, DHCP, and IP Address Management Address Management
1999-07-24
Embedded-Particle Computation in Evolved Cellular Automata
2000-04-27
On the Improvement of the Real Time Recurrent Learning Algorithm for Recurrent Neural Networks
1999-05-27
Heterogeneous-Criteria Scheduling: Minimizing Weighted Number of Tardy Jobs and Weighted Completion Time
1998-10-25
Jon M. Peha
About The Overlap Distribution In Mean Field Spin Glass
1997-04-26
Francesco Guerra
Applying Ontology to the Web: A Case Study
1999-03-26
Machine-Adaptable Dynamic Binary Translation
2000-03-10
A Multi-Block Orthogonal Grid Generation Using Cad System
2000-04-14
Motion Planning on Rough Terrain for an Articulated Vehicle in Presence of Uncertainties
1999-08-26
Alain Hait
Locking and Robustness in The Finite Element Method for Circular Arch Problem
1999-09-02
Zhimin Zhang
Elimination of Nondeterminacy for Testing and Debugging Parallel Programs
1995-10-26
Reclustering of High Energy Physics Data
1999-08-03
Martin Schaller
Accretion onto Magnetic White Dwarfs
1998-05-20
Join Synopses for Approximate Query Answering
1999-09-07
Towards Application/File-level Characterization of Block References: A Case for Fine-Grained Buffer Management
2000-04-19
Weighted Graph Based Ordering Techniques for Preconditioned Conjugate Gradient Methods
1993-08-17
Simon S. Clift
Implementation of an Autonomous Agents System
2000-03-24
Information Estimates and Markov Random Fields
1999-05-20
Ofer Zeitouni
Fast, Long-Lived Renaming
1995-12-11
Global Error Measures for Large N-body Simulations
1997-04-25
Wilson's element for the Reissner-Mindlin plate
1999-09-02
Intelligent Browser Initiated Server Pushing
2000-03-07
KORRIGAN: a Formalism and a Method for the Structured and Mixed Formal Specification of Components
2000-06-13
Pascal Poizat
Differential Attack on Message Authentication Codes
1998-07-21
Kazuo Ohta
Implementation And Performance Testing Of A Single Copy Device Driver For The IBM APE25
1999-07-20
Sripriya Bhikshesvaran
System for Screening Objectionable Images Using Daubechies' Wavelets and Color Histograms
2000-02-22
Run-Time Support for Distributed Sharing in Typed Languages
2000-04-28
A Theory Of Sequential Functions
1995-09-26
View Security as the Basis for Data Warehouse Security
2000-05-19
On a new scale of regularity spaces with applications to Euler's equations
1970-01-01
Eitan Tadmor
The Stratego Tutorial
1999-11-30
Eelco Visser
An Algorithmic Approach To The Conley Index Theory
1997-10-11
Marian Mrozek
Redundant Radix Representations of Rings
2000-03-23
A Direct-Execution Framework for Fast and Accurate Simulation of Superscalar Processors
1998-08-06
Electron Compositeness Limits In
1996-02-09
Timothy L. Barklow
Neural Networks for Preventive Traffic Control in Broadband ATM Networks
2000-03-08
Subsonic Solutions to a One-Dimensional Non-Isentropic Hydrodynamic Model for Semiconductors
2000-03-10
Using Network Interface Support to Avoid Asynchronous Protocol Processing in Shared Virtual Memory Systems
1999-11-09
Meta Object Facility MOF Specification
1999-04-13
On some periodic Hartree-type models for crystals
1999-10-19
Improving Error Bounds for Multipole-Based Treecodes
1998-09-20
Adaptive Checkpointing with Storage Management for Mobile Environments
1999-11-08
Mobility in an Aging America: Design, Licensing, and Alternative Transportation Options
2000-06-12
Technical Committee
1999-10-18
Plots Of Narratives Over Temporal Databases
1997-07-01
Liftered Forward Masking Procedure For Robust Digits Recognition
2000-07-20
The Big Problem of Small Change
1999-02-03
Multilayer Document Compression Algorithm
1999-08-02
IAP for Dummies: The YAP Design
2000-02-14
Progress in the Assembly of the DELPHI VFT Pixel Detector K.H. Becks, J. Drees, P. Gerlach, K.W. Glitza, I.-M. Gregor, J.M. Heuser, S. Kersten
1997-08-19
Managing Replicated Remote Procedure Call Transactions
2000-02-13
Merrick L. Furst
2000-02-21
Orthogonal Least Square Algorithm Applied to the Initialization of Multi-Layer Perceptrons
2000-03-16
Income/star: Process Model Support For The Development Of Information Systems
1997-01-29
Monte Carlo Analysis of Highway Intersections using Mathcad
1999-07-10
About the Non-Minimality of the Outputs of Zeilberger's Algorithm
2000-07-13
Eric Chyzak
John Holland's Invisible Hand: An Artificial Immune System
1999-10-02
Robust Facial Feature Localization by Coupled Features
2000-04-11
Geometric Representations of Inverse Semigroups
2000-03-30
Constant Time Parallel Indexing of Points in a Triangle
1994-02-28
Automatic Acquisition of Sense Tagged Corpora
2000-02-22
Sufficient Conditions for Multiply Constrained Extrema
1996-08-20
Thomas I. Vogel
Total Knowledge
2000-05-05
Ian Pratt-hartmann
Chimera Prototyping Tool: User Manual
1999-10-06
Emerging Technologies in Construction: Integrated Information - Processes for the 21st Century
2000-07-18
Anthony Songer
Knowledge Exchange, Matching, and Agglomeration
2000-06-23
Enhancing Concurrency Through Optimism: A Reason for HOPE
1999-11-02
Crispin Cowan
Optimal Stochastic Quadrature Formulas For Convex Functions
1998-02-16
Real-Time Collaboration in Heterogeneous Computing Environments
2000-04-03
Ivan Marsic
Large Vocabulary Decoding And Confidence Estimation Using Word Posterior Probabilities
2000-05-05
Egocentric Object Manipulation in Virtual Environments: Empirical Evaluation of Interaction Techniques
1999-07-17
. KMS states for graded
2000-07-04
Job Page
Poincar'e-Melnikov-Arnold method for analytic planar maps
1997-04-26
Automatic Removal of Poor Quality Images from Digital Image Sequences
2000-02-08
How to Find Symmetries Hidden in Combinatorial Problems
2000-07-10
Projective Reconstruction from Multiple Views
1999-07-08
Martin Urban
A Word-Level Morphosyntactic Analyzer for Basque
2000-03-31
The inherent inaccuracy of implicit tridiagonal QR
1994-10-08
James W. Demmel
Experiments in Animal-Interactive Robotics D.Phil. Thesis
2000-03-09
Richard Vaughan
Synchronization in Nested Transactions
1994-04-26
Rodolfo Ferreira Resende
Approximation Algorithms for Finding Best Viewpoints
1998-12-18
SBMCC: A Generic Source-based Congestion Control Algorithm for Reliable Multicast
2000-03-29
Singular Bohr-Sommerfeld Rules For 2D Integrable Systems
2000-05-17
An Analysis of Requirements for Rough Terrain Autonomous Mobility
2000-05-16
Introducing IT based energy simulation courses in Central/Eastern Europe
1999-11-01
Resonance Wave Expansions: Two Hyperbolic Examples
2000-01-18
T. Christiansen
Expectation-Maximization EM Software Algorithm:
2000-03-15
Paul Johnson
Relaxation of Hydrogen and Deuterium Atoms in Storage Cells
2000-05-04
Voting by Successive Elimination and Strategic Candidacy
1970-01-01
Formal Semantics for Expressing Optimism: The Meaning of HOPE
1999-11-02
Replica Control in MIo-NFS
1999-06-09
Visualization of Splitting and Merging Processes
2000-01-26
Enhancing Concurrency Through Optimism: A Reasonfor HOPE
1999-11-02
Crispin Cowan
Superparamagnetic Clustering Of Data: Application To Computer Vision
1999-11-22
A. Mar'in for the CERES Collaboration: G. Agakichiev
1999-09-22
Algebraic rate of decay for the excess free energy and stability of fronts for a non-local phase kinetics equation with a conservation law, I
2000-04-12
Optimizing source-call ordering in Information Gathering Plans
1999-05-21
Review of "A Model-Based Psycholinguistic Study of Semantic
1970-01-01
Colin Phillips
Magic Medicine Cabinet: A Situated Portal for Consumer Healthcare
1999-12-08
Dadong Wan
Register Binding for DSP Code Containing Predicated Execution
1999-12-09
Erlang - A survey of the language and its industrial applications
1996-09-18
Joe Armstrong
Nonresident Computer-Based Training: Effectiveness Evaluation
2000-03-01
A Grammatical Approach to User Model Resolution for Electronic Shopping
2000-06-06
Interval Graph Problems on Reconfigurable Meshes
1996-03-18
Alleviating DFT cost using testability driven HLS
1998-10-28
II. SPIE, Bellingham, 1994. 33 M. TAYLOR.
2000-03-11
The Role of Mass Customization in Enhancing Supply Chain Relationships in B2C E-Commerce Markets
2000-07-15
Source-Level Debugging of Optimized Programs Using Data Flow Analysis
1995-11-30
Lutz Berger
Integrating problems in discrete parcels and hoping no one will notice - A case study in integrating problem based learning
1998-08-11
An Analysis for Menstrual Data with Time-Varying Covariates
1998-02-13
Communication Synthesis for Distributed Embedded Systems
1998-05-07
Bounding the Effects of Compensation under Relaxed Multi-level Serializability
1998-10-03
Investigation of Characteristic Measures for the Analysis and Synthesis of Precision-Machined Surfaces
1996-05-13
On Sex, Mate Selection and the Red Queen
2000-02-02
Perfect Implementation of Simulation for Conditioned Boolean Model via Correlated Poisson Random Variables
1999-07-27
Towards Mixed Planning and Scheduling
2000-05-22
Roman Bartk
A Semi-Digital Delay Locked Loop with Unlimited Phase Shift Capability and 0.08-400MHz Operating Range
1997-01-31
Verifying a Distributed Database Lookup Manager Written in Erlang
1999-06-24
Dynamic View-Dependent Simplification for Polygonal Models
1997-05-27
Perceptually Modulated Level of Detail for Virtual Environments
1997-07-23
Martin Reddy
Compiler Techniques for Code Compaction
2000-03-16
Automated Delivery of Web Documents Through a Caching Infrastructure
2000-02-21
Non-cancellative Boolean Circuits: A Generalization of Monotone Boolean Circuits
1999-11-18
Composition and Decomposition of Internal Models in Motor Learning under Altered Kinematic and Dynamic Environments
2000-07-11
Stochastic Scheduling
2000-01-06
Temporal Constraints: A Survey
1998-05-20
A Comparison of Four Propositional Theorem Provers
2000-05-18
Industrilogik Li Ab
An Adaptive Resource Management Architecture For Global Distributed Computing
1999-01-23
Nalini Venkatasubramanian
Continuous Functionals of Dependent Types and Equilogical Spaces
2000-06-01
Andrej Bauer
Grassmann-Cayley algebra for modeling systems of cameras and the algebraic equations of the manifold of trifocal tensors
1997-08-01
Projet Robotvis
Dead Code Elimination
1995-07-06
The Tree Property
1998-02-26
James Cummings
A Multi-class Linear Learning Algorithm Related to Winnow with Proof
1970-01-01
Chris Mesterharm
A Genius' Story: Two Books on Gödel
1998-05-01
Fuzzy Heterogeneous Neurons for Imprecise Classification Problems
1998-11-09
Interactive Ray-Traced Scene Editing Using Ray Segment Trees
2000-03-19
Using C++ to Model Digital Circuit Design Data
1991-08-31
Sending Messages to Mobile Users in Disconnected Ad-hoc Wireless Networks
2000-06-19
Quantifying the Energy Consumption of a Pocket Computer and a Java Virtual Machine
2000-06-23
A Limit on the Tau Neutrino Mass
1997-08-14
A Refinement of Ball's Theorem on Young Measures
1997-05-02
Norbert Hungerbuhler
Evidence for syntactic competition in the acquisition of tense and agreement in child French
2000-06-06
PIC - A Graphics Language for Typesetting User Manual
1997-09-29
Brian W. Kernighan
An Efficient k-Means Clustering Algorithm: Analysis and Implementation
2000-03-28
On Optimized Independence Relations For State Space Reduction
1999-08-27
An Asynchronous Run-Time Model for a Synchronous Approach of Distributed Real-Time Problems
1996-06-11
Generalized Eigenvalue Problems and Applications in Systems and Control
1998-03-09
Paul Van Dooren
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software
1999-07-01
Patrice Godefroid
Processor-Time-Optimal Systolic Arrays
2000-05-19
TCP Behavior of a Busy Internet Server: Analysis and Improvements
1998-04-30
The IEEE 1194.4 Mixed Signal Test Bus: Costs and Benefits
2000-04-11
Kelvin Leung
Learning Robust Plans for Mobile Robots From A Single Trial
1996-04-28
Sean P. Engelson
Schwarz Analysis Of Iterative Substructuring Algorithms For Elliptic Problems In Three Dimensions
1993-06-14
Maksymilian Dryja
DIVE --- The Distributed Interactive Virtual Environment DIVE Files Description
1999-07-21
A Statistical Word-Level Translation Model for Comparable Corpora
2000-06-16
An Economy Driven Resource Management Architecture for Global Computational Power Grids
2000-05-05
DB2 UDB for AS/400 SQL Reference
1999-07-20
The Patch-Clamp Technique: A Theoretical And Practical Introduction Using . . .
2000-07-05
Visualizing the Structure of the World Wide Web in 3D Hyperbolic Space
2000-01-05
Extraction of semantic relations from a Basque monolingual dictionary using Constraint Grammar
2000-06-12
Adaptive optics for the 6.5 m MMT
2000-04-17
Alternate Evans functions and viscous shock waves
2000-07-27
Serre D
An Integrated Framework for Information Systems Planning and its Initial Application
1994-05-17
Vassiliev Homotopy String Link Invariants
1999-01-26
VTT INFORMATION TECHNOLOGY Research Report No. J-4 December 1995 Espoo
2000-04-29
Trust-Region Interior-Point Algorithms For Minimization Problems With Simple Bounds
1996-10-07
Automating the Construction of Service Replication systems
2000-05-22
On the Quasi-Stationary Distribution for Some Randomly Perturbed Transformations of an Interval
1998-11-05
Diagonal Threshold Techniques in Robust Multi-Level ILU Preconditioners for General Sparse Linear Systems
1998-02-12
Yousef Saad
GreedyDual* web caching algorithm: Exploiting the two sources of temporal locality in web request streams
2000-06-29
A Bandwidth-Efficient Architecture for Media Processing
1999-11-15
Derivative Superconvergent Points In Finite Element Solutions Of Poisson's Equation For The Serendipity And Intermediate Families -- A TheoreticalJustification
1999-09-02
Zhimin Zhang
Hydrophobicity and Unique Folding of Selected Polymers
2000-01-20
A General Formal Framework for Schema Transformation
2000-02-22
Quality of Service Agents in the Internet
1998-10-16
An Optimised Perturbation Expansion for a Global O2 Theory
1999-11-22
T. S. Evans
Ostwald Ripening in Two Dimensions: Treatment with Pairwise Interactions.
1999-11-22
Software Evolution Observations Based on Product Release History
2000-05-18
Restoration Of Archived Television Programmes For Digital Broadcasting
1999-11-18
J-h Chenot
An Improved Method of Constructing Binned Luminosity Functions
1999-09-22
History Preserving Bisimulation for Contextual Nets
2000-04-08
Voluntary Implementation
1970-01-01
On the Symbolic Analysis of Combinational Loops in Circuits and Synchronous Programs
1999-12-06
Tradeoffs in Secure System Development: An Outline
1995-02-17
Catherine Meadows
DOORS: Towards High-performance Fault Tolerant CORBA
2000-07-08
Techniques for Developing and Measuring High-Performance Web Servers over ATM Networks
1998-11-19
Math 4/5593 Project
1997-10-07
Bland Chromatin
On the Word Problem for Tensor Products and Amalgams of Monoids
1996-05-26
Parallel Sorting on Cache-coherent DSM Multiprocessors
1999-10-04
On Determining Polynomial Evaluation Structures for FPGA based Custom Computing Machines
1999-08-11
Ajte99-6124
1998-10-01
Out-of-Core Singular Value Decomposition
2000-06-02
Mei-hui Lin
CMS Conference Report
1999-12-03
C. Seez
The Design and Simulation of a Hybrid Replication Control Protocol
2000-05-22
Translingual Information Retrieval: Learning from Bilingual Corpora
2000-03-12
A New Oscillatory Instability in a Mushy Layer During the Solidification of Binary Alloys
1999-09-21
Enabling Systems for Neurosurgery
1999-04-13
Object Lifetime Manager
1999-10-08
On-line Connectionist Q-learning Produces Unreliable Performance With A Synonym Finding Task
1970-01-01
Analytic Fits for Partial Photoionization Cross Sections
1996-10-02
D. A. Verner
The MPI-Delphi Interface: A Visual Programming Environment for Clusters of Workstations
1999-05-05
Correlation Between Acoustic Emission Statistics And Surface Roughness In Finish Turning
2000-03-10
Neutral and Charged Current Cross Sections at High Q² at HERA
1999-11-25
Th. Benisch
A Clique Tree Algorithm For Partitioning A Chordal Graph Into Transitive Subgraphs
1993-08-10
The Computational Complexity of Agent Design Problems
2000-07-18
Michael Wooldridge
Modeling Dependency Grammar With Restricted Constraints
2000-06-09
Heterogeneous Process Migration : The Tui System
1996-02-29
Number Representation and Basic Arithmetic Using Two Operand Normalization
2000-04-27
Henrik Olson
A General Approach to Stability in Free Boundary Problems
1999-06-23
Measures in Collection Ranking Evaluation
1996-07-02
An Algebraic Approach to Static Analysis of Active Database Rules
2000-06-02
Flick: The Flexible IDL Compiler Kit Version 2.1 User's Manual
1999-11-15
Data-Adaptive Wavelets and Multi-Scale SSA
2000-06-02
Algebraic Closure
2000-05-30
Thierry Coquand
Anonymous Authentication of Membership in Dynamic Groups
1999-06-01
On Approximation of Max-Vertex-Cover
2000-04-24
Task-based Color Scale Design
2000-03-02
Penny Rheingans
Blind Channel Equalization and epsilon-Approximation Algorithms
2000-04-26
Supporting Best-Effort Traffic with Fair Service Curve
2000-01-12
Fiscal Policy And Growth In The Context Of European Integration
1970-01-01
Paul Masson
Access, 25, 29
1999-04-30
Improving Data Driven Wordclass Tagging by System Combination
2000-07-17
The Analysis Of An Ill-Posed Problem Using Multiscale Resolution And Second Order Adjoint Techniques
2000-03-01
I. Michael Navon
A Survey of Advanced Interactive 3-D Graphics Techniques
1997-09-11
Dieter Schmalstieg
Constituent Structure in Mathematical Expressions
2000-06-13
Constructions of Partial Difference Sets and Relative Difference Sets Using Galois Rings
1998-06-25
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
1998-05-06
The Ill-posed Inversion of Multiwavelength Lidar Data by a Hybrid Method of Variable Projection
1999-05-06
Ch. Bockmann
Flattening VLIW code generation for imperfectly nested loops
1998-05-19
Peter M. W. Knijnenburg
Maximum Number of Users Which Can Be Served by TETRA Systems
1999-12-07
PREVENTING THE DIRAC DISASTER: Wavelet Based Density Estimation
1998-04-27
Minimizing View Sets without Losing Query-Answering Power
2000-06-12
An Introduction to the TACOMA Distributed System - Version 1.0
1998-09-22
Four Questions on Birkhoff Polytope
2000-02-29
Igor Pak
Cochannel Reuse Distributions In Dca Microcellular Systems With In-Cell Reuse Constraint
2000-02-21
Superconvergence in Projected-Shear Plate-Bending Finite Element Methods
1999-09-02
Zhimin Zhang
The Adaptive Agent Architecture: Achieving FaultTolerance Using Persistent Broker Teams
1970-01-01
A Quadratic Curvature Lagrangian of Pawlowski and Raczka: A Finger Exercise with MathTensor
1996-09-29
A NewCase for Skewed-Associativity
1997-07-10
Andre Seznec
Generalized Cases: Representation and Steps Towards Efficient Similarity Assessment
1999-06-29
A Language Framework For Expressing Checkable Properties of Dynamic Software
2000-05-16
John Hatcliff
A Controlled Experiment on Inheritance Depth as a Cost Factor for Code Maintenance
2000-03-22
Architecture and Design of a Secure Electronic Marketplace
1997-09-20
Approximation Algorithms for Maximum Coverage and Max Cut with Given Sizes of Parts
2000-04-05
From Fairness to Chance
2000-02-23
Luca De Alfaro
Using Analytic QP and Sparseness to Speed Training of Support Vector Machines
1999-01-05
John C. Platt
Delay Analysis of Selective Repeat ARQ for a Markovian Source Over a Wireless Channel
2000-04-07
Computing the Bayes Kernel Classi er
2000-03-29
Mario Marchand
Computer Investigation of the Energy Landscape of Amorphous Silica
1999-09-15
A POSTERIORI ERROR ESTIMATES FOR hp-BOUNDARY ELEMENT METHODS
1996-11-04
Probabilistic Default Reasoning with Conditional Constraints
1970-01-01
Fourier-Transform Based Techniques in Efficient Retrieval of Similar Time Sequences
1998-12-21
Davood Rafiei
vUML: a Tool for Verifying UML Models
1999-05-18
Harmonic maps via Adler--Kostant--Symes theory
1999-12-14
Control Of Spacecraft Subject To Actuator Failures: State-Of-The-Art And Open Problems
2000-03-31
A Low-power 16-bit Multiplier-Accumulator using Series-regulated Mixed Swing Techniques
1998-05-27
Dynamic Multiple Assessment: An Instructional Method that Captures the Symbiosis of Assessment and Instruction
2000-07-08
Authentication Primitives and Their Compilation
2000-05-22
Path Planning Using Lazy PRM
2000-03-01
Performance Driven Multi-Level and Multi-Way Partitioning with Retiming
1970-01-01
Multi-version Speculative Concurrency Control with Delayed Commit
2000-03-21
YAXQL - A powerful and web-aware query language supporting query reuse
2000-01-20
Guido Moerkotte
The Shift Programming Language and Run-time System for . . .
1999-03-16
Managing QoS Requirements
1999-12-02
APM: Asynchronous Performance Measurement for the Internet
2000-06-16
Selected Topics in Data Structures
1996-03-08
A Relational Algebraic Approach to the Representation and Analysis of Discrete Event Systems
1991-09-10
Enke Chen
A pragmatic approach to compilation of Erlang
1997-06-05
PCP: A Bandwidth Guaranteed Transport Service for IP networks.
1999-02-25
Nonlinear Accelerator Problems Via Wavelets: 4. Spin-Orbital Motion
1999-03-24
Structural and Behavioral Modeling with Monadic Logics
2000-05-29
A Comparison of OS Extension Technologies
1997-09-04
Experiments With a New Selection Criterion in a Fast Interval Optimization Algorithm
2000-04-29
Numerical Methods for Hyperbolic Equations on Unstructured Meshes
1999-12-16
Changqing Hu
Paramodulation with Built-In Abelian Groups
2000-06-22
The Brisk Machine: the Next Step in the Execution of Functional Languages
2000-07-10
PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability
1999-02-25
Hausdorff Dimension Of Self-Similar Sets With Overlaps
2000-04-26
Sze-man Ngai
A Theory of Spatial Regions with Indeterminate Boundaries
1994-10-05
Analysis of Transposition Tables and Replacement Schemes
1996-05-30
Sashi Lazar
Interprocedural Control Flow Analysis
2000-01-17
Continuity of Stochastic Integrals With Respect to Infinitely Divisible Random Measures
2000-05-10
Michael B. Marcus
Integrated Floorplanning and Interconnect Planning
2000-05-19
High Performance Parametric Modeling with Nimrod/G: Killer Application for the Global Grid?
2000-03-08
PREMO: An Emerging Standard for Multimedia Presentation
1995-10-09
Limit Theorems on Ordered Random Vectors
2000-05-11
Akhundov I. S
Service Management in Multi-Party Active Networks
2000-01-20
Massless Fermions In Finite Volumes
1998-08-27
Pierre Van Baal
...-Theory For Fully Nonlinear Uniformly Parabolic Equations
2000-03-04
Coordinating Agents with Secure Spaces
1999-12-20
Consistency of Topological Relations in the Presence of Convexity Constraints
1999-06-01
Extraction of Crisp Logical Rules From Medical Datasets
2000-06-20
Adding Shadows to a Texture-Based Volume Renderer
1999-04-13
Investigations on an Object--Based Layered Coding System
1999-03-04
Michael Wollborn
Reliable Software Technologies, Sterling, Virginia 20166 Department of Mathematics, The College of William Mary, Williamsburg, Virginia 23187 barkin@rstcorp.com
2000-06-02
Using Quality Requirements To Systematically Develop Quality
2000-06-15
Concepts and Facilities of a Neural Reinforcement Learning Control Architecture for Technical Process Control
2000-06-05
Martin Riedmiller
CPU Inheritance Scheduling
2000-05-02
Using Smart Clients to Build Scalable Services
2000-03-06
Momentum Transfer Dynamics of a Gyrostat With a Discrete Damper
1999-08-29
Christopher D. Hall
-Safe Algorithms for Symmetric Site Configurations
1997-06-17
Early Experiences with Distributed Supercomputing on I-WAY: First Principles Materials Science and Parallel Acoustic Wave Propagation
1998-06-08
Synergies between Statistical Data Analysis and Neural Networks in the Control of Rotary Blood Pumps
1994-06-13
Implementation
1994-11-14
Edward Felten
Sentence Reduction for Automatic Text Summarization
2000-03-22
Hongyan Jing
Optimal Spare Capacity Assignment for Path Restorable Mesh Networks: Cuts, Decomposition, and an Empirical Analysis
1998-12-11
Variations in the Excitation and Damping of
2000-02-23
Generalizations of Bold Play in Red and Black
2000-02-18
On the Approximation of the Values of Exponential Function and Logarithm By Algebraic Numbers
2000-02-03
Bond graphs in the Design of Engineering Systems
1998-04-27
First Measurement of the Charged Current Cross Section at HERA
1997-12-19
H Collaboration
Result and Perspective
1995-12-13
Computational Intelligence Methods and Data Understanding
2000-04-16
Enforceable and Efficient Service Provisioning
2000-04-18
An Assessment Of Bayesian Model-Averaged Logistic Regression For Intensive-Care Prognosis
2000-07-19
Relief Texture Mapping
2000-05-19
Factoring Polynomials Over P-Adic Fields
2000-06-27
Algebraic Multigrid Solver for Discrete Elliptic Second Order Problems
1996-10-22
Ferdinand Kickinger
A Statistical Framework for Geometric Tolerancing Manufactured Parts
1998-04-27
The Approach: Integrating Object Oriented Design and Formal Veri cation
2000-02-22
On a merging reduction of the Process Network Synthesis Problem
2000-02-24
On Foundations and Applications of Similarity Measures in Case-Based and Rule-Based Reasoning
1996-08-28
Dr. -ing Stephan Rudolph
On-Line Batching Problems
2000-04-03
M. F. Reijnhoudt
Large Scale Simulation of Particulate Flows
1998-09-30
LogGP: Incorporating Long Messages into the LogP Model ---
1995-08-09
WinReC V.1: Real-Time Control Software for Windows NT and Its Applications
2000-05-14
Approximate Tree Embedding for Querying XML Data
2000-07-11
Mutual Search
1999-09-07
Conditional Recency-Ranking Source Coding
2000-07-17
Absolute cross sections for near-threshold electron-impact excitation of Be-like C
1999-12-17
Shear-Slip Mesh Update in 3D Computation of Complex Flow Problems with Rotating Mechanical Components
2000-07-12
Modelling and Adaptive Control of Aerobic Continuous Stirred Tank Reactors
2000-04-14
Modelling Web Navigation by Statechart
2000-05-23
The Power of NIST's Statistical Testing of AES Candidates
2000-04-04
Sean Murphy
Non-Uniform Sampling In Multiply Generated Shift-Invariant Subspaces Of ...
1970-01-01
Wavelet Decomposition and Reconstruction Using Arbitrary Kernels, a New Approach
2000-04-24
Calculating Controller Area Network CAN Message Response Times
2000-02-16
Priority Queues on Parallel Machines
1999-02-08
Gerth Stlting Brodal
The RBSE Spider - Balancing Effective Search Against Web Load
1994-05-18
David Eichmann
Region-based representations of image and video: Segmentation tools for multimedia services
2000-05-08
Member Ieee
A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications
2000-02-04
The Stability and Numerical Analysis of Martensitic Microstructure
2000-04-26
Computing Dimensionally Parametrized Determinant Formulas
1998-08-06
Mark Ziegelmann
Techniques for Reducing Consistency-Related Communication in Distributed Shared Memory Systems
2000-06-23
General Purpose Parallel Computation on a DNA Substrate
1970-01-01
Andrew J. Blumberg
Quaternionic Analysis on Riemann Surfaces and Differential Geometry
1999-12-14
Franz Pedit
The Effect of Network Hierarchy Structure on Performance of ATM PNNI Hierarchical Routing
2000-02-28
Analysis Of Streaming Protocols For Cave Images And Video
2000-05-05
Lilian S. Fernandes
New Mathematical Tools and Techniques for the Refinement and/or Improvement of Unstructured Triangulations
1999-11-27
Mara-cecilia Rivara
Upgrade of the H1 Liquid Argon Calorimeter Trigger
1999-11-12
Structural Decidable Extensions of Bounded Quantification
1994-09-12
The Influence of the Number of Phases in Eulerian Multiphase Simulations
1970-01-07
Gravitational Collapse of Spherical Interstellar Clouds
1999-09-06
Software Engineering for Safety: A Roadmap
2000-02-11
Robyn R. Lutz
Context-Free Event Domains are recognizable
1995-06-21
Reconciliation of Various Complexity and Condition Measures for Linear Programming Problems and a Generalization of Tardos' Theorem
2000-06-13
Jackie C. K. Ho
Efficient Timing Analysis Algorithms for Timed State Space Exploration
1997-11-24
The Colour-Dipole model and the
1999-08-16
Leif Lonnblad
Physics And Experimental Requirements At High Energy
1997-02-14
Exponential Instability For A Class Of Dispersing Billiards
1997-04-28
Luchezar Stoyanov
Quasi-Monte Carlo Methods in Computer Graphics, Part I: The QMC-Buffer
2000-02-17
: A Case For Multi-Channel Studies
1998-04-03
Hitoshi Murayama
And-Or Parallel Prolog: A Recomputation Based Approach
1970-01-01
Indivisibility And Divisibility Polytopes
2000-04-26
Relations Between Two Types of Memory in Inductive Inference
2000-02-26
Andris Ambainis
Presenting through Performing: On the Use of Multiple Animated Characters in Knowledge-Based Presentation Systems
2000-04-26
Evolutionary Computation in the Design of Optimized Neural Controllers
1999-12-21
Quantitative System Evaluation with DSPNexpress 2000
2000-06-26
Asymmetric Fingerprinting for Larger Collusions
2000-02-28
Forecasting Time-dependent Conditional Densities: A Neural Network Approach
1999-09-19
Extending Erlangfor Safe Mobile Code Execution
1999-05-25
Structure and Performance of Decision Support Algorithms on Active Disks
1998-11-02
Constraint Networks
1996-12-06
Rina Dechter
A Gradient Guided Search Algorithm for Multiuser Detection
2000-06-10
The Spectrum of the Kinematic Dynamo Operator for an Ideally Conducting Fluid
1997-04-26
An Extremely Small And Efficient Identification Scheme
2000-04-24
Orders of GaußPeriods in Finite Fields
2000-04-26
Walter R. Mebane, Jr.
1999-08-29
3D Articulated Models and Multi-View Tracking with Silhouettes
1970-01-01
Low Complexity
2000-03-22
Collaborative Version Control In An Agent-Based Hypertext Environment
1996-06-05
The INCINERATE Data Model
1994-01-02
H. V. Jagadish
Lanczos-Type Solvers for Non-Hermitian Linear Systems
1999-09-02
Martin H. Gutknecht
The Influence of the Variance-Covariance Structure on the Performance of Forecast Combining Techniques
2000-05-19
Concurrent Constraint Programming with Process Mobility
2000-05-19
David Gilbert
The Conley Index Over A Base
1997-10-11
An Extended Logic for Analyzing Timed-Release Public-Key Protocols
2000-01-28
Comparative Study Of
1996-01-19
Frank Cuypers
Technical Committee
1997-01-13
Quantitative Modeling of Complex Computational Task Environments
1993-09-03
Varieties Of Two-Dimensional Diagonal-Free Cylindric Algebras. Part I
2000-06-29
Nick Bezhanishvili
Computational Quality Measures For Evaluation Of Part Orientation In Freeform Fabrication
1998-04-06
Mssm And Higgs Search At The Tevatron
2000-03-26
Juan A. Valls
Stability of the Brown-Ravenhall Operator
1999-12-08
Georg Hoever
Assigning Types to Processes Extended Abstract
2000-05-09
Performance of the TCP Protocol over ATM Networks
1996-01-31
Andrea Bianco
Symbolic Dynamics And Matrices
2000-07-20
Mike Boyle
The CSD, GSVD, their Applications and Computations
1999-11-22
Zhaojun Bai
From Polymorphic Subtyping to CFL Reachability: Context-Sensitive Flow Analysis Using Instantiation Constraints
2000-03-17
Jakob Rehof
A Neural Model of Centered Tri-gram Speech Recognition
1999-09-17
Analysis of Generalized Pattern Searches
1970-01-01
Skeletal Rigidity of Simplicial Complexes, II
1997-07-23
Mixed Dimensional Finite Element Analysis of Frame Models
2000-06-12
Predicting the Speed of Beer Fermentation in Laboratory and Industrial Scale
1999-08-26
Computing Chernoff's distribution
2000-03-24
ACDC : An Algorithm for Comprehension-Driven Clustering
2000-07-17
Electricity prices and power derivatives. - Evidence from the Nordic Power Exchange.
2000-06-09
Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets
2000-01-31
Keijo Heljanko
Depth-Bounded Bottom-Up Evaluation Of Logic Programs
1994-09-09
Implications of random cut-points theory for the Mann--Whitney and binomial tests
2000-05-05
Some comments on Laplacian gauge fixing
1998-08-27
An Adaptability Framework for Mobile Applications
2000-07-21
A New Type of a Fuzzy Controller
1999-11-26
Placing Resources on a Growing Line
1997-07-18
Parallel Implementation and Performance Characteristics of Least Squares Sparse Approximate Inverse Preconditioners
2000-05-26
Edmond Chow
AMnet: Efficient and Flexible Provision of Heterogeneous Multicast Services
2000-04-13
The Web as a graph
2000-06-21
Stabilization of Maximal Metric Trees
2000-04-21
Tree Constraints
1994-05-16
Torbjorn Keisu
On the Intrinsic Complexity of Learning
1996-11-07
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux
2000-05-22
Parallel Computation of Spectral Portraits on the Meiko CS2
2000-04-11
Unique Features of the University of Maryland Electron Ring and the Necessity of PIC Code Simulation
1999-08-12
Spatial Characterization of Indor Radio. . .
2000-03-30
Classifying Network Architectures for Locating Information Sources
1996-09-14
Integrated Surface, Curve and Junction Inference from Sparse 3-D Data Sets
1999-08-20
PLDI'96 Tutorial April 30, 1996 12:20 pm 1
1997-05-21
Luca Cardelli
Bistro: a Framework for Building Scalable Wide-Area Upload Applications
2000-06-21
Risk-Sensitive, Minimax, and Mixed Risk-Neutral/Minimax Control of Markov Decision Processes
1998-07-24
Non-Myopic Attribute Estimation in Regression
2000-01-11
Sikonja Igor Kononenko
Trivalent Symmetric Graphs On Up To 768 Vertices
2000-07-10
Marston Conder
A New One-Pass Tableau Calculus for PLTL
1998-05-12
Stefan Schwendimann
An Experience Using JASMINUM - Formalization Assisting With the Design of User Interfaces
1994-10-19
Object Interconnections
1998-11-19
Quadratic Relations Between Logarithms of Algebraic Numbers
2000-01-27
Michel Waldschmidt
Multifunctional Learning of a Multiagent based Evolutionary Artificial Neural Network with Lifetime Learning
1999-11-28
tions. The V language allows combinations of iteration and recursion.
2000-02-08
Advertising Rates, Audience Composition, and Competition in the Network Television Industry
1999-08-20
Ronald Goettler
Influence of Cross-Interferences on Blocked Loops: A Case Study with Matrix-Vector Multiply
1995-10-19
Incremental Quantile Estimation for Massive Tracking
2000-05-30
Atom Probe Studies of Nanocrystallization of Amorphous Alloys
1999-05-20
Smallest Enclosing Cylinders
1999-03-26
Referent Tracking In Restricted Texts Using A Lemmatized Lexicon: Implications For Generation Of Intonation
1998-09-21
Model-Checking Multi-Threaded Distributed Java Programs
2000-07-13
Scott D. Stoller
Feature Structures
2000-01-28
Doug Arnold
Solutions nodales sur les variétés Riemanniennes non localement conformément platesà bord
2000-03-16
David Holcman
Blur Identification Using Averaged Spectra Of Degraded Image Singular Vectors
2000-04-04
A New Rate Coordination Protocol for TCP and ABR Congestion Control
2000-05-02
Experiments on Sentence Boundary Detection
2000-03-13
A General Property Storage Module
1995-09-29
An Integrated Approach to the Evaluation and Management of Contaminated Sediments
2000-04-18
Counter-Examples To A Problem Of Cohn On Classifying Characters
2000-02-14
Kwok-kwong Choi
Dynamical Systems: Moving into the Next Century
2000-06-28
Marcelo Viana
Scheduling Non-Contiguous Tape Retrievals
1999-09-07
A Denoising Approach To Multichannel Signal Estimation
1999-06-29
Specification and Verification of various Distributed Leader Election Algorithms for Unidirectional Ring Networks
1996-09-20
Software Assistance for Data Caches
1997-07-02
A system of differential equations in 4 variables of rank 5 invariant under the Weyl group of type E 6
2000-06-30
Kleene Algebra with Tests: Completeness and Decidability
1999-06-18
Evolutionary Search of Approximated N-Dimensional Landscapes
2000-05-01
Utility Owners' Approaches To Conversion Quality Control
2000-04-30
Improved Classification via Connectivity Information
1999-12-15
Barriers to Software Reuse and the Projected Impact of World Wide Web on Software Reuse
1996-05-02
Michael L. Nelson
Distributed Cryptographic Function Application Protocols
1999-01-05
Rendering Real-World Objects without 3-D Model
1995-10-10
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems
1970-01-01
Microarray Technology as the Brazen Soul
2000-05-22
Searches for SUSY at the Tevatron
1998-06-30
Andrei Nomerotski
Introducing Trusted Third Parties to the Mobile Agent Paradigm
1999-04-30
New Insights on the Complexity of Resource-Constrained Project Scheduling - A Case of Single-Mode Scheduling
2000-05-12
The Next Linear Collider Will Likely Have Both High Energy
1996-01-25
Daniel A. Bauer
Computer Science Temporal Synchronous Concurrent Constraint Programming
1997-10-01
Constrained 3D Navigation with 2D Controllers
1997-05-05
The Earth's Main Magnetic Field At 1999.1 Seen By The Spinning Astrid-2 Satellite
2000-07-03
Solar Rotation Measurements At Mount Wilson Over The Period 1990--1995
1997-04-29
Roger Ulrich
Approximate Analytical Performance Evaluation of a UNIX Based Multiprocessor Operating System
1999-07-27
Improving Privacy in Cryptographic Elections
1997-04-05
Josh D. Cohen
What Is The Place For User-Network Signalling In The 21st Century?
2000-05-19
Responding to cognitive overload: Co-adaptation between users and technology
2000-06-28
Higher Homotopy Groups of Complements of Complex Hyperplane Arrangements
2000-02-29
One of the most imporLKN= prorLKN=W of a solid is the ease with which it can be brWN/= into pieces. The r WR/=LWC of an object to separ=LWCL is its toughness, quite differLKA frff harferL
2000-05-22
An Overview of Three File Systems: Sprite LFS, Zebra, xFS
1999-03-02
Michele Clark
Cooperating Distributed Splicing Systems
1998-05-01
Consistency Checking of SCR-Style Requirements Specifications
1995-02-21
A Survey of Preference-Free Option Valuation with Stochastic Volatility
2000-05-03
Peter Carr
Search for Anomalous
2000-06-30
Texture Representation and Synthesis Using Correlation of Complex Wavelet Coefficient Magnitudes
1999-04-11
A Semi-decision Procedure for Testing Language Inclusion of Nondeterministic Timed Automata
2000-01-20
Dense Estimation and Object-Oriented Segmentation of the Optical Flow with Robust Techniques
1996-04-15
Recognizing Surfaces Using Three-Dimensional Textons
2000-02-21
Topology-Independent Region Tracking With Level Sets
2000-06-09
Essential Instabilities of Fronts: Bifurcation, and Bifurcation Failure
2000-03-30
Arnd Scheel
A Probabilistic Learning Approach to Whole-Genome Operon Prediction
1970-01-01
On The Spatially Homogeneous Landau Equation For Hard Potentials Part II: H-Theorem And Applications
2000-04-12
L. Desvillettes
ANIMATED CONVERSATION: Rule-based Generation of Facial Expression, Gesture Spoken Intonation for Multiple Conversational Agents
1998-10-20
Average Case Complexity Of Linear Multivariate Problems Part II: Applications
1999-05-04
H. Wo Zniakowski
Pruning Meta-Classifiers in a Distributed Data Mining System
1999-05-04
Meaningful Change Detection in Structured Data
1996-11-06
Model Reduction in Control Systems by Means of Global Structure Evolution and Local Parameter Learning
1996-09-18
Borel Singularities At Small
1997-06-12
A Control Relevant Dynamic Model of Grate Sintering
2000-05-10
Many of the Contacts Listed Above Have Provided Valuable Background Information and Comments During the Development of
1999-04-18
Uniform Proofs and Disjunctive Logic Programming
1996-02-02
A Clustering Algorithm based on Graph Connectivity
1999-03-10
Strong Binding for Software Key Escrow
1999-10-26
Evolution at the Origins of Life: Modelling Simple Persistent Replicating Objects
1999-12-23
Oliver Sharpe
The Integration of Dirac Prime in a Multidimensional Space
2000-02-25
F. Farassat
On Continuous Network Flows
1995-03-23
A Symbolic Model Checker for ACTL
2000-04-18
Exploiting Symmetry When Model-Checking Software Extended Abstract
1999-11-04
Semi-Empirical Multiprocessor Performance Predictions
1997-07-01
Creativity in Evolution: Individuals, Interactions and Environments
1999-11-11
Tim Taylor
Finding Symmetry in Intensity Images
1999-04-26
The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization
1999-01-26
Automatic Message Indexing and Full Text Retrieval for a Communication Aid
1999-06-10
A Methodology for GIS Databases Integration
2000-03-27
Fast, Spatial Domain Potential Field Modeling
2000-05-17
Multiple Phase Clustering of Globally Pulse Coupled Neurons with Delay
1999-11-09
Dominant and Recessive Genes in Evolutionary Systems Applied to Spatial Reasoning
1998-05-21
Roots of the Recent Recoveries: Labor Reforms, Sound Public Finance or Private Sector Forces?
2000-02-07
Valero:1992:PCT
1999-07-27
VTRACE and Communication Performance Analysis
1996-09-26
Peng Dai
Mobile Agents
1999-10-14
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance
2000-05-22
Approximation Properties For Crossed Products By Actions And Coactions
2000-06-28
Compiled Simulation of Programmable DSP Architectures
1996-12-19
On 2-Reptiles in the Plane
1999-12-16
Query Plans for Conventional and Temporal Queries Involving Duplicates and Ordering
1999-12-08
A Biologically Inspired Robotic Model for Learning By Imitation.
2000-02-25
PixelFlow: High-Speed Rendering Using Image Composition
1997-06-04
Optimizing the CORBA Component Model for High-performance and Real-time Applications
1999-11-15
Nonstationary Array Signal Detection Using Time-Frequency And Time-Scale Representations
1999-07-19
Morphology Building Syntax: Constructive Case in Australian Languages
1997-07-22
A Self-Configuring Resolver Architecture for Resource Discovery and Routing in Device Networks
2000-05-26
Technology Mapping for Lookup-Table Based Field-Programmable Gate Arrays
1993-10-15
Simulation of Heart Material Behavior
1999-11-16
Veri cation of Parameterized Systems Using Logic Program Transformations
2000-05-09
A Formal Framework for ASTRAL Inter-level Proof Obligations
1993-12-29
An Extensible Language for the Generation of Parallel Data Manipulation and Control Packages
1996-01-27
Search For Excited Fermions At Hera
1998-07-20
Computational Modelling of Contextual Coreference : Implications for Swedish Text-to-Speech
1998-09-21
Efficient Algorithms for Inverting Evolution
1995-11-21
A formal definition of Bottom-up Embedded Push-Down Automata and their tabulation technique
2000-07-11
Object-Agent Oriented Programming
1998-11-03
Compounds Nouns in Simplified English
1998-02-16
Isobel Heald
Complete Axioms for Categorical Fixed-point Operators
2000-04-26
Alex Simpson
The Relevance of Web Traffic for Internet Stock Prices
2000-02-04
Soundness of Data Refinement for a Higher Order Imperative Language
2000-03-21
David A. Naumann
IAMC: Internet Accessible Mathematical Computation
1998-11-17
Paul S. Wang
On Refinement and Temporal Annotations
2000-01-11
Broadband Support for the Development of Distributed Multimedia Systems
1999-09-17
Patricia Morreale
Packet Routing via Min-Cost Circuit Routing
1999-11-07
A Model-Based Approach to Blame Assignment: Revising the Reasoning Steps of Problem Solvers
2000-03-14
Study Of Electron Pair And Photon Production In Lead-Lead Collisions At The Cern Sps
1994-02-03
Localization In The Anderson Model With Long Range Hopping
1997-04-26
Abel Klein
A Fuzzy Color Credibility Approach To Color Image Filtering
2000-05-11
Logic in the Finite
2000-07-05
Ensembles as a Sequence of Classifiers
1999-10-26
Richard Maclin
The Effectiveness of SRAM Network Caches in Clustered DSMs
1998-02-25
The Two Webs: Towards a Web-based System for Social Network Analysis
2000-05-31
Functional Attributes Discriminating Mechano-Insensitive and Mechano-Responsive C Nociceptors in Human Skin
2000-02-21
Via: A Structured Message-Passing System for Parallel Computers
1991-11-29
Greg Wilson
Algebraic Geometry Over Four Rings and the Frontier to Tractability
2000-06-30
J. Maurice Rojas
Communication Equilibria in Repeated Games with Imperfect Private Monitoring
2000-06-23
Two Variable First-Order Logic over Ordered Domains
2000-07-10
Martin Otto
High Performance Computing in the U.S. -- An Analysis on the Basis of the TOP500 List
1995-01-27
Horst D. Simon
SECC: Using Text Structure Information to Improve Checker Quality and Coverage
2000-02-08
Geert Adriaens
A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation
2000-04-19
Wreath Product Cyclic Group-Based Convolution: A New Class Of Noncommutative Filters
2000-03-10
Connectionist Learning Using an Optical Thin-Film Model
1995-12-04
An Interactive Language Library
1997-09-11
Ralf Lammel
Comprehensiveness of Tree Based Models: Attribute Dependencies and Split Selection
2000-01-11
Using Full Message Exchange for Probabilistic Clock Synchronization
2000-06-06
Dynamical Sources in Information Theory: Fundamental intervals and Word Prefixes.
2000-06-23
Brigitte Vall Ee
D Models of the Lips for Realistic Speech Animation
1999-02-18
A Study of the
1999-12-10
Presented Paul Eugenio
Focal Loci of Algebraic Varieties I
1970-01-01
Planning Robot Motion Strategies for Efficient Model Construction
2000-01-26
SomeCast - A Paradigm for Real-Time Adaptive Reliable Multicast
2000-03-21
Matching Color Images: The Impact of Axial Chromatic Aberration
1998-08-13
Automated Design Space Exploration on System Level for Embedded Systems
2000-02-08
The prosodic structure of Serbo-Croatian function words: An argument for tied constraints
1970-01-01
Carson T. Schtze
Minimally Supervised Japanese Named Entity Recognition: Resources and Evaluation
2000-06-07
Lightweight Application Level Multicast Tunneling using mTunnel
1998-04-27
Predictive Sequence Learning in Recurrent Neocortical Circuits
2000-02-08
Run-Time Library Version 1.0
1999-07-05
Arjan J. C. Van Gemund
Probabilistic Veri cation of Multiple-Valued Functions
1970-01-01
Decomposition and Infima in the Computably Enumerable Degrees
1999-06-11
Time and Asynchrony in Distributed Computing
2000-05-19
Secure Network Objects
2000-02-02
Embedded System Simulation
1996-08-15
A Tool for Proving
1998-07-09
Stability and Approximation of Nonlinear Filters: an Information Theoretic Approach
1999-09-22
Francois Legland
Special Cases And Efficient Algorithms For Multithreaded Dimension Reduction In Location Theory
2000-05-17
J Org Fliege
A Fully Dynamic Algorithm for Maintaining the Transitive Closure
2000-02-10
Variational Cumulant Expansions for Intractable Distributions
1999-06-27
Syriac Morphology: From a Linguistic Model to a Computational Implementation
1998-08-31
The Implementation Of Projects Within Budget And Schedule
2000-02-24
Measurement of the Photon Structure Function at High
2000-04-13
Computing the Maximum Overlap of Two Convex Polygons Under Translations
1996-03-29
Circuit Complexity: from the Worst Case to the Average Case
1997-06-13
A Unification Algorithm for Second-Order Linear Terms
1998-01-08
Gilles Dowek
An Experimental Comparison of Reliance Levels Under Alternative Breach Remedies
2000-04-05
Calculation of the Learning Curve of Bayes Optimal Classification Algorithm for Learning a Perceptron With Noise
1992-10-16
David Haussler
Replication Does Survive Information Warfare Attacks
1998-02-26
J. Mcdermott
Model checking of real-time reachability properties using abstractions Regular-paper submission for TACAS'98
1997-10-13
Improving the Usability of Hypertext Courseware through Adaptive Linking
2000-04-15
Licia Calvi
Discussion on the paper 'Bayesian analysis of Agricultural field trials' by Julian Besag and David Higdon
2000-01-28
Resolving Fragmentation Conflicts In Schema Integration
1997-02-08
Reusing and Modifying Rulebases by Predicate Substitution
1997-05-27
Expertise in Object and Face Recognition
2000-05-11
Isabel Gauthier
Full First-Order Free Variable Sequents and Tableaux in Implicit Induction
2000-02-15
Claus-peter Wirth
Simulations of Tracer Dispersion and Fluid Flow in Periodic Arrays of Discs
1996-11-16
Partial Collection Replication versus Caching for Information Retrieval Systems
2000-07-14
Shifted Simplicial Complexes Are Laplacian Integral
2000-05-03
Equivalence of Check Digit Systems Over the Dicyclic Groups of Order 8 and 12
1999-05-12
Ralph{hardo Schulz fu Berlin
Cryogenic Temperature Performance of Heavily Irradiated Silicon Detectors
1999-12-15
Chaos in the Lorenz Equations: a Computer Assisted Proof. Part II: Details
1997-10-11
Konstantin Mischaikow
Deterministic Radio Broadcasting
2000-04-18
T E X Document
1998-02-25
Orbital period of the dwarf nova HL Canis Majoris
1999-07-07
A Fibration Semantics for Pi-Calculus Modules via Abstract MONSTR . . .
1996-08-01
Increasing Evolvability Considered as a Large-scale Trend in Evolution
1970-01-01
Robust Pitch Tracking For Prosodic Modeling In Telephone Speech
2000-02-01
A Linear Constraint Satisfaction Approach to Cyclicity
1994-02-17
Eugene Santos
Complexity Classes Characterized by Semi-Random Sources
1997-06-06
Ryuhei Uehara
Improving the Robustness of Cell Nucleus Segmentation
2000-02-04
Calculating With Shapes in Meshes
1997-07-23
Patrick J. Moran
The Fourier Transform -- A Primer
2000-02-18
Hagit Shatkay
Faster Algorithms for Optical Switch Configuration
1999-08-23
Degrees of Freedom of an Electromagnetic Wave
2000-03-01
Simulations Of The Large-Scale Structure Formation And The Evolution Of The Lyman Alpha Forest: Comparison With Observations
2000-06-27
An Evolutionary Approach To Support Web Page Design
2000-01-04
Matthias Fuchs
Shape Interpolations with Unions of Spheres
1996-02-08
KBST: A Support Tool for Business Modelling in BSDM
1996-02-06
A Construction For Infinite Families Of Steiner 3-Designs
1999-07-08
Steiner -designs
PICS Proforma for the SONET STS-3c Physical Layer Interface
1997-01-13
Arithmetic Coding
1995-06-20
Triangular Witt Groups. Part II: From Usual To Derived
1999-07-09
Paul Balmer
A, Depends on His Claim That the Principle of
2000-05-12
J. P. Seldin
COMPLEXITY THEORETICAL ASPECTS OF OFDDs
1996-05-10
Architectural Design Recovery using Data Mining Techniques
1999-12-15
Why Preconditioning Gradient Type Eigensolvers?
2000-03-23
Klaus Neymeyr
Model Independent Assertions for Integration of Heterogeneous Schemas
1997-02-08
Improving a Basic Retrieval Method by Links and Passage Level Evidence
1995-06-21
IconoNET: a Tool for Automated Bandwidth Allocation Planning
2000-02-15
On the Complexity of List Scheduling Algorithms for Distributed-Memory Systems
1999-03-23
The Power of Self-Directed Learning
1992-01-10
Design Patterns: Abstraction and Reuse of Object-Oriented Design
1993-09-25
Alice - An Ultraviolet Imaging Spectrometer For The ROSETTA Orbiter
1998-04-07
A Complexity Minimization Approach For Estimating Fading Gaussian Channel In CDMA Communications
2000-05-04
Is Independence Good For Combining Classifiers?
2000-06-12
Equivariant Cohomology Of Loop Space And Frobenius Deformations Of De Rham Cohomology
1998-11-19
Jian Zhou
Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus
2000-03-27
Ph.D. Proposal: Novel Indexes and Metadata Sources in Digital Libraries
1999-08-31
Stuart Andrew Yeates
Implementing e-Transactions with Asynchronous Replication
2000-02-11
Effective Load Sharing on Heterogeneous Networks of Workstations
2000-02-03
Program Transformations for Evolving Object-Oriented Software Systems
1996-02-19
Lance Tokuda
The Complexity of Indefinite Elliptic Problems With Noisy Data
1999-05-04
Arthur G. Werschulz
The Selfish Class
1997-09-15
Seeking Coherent Explanations - a Fusion of Structured Connectionism, Temporal Synchrony, and Evidential Reasoning
2000-05-08
A Six Point Solution for Structure and Motion
1999-04-03
Argos: Efficient Refresh in an XQL-Based Web Caching System
2000-05-09
Verification of Control Flow Based Security Properties
2000-05-10
The Epsilon State Count
2000-04-27
A Generalized Representer Theorem
2000-05-25
A Distributed Data-balanced Dictionary Based on the B-link Tree
1992-02-05
Nonlinear Approaches To Independent Component Analysis
1999-10-06
Te-won Lee
The ADAPTIVE Communication Environment
1996-11-18
Douglas C. Schmidt
Reasoning with Non-Atomic Memories
1993-12-27
The Use of Butcher Series in the Analysis of Newton-Like Iterations in Runge-Kutta Formulas
1994-09-15
Simpler Projective Plane Embedding
2000-06-30
A uniqueness result related to the stability of explicit Runge-Kutta methods
1997-12-04
Array Padding in the Functional Language SAC
2000-06-09
Clemens Grelck
Duality For Modules Over Finite Rings And Applications To Coding Theory
1999-08-30
Deformable Prototypes for Encoding Shape Categories in Image Databases
2000-03-21
Stan Sclaroff
On The Complexity Of Minimizing The OBDD Size For Incompletely Specified Functions
1999-03-16
User-Assisted Knowledge Discovery: How Much Should the User Be Involved
1999-09-07
Impact of Security Policies on the TMN X Interface Integrity and Performance
1999-03-31
An Empirical Study of Greedy Local Search for Satisfiability Testing
1999-08-30
Reusing CAD Tools in Object Oriented Based Framework
1999-10-05
UWSEA-SK-96- Time Synchronization System for the KEK/Super-Kamiokande LBL Experiment
1996-11-13
R. J. Wilkes
Analysis and Optimization of Software Pipeline Performance on MIMD Parallel Computers
1997-01-27
Equilibrium Statistical Mechanics Of Frustrated Spin Glasses: A Survey Of Mathematical Results
1997-04-26
Dimitri Petritis
AVIATION ACQUISITION A Comprehensive Strategy Is Needed for Cultural Change at FAA
1996-11-18
Compiler Algorithms for Optimizing Locality and Parallelism on Shared and Distributed Memory Machines
1998-05-09
The Adiabatic Theorem for Switching Processes with Gevrey Class Regularity
2000-01-25
Klaus Jung
Lyapunov, Lanczos, and Inertia
2000-05-12
Analysis of Spatial Structure of Latent Effects Governing Hydrogeological Phenomena
2000-05-19
Hydrogeological Phenomena
Neuro-Wavelet Networks applied to Parametric Characterization of Jominy Profiles of Steels
2000-03-16
Rendering Real-World Objects Using View Interpolation
1996-09-23
Improving the Strict Avalanche Characteristics of Cryptographic Functions
1999-06-01
A Practical Approach to Access Heterogeneous and Distributed Databases
1999-11-09
Comparing HOL And MDG: A Case Study On The Verification Of An ATM Switch Fabric
1999-01-12
Semidirect Product Decompositions Of Ordered Groupoids And Inverse Semigroups
1999-10-07
Benjamin Steinberg
A Note On the Minimality Problem in Indefinite Summation of Rational Functions
1996-08-26
Roberto Pirastu
Formalisation of Spatial Standards
2000-05-31
Inclusive Hadron Production And Dijets At Hera
2000-01-27
Thomas Hadig
Object-oriented Behavioral Semantics
1998-05-10
Winskel is almost Right - Towards a Mechanized Semantics Textbook
1997-09-29
Tobias Nipkow
Transient Fault Detection via Simultaneous Multithreading
2000-06-26
MOdeling Specification and
1999-07-27
javar: A Prototype Java Restructuring Compiler
1997-08-15
Can we make Information Extraction more adaptive?
2000-03-28
Supporting Configurability and Real Time in RTD Channels
2000-07-19
Workflow Management Coalition White Paper - Events
2000-03-28
A note on connection between PNS and set covering problems
2000-02-21
Processing Line Drawings
2000-07-19
Godfried Toussaint
Group Communication Protocol for Large Group
1997-11-06
A Problem of Real Enumerative Geometry
2000-05-16
Felice Ronga
J-Net Galactic Plane Survey of VLBI radio Sources for VLBI Exploration of Radio Astrometry VERA
2000-06-08
A 4D Marine Data Model: Design and Application in Ice Monitoring
1997-11-21
Single Database Private Information Retrieval Implies Oblivious Transfer
2000-06-02
Component Interaction in Distributed Systems
2000-02-18
Nathaniel G. Pryce
Solvers Parallel Equations Collocation Spline for
1996-12-05
Christara C. Christina
Increasing Backgroundozone In Surface Air Over The United States
2000-05-07
SR: A Language for Parallel and Distributed Programming
1996-02-26
Interactive Data Analysis for Building Qualitatively Different Plans
1999-11-03
Robert St. Amant
A Multilevel Transaction Problem for Multilevel Secure Database Systems and its Solution for the Replicated Architecture
1994-03-01
Fiscal Policy, Increasing Returns, and Endogenous Fluctuations.
2000-07-10
Determinants of Growth in Arab Countries 1.
1970-01-01
The Department of Computing Examination Timetable Problem
2000-05-09
Iain Phillips
Analysing Value Substitution and Confidence Estimation for Value Prediction
2000-06-08
Agent-Based Project Management
1999-07-22
An Evaluation of the Speedup of Nautilus DSM System
2000-02-21
Principles And Methods Of Testing Finite State Machines - A Survey
1999-02-02
Stochastic Resonance in a Pulse Neural Network With a Propagational Time Delay
2000-06-01
Takashi Kanamaru
Improved Incremental Randomized Delaunay Triangulation.
1997-11-13
A Mechanism for Creating Knowledge Bases Supporting Contradictory Models
1999-07-02
Ian Finch
From M. Landy and J. A. Movshon eds,
1997-07-22
Deformable Solid Modeling using Sampled Medial Surfaces: A Multiscale Approach
2000-02-25
Maximum-Likelihood Template Matching
2000-05-04
Clark F. Olson
Cluster-Based File Replication in Large-Scale Distributed Systems
1992-02-05
Plateaued Functions
1999-12-15
Yuliang Zheng
On Computing Optimal Planar Grasps
2000-02-03
Yan-bin Jia
Hardy Approximation to
1994-11-09
Finite Acceptance Of Infinite Words
1997-07-07
Parallel Continuous Optimization
2000-05-12
J. E. Dennis
Multiprocessor Scheduling for High-Variability Service Time Distributions
1996-02-18
Orthogonalization Methods
1995-03-14
R Udiger Weiss
An Analysis of the Highest-Level Selection Rule in the Preflow-Push Max-Flow Algorithm
1999-04-14
Effects of Shadowing on Non-Directed LOS Indoor Infrared Wireless Systems with Site Diversity
2000-07-13
Reasoning about Uncertainty in Design-to-CriteriaScheduling
1970-01-01
Fast Hyper Set Equivalence
2000-02-01
The Nrl Protocol Analyzer: An Overview
1995-10-06
Catherine Meadows
A New Approach for Analyzing Queuing Models of Material Control Strategies in Manufacturing Systems
2000-06-27
Communication Efficient Distributed Shared Memories
1993-02-09
Towards Conflict Resolution in Agent Teams Via Argumentation
2000-04-22
Edgebreaker: Connectivity compression for triangle meshes
2000-05-24
Jarek Rossignac
An Iterative Algorithm for Synthesizing Invariants
1970-01-01
Jussi Rintanen
Error Analysis of the symplectic Lanczos Method for the symplectic Eigenvalue Problem
2000-03-13
Heike Fabender
Blind Source Separation by Sparse Decomposition in a Signal Dictionary
2000-07-10
Perceived Speed of Colored Stimuli
2000-01-17
Fuzzy System Identification - Takagi-Sugeno Modelling and Identification
2000-04-18
A New Deflation Criterion for the QR Algorithm
1997-03-27
Inductive Solution of Borel's Measure Problem
2000-04-03
Thierry Coquand
QUICK - A Graphical User Interface to Genome Multidatabases
1997-04-03
The Petri Net Kernel: An Infrastructure for Building Petri Net Tools
1998-11-17
Dependence Management in Component-Based Distributed Systems
2000-02-23
Draft: Efficient algorithm for finding two largest empty circles
1999-03-06
Sergei Bespamyatnikh
Numerical Replication of Computer Simulations: Some Pitfalls and How To Avoid Them
2000-02-03
Theodore C. Belding
Fast Hardware-Software Coverification by Optimistic Execution of Real Processor
1999-12-22
On Mutually Recursive Free Types in Z
2000-05-23
Cv
2000-02-15
Igor L. Markov
Coupled Bloch-phonon oscillations in GaAs/AlGaAs superlattices: theory and experiment
2000-06-11
Teaching fractions in elementary school: A manual for teachers
2000-05-16
H. Wu
Implicit Algorithms for Multi-Valued Input Support Minimization
2000-07-02
An Object-Oriented Framework for Dynamically Configuring Extensible Distributed Systems
1998-11-19
Mutualism, Parasitism, and Evolutionary Adaptation
2000-04-04
Multinational Evolutionary Algorithms
1999-03-29
Rasmus K. Ursem
Adaptive Resource Management Via Modular Feedback Control
1970-01-01
The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming
2000-04-27
Clique Is Hard To Approximate Within ...
2000-07-17
Interior-Point Algorithms for Semidefinite Programming Based on A Nonlinear Programming Formulation
2000-02-02
A Comparison of Measures for Visualising Image Similarity
2000-04-04
Users, Programmers, and Statistical Software
2000-02-23
John M. Chambers
Guided Local Search for the Three-Dimensional Bin Packing Problem
2000-01-15
Detecting Shared Congestion of Flows Via End-to-end Measurement
1970-01-01
A Toric Ring With Irrational Poincaré-Betti Series
1998-07-08
Intrusion Detection in Wireless Ad-Hoc Networks
2000-06-21
Heuristic Motion Planning with Movable Obstacles
1998-04-17
Elan: User Manual
2000-03-24
A Case for Synchronous Objects in Component-Bound Architectures
2000-05-30
Claude Petitpierre
On Roots of Random Polynomials
1998-11-05
Fjacome,gustavog@ece.utexas.edu
2000-01-19
Singularities of the Projections of Surfaces in 4-Space
1997-10-01
Archetypal Source Code Searches: A Survey of Software Developers and Maintainers
1999-01-04
Run-Time Methods For Parallelizing Do Loops
1997-06-10
On the Formalization of Actions Using Transaction Logic
1999-07-08
Tolentino Santos
An Approach towards Benchmarking of Fault-Tolerant Commercial Systems
1999-11-30
CCEL: The C++ Constraint Expression Language An Annotated Reference Manual Version 0.5
1994-02-17
Superconvergence of The Derivative Patch Recovery Technique and
1999-09-02
Variational Characterization of the Speed of Propagation of Fronts for the Nonlinear Diffusion Equation
1997-04-26
Semantics, Consistency and Query Processing of Empirical Deductive Databases
1995-07-19
Raymond T. Ng
m: a Strategy for Integrating IP with ATM
1998-11-19
Nigel Ward
2000-02-16
Nigel Ward
Zeros of Reliability Polynomials and f-Vectors of Matroids
1999-01-19
David G. Wagner
Coreference in Knowledge Editing
1999-06-18
The convergence of telecommunications and computing: What are the implications today?
1997-03-09
David G. Messerschmitt
Accelerated Life Testing Model Building With Box-Cox Transformation
2000-04-18
Die Entwicklung der Informatik braucht Theorie und Praxis.
1996-01-08
The syntax of BLOOM99 schemas
2000-05-25
Immanants And Finite Point Processes
2000-03-21
The Path-repair algorithm
1999-12-08
Zipf's Law for Web Surfers
1970-01-01
A Dynamic Model of Aspectual Composition
2000-02-04
Constraint Programming viewed as Rule-based Programming
2000-03-22
Attractor Dynamics in Feedforward Neural Networks
2000-03-09
Computing Common Tangents Without a Separating Line
1994-05-11
Observer Based Adaptive Robust Control of a Class of Nonlinear Systems with Dynamic Uncertainties
2000-05-31
Applying Artificial Intelligence to Virtual Reality: Intelligent Virtual Environments
1999-08-24
Visual Light from the Eclipsing Supersoft X-Ray Source CAL 87
1998-02-09
Field Analysis: Getting Useful and Low-cost Interprocedural Information
2000-04-13
SuperWeb: Research Issues in Java-Based Global Computing
1997-04-28
More Evaluation of Decision Procedures for Modal Logics
2000-01-12
Real-time Bus for Multiprocessor-based Programmable Controller
1996-06-26
Data Engineering
1970-01-01
Institutional Ownership and the Extent to which Stock Prices Reflect Future Earnings
2000-06-20
Practical Iterated Fill Synthesis for CMP Uniformity
2000-04-24
A Quality of Service Management ArchitectureQoSMA: A preliminary study
1996-03-28
Marco Alfano
Interactive 3D Medical Visualization: A Parallel Approach to Surface Rendering 3D Medical Data
1999-03-25
Satisfiability Algorithms and Finite Quantification
2000-01-21
Adding Fault-Tolerance to P-Fair Real-Time Scheduling
1999-06-28
Motion Planning and Trajectory Control of an Underactuated Three-Link Robot via Dynamic Feedback Linearization
2000-05-12
Alessandro De
Agricultural Markets as Relative Performance Evaluation
2000-01-31
Brent Hueth
Geometry of the Moment Map for Representations of Quivers
2000-04-26
William Crawley-boevey
Exploiting Modal Logic to Express Performance Measures
2000-01-07
Dynamically Adapting Registration Areas to User Mobility and Call Patterns for Efficient Location Management in PCS Networks
2000-07-21
Mobile Robot Self-Localization without Explicit Landmarks
2000-01-12
Inheritance in Higher Order Logic: Modeling and Reasoning
2000-05-03
Ellipsoidal techniques for reachability analysis: Internal approximation
1999-12-29
A. B. Kurzhanski
Ordered Greed
2000-04-10
Robust German Noun Chunking With a Probabilistic Context-Free Grammar
2000-06-16
Large Exponential Neighbourhoods for the Traveling Salesman Problem
1999-01-23
Anders Yeo
The Object-Oriented Design and Performance of JAWS
2000-03-30
On TLA as a Logic
2000-02-02
What do Advanced Transaction Models Have to Offer for Workflows ?
1998-10-03
Overview of course 2 Some definitions
1995-02-01
What Users Expect from Future Terminal Devices: Empirical Results from an Expert Survey
2000-07-04
An Old-Fashioned Recipe for Real Time
2000-02-02
An Algebraic Approach to Heterogeneous Software Systems
2000-06-26
An algorithm constructing the semilinear for 2-dim Reset/Transfer VASS Extended Abstract
2000-06-14
A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams
1997-02-25
Christoph Meinel
Incremental Process Support for Code Reengineering
1996-10-04
In Search of a General Picture Processing Operator
1997-07-22
Goesta H. Granlund
The Totem Multiple-Ring Ordering and Topology Maintenance Protocol
1998-08-21
Timing Optimization By Gate Resizing And Critical Path Identification
1994-12-23
Wen-ben Jone
Mispredicted Path Cache Effects
2000-02-03
Intersection Types and Computational Effects
2000-07-11
Borel Automorphisms With No Finite Invariant Measure
1970-01-01
AURA II: Combining Negative Thinking and Branch-And-Bound in Unate Covering Problems
1999-09-27
IBP-Mail: Controlled Delivery of Large Mail Files
1999-10-12
Customization of Object Request Brokers by Application Specific Policies
2000-01-07
Pattern Density and Role Modeling of an Object Transport Service
2000-05-20
Deeply Inelastic Hadronic Final States: QCD Corrections
1997-08-15
Dirk Graudenz
Multi-Linearity Self-Testing with Relative Error
1999-12-10
Tuning the Performance of I/O-Intensive Parallel Applications
1998-09-17
Partition Based Spatial--Merge Join
1996-05-10
Ordered Core Based Trees
2000-03-21
AIM Advanced Informatics in Medicine Secure Environment for Information Systems in MEDicine SEISMED A2033
2000-02-28
Classifying Adversarial Behaviors in a Dynamic, Inaccessible, Multi-Agent Environment
2000-01-07
Patrick Riley
The Exit Problem for a Class of Density Dependent Branching Systems
1998-11-05
Continuous Learning Automata Solutions To The Capacity Assignment Problem
2000-05-05
Partial Order Based Modeling of Concurrency at the System Level
1998-05-12
Automatic Deployment of Application-Specific Metadata and Code in MOCHA
2000-03-18
CEDAR Digits in Snap-link Space -- 2
1999-07-04
Patrick C Hew
Industrialization Ofreference Free Part Encapsulation Fixtures
2000-03-29
A Voxel-Based Representation for the Evolutionary Shape Optimisation of a Simplified Beam: A Case-Study of a Problem-Centred Approach to Genetic Operator Design
1998-10-01
Handling Obstacles in Goal-Oriented Requirements Engineering
2000-03-17
From High Level Programming Model to FPGA Machines
1994-04-28
Efficient Address Sequence Generation for Two-Level Mappings in High Performance Fortran
1998-09-29
Dynamic Parallel Evaluation of Cross Product Set Using Timestamps Gopal
1970-01-01
Gopal Guptay
3D Reconstruction from Tangent-of-Sight Measurements of a Moving Object Seen from a Moving Camera
2000-04-09
Disk Scheduling with Quality of Service Guarantees
1999-09-07
Self-Dual Transverse Space and Gravity Trapping
2000-05-03
C. Grojean
Representing Aerosol Microphysics in Hemisperic-Scale Chemical . . .
1996-12-02
Simian User's Guide
1970-01-01
A Graph-Oriented Task Manager for Small Multiprocessor Systems.
1999-11-19
Strategy Specification Language - Oceans Deliverable D2.1a
2000-02-15
A Semifeasible Trust-Region Model Algorithm for Minimization With Inequality Constraints
1999-03-15
Experience with a Distributed File System Implementation
1997-09-18
Recognizing Intentions from Rejoinders in a Bayesian Interactive Argumentation System
2000-07-13
Techniques for Securing Networks against Criminal Attacks
2000-07-03
Hardware Verification, Boolean
2000-01-13
A Theory of Focus Interpretation
1995-03-06
Mats Rooth
Scalable Content-aware Request Distribution in Cluster-based Network Servers
2000-04-26
Adaptive anisotropic noise filtering for magnitude MR data
2000-06-22
On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels
2000-03-17
Computational Algebraic Geometry and Switching Surfaces in Optimal Control
1999-05-14
A Dynamic Connection Management Scheme for Guaranteed Performance Services in Packet-Switching Integrated Services Networks.+
1998-02-16
Potential Cases, Methodologies, and Strategies of Synthesis of Solutions in Distributed Expert Systems
1999-07-30
Morphological Scale-Space With Application to Three-Dimensional Object Recognition
1995-02-20
Paul Thomas Jackway
ILUT: A Dual Threshold Incomplete LU Factorization
1993-07-08
Youcef Saad
Short Solutions of
1998-10-08
Keith Matthews
Looking at the Web through XML glasses
1999-03-29
Haruo Noma Tsutomu Miyasato
2000-07-11
Controlling Logical Scope in Text Generation
1999-06-18
PTTP+GLiDeS: Guiding Linear Deductions with Semantics
1999-03-18
An Estimator of the Number of Change Points Based on a Weak Invariance Principle
2000-05-17
Christoph K Uhn
A Genuinely Multidimensional Riemann Solver
1993-05-25
Back and Forth Between Guarded and Modal Logics
2000-07-10
Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components
1997-10-25
Fast Deterministic Parallel Branch-and-Bound
1999-03-19
On Behavior Acquisition and Classification in Adversarial Environments
2000-05-16
Modal Change Logic MCL: Specifying the Reasoning of Knowledge-based Systems
1998-06-29
Periodic Instantons with non-trivial Holonomy
2000-03-11
Feature Representations For Image Retrieval: Beyond The Color Histogram
2000-05-15
Nuno Vasconcelos
Dealing With Negated Knowledge and Inconsistency in a Neurally Motivated Model of Memory and Reflexive Reasoning
1998-02-23
Efficient Manipulation Algorithms for Linearly Transformed BDDs
2000-04-05
Secure Composition of Untrusted Code: Wrappers and Causality Types
2000-04-11
Peter Sewell
Shape Invariant potentials depending on n parameters transformed by translation
2000-03-29
Arturo Ramosx
Electronic Notes in Theoretical Computer
1999-09-28
Boolean Compilation of Relational Specifications
1998-08-14
Daniel Jackson
Quasiclassical Calculations In Beam Dynamics
2000-06-21
Hardware/Software Co-Design using Functional Languages
2000-02-28
Justin A. Boyan and Andrew W. Moore
2000-05-23
The Great Disconnection?
1991-03-01
Michael F. Schwartz
Caching for Web Searching
2000-03-24
On the Stability of Edges in Planar Delaunay Triangulations
1997-01-17
Frank Weller
Parallel Transport Approach to Curve Framing
1995-02-23
Design Framework Of PLC-Based Control For Reconfigurable Manufacturing Systems
2000-02-14
Data Analysis Software
1999-01-04
Confluent Equational Reasoning for Linking with First-Class Primitive Modules
1999-08-25
Joe Wells
Semi-Quantitative System Identification
2000-05-09
Discovering Unordered and Ordered Phrase Association Patterns for Text Mining
2000-01-26
Multi-Class Latency-Bounded Web Services
2000-04-24
Dependence Graph and Signal Flow Graph Scheduling of Pipelined Adaptive QR Algorithm
1999-01-29
Jun Ma
A Global Semantics for Views
2000-02-25
On Implementing a Protocol Independent MIB
1999-04-21
Markings Of The Golay Code
1996-07-11
Living Arrangements of Older Persons
2000-06-27
Alberto Palloni
Distinguishing Photographs and Graphics on the World Wide Web
1997-08-27
Aspects of Symmetry in Lasers With Optical Feedback
1999-01-12
Bass Series Of Local Ring Homomorphisms Of Finite Flat Dimension
1999-04-27
Sisl: Several Interfaces, Single Logic
2000-05-17
Detc 97/dfm-4347
1997-08-11
Higher Order Finite Element Discretizations in a Benchmark Problem for Incompressible Flows
2000-03-24
Volker John
H-RMC: A Hybrid Reliable Multicast Protocol for the Linux Kernel
2000-03-08
Integral Self-Affine Tiles In R^n II. Lattice Tilings
1997-12-02
Michel Dubois-Violette Peter W. Michor
1998-12-03
Parametric Shape Analysis via 3-Valued Logic
2000-03-03