Knowledge-Based Recommender Systems
2000-04-04
The Bergen Ocean Model Benchmark 1.0
2000-02-07
HPF Library, Language and Compiler Support for Shadow Edges in Data Parallel Irregular Computations
2000-01-18
Thomas Brandes
EVALUATING CRYPTOGRAPHIC PROTOCOLS Alec F. Yasinsac and William A. Wulf
1999-12-17
Mapping Search Graphs Onto Arbitrary Processor Networks or Making PROLOG Parallel
1998-10-13
Douglas Eadline
REUNITE: A Recursive Unicast Approach to Multicast
2000-03-22
High-Speed, Analyzable Simulators
1999-09-29
On Geometry Of Radio Antenna Placements
1998-01-09
Level Set Method for Thin Film Epitaxial Growth
1970-01-01
Unilateral Capital Transfers, Public Investment, and Economic Growth
2000-05-25
Recommended Citation
1998-10-30
Nonparametric Estimation for the Location of a Change-Point in an Otherwise Smooth Hazard Function Under Random Censoring.
1998-10-02
Security Issues in Networks with Internet Access
1998-02-18
Interaction Systems I: The theory of optimal reductions
2000-05-31
A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results
2000-06-14
Using Dynamic Load Balancing in Distributed Information Systems
1994-06-07
Mourad Kara
The Singular Value Decomposition in the Extended Max Algebra
2000-06-16
On Potential Fault Detection in Sequential Circuits
1999-06-30
A Superpolynomial Lower Bound for a Circuit Computing the Clique Function with at most 1/6 log log n Negation Gates
1998-05-19
A Fast Algorithm for Massively Parallel, Long-Term, Simulation of Complex Molecular Dynamics Systems
1997-09-13
On the Impact of Causal Independence
1998-01-22
Four Testable Predictions of Instanton Cosmology
1999-09-21
Bayes Point Machines: Estimating the Bayes Point in Kernel Space
1999-04-06
Uncertainty analysis of 3D reconstruction from uncalibrated views
2000-04-13
Discretizing Constant Curvature Surfaces Via Loop Group Factorizations: The Discrete Sine- And Sinh-Gordon Equations
1999-12-14
Franz Pedit
A Fortran 90 Interface for OpenGL: Revised January 1998
1998-02-23
William F. Mitchell
Bayesian Filtering for Tracking Pose and Location of Rigid Targets
2000-04-20
Anuj Srivastava
Web Browsing in a Wireless Environment: Disconnected and Asynchronous Operation in ARTour Web Express
2000-07-20
Name Mpi Wall
1994-02-10
Pricing Priority Classes in a Differentiated Services Network
1999-11-15
Peter Marbach
Random Walks and Catalan Factorization
1999-05-31
Overcoming Heterogeneity and Autonomy in Multidatabase Systems
2000-05-30
Kinetic Surface Roughening And Pattern Formation In Molecular Beam Epitaxy
1996-02-13
Survey Of Multi-User Distributed Virtual Environments
2000-03-07
Michael Meehan
Estimates On The Concentration Function Of Sets In R
1999-08-08
Ralph Howard
Complex Phase Lag Behaviors of the 0.5 -- 10 Hz QPOs in GRS 1915+105
2000-01-19
A Formalization of Priority Inversion
1993-03-16
Data-flow Synchronous Languages
1994-01-11
PROBING LEPTON-NUMBER-VIOLATING COUPLINGS OF DOUBLY-CHARGED HIGGS BOSONS AT AN e
1996-02-09
A Note on Fuzzy Predicate Logic
1999-12-27
Petr Hjek
Relevance Reasoning to Guide Compositional Modeling
1994-01-13
Train Schedule Optimization in Public Rail Transport
2000-05-12
T. Lindner
A Data Integrating Phase Aligner for High Speed CMOS IO
2000-07-19
Quasi-isometries preserve the geometric decomposition of Haken manifolds
1997-07-16
Extremal Metrics On Graphs I
2000-01-24
Dmitry Jakobson
CARP@ - Managing Dynamic Jini Systems
2000-04-02
Configuration Management in terms of Modules
1995-05-09
Accounting for Interrupt Handling Costs in Dynamic Priority Task Systems
1998-04-11
A Parametrization of the Auction Design Space
2000-05-22
Crystal Barrel Collaboration A. Abele
1999-05-26
MLDS: A Translator-oriented MultiLingual Dictionary System
2000-03-06
Extension Of Smooth Cr Mappings Between Non Essentially Finite Hypersurfaces In
1996-04-24
Continuous Time Discounted Jump Markov Decision Processes: A Discrete-Event Approach
2000-03-21
Eugene A. Feinberg
A Statistical and Physical Mechanisms-Based Interference and Noise Model for Array Observations
2000-03-12
On the Maximum Tolerable Noise for Reliable Computation by Formulas
1995-09-15
William Evans
Extending Hardware Description in SDL
1970-01-01
Semi-Structured Data Extraction from Heterogeneous Sources
1999-05-25
The Spin Structure of the Nucleon in the Resonance Region
2000-03-01
D. Drechsel
The UBC Distributed Continuous Media File System: Internal Design of Server
1995-07-24
The Virtual Acoustic Room
2000-01-31
Simultaneous Dominance Representation of Multiple Posets
1995-08-30
A Bootstrapping Approach To Parser Development
2000-01-13
Providing Bandwidth Guarantees Over a Best-Effort Network: Call-Admission and Pricing
2000-07-11
A Critical Look At Speech Act Theory
2000-01-13
Jens Allwood
Interleaving Semantics and Action Refinement with Atomic Choice
1995-04-15
Operational Use Of Wind Data For Slick Detection
1997-06-05
Finiteness of the Set of Frames of Graphs of Bounded Average Genus
1999-05-04
A Calculus for Overloaded Functions with Subtyping
1999-06-18
Giorgio Ghelli
Assessment Of Environmental Fatigue Rules Using Design Transients In A PWR Plant
2000-05-23
Set Theory for Verification: II
1995-04-26
Lawrence C. Paulson
Performance Improvements to LAPACK for the Cray Scientific Library
1997-04-22
Transmultiplexing Of Multidimensional Signals Over Arbitrary Lattices With Perfect Reconstruction
1996-01-25
Eric Dubois
A Generic Approach for Planar Patches Stereo Reconstruction
1995-03-15
Scaled Particles' Models And Thermodynamic Properties Of
1997-03-06
I. Adamenko Ya. Skirda
Efficient Algorithm for Minimal-Rank Matrix Approximations
1994-11-28
Alle-jan Van Der Veen
FidelityXPress: A Multi-Modal System for Financial Transactions
2000-03-22
Visibility Culling using Hierarchical Occlusion Maps
1997-09-04
Fundamental Limits and Tradeoffs of Providing Deterministic Guarantees to VBR Video Traffic
1998-02-23
D. Bertrand
2000-06-22
Trade-offs in a Secure Jini Service Architecture
2000-06-05
Cosmological Constraints From the Cluster Gas Fraction
1999-06-12
On magnetic reconnection in compact flares: How can the models apply to real flares?
2000-01-26
D. W. Longcope
Test of CP-violation in e
1997-07-23
A Responsiveness Approach for Scheduling Fault Recovery in Real-Time Systems
1999-06-28
Non-Uniform Sampling In Shift-Invariant Spaces
2000-06-01
Interval Estimators for the Population Mean for Skewed Distributions With a Small Sample Size
1997-11-04
Glen Meeden
Analyzing the Formation of Structure in High-Dimensional Self-Organizing Maps Reveals Differences to Feature Map Models
1999-11-09
A New Method for Solving Hard Satisfiability Problems
1999-08-30
Control Design of an Automated Highway System
2000-02-26
A Maximum Likelihood Investigation Into Texture Classification
2000-02-24
The Distribution of Exchange Rate Volatility
2000-02-21
Rate-Distortion Based Video Coding With Adaptive Mean-Removed Vector Quantization
2000-05-24
Lending Direction to Neural Networks
1994-01-17
Elimination of Negation in a Logical Framework
2000-05-31
Alberto Momigliano
Higher-Order Differential Energy Operators
1997-10-27
Automated Matching of Aerial Images
1995-10-09
Tom Werner
Interpolating Scaling Functions with Duals
2000-04-26
Qualitative Representation of Positional Information
1970-01-01
Amit Bagga
2000-03-22
Wavelength Assignment in WDM Rings to Minimize SONET ADMs
1999-12-05
Linear Operators which Preserve Pairs on which the Rank is Additive
1999-08-10
Leroy B. Beasley
Models of Extinction - A Review
1999-08-20
Leveled Commitment and Trust in Negotiation
2000-04-13
HARD DIFFRACTION IN VECTOR MESON PRODUCTION AT HERA On behalf of the H1 and ZEUS Collaborations
1999-05-07
B. Clerbaux
Oriented Hypercubes
2000-05-29
50 TO 70 GHz InP/InGaAs HBT AMPLIFIER WITH 20 dB GAIN
1999-06-18
The Desk Area Network
1991-07-12
Conformance
1996-10-31
Fast approximate PCPs
2000-06-21
A Method of Computational Correction for Optical Distortion in Head-Mounted Displays
1995-03-31
Second Order Approximation For Optical Polarons In The Strong Coupling Case
1996-09-27
Long time scale INSAR by means of high coherence features
2000-02-02
No Quadrangulation is Extremely Odd
1995-10-16
Godfried Toussaint
Asymptotics and Scalings for Large Closed Product-form Networks via the Central Limit Theorem
1996-03-01
Simulation of cortex-like neural networks on a CNAPS SIMD neurocomputer
1996-09-22
Optimal Dynamic Range Searching in Non-replicating Index Structures
1997-07-16
Mianjin: A Parallel Language with a Type System that Governs Global System Behaviour
2000-05-26
Paul Roe
Finite Volume Approximation of a Class of Variational Inequalities
2000-05-16
Self-Organizing Feature Maps
2000-06-27
Context Dependent Minimization of State/Event Systems
2000-03-27
Optimal Control of a Linear Elliptic Equation With a Supremum-Norm Functional
2000-06-30
Thomas Grund
Experiment Management Support for Parallel Performance Tuning
2000-02-14
Teletraffic Issues in Mobile Network Planning
1998-11-12
Ubiquitous Communications
1997-05-22
Higher Order Logic
1994-01-03
Daniel Leivant
Quadrature Formulas for Multivariate Convex Functions
1970-01-01
Protein Sequence Grouping by Peptide Word Motifs
1995-12-13
The Complexity of Iterated Multiplication
1995-03-31
Neil Immerman
The Performance of Distance Education Video in Java
2000-06-21
UTLB: A Mechanism for Address Translation on Network Interfaces
2000-07-18
Observation at HERA of Events with an Isolated Charged Lepton and Large Missing Transverse Momentum
1999-07-19
Zeus Collaborations
Fractals, Dimension, And Formal Languages
1998-03-11
Interactive exploration of acquired 3D data
2000-02-21
Simulating Fractionally Differenced Gaussian Noise
2000-03-28
Brandon Whitcher
Deciding the Confluence of Ordered Term Rewrite Systems
2000-06-09
Nonlinear Programs With Unbounded Lagrange Multiplier Sets
2000-02-18
Mihai Anitescu
Optimization of Photodiode Readout of CsITl Crystals
1995-08-10
A Survey of Reverse Engineering and Program Comprehension
1996-05-02
Michael L. Nelson
Automatic Verification of Asynchronous Circuits
1994-02-24
Restauration des Images Multi-Echelles par l'Algorithmeà Trous
1999-04-21
On the Area Bisectors of a Polygon
1998-08-04
Atomic Static Displacements and Their Effect on the Short Range Order in Alloys
1998-07-23
Z. Gurskii Yu. Khokhlov
How to Select Optimal Portfolio in Alpha-Stable Markets
1997-02-07
Hits-and-Misses for the Evaluation and Combination of Forecasts
2000-05-25
Thomas Wenzel
acta physica slovaca vol. 49 No. 4, 643 -- 646 August 1999 DETERMINATION OF THE WIGNER FUNCTION FROM PHOTON STATISTICS
1999-06-04
Bayesian Networks for Lossless Dataset Compression
1999-06-16
New Insights on the Complexity of ResourceConstrained Project Scheduling - Two Cases of Multi-Mode Scheduling
2000-05-12
Value-cognizant Speculative Concurrency Control
2000-03-21
The Gluon Density of the Proton at Low
1997-12-19
H Collaboration
A Differential Geometric Setting for Dynamic Equivalence and Dynamic Linearization
1994-09-26
Nimrod/G: An Architecture for a Resource Management and Scheduling System in a Global Computational Grid
2000-03-03
Achieving Database Security Through Data Replication: The Sintra Prototype
1994-09-29
Distributed Manipulation of Multiple Objects using Ropes
2000-03-09
Restless Bandits, Partial Conservation Laws and Indexability
2000-01-11
Replacement Decisions forEvolving Software
2000-07-20
Counting Embeddings of Planar Graphs Using DFS Trees
1994-03-18
Jiazhen Cai
On The Design of Genetic Algorithms for Geographical Applications
1999-04-02
A Basic Study of the QAP-Polytope
1970-01-01
Characterization of Surface Fault Patterns with Application to a Layered Manufacturing Process
1998-04-23
Wick algebras approach to physics of 2D systems
1970-01-01
Roman Gielerak
Geometric Analysis of Wing Sections
1997-09-30
Hemicellulose degradation by microorganisms from the . . .
2000-03-29
Hplhooxor- R R Eplur
Vibration Analysis On A Thin Plate With The Aid Of Computation Of Normal Forms
2000-03-20
"Dual Representations" for Vision-Based 3D Reconstruction
2000-07-11
Supporting Strategic Process
2000-05-01
John Debenham
Security of Quantum Protocols Against Coherent Measurements
1998-07-15
Andrew Chi-chih Yao
An Image-Based Approach To Three-Dimensional Computer Graphics
1997-06-06
Leonard Mcmillan
Parallel Microassembly with Electrostatic Force Fields
1998-08-04
A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning
2000-05-24
General Help Systems for Network Resource Discovery
1994-10-19
Clarisse Sieckenius De Souza
Real-Time Properties of Indirect Recursive Procedures
2000-07-03
Johann Blieberger
Implementation Plan for the NASA Center of Excellence for Structures and Materials
1998-09-30
Charles E. Harris
Efficient Image Segmentation Using Partial Differential Equations and Morphology
2000-03-03
Off-Line Cursive Script Recognition Based on Continuous Density HMM
2000-06-23
PFSA Modelling of Behavioural Sequences by Evolutionary Programming
1994-12-08
Real Time Implicit Bulging and Volume Preservation
1999-12-02
A Lightweight Multi-Agent Musical Beat Tracking System
2000-05-05
Simon Dixon
Dynamics of one-pass germinal center models: Implications for affinity maturation.
1998-05-29
A Multi-version Approach to Conflict Resolution in Distributed Groupware Systems
2000-04-20
PARA++ : C++ Bindings for Message Passing Libraries : User Guide
1995-06-20
Strategies for Sequential Prediction of Stationary Time Series
2000-06-21
Relevance and Insight in Experimental Studies
1997-04-13
Pat Langley
Translating $IDelta_0+exp$ proofs into weaker systems
1999-05-29
Chris Pollett
Verifying Safety By Combining Joint Actions With a Process-Algebraic Approach
1999-05-11
A Content-based Scene Change Detection and Classification Technique using Background Tracking
2000-05-30
Verisim: Formal Analysis of Network Simulations
2000-03-01
Performance of Wavelet-Based Shaping Pulses on Linear and Non-Linear Channels
1999-04-02
Extracting Large-Scale Knowledge Bases From the Web
2000-05-11
From Boom til Bust: How Loss Aversion Affects Asset Prices
2000-07-25
HybridGenetic Algorithms are Better for Spatial Clustering
1970-01-01
Vladimir Estivill-castro
The CDT mStar Environment: Scalable Distributed Teamwork in Action
1997-08-20
Efficiency of Finite State Space Monte Carlo Markov Chains
2000-06-19
Antonietta Mira
A Unified Framework for Optimizing Communication in Data-Parallel Programs
2000-02-22
The SIMBAD astronomical database - The CDS Reference Database for Astronomical Objects
1999-12-16
Logic Programming for General Game-Playing
1993-05-28
Physically Based Information Science of Magnetic Recording - I. Information Capacity of a Medium Model
2000-06-02
The Gdh Sum Rule For The Deuteron
2000-07-03
H. Arenh Ovel
Noise Sources In The Sea And The Impact For Those Who Live There
1999-05-13
Low-Cost Multicast Routing in Wireless Mobile Networks
2000-07-16
Computer-Aided Synthesis of Parallel Image Processing Applications
1999-11-24
Fast Randomized Algorithms for Computing Minimum {3,4,5,6}-Way Cuts
1999-12-30
Matthew S. Levine
III Zw 2, the first superluminal jet in a Seyfert galaxy
2000-04-18
Effect of Alphabet Size and Foldability Requirements on Protein Structure Designability
1999-01-26
Explicit Extension Operators on Hierarchical Grids
1997-10-24
Randomized Greedy Hot-Potato Routing
2000-04-29
Using Windows NT for Real-Time Applications: Experimental Observations and Recommendations
1999-12-30
Necessary Conditions for Asymptotic Tracking in Nonlinear Systems
1991-09-19
Tree-Level Invariants Of Three-Manifolds, Massey Products And The Johnson Homomorphism
1999-05-18
Stavros Garoufalidis
High Performance Support for OO Traversals in Monet
1996-01-30
Rinner@iti.tu-Graz.ac.at
2000-05-09
Bernhard Rinner
Kirkman Triple Systems of Orders 21 and 27
2000-06-20
Mathematics of
1999-10-07
Nelson H. F. Beebe
An Integrated Approach to Dynamic Decision Making under Uncertainty
1997-09-24
Tze-yun Leong
Transparent Network Security Policy Enforcement
2000-04-21
Louis Perrochon
1995-06-21
Louis Perrochon
PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability
1999-12-19
PAL+: A Lambda-Free Logical Framework
2000-06-07
Zhaohui Luo
Vision-Based Self-Localization for Soccer Robots
2000-07-14
Lattice-Gas Quantum Computation
2000-07-14
Jerey Yepez
The Extended Linear Complementarity Problem and its Applications in the Analysis and Control of Discrete Event Systems and Hybrid Systems
2000-06-16
A Route Advice Agent that Models Driver Preferences
1999-04-03
"No Collision" in a Protocol with
1999-10-07
Checking the Equations for the Mathematical Representation of A-CRL
1999-08-05
Willem Jan Fokkink
New Theories of Set-Valued Dierentials and New Versions of the Maximum Principle of Optimal Control Theory
1970-01-01
Hector J. Sussmann
Declarative Semantics of Belief Queries in MLS Deductive Databases Extended Abstract
2000-05-23
Numerical Continuation, And Computation Of Normal Forms
2000-07-10
Tracking Drifting Concepts By Minimizing Disagreements
1995-10-14
Route Adaptation of Control Strategies and Driver Assistent System for City Buses
1999-12-20
An Extended Entity-Relationship Approach to Data Management in Object-Oriented Systems
2000-02-24
Moira C. Norrie
Positive Solutions Of The Equation
1999-06-23
Rating Banks: Risk and Uncertainty in an Opaque Industry
2000-05-17
Donald P. Morgan
A Comment on the "Basic Security Theorem" of Bell and LaPadula*
1997-07-25
John Mclean
Dynamic Subdivision Surfaces For Natural Terrain Modeling
1998-12-13
Local Analysis Of Nonlinear Rms Envelope Dynamics
2000-06-21
Field Strength Prediction by Ray-Tracing for Adaptive Base Station Positioning in Mobile Communication Networks
1998-11-12
Typestate Checking of Machine Code
2000-07-17
A Meta-Method for Formal Method Integration
1999-12-16
Richard F. Paige
Towards a Complete Map of the Protein Space Based on a Unified Sequence and Structure Analysis of All Known Proteins
2000-04-24
Golan Yona
A Control Law Design Method Facilitating Control Power, Robustness, Agility, and Flying Qualities Tradeoffs: CRAFT
1998-09-11
Composite Model Checking: Verification with Type-Specific Symbolic Representations
1999-01-14
Active Case-Based Reasoning for Lessons Delivery Systems
2000-03-18
Utilization Of Cad Models For The Object Oriented Measurement Of Industrial And Architectural Objects
1997-09-11
Andr Streilein
DPFS: A Data Parallel File System environment
2000-03-14
Coloring Powers of Planar Graphs
1999-10-21
Geir Agnarsson
An Integrated 2D Systolic Array for Spelling Correction
1993-09-16
Dominique Lavenier
Synthesis of the Workshop on HYPERSONIC FLOWS FOR REENTRY PROBLEMS
1992-11-19
Computer Aided disAssembly Using Visual Cues.
1997-10-12
Study of the Photon Structure Function
1997-07-31
Extension Polymorphism
1970-01-01
Short-term Exciting, Long-term Correcting Models for Earthquake Catalogs
1999-09-30
H1 Measurements of Open
1999-07-03
Inside this Issue
2000-04-19
Benchmarking Java Grande Applications
2000-04-18
Table of
1999-04-07
Peter Smith
Central Difference Solutions of the Kinematic Model of Settling of Polydisperse Suspensions and Three-Dimensional Particle-Scale Simulations
2000-04-08
MANIC: Multimedia Asynchronous Networked Individualized Courseware
1996-11-20
A Data Intensive Distributed Computing Architecture for "Grid" Applications
2000-03-28
OIL in a Nutshell
2000-07-23
Phase Precoding for Frequency-Selective Rayleigh and Rician Slowly Fading Channels
1999-12-10
Algebres de Hecke et series principales generalisees de . . .
2000-07-10
Running an Operational Baltic Sea Model on the T3E
1999-09-22
Many-sources Delay Asymptotics with Applications to Priority Queues
2000-03-22
Mobility Analysis for Feasibility Studies in CAD Models of Industrial Environments
1999-08-26
C. Van Geem
Theorem Proving with the Real Numbers
1996-12-06
John Robert Harrison
Department of Computer Science
1994-09-06
Darrell Whitley
Models, Rules, Deductive Reasoning
1999-01-14
Trajectory Planning in a Dynamic Workspace: a `State-Time Space' Approach
2000-03-10
Th. Fraichard
Parallel Processing for ab initio Total Energy Pseudopotential Calculations
1992-10-01
Continuous Media Sharing in Multimedia Database Systems
1994-06-21
Finite Element Discretizations Of Elliptic Problems In The Presence Of Arbitrarily Small Ellipticity; An Error Analysis
1999-06-03
Bjrn Fredrik Nielsen
Keystone: A Group Key Management Service
2000-05-29
Measurement of Internal Jet Structure in Dijet Production in Deep-Inelastic Scattering at HERA
1999-01-09
H Collaboration
On Embeddings Between
2000-03-15
Dynamic Load Balancing Strategies For Planning Production Processes In Heterogeneous Networks
2000-05-12
A Characterization of C.E. Random Reals
1999-02-28
Updating Agents
1999-11-12
Lus Moniz Pereira
The Benefits of Student Research in Information Systems Security Education
1999-12-04
Cynthia E. Irvine
Towards a Language for Groups of Distributed Objects
2000-03-03
A Conservative Approach to Meta-Programming in Constraint Logic Programming
2000-07-12
Modelling Multivariate Extremes
1999-10-06
Exact Identification of Read-once Formulas Using Fixed Points of Amplification Functions
1992-01-15
On the Linear Complexity of the Naor-Reingold Pseudo-random Function from Elliptic Curves
2000-08-22
Mobile ATM: A Generic and Flexible Network Infrastructure for 3G Mobile Services
2000-05-09
Etiquette Modification for Unlicensed Spectrum: Approach and Impact
1970-01-01
Spatial Distribution of Conductances and Currents Associated With a North-South Auroral Form During a Multiple-Substorm Period
1999-11-18
A Study of the Lamarckian Evolution of Recurrent Neural Networks
1999-05-27
HARPS, a new high-resolution spectrograph for the search of extra-solar planets
2000-06-15
Modeling Uncertainty and its Implications to Design-to-Criteria Scheduling
1999-12-20
Hash Functions Based on Block Ciphers and Quaternary Codes
1998-10-08
Llu'is Padr'o
2000-04-12
Departament Llenguatges
Load Balancing of Parallel Affine Loops by Unimodular Transformations
1995-06-16
G. A. Hedayat
Distributional Solutions Of Nonhomogeneous Discrete And Continuous Refinement Equations
1970-01-01
Anomalous Scali I N a Model of Hydrodynami Turbulencewir a Small Parameter
2000-05-25
Fast Ray-Tracing for Field Strength Prediction in Cellular Mobile Network Planning
1998-11-09
Validation procedures in radiological diagnostic models. Neural network and logistic regression.
1999-12-10
Does Extra Genetic Diversity Maintain Escalation in a Co-Evolutionary Arms Race
1970-01-01
Fuzzy Behavior Modulation with Threshold Activation for Autonomous Vehicle Navigation
2000-02-25
Edward Tunstel
How to Tangle with a Nested Radical
1993-09-21
Susan Landau
Outage Contours and Cell Size Distributions in Cellular and Microcellular Networks
2000-02-21
Issues in Bayesian Analysis of Neural Network Models
1997-11-24
Virtual and Real Object Collisions in a Merged Environment
1998-03-12
Daniel G. Aliaga
Multi-Modal Identity Verification Using Expert Fusion
2000-01-10
Register Locking in an Asynchronous Microprocessor
1995-06-16
Incremental Computation and Maintenance of Temporal Aggregates
2000-03-07
WhatNext: A Prediction System for Web Requests using N-gram Sequence Models
2000-05-05
The Bad and the Good-and-Ugly: Formulations for the Traveling Salesman Problem
2000-02-28
Socially Situated Planning
2000-03-29
Jonathan Gratch
Dynamics of the McDonnell Douglas Large Scale Dynamic Rig and Dynamic Calibration of the Rotor Balance
1997-09-30
Supervised Learning for Self-Generating Neural Networks
1995-06-09
Set-Serializability: A Formal Theory for Partitioned Data Extended
1993-01-12
Working WorkingWo rking Working T13 T13T13 T13 Draft DraftDr aft Draft 1321D 1321D1321D 1321D
1970-01-01
On affine actions of Lie groups
2000-05-04
Abdelghani Zeghib
Parallel Performance Investigations of an Unstructured Mesh Navier-Stokes Solver
2000-04-11
Dimitri J. Mavriplis
Computationally Feasible VCG Mechanisms
2000-06-13
How considering incompatible state mergings may reduce the DFA induction search tree
1998-05-13
Systems Programming with C++ Wrappers
1998-11-19
Douglas C. Schmidt
BoB: an Interactive Improvisational Music Companion
2000-05-15
Belinda Thom
Similarity Search in High Dimensions via Hashing
2000-04-10
An Application of a Neural Net for Fuzzy Abductive Reasoning
1998-02-16
Matthias Kaiser
A Quantitative Study of Small Disjuncts: Experiments and Results
1970-01-01
GOLEX --- Bridging the Gap between Logic GOLOG and a Real Robot
2000-03-27
Modeling and Estimating Uncertainty in Parameter Estimation
1999-12-20
Integrating Segmentation and Paging Protection for Safe, Efficient and Transparent Software Extensions
1999-11-12
The Number of Irreducible Polynomials over GF2 with Given Trace and Subtrace
2000-04-17
The Initial Time Layer Problem and the Quasineutral Limit in the Semiconductor Drift-Diusion Model
1970-01-01
Least-Cost Flaw Repair: A Plan Refinement Strategy for Partial-Order Planning
2000-03-27
The Periodic Schrödinger Operators with Potentials in the C. Fefferman-Phong Class
2000-03-31
Zhongwei Shen
A Generic Approach to Satisfy Adaptability Needs in Mobile Environments
2000-02-17
AMVA Techniques for High Service Time Variability
2000-06-26
The Poincaré-Hardy Inequality on the Complement of a Cantor Set
2000-05-03
Implementation of a Product Customization Module for CBR Systems in Electronic Commerce Environments
2000-02-02
Multilevel Parametrization for Aerodynamical Optimization of 3D Shapes
1996-07-25
Minimization of AND-ExOR Expressions
2000-06-05
A Reexamination of the Cross-linguistic Parameterization of Causative Predicates: Japanese perspectives
1998-10-20
State Generation and Automated Class Testing
2000-04-18
Design And Implementation Of Resource Access Decision Server
2000-01-31
Towards Usable VR: An Empirical Study of User Interfaces for Immersive Virtual Environments
1999-07-26
An Automatic Composition Algorithm for Functional Logic Programs
1970-01-01
Moreno Falaschi
A Necessary And Sufficient Symbolic Condition For The Existence Of Incomplete Cholesky Factorization
1995-08-23
Using Asset Prices to Measure the Cost of Business Cycles
2000-05-01
A PCI Bus Based Correlation Matrix Memory and Its Application to k-NN Classification
1999-07-16
Multilevel Additive Methods for Elliptic Finite Element Problems
1994-03-17
Computational Aspects Of Algebraic Geometry
2000-06-29
Wolfram Decker
The Partial Order of Dominant Weights
1998-04-03
John R. Stembridge
A Physical Model for Planar Spiral . . .
1998-04-23
Post Refinement Element Shape Improvement For Quadrilateral Meshes
2000-04-14
Transitional Flowing of Fluids Simulated With a Simple Graphics Model.
1999-04-06
Dominik Durikovic
Violated Obligations in a Defeasible Deontic Logic
1999-09-27
Wrens: A Framework for Rapidly Evolvable Network Services
1999-09-22
Spatio-Temporal Models on the Basis of Innovation Processes - and Application to Cancer Mortality Data
2000-05-19
Ulrike Schach
Investigating Evolutionary Optimisation of Constrained Functions to Capture Shape Descriptions from Range Data
2000-07-12
Onion Routing for Anonymous and Private Internet Connections
1999-01-28
The future of the SPS injection channel
2000-07-07
Structural Lines, TINs, and DEMs
1999-10-25
Regularization of Nonlinear Illposed Problems with Closed Operators
2000-04-18
Karl Kunisch
Practical Small Sample Asymptotics for Distributions Used in Life-Data Analysis
1999-11-13
Parallel and External List Ranking and Connected Components
2000-02-18
Fast Address Sequence Generation for Data-Parallel Programs Using Integer Lattices
1998-05-09
Tie of the KSP VLBI Network to the Terrestrial Reference System
1999-01-04
A Novel Approach to Structure Alignment
1970-01-01
Hiding Communication Latency and Coherence Overhead in Software DSMs
2000-01-25
Complex Query Formulation Over Diverse Information Sources in TAMBIS
2000-05-11
On the Expressive Power of Counting
1994-09-13
Prospects for Scientific Computing in
2000-01-14
Team-Based Work But Not Team-Based Pay
1999-07-12
An Algorithm-Independent Definition of Damage Spreading - Application to Directed Percolation
1999-11-22
A Clustering- and Probability-based Approach for Time-multiplexed FPGA Partitioning
1999-12-24
A Chip-Multiprocessor Architecture with Speculative Multithreading
1999-08-27
Spatial Pictogram Enhanced Conceptual Data Models and Their Translation to Logical Data Models
2000-07-10
Fluid Queues and Regular Variation
1996-07-11
O. J. Boxma
SPAM: A Multiprocessor Execution Driven Simulation Kernel
1993-09-16
Alain Gefflaut
Reconciling Fine-Grained Lexical Knowledge and Coarse-Grained Ontologies in the Representation of Near-Synonyms
2000-04-12
The Ecology of Gaze Shifts
1999-11-09
Dirk Brockmann
Toward Principles for the Representation of Hierarchical Knowledge in Formal Ontologies
1999-07-16
Percolation And Disordered Systems - Errata
1998-01-13
Geoffrey R. Grimmett
Measurement of the Spin Structure Function
1997-01-06
Manfred Ferstl
Evaluating Influence Diagrams using LIMIDs
2000-05-19
Precision Measurement of the
2000-05-17
Some considerations on Poincaré maps for chaotic flows
2000-03-06
Toward a Model Theory for Fuzzy Logic
1970-01-01
Test Results on Hybrid Photodiodes
2000-01-31
Arithmetic of a certain Calabi-Yau threefold
1997-09-29
H. A. Verrill
A Sample Foils Document
1997-03-14
Jim Hafner
Polynomial-Complexity Deadlock Avoidance Policies for Sequential Resource Allocation Systems
1997-12-19
Rapid Prototyping using Formal Specifications
1998-07-22
Set Constraints for Destructive Array Update Optimization
1999-07-01
Indexing Animated Objects Using Spatiotemporal Access Methods
2000-02-25
Strategien zur Dom anenanalyse
1998-04-23
Ulrich Scholz
Face Verification based on Morphological Shape Decomposition
1998-02-11
Graph Based Characterization of Distributed Applications
1999-02-19
The extended Euclidian algorithm on polynomials, and the computational efficiency of hyperelliptic cryptosystems
2000-06-30
Complex Fuzzy Sets: Towards New Foundations
1999-10-04
Blind Successive Interference Cancellation for DS-CDMA Systems
2000-05-08
Design Tradeoffs In A Hardware Implementation Of The K-Means Clustering Algorithm
2000-04-26
Quantitative Volumetric MRI Study of the Cerebellum and Vermis in Schizophrenia: Clinical and Cognitive Correlates
2000-03-27
Power Distribution Law and Its Impact on the Capacity of Multimedia Multirate Wideband CDMA Systems
1999-09-20
Automatic Reclustering of Objects in Very Large Databases for High Energy Physics
1998-07-14
On Activity-Dependent Development in the Mammalian Visual System Prior to Visual Experience
2000-07-10
Annual Report 1997 of the Professorship "Foundations of Programming"
2000-05-05
Fakultat Informatik
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation
2000-05-09
Luby-Rackoff Ciphers over Finite Algebraic Structures or Why XOR is not so Exclusive
1999-10-26
The Pi3-Theory Of The Computably Enumerable Turing Degrees Is Undecidable
1998-10-06
Visualizing Spoken Interaction
2000-01-03
FPGA Implementation of a Prototype WDM On-Line Scheduler
2000-06-04
Competitive Neural Networks
2000-05-25
A Grouping Genetic Algorithm For Coloring The Edges Of Graphs
2000-02-11
Optimizing Large Join Queries in Mediation Systems
2000-02-22
A Clustering Algorithm For Entropy-Constrained Vector Quantizer Design With Applications In Coding Image Pyramids
1996-05-23
Engineering Research Center User Account Request System
1999-09-29
Statistical Models for Classification and Discrimination With Application to Classifying Web Documents
1999-11-16
Stella M. Salvatierra
Restructuring Requirements Specifications for Analysis and Change Management
2000-07-07
A Parallel Architecture for Binary Neural Networks
1999-12-17
The Frequency Distribution of Gene Family Sizes in Complete Genomes.
1998-02-22
A Hybrid Approximate Extragradient-Proximal Point Algorithm Using The Enlargement Of A Maximal Monotone Operator
2000-06-30
Total Positivity and Convexity Preservation
2000-01-28
Michael S. Floater
Bisimulation and the reduction of Petri nets
2000-06-29
Distributed Virtual Machines: A System Architecture for Network Computing
2000-02-01
Research in Object-Oriented Manufacturing Simulations: An Assessment of the State of the Art
1997-09-03
Robust Internet Video Transmission Based on Scalable Coding and Unequal Error Protection
2000-03-07
Additively Weighted Voronoi Diagram on the Oriented Projective Plane
2000-05-09
Measurement of the Running of the Fine-Structure Constant
2000-01-27
Optimal Portfolio Management Rules In A Non-Gaussian Market With Durability And Intertemporal Substitution
2000-07-14
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles
2000-04-25
On The Spatially Homogeneous Landau Equation For Hard Potentials Part I : Existence, Uniqueness And Smoothness
2000-04-12
L. Desvillettes
Analytic Analysis of Algorithms
2000-03-18
Receptive field formation in natural scene environments: comparison of kurtosis, skewness, and the quadratic form of BCM
2000-07-10
New Algorithms for Two-Label Point Labeling
2000-06-09
New Lower Bounds for Convex Hull Problems in Odd Dimensions
1999-11-11
Jeff Erickson
Real-Time Ordnance Recognition in Color Imagery
2000-05-09
Clark F. Olson
Design of the rst generation wave front sensor and actuator geometry for the 6.5 m MMT adaptive-optical system
2000-05-09
Knowledge acquisition of predicate argument structures from technical texts using Machine Learning: the system
1999-04-16
David Faure
Automatic Verification of Parameterized Linear Networks of Processes
1999-12-15
Performance Effect Analysis of False Sharing Problem in Clusters with Single I/O Space
1999-03-24
A Crash Course in Implementation Theory
1970-01-01
Matthew O. Jackson
Case-Based Planning to Learn
1997-05-21
The Gradient and Laplacien Filtered . . .
1994-10-14
Two Controlled Experiments Assessing the Usefulness of Design Pattern Information in Program Maintenance
2000-03-24
On the Complexity of Wavelength Converters
1998-07-06
Perfect Matchings in
1998-02-23
Similarity Based Methods: A General Framework for Classification, Approximation and Association
2000-04-26
WAVE Analysis Toolbox -- a tutorial
1997-03-04
Identification Of A Nonlinear Parameter In A Parabolic Equation From A Linear Equation
1995-11-01
Minimizing the Impact of Orphan Requests in e-Commerce Services
2000-06-21
Empirical Entropy Manipulation for Real-World Problems
1996-09-03
Formsheets and the XML Forms Language
1999-11-22
Anders Kristensen
Integration of Bottom--Up and Top--Down Cues for Visual Attention Using Non--Linear Relaxation
1998-02-23
Trade-Off Between Source And Channel Coding For Video Transmission
2000-07-13
On-Line Learning of Coordination Plans
1993-09-03
A Cellular Automaton Traffic Flow Model for Online Simulation of Traffic
2000-07-10
Lipschitz Programming Via Increasing Convex-Along-Rays Functions
2000-07-12
Canonical Bases and Self-Evacuating Tableaux
1996-11-15
John R. Stembridge
A Novel FEM-Based Dynamic Framework For Subdivision Surfaces
1998-12-13
Comparison of Two Models for Bridge-Assisted Charge Transfer
1999-06-01
Testing for Structural Breaks in Time Series Regressions with Heavy-tailed Disturbances
1999-05-04
A Formalization of Viewpoints
1998-02-16
Maria Simi
A Metadata Resource to Promote Data Integration
1996-05-10
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic
2000-05-24
A Tabular Language for System Design
1997-07-07
Steven D. Johnson
A UML Package for Specifying Real-Time Objects
1999-11-17
Lynn Ma
Sand In The Wheels Of International Finance: Revisiting The Debate In Light Of The Asian Mayhem
1999-04-29
Calculated defect levels in GaN and AlN and their pressure coefficients.
1997-02-06
The Information Agent: An Infrastructure Agent Supporting Collaborative Enterprise Architectures
1994-11-30
Performance Trade-offs in Series-Parallel Programming Models
2000-07-19
On the Composition of Risk Preference and Belief
1970-01-01
Telephone Speech Recognition Applications at IRST
1999-10-26
The Parallel Solution of Almost Block Diagonal Systems Arising in Numerical Methods for BVPs for ODEs
1997-05-12
"How about this weather?" - Social Dialog with Embodied Conversational Agents
2000-06-21
The Lazy Functional Side of Logic Programming
2000-05-22
Applying Adaptive Middleware to Manage End-to-End QoS for Next-generation Distributed Applications
2000-05-01
Uniform Multi-hop All-to-All Optical Routings in Rings
1999-12-07
Jaroslav Opatrny
Trading off Perception with Internal State: Reinforcement Learning and Analysis of Q-Elman Networks in a Markovian Task
1999-12-20
Bram Bakker
Alloying Global and Local Branch History: Taxonomy, Performance, and Analysis
1999-01-13
A System for the Fast Prototyping of Multidimensional Image Retrieval
1999-06-04
Globalization of the Economy
2000-02-11
Hierarchical Monte Carlo Image Synthesis
2000-05-08
Alexander Keller
Implementation of IPv6 in 4.4 BSD
1997-06-04
Codex-dp: Co-design of Communicating Systems Using Dynamic Programming
2000-07-10
Automated Model Capture in Extended Urban Environments Extended Abstract
2000-03-18
System Support for Bandwidth Management and Content Adaptation in Internet Applications
2000-06-02
Symmetric Powers of Modular Representations, Hilbert Series and Degree Bounds
1999-12-14
Ian Hughes
The Geometry of Cone-LP's
1999-07-16
Symbolic Schedulability Analysis of Real-time Systems
1998-09-16
Design and Flight Evaluation of an Integrated Navigation and Near-Terrain Helicopter Guidance System for Nighttime and Adverse Weather Operations
1997-09-30
IDA Assistance for Mixed-Initiative Planning
1999-07-13
Robert St. Amant
Asymptotics of Linear Recurrences with Rational Coefficients
1995-02-17
Precision Electroweak Measurements And "new Physics"
1999-02-19
William J. Marciano
Dense Oscillations for the Euler Equations II
1998-12-15
Reconfiguring Convex Polygons
2000-08-16
Experimentaa Theoretica Results of Stress Rela Ina Model Ofea Edyna
2000-02-22
Incremental Algorithms for Finding the Convex Hulls of Circles and the Lower Envelopes of Parabolas
1994-06-24
Symbiosis of Spontaneous Hypercycles through Self-Compartmentation
1999-12-24
An integrated analysis of Soay sheep survival data
1998-08-29
S. D. Albon
Scheduling Jobs in Ocongestion + dilation with Applications to Multi-point Communication Problems
2000-05-02
Skeleton-Based Motion Capture for Robust Reconstruction of Human Motion
2000-05-26
The Political Economy Of Growth In Developing East Asia: A Thematic Paper
1970-01-01
Medhi Krongkaew
Computing control Lyapunov functions via a Zubov type algorithm
2000-08-24
Scatter/Gather: A Cluster-based Approach to Browsing Large Document Collections
1996-04-03
Continuing Into the Future: the Return
2000-02-07
Luc Moreau
The Ultimate Reuse Nightmare: Honey, I got the wrong DLL.
1999-11-11
P. Devanbu
The Design and Implementation of SPECS: An Alternative C++ Syntax
2000-01-24
Perfect Sampling of Harris Recurrent Markov Chains
1999-03-10
Developing an Educational Multimedia Digital Library: Content Preparation, Indexing, and Usage
2000-04-27
BMSweep: Locating Interior Nodes During Sweeping
2000-04-14
Efficient Symbolic State-space Construction for Asynchronous Systems
2000-04-01
Long-term File Activity and Inter-Reference Patterns
2000-06-01
Computational Methods for Statistical Solutions of Inverse Problems for Flow in Porous Media
1970-01-01
A Logical Viewpoint on Process-Algebraic Quotients
2000-01-31
Variations In National Management Accounting Approaches
1999-12-10
A Lock-FreeApproach to Object Sharing in Real-Time Systems
1998-07-20
Extending Practical Pre-Aggregation in On-Line Analytical Processing
2000-04-11
Parallel Progressive Radiosity with Adaptive Meshing
1996-11-02
The Elusive Atomic Register
1993-08-24
Analysis of Commercial Workload on SMP Multiprocessors
1999-05-03
Estimating the Total Number of Protein Folds
1999-05-25
Unknown
1970-01-01
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Vi
1997-04-23
Advanced Modeling of Complex Behaviour in Concurrent Systems
1997-02-06
Enhancement of the Traveling Front Speeds in Reaction-Diffusion Equations with Advection
2000-02-17
Measuring Web Performance in the Wide Area
2000-03-21
Compiler Correctness For Concurrent Languages
1994-12-23
David S. Gladstein
Qcd Event Generators
2000-01-02
Morphological Appropriate Scale Measurements for Region Segmentation
1999-07-12
Ullrich Kothe
Wavelet-Based Progressive Transmission and Security Filtering for Medical Image Distribution
2000-02-22
The Local Power of Some Unit Root Tests for Panel Data
1970-01-01
Jorg Breitung
The Modulated-Input Modulated-Output Model
1995-07-11
On The Newton Number Of Isosceles Triangles
1970-01-01
Exact T-duality between Calorons and Taub-NUT spaces
1999-04-05
Thomas C. Kraan
A Study of the
1999-12-10
Mina Nozar For Thee Collaboration
Reasoning with Partial Preference Models
2000-01-17
A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification
2000-05-23
Dynamic Interpretations of Constraint-Based Grammar Formalisms
1995-03-10
Field Theory on the q-Deformed Fuzzy Sphere I
1970-01-01
On Polynomial-Time Bounded Truth-Table Reducibility Of NP Sets To Sparse Sets
2000-05-29
Abuse-free Optimistic Contract Signing
1999-09-07
A New Approximation Algorithm for Finding Heavy Planar Subgraphs
2000-03-08
Diameter of Knödel Graph
2000-04-05
Schwarz Preconditioners for Elliptic Problems with Discontinuous Coefficients Using Conforming and Non-Conforming Elements
1994-09-22
Marcus V. Sarkis Martins
Environmental Adaptation for Robust Speech Recognition
2000-03-15
Fu-hua Liu
Analytical tracking along streamlines in temporally linear Raviart-Thomas velocity fields
2000-02-08
T. F. Russell
The Primitive Topology of a Scheme
1997-12-20
Event variables and Davidson's program in semantics
1999-05-04
Barrie Evans
Characterizing Strange Nonchaotic Attractors
1996-08-12
NUMAchine Hardware Reference and Maintenance Manual
1999-09-22
An Evaluation of the CMMD Library and an Efficient Parallel Implementation of the RTRL Algorithm on the CM-5
1994-02-28
Ulf Johansson
Vision Based Remote Control in Intelligent Home Environments
1996-10-07
Markus Kohler
The Relationship Between Learning Styles And The Computer-Based Instruction System Precalc
1996-04-29
Relationships between abiotic and biotic soil properties during fallow periods in the sudanian zone of Senegal
2000-04-18
October 1995
1997-04-26
Synchronization in Cellular Automata and Application to Cryptography
1999-09-14
Iterative Broadening
1997-01-15
Lazy List Comprehension in Logic Programming
1997-12-05
Birgit Elbl
Unification via Explicit Substitutions: The Case of Higher-Order Patterns
1998-12-23
Minimal Neural Model
2000-05-22
Intelligent Data Analysis in Medicine and Pharmacology
1997-05-26
Substructures Revealed by the Sunyaev-Zel'dovich Effect at 150 GHz in the High Resolution Map of RX J1347-1145
2000-06-21
Information Extraction for Run-time Formal Analysis
2000-02-14
Moonjoo Kim
The Use of a Combined Text/Relational Database System to Support Document Management
1996-02-07
Kar Yan Ng
Decision Algorithms for Some Fragments of Analysis: A theory of reals with continuous and differentiable functions
2000-05-24
Software Evolution in Componentware - A Practical Approach
2000-05-15
Andreas Rausch
Direct Annotation: A Drag-and-Drop Strategy for Labeling Photos
2000-07-12
Object-Oriented Mediator Queries to XML Data
2000-05-22
Van Der Waals Interactions In Density Functional Theory
1997-08-01
Esprit Project 6253 - Ships
1994-12-09
J-Kernel: a Capability-Based Operating System for Java
1999-06-18
William D. Harvey
1997-01-15
Cosmological Variability Of Fundamental Physical Constants
2000-03-22
Specification and Synthesis of Bounded Indirection
1994-02-23
Choice And Procrastination
2000-06-22
Matthew Rabin
Task-Specific Neural Activity in the Primate Prefrontal Cortex
2000-07-18
The minimal realization problem in the max-plus algebra: An overview
2000-06-16
Subtyping Recursive Types
1995-06-01
Replication in Ficus Distributed File Systems
1993-06-07
John S. Heidemann
Optimal Prefetching via Data Compression
1994-02-17
Dynamic Server Selection in the Internet
2000-03-21
On the Intuitionistic Force of Classical Search
1970-01-01
Travelling Waves for Fourth Order Parabolic Equations
2000-06-09
Robertus Van Der Vorst
Scandinavian Clause Structure and Object Shift
1998-11-02
Wavelet Thresholding via a Bayesian Approach
1999-07-13
Requirements Specifications For Hybrid Systems
1996-01-17
Constance Heitmeyer
An Approach to Combined Laplacian and Optimization-Based Smoothing for Triangular, Quadrilateral, and Quad-Dominant Meshes
2000-04-14
A Scalable Parallel Formulation of the Backpropagation Algorithm for Hypercubes and Related Architectures
1993-06-28
Constructing Space-Time Views from Fixed Size Trace Files --- Getting the Best of Both Worlds
1997-06-10
Sliding Modes in Intersecting Switching Surfaces
1995-09-18
Vertex Operators in Algebraic Topology
1998-04-14
Andrew Baker
Computational Complexity of Planning Based on Partial Information About The System's Present and Past States
2000-05-15
Sensor-driven Computing
1999-10-14
Implicit Interest Indicators
2000-07-10
A Consistent User Model for a GIS Incorporating Remotely Sensed Data
1993-02-18
Mark Gahegan
On Simplifying Brain Functions
2000-06-20
Wlodzisl Aw Duch
PNrule: A New Framework for Learning Classifier Models in Data Mining A Case-Study in Network Intrusion Detection
2000-03-02
Bounds for Turbulent Transport
2000-05-04
Peter Constantin
Angular and Current-Target Correlations in Deep Inelastic Scattering at HERA
2000-03-04
Integrable Geodesic Flows on the Suspensions of Toric Automorphisms
1999-12-03
The Nukleon of Cooperative Games and an Algorithm for Matching Games
1970-01-01
Robust Automatic Video-Conferencing With Multiple Cameras And Microphones
2000-04-18
Stochastic Radio Channel Model for Advanced Indoor Mobile Communication Systems
1998-01-05
Observation of Charge-Ordering in Particle Production in Hadronic
1997-07-23
A Simple Theorem Prover Based on Symbolic Trajectory Evaluation and OBDDs
1994-02-23
Approximating Labeled Markov Processes
2000-05-17
Minimizing Sensitivity to Delay Variations in High-Performance Synchronous Circuits
2000-04-12
Fregean Logics
2000-07-31
Quadratic Actions, Semi-classical Approximation, and Delta Sequences in Gaussian Analysis
1970-01-01
Charles Petrie MCC Enterprise Integration Division 3500 West Balcones Center Drive Austin, TX 78759 petrie@mcc.com
1994-06-26
Charles Petrie
Training `greeble' Experts: A Framework for Studying Expert Object Recognition Processes
2000-05-11
Excel-NUMA: Toward Programmability, Simplicity, and High Performance
1999-01-17
On-line Selection of Stable Visual Landmarks under Uncertainty
2000-05-06
On Continued Fraction Expansions in Positive Characteristic: Equivalence Relations and Some Metric Properties
2000-02-08
Hitoshi Nakada
Design Rationale for Collaboration: The Active Document Approach
1994-12-06
A Problem-Solving Model for Episodic Skeletal-Plan Refinement
1994-03-15
Agent-Based Social Simulation in Markets
2000-07-20
Simplification of Nested Radicals
1994-08-30
Susan Landau
New Results in Ep Hadronic Final States From Diffractive Scattering and LeadingBaryon Production
1999-12-13
Finitely Generated Subnormal Subgroups of ... are Central
1999-11-14
Applying Formal Methods to an Information Security Device: A Case Study
2000-07-27
The Multi-Architecture Performance of the Parallel Functional Language
2000-06-06
Interconnect Scaling: Signal Integrity and Performance in Future High-Speed CMOS Designs
2000-01-04
Information Integration With Attribution Support for Corporate Profiles
1999-12-16
Richard Wesley Hamming 1915-1998
1998-04-17
A Multilevel Method For Conductive-Radiative Heat Transfer
1996-03-21
J. M. Banoczi
Knowledge Discovery in Texts: A Definition, and Applications
2000-02-22
Yves Kodratoff
Smart Antennas and Space-Time Processing
2000-06-20
Jens Baltersee
Numerical Implementation of Two Non-Iterative Methods for Locating Inclusions By Impedance Tomography
2000-07-20
The Life-Span of Backward Error Analysis for Numerical Integrators
1995-10-24
E. Hairer
AutoWrapper: automatic wrapper generation for multiple online services
1999-07-30
Unknown
1995-02-22
Siddharthan Ramachandramurthi
The EC Query Language Applied to Old Manuscripts
1999-10-01
Conquest: CONcurrent QUEries over Space and Time
2000-05-24
Approximating the nondominated front using the Pareto Archived Evolution Strategy
1999-12-17
Provable Security Against a Differential Attack
1998-10-08
On-line Scheduling via Sampling
2000-02-09
Models of Process Variations in Device and Interconnect
2000-04-17
Adaptation of the System V386 Filesystem for Linux
1998-10-27
Ant-Inspired Navigation In Unknown Environments
2000-03-22
Ex-ante Price Commitment with Renegotiation in a Dynamic Market Equilibrium
2000-07-13
Measuring Performance when Positives are Rare: Relative Advantage versus Predictive Accuracy - a Biological Case-study
2000-03-08
CPL: A Language for User Control of Internet Telephony Services
2000-03-15
Towards Extensible Information Brokers Based on XML
2000-02-25
A Note on the Discriminator
1997-10-30
Michael Zieve
Multiple-Input Microcantilever Sensor With Capacitive Readout
1999-04-28
Complex Predicates and Nuclear Serial Verbs*
1997-11-07
A 3D State Space Formulation of a Navigation Kalman Filter for Autonomous Vehicles
2000-05-16
Alonzo Kelly
Scalar Aggregation in FD-Inconsistent Databases
2000-06-13
High Frequency Fatigue Crack Propagation Behavior of a Nickel-Base Turbine Disk Alloy
1998-12-07
Building Large-Scale Prolog Programs using a Techniques Editing System
1970-01-01
Fusion of Recursive Programs with Computational Effects
2000-03-17
Alberto Pardo
The Cambridge University Multimedia Document Retrieval Demo System
2000-04-20
Chapter 4 Empirical comparison of stochastic algorithms
1996-06-28
Search for compositeness with leptonic, hadronic and photonic final states at LEP II energies
1997-07-25
Equilibrium and Off-Equilibrium Simulations of the
1996-06-10
Numerical algorithms for axisymmetric Fokker-Planck-Landau operators
2000-04-12
M. Lemou
Tabular Abstraction, Editing, and Formatting
1996-02-13
Xinxin Wang
The Regulation of Investigatory Powers Bill -- The Provisions for Government Access to Keys
2000-05-16
Generative Design Rationale: Beyond the Record and Replay Paradigm
1994-01-18
On the lack of coercivity of the reduced Action-functional for zero total angular momentum in the planar Newtonian three-body problem
1997-04-26
Luca Sbano
Analysis and Modeling of Non-Native Speech for Automatic Speech Recognition
2000-02-23
Ephemeral Document Clustering for Web Applications
2000-04-24
Deterministic BIST with Multiple Scan Chains
2000-05-19
Understanding and Extending Graphplan
2000-03-27
Multiplicity-FreeProducts of Schur Functions
2000-03-29
John R. Stembridge
Coupled Two-Way Clustering Analysis of Gene Microarray Data
2000-05-05
Alignment of Phonetic Sequences
1999-12-03
Grzegorz Kondrak
netCFD: a Ninf CFD component for Global Computing, and its Java applet GUI
2000-02-21
A Note On Portfolio Optimization In A Lévy Market With Local Substitution And Habit Formation
2000-04-21
Implementing Distributed Server Groups for the World Wide Web
1996-07-10
Visual Pattern Recognition
1998-03-19
Michael J. Tarr
A Neural Network Scheme For Earthquake Prediction Based On The Seismic Electric Signals
1996-11-07
Unknown
1996-01-13
Multimodal Speaker Detection using Error Feedback Dynamic Bayesian Networks
2000-03-23
Motions in a bose condensate: VI. Vortices in a nonlocal model
2000-02-07
Reducing Virtual Call Overheads in a Java VM Just-in-Time Compiler
2000-03-02
Configuring Sessions in Programmable Networks
2000-07-06
Weak Convergence of the Row Sums of a Triangular Array of Empirical Processes
1998-11-11
Miguel A. Arcones
Grouping
2000-01-28
Declaration
2000-02-10
Martin David Coen
Communication And
1993-03-05
Beyond the Scrollbar: An Evolution and Evaluation of Alternative Navigation Techniques
2000-02-08
The Formalisation of a Hardware Description Language in a Proof System: Motivation and Applications
1993-06-18
K. G. W. Goossens
A Strictly Lexicalized Approach to Phonology
2000-06-14
Markus Walther
Machine Learning in Prognosis of the Femoral Neck Fracture Recovery
1998-03-04
Approximate Testing with Relative Error
1999-03-02
Implementation Issues of Loop-level Speculative Run-time Parallelization
1999-01-27
A Performance Estimator for Parallel Hierarchical Memory Systems -- PetaSIM
1999-06-25
NeuroRule: A Connectionist Approach to Data Mining
1995-09-28
Data-Flow Analysis Framework in
1999-09-09
Efficient and Cost-effective Techniques for Browsing and Indexing Large Video Databases
2000-05-23
The Insecurity of the Digital Signature Algorithm with Partially Known Nonces
2000-08-22
Wavelet Analysis of Seasonal Long Memory
2000-03-20
Brandon Whitcher
An efficient algorithm for nucleolus and prekernel computation in some classes of TU-games
1998-11-23
Mean Shift Analysis and Applications
2000-04-12
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models
2000-01-05
Direct Gradient-Based Reinforcement Learning: II. Gradient Ascent Algorithms and Experiments
2000-04-12
A Linearization Of The Lambda-Calculus And Consequences
2000-03-21
A. J. Kfoury
draft Part 1
1998-02-12
Mikhail Auguston
The Accuracy Of Floating Point Summations For Cg-Like Methods
1997-07-03
Etsuko Mizukami
Memory System Characterization of Commercial Workloads
1999-02-24
The Impact of Workload on Simulation Results for Distributed Transaction Processing
1999-05-11
Reinhard Riedl
Intelligent Tutoring Systems For `trained Novices': Building Expertise In Mode Management
1997-06-25
Christine M. Mitchell
GEOS-2.x multitasked to GEOS-3.x MPI GCM Migration Plan
1999-08-18
Universal Coalgebra: a Theory of Systems
1997-01-10
J. J. M. M. Rutten
Alternative Fetch and Issue Policies for the Trace Cache Fetch Mechanism
1999-10-13
American National Standard Information Systems - Spatial Data Transfer StandardSDTS - Part 1, Logical Specifications
1998-02-11
Logical Specifications
FlexNet A Flexible Neural Network Construction Algorithm
2000-07-18
A Relational Derivation of a Functional Program
1999-08-15
Graham Hutton
Automatic Compensation for Parser Figure-of-Merit Flaws
2000-04-01
Estimation of latent Gaussian ARMA models for categorical behaviour data
2000-04-14
David Allcroft
Optimization with the Hopfield network based on correlated noises: an empirical approach
1998-02-23
Mixing Planning and Scheduling to Model Complex Process Environments
2000-02-22
Roman Bartk
Supporting High-performance I/O in QoS-enabled ORB Middleware
2000-03-02
Interactive Virtual Relighting and Remodeling of Real Scenes
2000-05-25
CMS Conference Report
1999-11-18
FALCON: A MATLAB Interactive Restructuring Compiler
1996-11-08
Supporting Best-Effort Traffic with Fair Service Curve
2000-02-22
Limits of Indirect Branch Prediction
1997-07-09
From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language
2000-06-06
Improved Error Bounds for Underdetermined System Solvers
1997-04-11
Fractal Coding Of Image Sequence Using Extended Circular Prediction Mapping
1996-12-06
An Example Of A Conservative Exact Endomorphism Which Is Not Lim Sup Full
1970-01-01
Building a Digital Learning Community for Faculty on the Internet
2000-07-13
Stretching the storage manager: weak pointers and stable names in Haskell
1999-03-11
Out-Of-Core Streamline Visualization on Large Unstructured Meshes
1997-06-03
A Multiagent Planning Architecture
2000-03-27
Declarative Specification of Web Sites with STRUDEL
2000-06-07
Microassembly
1998-08-04
Variational Approach to Vector Field Decomposition
2000-02-24
Resource Sharing and Coevolution in Evolving Cellular Automata
2000-04-27
Algorithm for Matching Sets of Time Series
2000-03-18
The Case for Geographical Push-Caching
1999-10-18
Border-Block Triangular Form and Conjunction Schedule in Image Computation
2000-04-25
An Adaptive Transform-Domain Estimator for Filtering Noisy Images
1998-09-29
On Jordan Angles and Triangle Inequality in Grassmannian
1970-01-01
The Notion of Optimality in Behavior-Based Robotics
1998-10-27
P. Pirjanian
An optimized MPI library for VIA/SCI cards
2000-05-26
Wavelet Thresholding for Multiple Noisy Image Copies
2000-06-23
Strong Linear Dependence and Unbiased Distribution of Non-propagative Vectors
1999-10-04
Yuliang Zheng
A Practical Program Transformation System For Reverse Engineering
1999-06-01
Digitising Auntie
1999-11-18
New Mathematical Approaches to Classical Censorship Problems
2000-02-18
C J S Clarke
On the Use of On-Demand Layer Addition ODL with Multi-Layer Multicast Transmission Techniques
2000-06-15
Vincent Roca
Approximating The Protection Offered By A Channel Code In Terms Of Bit Error Rate
2000-05-04
Coordination for Multi-Robot Exploration and Mapping
2000-04-06
Experiences of Using Formal Methods for Chemical Process Control Speci Cation
2000-06-26
Insight of a Dreamed PCA
1994-05-30
A Mixture Density Based Approach to Object Recognition for Image Retrieval
2000-03-17
Learning Support Vectors for Face Verification and Recognition
1999-12-06
A Replicated Architecture for the Domain Name System
2000-02-20
Summary of the Scientific Work
1999-07-11
Silvia M. Mueller
Different Notions of Disappointment Aversion.
2000-03-23
Automatic Structures
2000-04-18
Some Open Problems and Research Directions in the Mathematical Study of Fluid Dynamics.
2000-05-04
Peter Constantin
Jets In Deep Inelastic Scattering At Hera
2000-06-08
Joachim Meyer
Collapsing Successors Of Singulars
1998-02-26
James Cummings
Dissipative Holomorphic Functions, Bloch Radii, and the Schwarz Lemma
2000-06-28
A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial Extended Abstract
2000-03-11
Architectures for an Event Notification Service Scalable to Wide-area Networks
2000-01-12
More C++
2000-01-18
Tim Love
Focale: a Federation of Objects for Computing on a large scALE, an early report
2000-06-05
Camera Self-Calibration from Multiple Views
1998-12-15
Martin Urban
Uniform Random Number Generation
1999-08-26
AAindex : A Database of Amino Acid Indices and Mutation Matrices
1995-12-13
Testing for a signal with unknown location and scale in a stationary Gaussian random field
1995-10-18
New Notions of Reduction and Non-Semantic Proofs of
2000-03-21
On the $Delta^b_1$-Bit-Comprehension Rule
1999-05-29
Bit-comprehension Rule
Reusability of Coordination Programs
1996-06-18
Fully Discrete hp-Finite Elements: Fast Quadrature
1999-09-23
Local Stability Analysis Of Flexible Independent Component Analysis Algorithm
2000-01-30
On Hurwitz groups of low rank
1999-11-22
Efficient Parallelisation using Combined Loop and Data Transformations
2000-02-29
Discourse Connectives: What Do They Link?
1999-05-04
The Quantum Zero Space Charge Model for Semiconductors
2000-04-12
Andreas Unterreiter
Benefit of Multiple Representations for Motor Sequence Control in The Basal Ganglia Loops
1998-06-06
Extracting Information from Heterogeneous Information Sources Using Ontologically Specified Target Views
2000-03-09
The Stratego Compiler
2000-06-04
Eelco Visser
Restricted Tangent Bundle on Space Curves
1999-03-12
Parallel Ear Decomposition Search EDS And ST-Numbering In Graphs
1991-05-24
Scale and Statistics in Variable Conductance Diffusion
1995-03-31
Terry S. Yoo
Metrical Alignment of Medial Syllables in 3- and 4-Beat Patterns
2000-01-07
The Merlin OMS Benchmark --- Definition, Implementations and Results
1995-10-31
Spatial Audio in Small Screen Device Displays
2000-02-02
Conformational analysis of protein and nucleic acid fragments with the new grid search algorithm FOUND
1999-06-25
A Note On The Application Of Edge-Elements For Modeling Three-Dimensional Inhomogeneously-Filled Cavities
1998-01-06
Development And Verification Of Library Cells For Reconfigurable Logic
1999-11-24
Fluid Flow, Heat Transfer, and Solidification Near Tri-junctions
1999-09-21
On the Mean Field Approach to Glassy Systems
1997-01-17
Giorgio Parisi
Manageability, Availability and Performance in Porcupine: A Highly Scalable, Cluster-Based Mail Service
2000-06-21
A Framework for Parallel Tree-Based Scientific Simulations
1997-06-06
Global Stability for the SEIR Model in Epidemiology
1999-11-23
Extending Ripple-Down Rules
1999-11-15
Electrical Conductivity Reconstruction from Measurements on a Limited Part of a Body Surface
1998-06-02
Elias Jonsson
"3D-PP": Three-Dimensional Visual Programming System
1999-07-06
Using Growing Hierarchical Self-Organizing Maps for Document Classification
2000-05-15
Handling Structural Divergences and Recovering Dropped Arguments in a Korean/English Machine Translation System
2000-07-01
RELIABLE MULTICAST DATA DELIVERY for MILITARY NETWORKING
1997-06-04
Feature Based Recognition Of Traffic Video Streams For Online Route Tracing
2000-01-12
Mining Nested Association Patterns
1997-04-01
An Approach to Characterizing Resource Usage and User Preferences in Benefit Functions
1970-01-01
A Constraint-Based Validity Solver for Intuitionistic Propositional Logic
2000-05-12
Michael Huth
The WARM-UP Algorithm: A Lagrangean Construction of Length Restricted Huffman Codes
1998-05-12
Incorporating Error Recovery into the Imprecise Computation Model
1999-12-17
Trajectory Planning For Coordinated Rendezvous Of Unmanned Air Vehicles
2000-07-10
A Fine-Grained Solution to the Mutual Exclusion Problem
1995-07-14
James H. Anderson
Priority-Based Total and Semi-Total Ordering Broadcast Protocols
1997-11-08
Load Profiling for Efficient Route Selection in Multi-Class Networks
2000-03-21
Schröder Triangles, Paths, and Parallelogram Polyominoes.
1998-05-22
Optimization of Stereo Disparity Estimation Using the Instantaneous Frequency
1997-11-28
Generalized Thermography: Algorithms, Implementation, and Application to Go Endgames
1998-02-23
Facilitating Transformations in a Human Genome Project Database
1994-09-21
A Connectonist Indexing Approach for CBR Systems
1996-11-04
Maria Malek
Oliver Jenkinson and Mark Pollicott
1999-10-19
Regularity Properties Of Some Stochastic Volterra Integrals With Singular Kernel
2000-03-16
Accountability, Transparency, and Inflation Targeting
2000-06-26
Carl E. Walsh
The Linear Rational Collocation Method With Iteratively Optimized Poles for Two-Point Boundary Value Problems
1970-01-01
Hans D. Mittelmann
Characterizing Normal Operation of a Web Server: Application to Workload Forecasting and Problem Detection
2000-06-15
Efficient Diagnostic Generation for Boolean Equation Systems
2000-04-06
Integrated Circuit Implementation Of Wien-Bridge Chaos Generator
2000-06-08
Providing QoS with Measurement-Based Admission Control
1999-03-02
Martin Reisslein
A Note on Mapping User-Oriented Security Policies to Complex Mechanisms and Services
1970-01-01
A Neural Network Modular Architecture For Network Traffic Management
1996-05-01
An Adaptable Distributed File Service
2000-05-12
Mechanizing Set Theory
1996-10-02
A Compacting Garbage Collector for ERLANG
1999-01-18
Heat Conduction Modeling With Energy Conservation Dissipative Particle Dynamics
1999-12-09
Marisol Ripoll
Curvelets - A Surprisingly Effective Nonadaptive Representation For Objects with Edges
2000-03-05
Wireless Communication Technologies
2000-04-18
Kinjal Desai
Variational Computation of Homoclinic Orbits for Twist Maps
1997-04-26
Eduardo Tabacman
Legislator Quality and CampaignContributions
2000-07-18
Algorithms for Optimizing Production DNA Sequencing
1999-11-16
Animals, Zombanimals, and the Total Turing Test: The Essence of Artificial Intelligence
2000-03-13
Design of a High-Performance ATM Firewall
2000-03-01
An Actor Based Framework for Managing Multimedia QoS
2000-06-13
Domain Optimization Problem for Stationary Heat Equation
1996-04-11
Fast Spectrally-Accurate Solution of Variable-Coefficient Elliptic Problems
2000-01-13
John Strain
Using Stochastic Methods to Guide Search in CLP: a Preliminary Report
1996-10-28
The Cosmological Time Function
1998-06-18
Exploiting Temporal Continuity in Qualitative Spatial Calculi
1994-06-22
Classification of Symmetry-Integrable Evolution Equations
2000-04-11
X-ray radiation from ions with K-shell vacancies
2000-03-16
Guidance For Assessing Dangerous Waste Secondary Containment Systems
1999-09-13
Speed Profiles for Deceleration Guidance During Rollout and Turnoff ROTO
1999-12-17
Broadcast Disks: Data Management for Asymmetric Communication Environments
1994-12-14
Robust Sliced Inverse Regression Procedures
2000-05-19
Neural Speech Enhancement Using Dual Extended Kalman Filtering
2000-07-12
Load-Sensitive Routing of Long-Lived IP Flows
1999-06-10
Compaction Algorithms for Non-Convex Polygons and Their Applications
1970-01-01
Zhenyu Li
Expansion Of W3oh
1999-12-16
Area Requirement of Gabriel Drawings
1996-10-03
Breaking Out of the Black Box: A New Approach To Robot Perception
2000-05-01
Martin C. Martin
VicenteCervera Francisca Mascar' o Peter W. Michor
1999-01-21
Walter Dean
2000-03-09
Walter Dean
MAPbox: Using Parameterized Behavior Classes to Confine Applications
1999-07-25
Exclusive Electroproduction of
1999-11-24
Some Perspectives On Understanding In Spoken Interaction
2000-01-26
Jens Allwood
A Default Interpretation of Defeasible Network
1997-08-05
Meta-Learning for Phonemic Annotation of Corpora
2000-07-28
Reasoning From Data Rather Than Theory
2000-03-03
Towards an Object Calculus
1992-08-18
Oscar Nierstrasz
An Optimal Minimum Spanning Tree Algorithm
2000-04-12
Adding Learning to Cellular Genetic Algorithms for Training Recurrent Neural Networks
1999-05-27
Magi: A System Software Model for Intelligent Devices
1999-12-21
Face Authentication By Using Elastic Graph Matching And Support Vector Machines
2000-06-14
Color Image Quality Metric S-CIELAB and Its Application on Halftone Texture Visibility
1998-08-13
Discourse Structure and the Logic of Conversation
2000-03-03
Nicholas Asher
Programmable Active Memories: a Performance Assessment
1995-04-20
The Role of Open-ended Problems in Mathematics Education
2000-05-27
H. Wu
Graph Transformations on the UML Metamodel
2000-05-02
Martin Gogolla
Optimal Hierarchical Partitions For Fractal Image Compression
1970-01-01
Labelled Deduction
2000-05-24
Relative Perturbation Theory: IV sin 2 theta Theorems
2000-04-03
Ren-cang Li
Multi-Robot Learning in a Cooperative Observation Task
2000-06-30
Fusion of SPOT HRV XS and Orthophoto Data Using a Markov Random Field Model
2000-05-25
Processing Object-Orientation-based Direction Queries in Spatial Databases
2000-05-15
Estimating the number of clusters in a dataset via the Gap statistic
2000-03-30
Automatically Synthesized Term Denotation Predicates: A Proof Aid
1996-01-31
Problems In Applying Discourse Representation Theory
1994-01-27
William H. Smith
Generation Of Gaps In The Bunch Train Of The Ps Beam For Lhc
2000-03-25
Comparative Analysis of Multiplication Techniques for FPGA Architectures.
1997-05-12
The Microeconomics of African Growth, 1950-2000
1970-01-01
Shopbots and Pricebots
2000-01-24
Active Global Localisation for a Mobile Robot Using Multiple Hypothesis Tracking
2000-07-06
Test Suite Development Using a Structured Framework
2000-06-21
Ia-64 Code Generation
2000-07-21
Iterative Source/Channel-Decoding Using Reversible Variable Length Codes
2000-05-18
TouringMachines: Autonomous Agents with Attitudes
1992-05-19
Innes A. Ferguson
Methods Collocation Spline Quadratic Equations Differential Partial Elliptic For
1996-12-05
Christara C. Christina
Pivotal Pruning of Trade-offs in QPNs
2000-05-08
An Experimental Study on the Performance of WWW Servers
1996-09-05
Measurement of the Hubble Constant Via Gravitational Lensing--- A Review of the Jodrell Bank "Golden Lenses" Workshop
1999-05-11
Parametrization Of Unimodular Matrix Polynomials
2000-07-05
Fritz Keinert
Predicting Turbulent Convective Heat Transfer in Three-Dimensional Duct Flows
2000-01-10
Combining Algebraic Rewriting with the Second-Order Extensional Polymorphic Lambda Calculus
1998-08-20
Hongwei Xi
First Steps With a Rideable Computer
2000-01-05
1-twinnings of Buildings
1999-12-21
Determination From Heavy Higgs Boson Production at Linear Colliders
2000-06-27
Using Mixed Initiative to Support Force Deployment and Execution
1999-12-19
Solving Large POMDPs using Real Time Dynamic Programming
1970-01-01
Blai Bonet
Dealing with Imperfect Information in Poker
1998-10-11
Duane Szafron
Principles of QoS in Group Communications
1999-05-13
Realized Volatility and Correlation
2000-02-21
Interpolation and Error Control Schemes for Algebraic Differential Equations Using Continuous Implicit Runge-Kutta Methods
1995-12-05
Dabo@cs.princeton.edu Rjl@cs.princeton.edu
1996-03-14
Using blocks of skewers for faster computation of Pixel Purity Index
2000-07-27
Locally Complete Intersection Homomorphisms And A Conjecture Of Quillen On The Vanishing Of Cotangent Homology
1999-09-27
Luchezar L. Avramov
Upwind Schemes for the Two-Dimensional Shallow Water Equations With Variable Depth Using Unstructured Meshes
1996-02-21
How the nucleotide hydrolysis cycle in F1 ATPase generates a rotary torque
2000-07-05
A Superposition Decision Procedure for the Guarded Fragment with Equality
1999-04-30
Working T13 Draft D1386
1970-01-01
Distributed Parallel Computing in Mermera: Mixing Noncoherent Shared Memories
2000-03-21
Visual Programming and Parallel Computing
1994-10-18
Experiences Using Case-Based Reasoning to Predict Software Project Effort
2000-02-11
TRUMPET Service Management Architecture
1998-12-21
A Behaviour-based Approach to Position Selection for Simulated Soccer Agents
2000-04-04
Coalescing neutron stars - a step towards physical models: I. Hydrodynamic evolution and gravitational-wave emission
1998-02-09
M. Ruffert
Test Pattern Generation And Test Application Time Reduction Algorithms For VLSI Circuits
2000-03-08
Ilker Hamzaoglu
The Match-making Problem
1999-04-23
Jeroen Van De Graaf
ReLaCS for Systolic Programming
1993-09-16
Dominique Lavenier
Saving Comparisons in the Crochemore-Perrin String Matching Algorithm
1999-05-04
Dany Breslauer
Power Balance and Congressional Apportionment Algorithms
1996-10-02
Nietzsche, God And The Good Life
2000-03-20
Greg Restall
Efficient Representation And Comparison Of Multimedia Content Using Dag-Composition
2000-06-22
Dynamic Representations of Sparse Graphs
1999-05-21
Generating a Controlled Language
2000-04-28
Joan Daemen Bart Preneel
1998-09-11
Errata for Max-Algebraic System Theory for Discrete Event Systems
2000-06-16
Bart De Schutter
Asymptotic Analysis of Optimal Fixed-Rate Uniform Scalar Quantization
2000-05-19
Tools for Visualizing Text Compression Algorithms
1999-11-14
Running experience with the DELPHI pixel detector: Reflections on design characteristics and system features
2000-03-27
Johann M. Heuser
Another characterization of Intuitionistic Propositional Logic
2000-05-18
Rosalie Iemho
Concurrent SSA Form in the Presence of Mutual Exclusion
2000-03-16
Probabilistic Algorithms for Efficient Grasping and Fixturing
2000-03-14
System Factorization in Codesign
1993-07-07
Monte Carlo study of the vertex resolution in
1997-06-25
Ralph Muller-pfefferkorn
Vertex Splitting In Dags And Applications To Partial Scan Designs And Lossy Circuits
1991-10-25
On Achievable Service Differentiation with Token Bucket Marking for TCP
2000-04-10
Simulation Study for Misspecifications on a Frailty Model
2000-04-03
Nancy L. Garcia
Subpixel Registration of Images
1999-11-08
Indexing for Data Models with Constraints and Classes
1994-05-23
Commensurability criteria for Kleinian groups
2000-05-31
James W. Anderson
Iterative Part-of-Speech Tagging
2000-05-29
Recurrent SOM with Local Linear Models in Time Series Prediction
1998-04-27
CL - An Editor for the CLi6000 Field Programmable Gate Array and its Implementation
1995-06-21
Nonlinear Magnification Fields
1997-03-31
Teaching Hypertext and Hypermedia through the Web
2000-04-15
Paul M. E. De Bra
An Unstructured Algorithm for High Reynolds Number Flows on Highly-Stretched Grids
2000-03-06
Soft-Input Soft-Output Modules for the Construction and Distributed Iterative Decoding of Code Networks
1998-11-25
A Unified Approach to Prefiltered Environment Maps
2000-05-30
Optical Communication Using Micro Corner Cube Reflectors
1999-01-07
Trees, Windows and Tiles for Wavelet Image Compression
2000-01-11
Wee Sun Lee
Constraint Contextual Rewriting
1998-12-14
An Optimization Technique of Discrimination Networks in Active Database Systems for Massively Parallel Processing
1998-07-24
Haruo Yokota
Toward a Theory of Labor Market Institutions.
1999-12-27
Gilles Saint-paul
Situation Development in a Complex Real-World Domain
1997-05-21
Pyramids with Combinatorial Maps
1999-12-21
Configuration Guide
1998-04-06
A Parallel Object-Oriented System for Realizing Reusable and Efficient Data Abstractions
1998-02-16
Objects + Scripts = Applications
1993-07-08
Constructive Genetic Algorithm for Machine-Part Cell Formation
2000-04-24
On the Synthesis of Discrete Controllers for Timed Systems Extended Abstract
1999-11-05
Value constraints in the CLP scheme
1996-02-14
M. H. Van Emden
Isoperimetric Number of the Cartesian Product of Graphs and Paths
1998-07-29
FELINE --- A Case Study in the Design and Implementation of a Co-operating Expert System
1998-07-23
The Hard Bremsstrahlung Correction to
1999-07-06
Fred Jegerlehner
Simulating Gaussian Stationary Processes with Unbounded Spectra
2000-03-18
Brandon Whitcher
Broad-area diode laser system for a rubidium Bose-Einstein condensation experiment
2000-06-19
Strengthening the Gilbert-Varshamov bound
2000-03-11
Production at the Tevatron
1998-06-16
Iain A. Bertram
MeshView: A Tool for Exploring 3D Unstructured Tetrahedral Meshes
1999-11-27
An FFT-based Method for Attenuation Correction in Fluorescence Confocal Microscopy
1996-08-05
Delay Bounded Minimum Steiner Tree Algorithms for Performance-Driven Routing
1993-12-09
Process Communication Environment
1998-01-27
Ingredients For The Understanding And The Simulation Of Multipacting
2000-03-25
Triangulations Intersect Nicely
2000-08-02
An Integrated Synchronization and Consistency Protocol for the Implementation of a High-Level Parallel Programming Language
1995-12-25
Martin C. Rinard
From Interval Methods of Representing Uncertainty To A General Description of Uncertainty
1999-10-03
Forward and Backward Simulations - Part I: Untimed Systems
1995-08-04
DataCutter and A ClientInterface for theStorage Resource Broker with DataCutter Services
2000-05-23
Sequences Of Nearby Open Clusters With Hipparcos
2000-03-09
Jet Shapes At D And Cdf
1997-08-18
Reducing the Paging Costs under Delay Bound for PCS Networks
2000-06-14
Air Quality Impact Evaluation Guidelines
2000-04-18
Parallel 3D Maxwell Solvers based on Domain Decomposition Data Distribution
2000-05-25
Maximum Likelihood Optimization of Self-Organizing Map Parameters
2000-06-28
System Architecture and Techniques for Gesture Recognition in Unconstraint Environments
1997-06-27
M. R. J. Kohler
Theorem proving using computational systems: The case of the B predicate prover
2000-03-14
Acknowledgments
2000-04-19
Vidya Venkatachalam
Applying Model Checking in Java Verification
2000-04-12
Pearls Found on the way to the Ideal Interface for Scanned-probe Microscopes
1999-08-31
Finding small k-arc-strong Spanning Subdigraphs in k-arc-strong Tournaments
2000-03-31
3D Simulation Of Fluid-Particle Interactions With The Number Of Particles Reaching 100
2000-04-28
Distributed Computing Systems and Checkpointing*
1993-10-01
Computational Invariant Theory
1999-12-14
Gregor Kemper
JavaNws: The Network Weather Service for the Desktop
2000-04-10
PaStiX: A Parallel Sparse Direct Solver Based on a Static Scheduling for Mixed 1D/2D Block Distributions
2000-02-11
An Algorithm for Fault-Tolerant Clock State&Rate Synchronization
2000-01-22
Testing String Superprimitivity in Parallel
1999-05-04
Dany Breslauer
The Lehmer Constants Of An Annulus
2000-02-09
Stochastic Atomic Decompositions in a Wavelet Dictionary
2000-06-23
Clause Union and Verb Raising Phenomena in German
1996-06-18
Klaus Netter
A Two Stage, Monolithic Integrated 200 mW HEMT Amplifier for Wireless ATM
1998-10-07
Suitable semantics for Logic Programming
1998-06-24
Life-Cycle Assessment
2000-02-29
Elicitation of Membership Functions: How far can theory take us?
1999-07-19
Influence of temporal variability of rainfall on interception loss. Part I. Point analysis
2000-05-05
Resonant Tunneling of Wannier-Stark-States
1999-11-26
The Kink Instability in Magnetized Jets
1999-10-15
Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study
2000-02-02
Mastering Windows: Improving Reconstruction
2000-04-03
Netbased Learning for the Next Millenium
1999-02-24
GreedyDual* Web Caching Algorithm
2000-05-09
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
2000-03-31
Investigating Morphological Symmetry and Locomotive Efficiency using Virtual Embodied Evolution
2000-04-27
Routing Information Protocol in HOL/SPIN
2000-05-19
Simultaneous Differential Diagnoses Basing on MMPI Inventory
2000-05-16
Norbert Jankowski
On the Relative Variational Principle for Bre Expanding Maps
2000-05-04
Manfred Denker
Project Scheduling under Resource and Mode Identity Constraints. Part I: Model, Complexity Status, and Methods
2000-05-12
Salewski Schirmer Drexl
Object Recognition Using Appearance Representations Derived From Solid Models of Objects
2000-03-10
Harmonic tori in symmetric spaces and commuting Hamiltonian systems on loop algebras
1999-12-14
Bounding and Heuristics in Forward Reachability Algorithms
2000-04-26
Determining a Confidence Factor for Automatic Target Recognition Based on Image Sequence Quality
2000-02-08
Improving the Accuracy of Petri Net-based Analysis of Concurrent Programs
1996-02-27
Formation and Organization of Receptive fields, with an input Environment Composed of Natural Scenes
1995-01-27
Document Image Compression and Analysis
1997-05-13
Omid E. Kia
G9.5 Experiments with an ecosystems model for integrated production planning
1997-05-29
Improving Triangle Mesh Quality with SurfaceNets
2000-07-20
A Proof System for Timed Automata
2000-05-22
Calculators, Attitudes, and Success
1998-03-15
Brian R. O'callaghan
Surfaces Intersection for Solids Algebra: A Classification Algorithm
1999-05-06
Channel Equalization For Wireless Personal Communications
1999-12-10
Weihua Zhuang
Clock Difference Diagrams
1999-05-31
A Logical Study of Distributed Transition Systems
2000-07-21
Digital Fingerprinting of Virtual Components
2000-05-14
Annotating a Corpus to Develop and Evaluate Discourse Entity Realization Algorithms: Issues and Preliminary Results
2000-03-30
Massimo Poesio
WARREN, D.H.D. 1982b. "Perpetual Processes -- An Unexploited Prolog Technique", Short Communication,
1995-09-07
Categorical Properties of Logical Frameworks
1995-06-16
Yuxi Fu
Counterfactual Effect, the Halting Problem, and the Busy Beaver Function
1999-08-05
A Separation Principle for Dynamic Positioning of Ships: Theoretical and Experimental Results
2000-04-27
Generating Argumentative Judgment Determiners
2000-02-07
Michael Elhadad
A Watermarking Framework for Copyright protection of Digital images
2000-02-14
Strategy Selection-based Meta-level Reasoning for Multi-Agent Problem Solving
2000-06-06
Meta Languages in Algebraic Compilers
2000-03-01
Eric Van Wyk
Image And Video Segmentation: The Normalized Cut Framework
1999-06-19
Improved Analysis of FGK Algorithm
1998-05-12
On Some Numerical Dissipation Schemes
2000-05-23
Robust Numerical Methods for PDE Models of Asian Options
1996-09-19
Progressively Authenticated Image Transmission
2000-05-02
Using Inductive Logic Programming to construct Structure-Activity Relationships
1999-11-02
Multilinear Calderón-Zygmund Theory
1999-09-21
Constructive Induction on Domain Information
1993-09-21
James P. Callan
Lateral Cell Movement Driven By Dendritic Interactions is Sufficient to Form Retinal Mosaics
2000-03-24
ERS-1 Radar and Field-Observed Characteristics of Autumn Freeze-up in the Weddell Sea
2000-04-12
Reducing I/O Complexity by Simulating Coarse Grained Parallel Algorithms
1998-08-03
The Deployment Of Photovoltaic Components Within The Lighthouse Building In Glasgow
2000-07-03
Tele-Immersive Collaboration in the CAVE Research Network
2000-07-11
Architecture of a Content Management Server for XML Document Applications
2000-05-15
Hypertextual Concurrent Control of a Lisp Kernel
1992-02-28
Optimal Bounds for the Predecessor Problem and Related Problems
2000-06-06
On the Multiple Access Interference in a DS/FFH Spread Spectrum Communication system
1995-04-24
Jack P. F. Glas
Efficient Implementation of Synchronous Communication Over Asynchronous Networks
1993-02-19
Intermediate Asymptotics of the Porous Medium Equation With Sign Changes
2000-03-02
Proof-checking an audio control protocol with LP
1996-01-27
W. O. D. Griffioen
The Framework Of Unified Accelerator Libraries
1999-08-12
Variable Stars in the Globular Cluster
1997-07-29
A two-box-shift morphism between Specht modules
2000-03-14
Matthias Kunzer
A Globally Convergent Primal-Dual Interior-Point Filter Method for Nonconvex Nonlinear Programming
2000-04-17
Cramer-Rao Bounds for Parametric Estimation of Target Boundaries in Nonlinear Inverse Scattering Problems
1999-10-11
A Parallel Recurrent Cascade-Correlation Neural Network with Natural Connectionist Glue
1998-09-07
Tagging and Glossing Sesotho
2000-03-06
A Model of Noisy Introspection
2000-02-25
Collective Learning and Semiotic Dynamics
2000-06-30
-DOF Actuated Micromirror Designed for Large DC Deflection
1999-09-22
A TLA Solution to the RPC-Memory Specification Problem
1997-09-29
Stephan Merz
A RandomEffects Multinomial Probit Model of Car Ownership Choice
1996-07-02
Type-Safe Relaxing of Schema Consistency Rules for Flexible Modelling in OODBMS.
1995-08-21
FishNet: Finding and Maintaining Information on the Net
1998-06-29
Time-Dependent Barrier Option Values
2000-03-11
Cho H. Hui
Vol. 3528, pp. 432-439, Boston, MA, November 1998. 126 X. Xia, C. G. Boncelet and G. R. Arce, "A Multiresolution Wavelet for Digital Images,"
2000-06-01
R. Narayan
1996-10-18
R. Narayan
Goals and Rational Action in the Situation Calculus--- A Preliminary Report
1997-05-19
A New Entropy Measure Based on the Wavelet Transform . . .
2000-06-22
Recoverable Mobile Environments: Design and Trade-off Analysis
1997-01-27
A Quantitative Analysis and Performance Study for Similarity-Search Methods in High-Dimensional Spaces
2000-04-11
GlobSol Case Study: Parameter Optimization for the Eddy Current Compensation of MRI Coils GE Medical
1998-03-14
A Personal View of Expert Systems: Looking Back and Looking Ahead
1994-01-13
Edward A. Feigenbaum
A Report on Some Recent Developments in TCP Congestion Control
2000-06-05
Sally Floyd
Some Properties of Clothoids
1996-01-31
Program Fragments, Linking, and Modularization
1997-02-11
Luca Cardelli
Parallel Sparse LU Factorization with Partial Pivoting on Distributed Memory Architectures
1997-08-07
Univariate and Multirater Ordinal Cumulative Link Regression With Covariate Specific Cutpoints
2000-08-23
Evaluating the Scalability Distributed Systems
2000-05-15
Kinodynamic Motion Planning Amidst Moving Obstacles
2000-02-06
Remote Monitoring MIB Extensions for ATM Networks
1997-07-01
Evidence for a Satisfiability Threshold for Random 3CNF Formulas
1992-11-11
Decision Procedures for Fragments of Set Theory with Monotone and Additive Functions
2000-05-23
Partial Redundancy Elimination for Access Path Expressions
2000-05-23
Finite State Systems in Mobile Communications
1996-05-06
Image Denoising Using a Local Gaussian Scale Mixture Model in the Wavelet Domain
2000-07-28
Discrimination of Thermally-Marked Otoliths From Unmarked Specimens By Machine Learning of Texture Characteristics
2000-05-22
Distributed Termination Detection: General model and Algorithms
1993-10-11
An Empirical Study of Client Interactions with a Continuous-Media Courseware Server
1997-11-19
Discounted Least Squares Curve Fitting
2000-07-19
Hendrik J. Blok
A Quality-Based Analysis of Architecture Recovery Environments
1997-02-17
Nabor C. Mendonca
Nonuniform Markov Models
1996-11-13
On the Multiplicative Orders of . . .
2000-08-22
Igor Shparlinski
Predicting Contention in Distributed-Memory Machines
1999-07-05
Arjan J. C. Van Gemund
MVSS: Multi-View Storage System
2000-05-19
A Note on the Determination of the Type of Communication Areas
1996-08-09
Wolfgang Jansen
Tartan Threads: A Method for the Real-time Digital Recognition of Secure Documents in Ink Jet Printers
1999-07-01
Fernando J. Paiz
A formal proof of a protocol for communications over faulty channels using the Larch Prover
1995-02-01
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
2000-03-19
A Simple First Phase of an Ionization Cooling R&D Program
2000-02-10
Kirk T. Mcdonald
rePLay: A Hardware Framework for Dynamic Program Optimization
1999-12-16
Partial Intersection Type Assignment in Applicative Term Rewriting Systems
1999-09-07
Steffen Van Bakel
Structural Techniques and Performance Bounds of Stochastic Petri Net Models
1995-11-03
Immersion, Presence, and Performance in Virtual Environments: An Experiment with Tri-Dimensional Chess
1999-05-09
A New Line Integral Convolution Algorithm For Visualizing Time-Varying Flow Fields
1998-10-10
Proving Noninterference and Functional Correctness Using Traces
1994-05-26
John Mclean
.893 Approximability of Optimization Problems
1999-12-20
My Conversion To The Arons-Advocated Method Of Science Education
2000-05-23
Richard R. Hake
An Empirical Stochastic Model for the Geometry of Two-Dimensional Crack Growth in Soil.
1999-03-31
I. M. Young
Computable Kripke Models and Intermediate Logics
1998-07-23
Processing and Interpretation of Long-term Data from Permanent . . .
1999-06-08
Slepton Oscillation at
2000-05-02
Object Interconnections
1998-11-19
Parsimonious Markov Modeling of Processes with Long Range Dependence
1996-07-19
Compositional Verification of Concurrent Systems
2000-03-27
Real-Time Rendering of Deformable Parametric Free-Form Surfaces
1999-12-27
A Variational Approach to Incorporating MRI-edges in the PET Reconstruction
1999-12-04
On the LASSO and Its Dual
2000-02-11
GTM Through Time
1997-04-16
Object Recognition Using Pseudo-random Color Encoded . . .
2000-04-08
User Defined Aggregates in Object-Relational Systems
2000-01-10
Dynamic Desires
2000-06-09
Simplified derandomization of BPP using a hitting set generator
2000-05-31
The Pamela Approach To The Performance Simulation Of Parallel And Distributed Systems
1999-07-05
Arjan J. C. Van Gemund
A Practical Approach to Drawing Undirected Graphs
1994-07-21
Daniel Tunkelang
Generic Distributed Shared Memory: the DSM-PM2 Approach
2000-03-02
The vertex deletion number and splitting number of a triangulation of CnxCm
1999-12-22
EBU Technical Recommendation R36-1996 Remote-control interface for programme production equipment
1997-11-05
Pruned Neural Networks for Regression
2000-06-07
Assessing Accurate Sizes of Synaptic Vesicles in Nerve Terminals
2000-04-14
Integrating Case-Based Learning and Cognitive Biases for Machine Learning of Natural Language
1999-09-24
Claire Cardie
Supporting SPMD Execution for Dynamic Data Structures
1992-10-19
Fractal Precision Models Of Lathe-Type Turning Machines
1996-05-13
Reasoning About Data in a Simple Process Algebra
2000-07-20
Multimodal AdaptiveInterfaces
2000-03-09
Oriented Sliver Textures: A Technique for Local Value Estimation of Multiple Scalar Fields
2000-01-24
University Course Timetabling using Constraint Handling Rules
2000-06-23
Nearly Comonotone Approximation Ii
1999-09-06
Approximately Optimal Monitoring of Plan Preconditions
2000-05-10
Craig Boutilier
Morphological and Syntactic Tagging of the Prague Dependency Treebank
2000-06-27
Jan Hajic
Routing Algorithms in. . .
1998-07-10
X-ray observations of non-magnetic CVs in the ASCA era and beyond
2000-03-01
Koji Mukai
OMIS 2.0 --- A Universal Interface for Monitoring Systems
1997-10-23
Thomas Ludwig
Fuzzy-DEVS Formalism: Concepts, Realization and Applications
2000-01-07
T. Artires, P. Gallinari
1995-08-29
End-To-End Response Time: Where to Measure?
1980-01-16
Oriented Projective Reconstruction
1998-04-24
The Linear Polarization of Sagittarius A* II. VLA and BIMA Polarimetry at 22, 43 and 86 GHz
1999-07-30
A Universally Polymorphic Specification
1997-09-29
Joint Inversion Using the Convolutional Model
2000-06-08
Context and Content in Dialogue Systems
2000-06-26
A Probabilistic Architecture for Content-based Image Retrieval
2000-03-15
Nuno Vasconcelos
Enlarging the Margins in Perceptron Decision Trees
1999-04-06
Developing The Prosodic Component For Swedish Speech Synthesis
1998-09-21
Forward Dynamics Algorithms for Multibody Chains and Contact
2000-02-20
Generating F
1997-07-04
Kurt Dusterhoff
The Hazard Posed by Depleted Uranium Munitions
2000-01-04
Steve Fetter
Distribution of the Loss Period for Some Queues in Continuous and Discrete Time
1994-08-30
Concept Support as a Method for Programming Neural Networks with Symbolic Knowledge
1994-10-12
Atlas: A Case Study in Building a Web-Based Learning Environment using Aspect-oriented Programming
1999-11-12
Reasoning with Mass Distributions
1991-09-04
Finite Automata and Isomorphism Types
2000-03-13
Extracting Text from Proofs
1995-01-24
SEMPER - Secure Electronic Marketplace for Europe
2000-08-08
The ADAPTIVE Service Executive: An Object-Oriented Architecture for Configuring Concurrent Distributed Communication Systems
1998-11-19
Tools for Supporting the Software Engineering Laboratory of the SFB 501
2000-02-29
Advanced Learning Algorithms for Multilayer Perceptrons
1999-04-25
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol
2000-02-02
Computing 3-D Motion in Custom Analog and Digital VLSI
1994-12-12
Lisa G. Dron
Numerical Methods for The Simulation of The Settling of Flocculated Suspensions
2000-04-08
Coded-Waveform Design for High Speed Data Transfer over High Frequency Radio Channels
1998-09-14
Martin Christopher Gill
A Quantitative Assessment of Thread-Level Speculation Techniques
2000-03-20
Integrating Formal Verification Methods of Quantitative Real-Time Properties Into a Development Environment for Robot Controllers
1995-04-27
Napier88 Installation Guide
1997-10-06
On the Replica Approach to Glasses
1997-01-17
Giorgio Parisi
Analytical Fracture Mechanics Analysis Of The Pull-Out Test Including The Effects Of Friction And Thermal Stresses
2000-06-16
John A. Nairn
Auction Algorithms for Network Flow Problems: A Tutorial Introduction
2000-07-07
Impossibility of Black-Box Reduction from Non-Adaptively to Adaptively Secure Coin-Flipping
2000-04-26
Yevgeniy Dodis
W.J. Chaplin
1996-12-11
Fast Segmentation of Planar Surfaces in Range Images
1999-10-27
Michal Haindl
Experiences with a Flexible Driver Scheduler
2000-04-27
Solution Of Augmented Systems From A Mixed-Hybrid Finite Element Discretization Of The Potential Fluid Flow Problem: Asymptotic Rates Of Convergence
2000-05-02
Slot Models for Schedulers Enhanced by Planning Capabilities
2000-05-22
Roman Bartk
The Physical Pendulum in an Advanced Undergraduate Course in Mechanics
1998-12-22
Average Bit-Complexity of Euclidean Algorithms
2000-08-24
Universit'e De Caen
Multi-Platform Graphic User Interface For The Marylie Charged Particle Beam Transport Code
1999-08-12
The Evolution of Social and Economic Networks
1970-01-01
Lightweight Active Router-Queue Management for Multimedia Networking
1999-02-03
Towards Multi-Agent Support for Open Mobile Virtual Communities
2000-04-27
Effect of the Number of Samples Used in a Leave-One-Out Covariance Estimator
2000-06-01
Adaptive Control Schemes for Parameterized Heuristic Scheduling
2000-05-12
Modeling And Control Of A Robotic Joint With In-Parallel Redundant Actuators
2000-02-24
Monism, Dualism, Pluralism
2000-05-25
Tim Van Gelder
Surface Reconstruction based on Lower Dimensional Localized Delaunay Triangulation
2000-04-27
A Quick Introduction to Dwork's Conjecture
1999-03-08
A Quick
Interchangeability of Relevant Cycles in Graphs
1999-07-27
Design Principles for Dynamic Object Systems
2000-03-31
Christian Salzmann
An Analysis of Buffer Sharing and Prefetching Techniques for Multimedia Systems
1995-03-02
Raymond T. Ng
GP-Beagle: A Benchmarking Problem Repository for the Genetic Programming Community
2000-05-26
Causal Bayesian Reasoning for Tropical Cyclone Risk Analysis: Research in Progress
2000-01-25
A Verification of the Bakery Protocol Combining Algebraic and Model-oriented Techniques
1996-06-19
Statistical Properties of Simple Types
1999-09-15
Dynamic Byzantine Quorum Systems
2000-06-26
A Discrete Strategy Improvement Algorithm for Solving Parity Games Extended Abstract
2000-04-28
Local Search Heuristics For Capacitated P-Median Problems
2000-07-10
Characterizing Unambiguous Augmented Pushdown Automata by Circuits
1970-01-01
Incorporating Information on Neighboring Coefficients into Wavelet Estimation
2000-06-06
Processes andHyperuniverses
1999-12-15
An Evidence-Theoretic Neural Network Classifier
1997-05-02
Thierry Denoeux
Fault Detection and Fault Tolerance in a Loosely Integrated Heterogeneous Database System
2000-05-22
Wanlei Zhou
A Spectral Algorithm For Envelope Reduction Of Sparse Matrices
1994-03-15
Handbook for the Computer Security Certification of Trusted Systems
1995-02-01
Workflow Management Coalition Workflow Standard - Interoperability Wf-XML Binding
2000-05-09
Workflow Standard Interoperability
A High Speed CMOS Clock Shaper Using Wave Pipelining
1999-08-31
Real Time, Accurate, Multi-Featured Rendering of Bump Mapped Surfaces
2000-04-20
Mathematical Software: Past, Present, and Future
2000-03-31
Ronald F. Boisvert
Experiments in Path Optimization via Pheromone Trails by Simulated Robots
1996-09-23
Jason L. Almeter
A Log-Barrier Method With Benders Decomposition For Solving Two-Stage Stochastic Programs
1999-06-08
Gongyun Zhao
Anonymous Fingerprinting Based on Committed Oblivious Transfer
2000-02-23
Josep Domingo-ferrer
Comparing Three Approaches to Transformational Programming
1994-03-17
Konstantin Laufer
Kamal Nigam
1999-04-05
Reduction of Block-Transform Image Coding Artifacts by Using Local Statistics of Transform Coefficients
1998-09-29
Surprises in Diffuse Scattering
2000-06-23
Moritz Hoffe
SEARCHES FOR COMPOSITENESS AT e
1999-05-28
Lee F. Thompson
On Deflation for Symmetric Tridiagonal Matrices
2000-01-24
A. N. Malyshev
Induction and the Organization of Knowledge
2000-02-22
Acceleration of Satisfiability Algorithms by Reconfigurable Hardware
2000-07-03
The Rx Hex
1994-04-11
A Unified Algorithm for Cache Replacement and Consistency in Web Proxy Servers
1998-03-13
A High Performance Two Dimensional Scalable Parallel Algorithm for Solving Sparse Triangular Systems
1998-02-10
Localizing A*
2000-04-04
A Stereovision System for a Planetary Rover: Calibration, Correlation, Registration, and Fusion
1996-04-18
Zhengyou Zhang
Wavelet Thresholding via MDL for Natural Images
2000-06-23
Mark Hansen
A High-Performance Fast Fourier Transform Algorithm for the Cray-2 David H. Bailey July 10, 1986
1995-01-27
David H. Bailey
OptimalControl of Laser Hardening
1997-05-15
Analysis and Classification of Stress Categories from Drivers' Speech
2000-03-22
Myworld: An Agent-Oriented Testbed For Distributed Artificial Intelligence
1998-07-23
A Language for Composing Program Modules
1995-11-03
Analysing Growth in Faces
2000-02-04
Gibbs States for Bundle Systems with an Application to Spatio-Temporal Chaos
1997-07-15
Dust in Spiral Galaxies: Comparing Emission and Absorption to Constrain Small-Scale and Very Cold Structures
1999-06-16
Phase Transition In A Loss Load Sharing Model
1992-06-21
A Multiagent Approach using A-Teams for Graph Drawing
1970-01-01
Hugo A. D. Do Nascimento
An Ounce of Prevention is Worth a Pound of Cure
2000-03-21
Azer Bestavros
A Better-Than-Best-Effort Service for Continuous Media UDP
1998-07-12
Expression of the Uncertainty of Measurement in Calibration
2000-02-16
Lightweight Logging for Lazy Release Consistent Distributed Shared Memory
1997-07-21
On Escher's Spirals: Polygonization of 2-manifolds with boundaries
2000-02-25
Alexander A. Pasko
Classes Of Byzantine Fault-Tolerant Algorithms For Dependable Distributed Systems
1999-01-05
Andr Postma
On the Embedding Phase of the Hopcroft and Tarjan Planarity Testing Algorithm
1995-03-08
User Guide to the CtCoq Proof Environment
1997-10-23
From Flop to MegaFlops: Java for Technical Computing
2000-02-22
Interpreting Strands in Linear Logic
2000-04-24
An Eigenvalue Characterization of Antipodal Distance-Regular Graphs
1997-12-25
M. A. Fiol
Inverse Problem and Estimates for Periodic Zakharov-Shabat Systems
2000-03-17
Evgeni Korotyaev
Estimation of Depth Fields Suitable for Video Compression Based on 3-D Structure and Motion of Objects
2000-02-15
Learning to Improve Coordinated Actions in Cooperative Distributed Problem-Solving Environments
1999-04-19
Perfect Sampling From Independent Metropolis-Hastings Chains
1998-02-16
Breakpoint Detection Using Covariance Propagation
1997-12-27
Modeling Focus of Attention for Meeting Indexing
2000-02-15
On the Performance of Polynomial-time CLIQUE Approximation Algorithms on Very Large Graphs
2000-03-21
Design of a Framework for Data-Intensive Wide-Area Applications
2000-02-22
Performance-Driven Board-Level Routing for FPGA-based Logic Emulation
1998-04-07
Admissible Heuristics for Optimal Planning
2000-02-10
Patrik Haslum
Factoring Algorithm for Counting the Number of s,t-Mincuts of Each Size
1997-07-11
Stephane Bulteau
Search for Sfermions at
1997-07-29
The Dynamics of Vagueness
2000-04-04
Chris Barker
Modelling VHDL in Multiclock Esterel
2000-03-08
Basant Rajan
Computer-Aided Inconsistency Management in Software Development
1996-07-02
Bashar Nuseibeh
ELECTRICAL RELIABILITY OF Cu AND
1999-05-04
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector
1995-11-02
An approach to Real Numbers in Coq
2000-01-18
On Consistency Of The Self-Consistent Estimator Of Survival Functions With Interval-Censored Data
1998-11-03
Organisational Abstractions for the Analysis and Design of Multi-Agent Systems
2000-05-18
Polynomial Regression And Estimating Functions In The Presence Of Multiplicative Measurement Error
1998-09-07
Bounds on Projections onto Bivariate Polynomial Spline Spaces with Stable Bases
2000-02-25
PACT: An Experiment in Integrating Concurrent Engineering Systems
1994-06-26
Geometric driven optical flow estimation and segmentation for 3D reconstruction
2000-06-05
Observing Distribution in Processes: Static and Dynamic Localities
1994-06-24
Ilaria Castellani
Multicast-based Architecture for IP Mobility: Simulation Analysis and Comparison with Basic Mobile IP
1970-01-01
Ahmed Helmy
Some Unusual Matrix Eigenvalue Problems
1999-11-22
The Tester's Triad: Bug, Product, User
2000-04-30
Dynamic Leaning of Shape for Automatic Object Recognition
2000-06-01
Precision Control and Exception Handling in Scientific Computing
1995-04-03
Towards a Computational Model for Object Recognition in IT Cortex
2000-05-09
David G. Lowe
A Mode for Block Ciphers, with Untraceable Dynamic Keys
1999-10-04
Completeness Results for Single-Path Petri Nets
1999-03-22
An Optimization Technique for Dual-Output Domino Logic
1999-09-24
A Limitation of the Generalized Vickrey Auction in Electronic Commerce : Robustness against False-name Bids
1999-05-29
System Design Issues for Low-Power, Low-Cost Short Range Wireless Networking
1998-12-17
An Accurate and Treatable Markov Model of MPEG-Video Traffic
1999-12-21
Monotone Difference Approximations of BV Solutions to Degenerate Convection-Diffusion Equations
2000-05-12
Unambiguity and Fewness for Logarithmic Space
1970-01-01
A Single Perspective on Arrows between Institutions
1998-10-20
Alfio Martini
Multi-Phase Redistribution: A Communication-Efficient Approach to Array Redistribution
1998-05-09
Application Development through Reuse: the Ithaca Tools Environment
1993-07-08
A Brief Overview of ATM Protocol Layers LAN Emulation and Traffic Management
1996-08-20
An Integrated Temporal Partitioning and Partial Reconfiguration Technique for Design Latency Improvement
2000-04-12
Is Public R&D a Complement or Substitute for Private R&D? A Review of the Econometric Evidence
1999-09-17
Non-LTE line formation for S
1998-03-20
Large Scale Direct Optimal Control Applied to the Re-Entry Problem
1994-11-16
A Flexible Framework for Dynamic and Static Slicing of Logic Programs
2000-07-14
Wamberto Weber Vasconcelos
The Communication Complexity of Enumeration, Elimination, and Selection
2000-06-07
Supporting Real-Time Applications in an Integrated Services Packet Network: Architecture and Mechanism
1999-02-15
A Multigrid Method on Graded Meshes for a Hypersingular Integral Equation
1970-01-01
T. Von
Computational Capabilities of Restricted Two Layered Perceptrons
1999-11-22
Probabilistic Noninterference for Multi-threaded Programs
2000-04-10
Object-Oriented Query Optimization: What's the Problem?
1994-02-17
System Support for Scalable and Fault Tolerant Internet Services
2000-04-25
Effect of Cu Addition on the Microstructure and Magnetic Properties of an Fe
1999-05-20
Demand Value Balancing - The Concept Of Inter And Intra Manufacturing Enterprise Economy Balancing
2000-02-10
A Closer Look at Lattice Points in Rational Simplices
1999-11-24
Matthias Beck
Advantages And Drawbacks Of Variational Inequality Formulations
2000-04-19
Combining Rule-Based and Case-Based Learning for Iterative Part-of-Speech Tagging
2000-05-29
Finger Formation in Biofilm Layers
2000-04-22
J. Dockery
A Practical Secure Physical Random Bit Generator
1999-09-07
Lightweight and Generative Components II: Binary-level Components
1999-10-19
Workflow Management Coalition Interface 1: Process Definition Interchange Process Model
1999-11-02
A Connection Based Approach to Commonsense Topological Description and Reasoning
1996-06-25
The Impact of Cell Dropping Policies in ATM Networks
1996-11-22
On a two-level finite element method for the incompressible Navier-Stokes equations
2000-06-28
Hazardous Waste Program: Analytical Data Deliverable Requirements
1999-09-17
Risk Assessments
What's Related? Generalizing Approaches to Related Articles in Medicine
2000-03-08
Fast Fourier Tra