A Belief-Function Logic
1995-04-08
Alessandro Saffiotti
The IRAF Spectroscopy Reduction Packages and Tasks
1994-02-08
F. Valdes
Taguchi Approach To Design Optimization For Quality And Cost: An Overview
1995-03-10
Consistency and Transaction Management in a Mobile Computing Environment
1994-01-10
Grain Dynamics In Photodissociation Regions
1998-12-30
J. C. Weingartner
Plausibility Measures and Default Reasoning
1999-02-11
Boltzmann Chains and Hidden Markov Models
1995-01-28
Undergraduate AI and its Non-imperative Prerequisite
1998-08-27
An Agent-Based Approach to the Design of Rapidly Deployable Fault Tolerant Manipulators
1996-09-09
Christiaan J. J. Paredis
Improving the Quadratic Objective Function in Module Placement
1993-01-19
Representing Type Information in Dynamically Typed Languages
1994-04-18
David Gudeman
Application of a Para-Functional Language to Problems in Computer Algebra
1996-02-13
Wolfgang Schreiner
Reachability Analysis of Pushdown Automata: Application to Model-Checking
1997-04-30
Melnikov Potential for Exact Symplectic Maps
1997-04-26
Downward Separation Fails Catastrophically for Limited Nondeterminism Classes
1995-01-04
Essential Instability of Pulses, and Bifurcations to Modulated Travelling Waves
1998-01-28
Annai/PMA Instrumentation Intrusion Presentation
1996-09-03
Distribution Strategies for Persistent Java
1998-11-25
S. Spence
Exchange Energy Representations in Computational Micromagnetics
1997-11-08
Counting Classes: Thresholds, Parity, Mods, and Fewness
1996-06-10
NPS: User-level Real-Time Network Engine on Real-Time Mach
1994-11-09
Tatsuo Nakajima
Deliberate Evolution in Multi-Agent Systems
1999-01-12
Unknown
1999-02-08
Mid-Level Networks Potential Technical Services
1992-02-25
Vikas Aggarwal
Can Gravity Play a Role At the Electroweak Scale?
1998-05-14
Jeffrey Dean
1996-01-17
Jeffrey Dean
Integrating Obstacles in Goal-Driven Requirements Engineering
1999-02-11
Collaboration On Reference To Objects That Are Not Mutually Known
1996-06-05
Philip G. Edmonds
ExploitingDomain-Specific Properties: Compiling Parallel Dynamic Neural Network Algorithms into Efficient Code
1999-03-17
Region Analysis: A Parallel Elimination Method for Data Flow Analysis
1997-11-09
Le 2110 Ecran
1997-03-26
SP-EPRCA: an ATM Rate Based Congestion Control Scheme based on a Smith Predictor
1999-03-27
A Senone Based Confidence Measure For Speech Recognition
1997-08-29
Implementing Protection Domains in the Java Development Kit 1.2
1998-09-26
Wavelet Estimation For Samples With Random Uniform Design
1998-08-03
Learning to Predict Through Probabilistic Incremental Program Evolution and Automatic Task Decomposition
1998-05-10
Jurgen Schmidhuber
What's in an Instance?
1996-10-17
A Calculus Of Broadcasting Systems
1995-10-06
K. V. S. Prasad
A Parallel Interior Point Method for Stochastic Linear Programs
1997-08-11
Formal Business Process Engineering Based on Graph Grammars
1999-01-24
Christoph Klauck
A Formal Verification of the Alternating Bit Protocol inµCRL
1994-11-30
Gertjan Kamsteeg
Research Report
1996-12-03
Closure generation based on viewing LAMBDA as EPSILON plus COMPILE
1996-05-16
Multiprogrammed Parallel Application Scheduling in NUMA Multiprocessors
1994-11-28
Timothy Benedict Brecht
Solaris MC File System Framework
1998-11-25
Thresholding Of Wavelet Coefficients As Multiple Hypotheses Testing Procedure
1997-10-14
The Design and Analysis of Efficient Lossless Data Compression Systems
1994-02-17
Paul Glor Howard
ECLIPS: An Extended CLIPS For Backward Chaining and Goal-Directed Reasoning
1996-02-17
Reasoning about Action in Polynomial Time
1998-02-14
Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols
1999-01-15
Analysis and Implementation of Hybrid Switching
1970-01-01
Bimodal System for Interactive Indexing and Retrieval of Pathology Images
1998-08-05
A Fast Algorithm For Multi-Pattern Searching
1995-06-14
Modeling Growth with L-Systems&Mathematica
1996-05-08
Safely Sliding Windows
1970-01-01
Dirk Henkel
Navigation for Everyday Life
1996-03-08
How to Derive Conveyed Meanings
1996-11-27
Measurements Of Omega and Lambda from 42 High-Redshift Supernovae
1998-12-08
A Predicate-based Caching Scheme for Client-Server Database Architectures
1994-07-12
Local Conditions for Edge-Colouring of Cographs
1999-01-21
Controlled Camera Motions for Scene Reconstruction and . . .
1999-01-06
Eric March
A Complexity Analysis of Bisimilarity for Value-Passing Processes
1997-10-04
Wechsler, H. 1990.
1997-02-11
MAXPLAN: A New Approach to Probabilistic Planning
1998-11-03
Sketching Storyboards to Illustrate Interface Behaviors
1996-03-28
Structural Gate Decomposition for Depth-Optimal Technology Mapping in LUT-based FPGA
1996-01-05
R-Tree Based Indexing of Now-Relative Bitemporal Data
1998-06-13
A Deductive Object-Oriented Database For Data Intensive Application Development
1996-02-01
Clock Period Optimization During Resource Sharing and Assignment
1997-03-25
Dynamics of a Recurrent Network of Spiking Neurons Before and Following Learning
1997-07-01
Saliency Maps and Attention Selection in Scale and Spatial Coordinates: An Information Theoretic Approach
1996-11-09
Martin Jagersand
Parallel Processing Approaches In Robotics
1997-05-09
Dominik Henrich
Statistical issues raised by the Bellcore data N.G. Duffield
1994-03-18
Maximum-Weight Bipartite Matching Technique and Its Application in Image Feature Matching
1997-12-12
Consistent Timestamping for Transactions in Distributed Systems
1997-09-03
David Lomet
Transfer and Architecture: Views from Chart Parsing
1994-05-19
Spanners and Message Distribution in Networks
1970-01-01
On the Relationship Between Formal Semantics and Static Analysis
1996-12-19
P. N. Benton
Fault-Tolerant Implementation of Finite-State Automata in Recurrent Neural Networks
1996-03-14
Continuous Mandarin Speech Recognition Using Hierarchical Recurrent Neural Networks
1970-01-01
Yuan-fu Liao
International Workshop on Description Logics
1999-03-17
Trigger System Design Requirements
1997-07-23
Pattern Smoothing for Compressed Video Transmission
1998-08-12
COFS - A cell oriented fault simulator
1995-05-29
Linear Projectors in the max-plus Algebra
1997-07-12
A Surveillance System Combining Peripheral and Foveated Motion Tracking
1998-10-08
Study of Scalable Declustering Algorithms for Parallel Grid Files
1998-09-05
Delay-Insensitive Carry-Lookahead Adders
1997-11-09
A Protocol Architecture for Guaranteed Quality of Service in Collaborated Multimedia Applications
1998-06-03
SORMA: Interoperating Distributed Robotics Hardware
1997-01-29
Jörg A. Walter
Relative Equilibria of Molecules
1970-01-01
The Zebra Striped Network File System
1998-05-28
John Henry Hartman
Linear Recursive Filters and Nonlinear Dynamics
1995-07-18
Locality-Based Scheduling for Shared-Memory Multiprocessors
1995-11-06
TRIPTYCH: An FPGA Architecture with Integrated Logic and Routing
1994-12-06
Large digraphs with small diameter: A voltage assignment approach
1996-12-09
Causal Relevance
1997-11-02
Glenn Shafer
Global Elliptic Estimates on Symmetric Spaces
1997-05-14
Michael Ruzhansky
Temperature Wind
1997-11-03
Asymptotics of Young Diagrams and Hook Numbers
1997-12-26
Naming Consistencies in Object Oriented Replicated Systems
1996-03-20
Termination Proofs for a Lazy Functional Language by Abstract Reduction
1996-06-03
Drawing Outerplanar Minimum Weight Triangulations short abstract
1995-10-28
William Lenhart
Formalising Ruby in Isabelle ZF
1999-02-08
Ole Rasmussen
An Evolutionary Approach to System-Level Synthesis
1997-11-03
An Analysis of a Cedar Implementation of DYFESM
1994-06-01
An Effective Conservation Result for Nonstandard Arithmetic
1999-02-24
Erik Palmgren
An Extended Transaction Service for Real-Time and Telecom Object Request Brokers
1997-04-28
Ennio Grasso
PEPP: Performance Evaluation of Parallel Programs
1993-06-28
Conformal Invariance and the exact solution of BFKL equations
1997-03-26
Cosmology with Clusters of Galaxies
1999-01-06
Neta A. Bahcall
Generalization and Exclusive Allocation of Credit in Unsupervised Category Learning
1998-02-01
Computing Symmetric Functions with AND/OR Circuits and A Single MAJORITY Gate
1996-10-04
Ensuring Correct Rollback Recovery In Distributed Shared Memory Systems
1998-07-10
Catching the Boat with Strudel: Experiences with a Web-Site Management System
1998-03-15
Ranking Algorithms For Hamiltonian Paths In Hypercubic Networks
1998-10-06
Fred S. Annexstein
Domain-Specific Keyphrase Extraction
1999-04-08
Optimizing Over All Combinatorial Embeddings of a Planar Graph Extended Abstract
1999-03-05
An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension
1998-02-23
Contemporary Evolution Strategies
1996-01-24
Hans-paul Schwefel
The development of BRIDGER: A methodological study of research on the use of machine learning in design
1995-02-12
Yoram Reich
CFHT Widefield IR Imager
1998-11-13
David Crampton
Authoring Structured Multimedia Documents
1998-12-07
A Note on the Tau-Method Approximations for the Bessel Functions Y 0 z and Y 1 z
1997-02-07
Jun Zhang
World-Wide Web: An Information Infrastructure for High-Energy Physics
1992-05-07
The Influence of Random Delays on Parallel Execution Times
1996-08-06
Molecular Simulation: Understanding Polymer Gels at the Molecular Level
1998-06-17
A Distributed Infrastructure for Mobile Computing
1997-11-03
Chaotic cascades with Kolmogorov 1941 scaling
1997-04-26
A Modal Analysis of some Principles of the Provability Logic of Heyting Arithmetic
1998-09-17
R. Iemhoff
Thesis Summary
1995-04-23
Wavelet Domain Image Restoration With Adaptive Edge-Preserving Regularization
1998-07-06
Combining and Representing Logical Systems
1997-06-20
Accurate Approximations for European Asian Options
1998-02-26
Towards Learning Dialogue Structures from Speech Data and Domain Knowledge: Challenges to Conceptual Clustering using Multiple and Complex Knowledge Source
1997-07-31
Limiting Cases of Impulsive Manipulation
1997-01-29
Realizing Changes of Operational Modes with a Pre Run-Time Scheduled Hard Real-Time System
1995-05-17
Gerhard Fohler
Using Unicode with MIME
1994-11-18
MESSENGERS: Distributed Programming Using Mobile Autonomous Objects
1997-01-15
Reconciling Solar and Terrestrial Neutrino Oscillation Evidences With Minimum Sacrifice
1997-06-03
Planetesimal Dynamics
1993-09-28
Special Point Sets in Finite Projective Planes
1996-09-27
Aart Blokhuis
Modeling Object Recognition as a Markov Decision Process
1996-11-13
Bruce A. Draper
Local Greyvalue Invariants for Image Retrieval
1997-06-06
A Device For Generating Binary Sequences For Stochastic Computing
1996-11-28
Modal Characterization of Weak Bisimulation for Higher-order Processes Extended Abstract
1998-01-09
A Scalable Proportion-share Resource Allocator for Distributed Systems
1997-04-16
Diagnosis as a Constraint Satisfaction Problem
1995-06-23
John J. Kelly Iii
Providing a Low Latency User Experience in a High Latency Application
1996-12-18
Home Migration in Home-Based Software DSMs
1999-04-24
A Concurrency Mechanism For Sequential Eiffel
1995-02-21
Structuring Decompiled Graphs
1997-03-03
Cristina Cifuentes
Linear Continuations
1995-01-06
Andrzej Filinski
Project Project: Tools for Program Analysis and Comprehension
1997-10-20
Applications of the Situation Calculus To Formalizing Control and Strategic Information: The Prolog Cut Operator
1998-09-11
Fangzhen Lin
A Framework for Unifying Reordering Transformations
1998-09-05
Synthesizing Controllers for Nonlinear Hybrid Systems
1998-02-04
On TC 0 , AC 0 , and Arithmetic Circuits
1997-04-23
Factoring via Strong Lattice Reduction Algorithms
1998-02-23
Automatic Knowledge Acquisition for Creating Nuclear Juridical Lexica
1994-07-14
Polar Quantization Revisited
1998-08-08
Some Remarks on Protecting Weak Keys and Poorly-Chosen Secrets from Guessing Attacks
1994-11-22
A MATLAB Function for Plotting Phase Planes Interactively
1993-10-14
Maylis Delest
1996-01-17
Computing Multiple Image Motions
1998-07-06
Constructing Design Plans for DFA Redesign
1999-01-17
MythOS - A Micro-Kernel Threads Operating System
1995-12-16
Closed subgroups in pro-V topologies and the extension problem for inverse automata
1998-12-02
A Calculus for Predicative Programming
1995-04-03
A Simulation Of Growth Cone Filopodia Dynamics Based On Turing Morphogenesis Patterns
1998-02-02
Syntax + Prosody: A syntactic-prosodic labelling scheme for large spontaneous speech databases
1998-12-09
Dummynet: A Simple Approach to the Evaluation of Network Protocols
1997-06-30
Luigi Rizzo
Fraud Detection Concepts: Final Report
1998-06-30
Phil Gosset
Supporting the Restructuring of Data Abstractions through Manipulation of a Program Visualization
1998-05-24
Some Interesting Problems in Systems Theory which are of Fundamental Importance in Coding Theory
1997-11-20
Joachim Rosenthal
Constraints on the Star Formation History from the Far-IR Background
1997-11-10
Conformal Measure And Decay Of Correlation For Covering Weighted Systems
1999-01-22
A Load Balancing Strategy for Iterated Parallel Loop Scheduling
1996-04-26
Salvatore Orlando
On Solvinging Maxwellian Eigenvalue Problems For Accelerating Cavities
1999-02-23
Model Generation for Natural-Language Semantic Analysis
1999-03-22
Karsten Konrad
Axiomatising Dynamic Logics for Anaphora
1998-09-10
Jan Van Eijck
Parallel Evolutionary Algorithms: A Review
1999-02-15
Panagiotis Adamidis
Multilevel Secure Rules: Integrating the Multilevel Secure and Active Data Models
1998-04-10
A Simulation Study of Fishway Design: An Example of Simulation in Environmental Problem Solving
1970-01-01
Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning Cost
1997-09-18
Forcing Behavioral Subtyping Through Specification Inheritance
1995-12-22
Effects of Laser Phase Drift on Coherent Optical CDMA
1994-10-31
Efficient Context-Sensitive Pointer Analysis for C Programs
1995-08-02
Observational Proofs with Critical Contexts
1998-05-19
On the transition from the Ginzburg-Landau equation to the extended Fisher-Kolmogorov equation
1997-10-23
A Case Study in Applying a Systematic Method for COTS Selection
1996-05-15
Jyrki Kontio
The Architecture of a Debugger for Lazy Functional Languages
1996-08-27
MULINEX - Multilingual Indexing, Navigation and Editing Extensions for the World-Wide Web
1997-06-21
W. Scott Reilly Joseph Bates June 1995
1995-06-16
Luby-Rackoff Backwards: Increasing Security by Making Block Ciphers Non-Invertible
1998-10-17
Photonic Band Gap Calculations: Inward And Outward Integral Equations And The KKR Method
1993-10-15
Alexander Moroz
Complexity of Local Solution of Integral Equations
1997-03-27
Verifying Modal Formulas over I/O-Automata by means of Type Theory
1995-02-27
M. P. A. Sellink
Multivariate Probit Analysis of Binary Time Series Data with Missing Responses
1996-09-11
Claudia Czado
Neural Net Learning Issues in Classification of Free Text Documents
1996-02-15
Simulating Reliable Links with Unreliable Links in the Presence of Process Crashes
1996-07-22
Foundations of Elasticity Theory
1998-11-03
Robert Burridge
Evolution of Homing Navigation in a Real Mobile Robot
1998-01-27
Un th'eor`eme de Paley-Wiener pour les groupes de Lie nilpotents
1996-03-19
Defining Explanation in Probabilistic Systems
1997-05-09
Goodness of Time-Processor Optimal PRAM Simulations
1997-01-17
A Comparison of Functional and Structural Partitioning
1997-02-04
A Simple Computational Market for Network Information Services
1995-05-26
Connectionist Knowledge Representation By Generic Rules Extraction from Trained Feedforward Neural Networks
1999-01-25
Query-free Information Retrieval
1996-12-04
A Stable Integer Relation Algorithm
1998-02-23
Interface-Oriented Classification of DEVS Models
1996-06-12
Carsten Thomas
Foundations of Software Testing: Dependability Theory
1994-10-05
Dick Hamlet
Polyvariant Binding-Time Analysis For Applicative Languages
1995-07-28
Charles Consel
Restructuring The Requirements Document
1998-10-06
Joseph A. Goguen
Techniques for handling inference complexity in Dynamic Belief Networks
1994-02-17
Warp 2.1.2 Implementation Notes
1995-06-27
A Direct Combination of the Prim and Dijkstra Constructions for Improved Performance-Driven Global Routing
1993-06-28
Unifying Graph Matching Problems with a Practical Solution
1999-01-22
BOOLE: A System to Compute Boolean Combinations of Sculptured Solids
1997-06-30
A Variation on the Zero-One Law
1997-10-13
Handling Inconsistency for Multi-Source Integration
1998-05-16
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories
1999-01-13
Wan Fokkink
Pointer Swizzling in Non-Mapped Object Stores
1997-07-03
Towards a Principled Representation of Discourse Plans
1998-09-22
Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis
1997-05-04
A Dynamic Paging Scheme for Wireless Communication Systems
1998-06-16
A Synergy of Agent Components: Social Comparison for Failure Detection
1998-04-10
An Animator For The Object Specification Language TROLL light
1998-05-25
An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension
1997-03-05
Global Extrema in Traveltime Tomography
1995-05-01
James G. Berryman
Difference Set Codes: Codes With Squared Euclidean Distance Of Six For Partial Response Channels
1998-08-10
fparks,ealg@EECS.Berkeley.EDU
1994-12-16
Grid Structures and Undecidable Constraint Theories
1997-01-21
PRISMA/DB: A Parallel, Main-Memory Relational DBMS
1992-03-04
LQ controller design and self-tuning control
1996-04-27
Arithmetization: A New Method In Structural Complexity Theory
1994-04-21
Lance Fortnow
A Process Algebra Based Verification of a Production System
1998-10-15
Coordination of Scheduling and Allocation Agents Extended Abstract
1998-09-04
On Sensor Evolution in Robotics
1996-04-15
COLA: Yet Another Coordination Language
1996-03-26
A Formal Language for Cryptographic Protocol Requirements
1999-01-22
The Essence of Parallel Algol
1997-04-30
Stephen Brookes
Band Ordering in Lossless Compression of Multispectral Images
1995-03-01
Stephen R. Tate
A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation
1995-11-22
Error Analysis Of Krylov Methods In A Nutshell
1996-08-12
Marlis Hochbruck
Moving Multiple Tethered Robots between Arbitrary Configurations
1999-03-21
When Clusters Meet Partitions: New Density-Based Methods for Circuit Decomposition
1994-12-15
Providing Guaranteed Services Without Per Flow Management
1999-04-07
Associative Query Answering via Query Feature Similarity
1998-02-11
Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity
1997-04-17
A New Theory of Deadlock-Free Adaptive Multicast Routing in Wormhole Networks
1995-11-28
Goals and Structured Information
1998-03-19
Joris Hulstijn
How To Frame It - Modern Applied Logic from the Top Down,. . .
1994-07-12
Jon Doyle
Directed Interval Arithmetic in Mathematica: Implementation and Applications
1997-03-18
The Evanescent Field Transform for Estimating the Parameters of Homogeneous Random Fields with Mixed Spectral Distributions
1999-02-16
Joseph M. Francos
radiative corrections to the Higgs decay width
1998-05-25
Two Hierarchies Of Generalized Kronecker Trees, Forms, Decision Diagrams, And Regular Layouts
1997-04-03
Directed Acyclic Graphs, One-way Functions and Digital Signatures
1999-02-08
m4 - trying the MCP NMR retail - ver.3
1997-08-15
Global Value Numbering
1997-01-27
Taylor Simpson
Dense Depth Maps from Epipolar Images
1997-03-09
Approximation Algorithms for Configuring Hierarchical Nonblocking Communication Networks
1995-07-25
J. Andrew Fingerhut
Linear Discriminant - A New Criterion for Speaker Normalization
1998-12-28
Representing Place/Transition Nets in SpanGraph
1997-07-06
Channel Model Of Second Messenger Mediated Transformation Of Gaba Induced Currents
1998-12-17
CORBA 2.2 Implementation
1998-09-08
RTP Payload for Redundant Audio Data
1997-06-24
Choosing Learning Strategies to Achieve Learning Goals
1994-05-31
Asymptotic Approximation of the Move-To-Front Search Cost Distribution and Least-Recently-Used Caching Fault Probabilities
1998-05-11
Predrag R. Jelenkovi'c
An Axiomatic Approach for the Hajós Theorem
1997-06-30
Topics and centers - A comparison of the salience-based approach and the Centering theory
1998-03-23
Client-Server Paradise
1995-08-10
On The Length Of Programs For Computing Finite Binary Sequences: Statistical Considerations
1998-07-21
Gregory J. Chaitin
Linking Adaptation and Similarity Learning
1996-06-16
Self-Stabilizing Depth First Search
1995-04-17
Continual Queries for Internet Scale Event-Driven Information Delivery
1998-09-16
Conferencing and Collaborative Computing
1996-02-09
Eve M. Schooler
Local Analysis of Scale Space
1997-03-10
Peter Johansen
Teamwork in Real-world, Dynamic Environments
1996-08-06
Milind Tambe
Claymore: Three-Dimensional Modeling Tool
1998-03-02
On-line Reorganization of Data in Scalable Continuous Media Servers
1996-08-25
A STEP Entity Control System for Concurrent Engineering
1996-07-18
A Simple Adequate Categorical Model for PCF
1997-11-07
Torben Brauner
Preprocessing Of Visual Speech Under Real World Conditions
1997-12-17
Orthogonal Polynomials: Connection And Linearization Coefficients
1997-04-04
A. Ronveaux
The Specification Language KARL and Its Declarative Semantics
1997-07-18
An Efficient and General Implementation of Futures on Large Scale Shared-Memory Multiprocessors
1996-04-08
Generalized Temperley-Lieb Algebras And Decorated Tangles
1997-11-21
R. M. Green
A Methodology For Query Reformulation In Cis Using Semantic Knowledge
1996-06-12
Case-Based Anytime Learning
1998-12-27
Delayline - A Wide-Area Network Emulation Tool
1998-11-20
Improved Method for Prediction of Attainable Wing Leading-Edge Thrust
1996-07-23
Nonlinear Wavelet Transforms For Image Coding
1998-04-09
CHATR: a Generic Speech Synthesis System
1994-08-01
Functional Programming and Graph Algorithms
1998-05-07
David Jonathan King
A Communication System for High-Performance Distributed Computing
1994-01-06
On the Realization of 3-D Binaural Audio Synthesis in Real Time
1997-12-22
A Comparison of Lauritzen-Spiegelhalter, Hugin, and Shenoy-Shafer Architectures for Computing Marginalsof Probability Distributions
1999-02-03
Nonlinear versus Linear Models in Functional Neuroimaging: Learning Curves and Generalization Crossover
1998-07-03
Local Analysis of Dynamical Systems - Concepts and Interpretation
1995-11-30
Poisson Structures On The Cotangent Bundle Of A Lie Group Or A Principle Bundle And Their Reductions
1998-12-03
On Nested Depth First Search
1999-04-12
Sequent Calculi
1995-02-27
Frank Pfenning
Disk Drive Pivot Nonlinearity Modeling Part II: Time Domain
1998-03-19
Data Flow Analysis of System Specifications in LOTOS
1995-02-20
Petri-net-based Workflow Management Software
1996-01-03
Database Performance in the Real World - TPC-D and SAP R/3
1997-02-14
Modelling and analysing workflow using a Petri-net based approach
1995-11-17
Generic Support for Understanding Heterogeneous Software
1996-06-20
A Connectionist Solution to the Multiple Instantiation Problem using Temporal Synchrony
1997-07-31
The Cellular Neural Network Associative Processor, C-NNAP
1998-06-22
Improved Data Structures for Predecessor Queries in Integer Sets
1996-03-28
Exponential Convergence of Langevin Diffusions and Their Discrete Approximations
1995-10-03
Organizational Memory: Knowledge Acquisition, Integration, and Retrieval Issues
1998-12-17
Andreas Abecker
Relaxations of the Max Cut Problem and Computation of Spin Glass Ground States
1970-01-01
Learning long-term dependencies is not as difficult with NARX recurrent neural networks
1998-09-05
Appearance Graph Generation Using Ray Tracing and Graph Matching
1998-04-15
Least-squares solution of F=PG over positive semi-definite symmetric P
1997-09-18
Processes are in the Eye of the Beholder
1996-01-17
Response Time Guarantees For Atm-Networked Control Systems
1997-07-02
Performance of Multi-Carrier CDMA with Iterative Detection
1998-07-15
Information Theory and Noisy Computation
1997-05-28
A Layered Architecture for Office Delivery Robots
1997-08-28
HUNTER-GATHERER: Three Search Techniques Integrated for Natural Language Semantics
1997-03-26
New Developments in Lexical Functional Grammar.
1998-10-07
Louisa Sadler
Thick spirals: Dynamics and orbital behavior
1996-05-01
P. A. Patsis
Josep Clotet Departament de Matem`atica Aplicada I Universitat Polit`ecnica de Catalunya Diagonal 647 08028-Barcelona, Spain E-mail:
1999-01-14
Stereo in the Presence of Specular Reflection
1996-01-03
The Semiring of Immersions of Manifolds
1994-12-08
Persistence in the Spring System
1997-10-14
Distributed Safety Controllers for Web Services
1998-01-12
Automatic Speaker Clustering
1997-04-14
Maximum Entropy Model Learning of Subcategorization Preference
1997-07-06
Acyclic and Oriented Chromatic Numbers of Graphs
1996-10-31
On Nonlinear sigma-Models arising in Super-Gravity
1998-05-30
Tight Analyses of Two Local Load Balancing Algorithms
1997-11-11
HyperSlice - Visualization of scalar functions of many variables
1998-07-13
Agent-based Computing and General Distributed Search
1998-10-14
Nick Gibbins
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
1996-06-17
On The Determination Of A Potential From Three Spectra
1997-08-21
Fritz Gesztesy
Formalizing Database Recovery
1997-05-29
Representing Robot/Environment Interactions Using Probabilities: the "Beam in the Bin" Experiment
1999-03-18
A Configuration Space Analysis of Bodies in Contact - Part II: 2nd Order Mobility
1994-02-21
Analysis of Decision Boundaries Generated by Constructive Neural Network Learning Algorithms
1996-07-13
Scaling Laws for Fully Developed Turbulent Flow in Pipes
1997-06-10
Low-Temperature Phase Diagrams of Quantum Lattice Systems. III. Examples.
1997-04-26
Jurg Frohlich
Equivalence Of DFT Filter Banks And Gabor Expansions
1995-06-26
Format for ACSC'96 / ADC'96 / CATS'96 papers
1995-11-06
Modeling Multi-threaded Architectures in PAMELA for Real-time High Performance Applications
1999-01-20
S. Balakrishnan
Fluid-Structure Interaction Simulation of Submerged Floating Tunnels. Part 1: Program Verification
1998-04-01
Information Integration: Conceptual Modeling and Reasoning Support
1998-09-23
Shape-Based Retrieval: A Case Study with Trademark Image Databases
1997-10-09
Comparing Two Information Flow Security Properties
1996-10-23
Riccardo Focardi
A Global Convergence Theory for a General Class of Trust-Region-Based Algorithms for Constrained Optimization Without Assuming Regularity
1997-12-09
Mahmoud El-alem
Coarse Writing-Style Clustering Based on Simple Stroke-Related Features
1999-01-06
On Adaptivity Of BlockShrink Wavelet Estimator Over Besov Spaces
1997-11-19
T. Tony Cai
Numerical Solution of Special Algebraic Riccati Equations via an Exact Line Search Method
1997-08-20
Requirements Analysis for Distributed. . .
1994-09-22
John Mccarthy
Models of Face Recognition and Delusional Misidentification: A Critical Review
1999-01-11
The Synergy Between Non-blocking Synchronization and Operating System Structure
1996-11-25
Very Low Bit Rate Color Video Coding Using Adaptive Subband Vector Quantization with Dynamic Bit Allocation
1997-06-06
An Efficient Zero-Copy I/O Framework for UNIX
1998-11-25
Optimal Wavelet Thresholding For Various Coding Schemes
1998-04-09
The Complexity of Scheduling Typed Task Systems with and without Communication Delays
1998-08-10
Jacques Verriet
FACE: A Flexible Approach for Constraint Enforcement and Compensation of Constraint Violations in Federated Databases
1997-08-22
Myra Spiliopoulou
On Compact Embeddings Of Sobolev Spaces And Extension Operators Which Preserve Some Smoothness
1970-01-01
On the Complexity of Learning for Spiking Neurons with Temporal Coding
1999-01-06
A Notation for Lambda Terms II: Refinements and Applications
1994-03-16
Gopalan Nadathur
Two Stage Habituation Based Neural Networks for Dynamic Signal Classification
1996-04-09
Visualizing Communications Patterns in Nested Data-Parallel Computations
1996-01-17
Typed Higher-Order Concurrent Linear Logic Programming
1994-08-23
H Control of Multirate Sampled-Data Systems: A State-Space Approach
1997-04-24
Neurosymbolic Integration: Cognitive Grounds and Computational Strategies
1997-10-17
Advanced Visual Surveillance using Bayesian Networks
1995-03-23
Subject Composition by Roles
1997-10-24
Bent Bruun Kristensen
Contact Free Strain Measurement using MATLAB Image Processing Toolbox
1995-11-02
SPADE: An Environment for Software Process Analysis, Design and Enactment
1994-10-24
An Empirical Evaluation of Three Defect-Detection Techniques
1996-10-07
-- 1-- Pseudoscalar-Meson Decay Constants
1997-09-23
Using Ray Tracing for Site-Specific Indoor Radio Signal Strength Analysis
1995-12-03
Michael Nidd
Local Model Networks and Local Learning
1997-05-20
Roderick Murray-smith
Processor Allocation in Multiprogrammed Distributed-Memory Parallel Computer Systems
1997-10-20
Data Distribution and Communication Schemes for Least Squares Problems on Massively Distributed Memory Computers
1997-01-17
Tianruo Yang
Fast Far Field Approximation For Calculating The RCS Of Large Objects
1996-04-03
Parallel Real-Time Systems: Formal Specification
1999-01-20
Implementation of sparta, a Highly Parallel Circuit Simulator by the Preconditioned Jacobi Method, on a Distributed Memory Machine
1998-11-05
Selecting Neural Network Architectures via the Prediction Risk: Application to Corporate Bond Rating Prediction
1991-07-03
From Genetic and Evolutionary Optimization to the Design of Conceptual Machines
1998-05-06
David E. Goldberg
Shumeet Baluja
1998-04-06
Protecting the Itinerary of Mobile Agents
1999-04-30
Agents, Services, and Electronic Markets: How do they Integrate?
1998-03-26
Mesosphere Sodium Column Density and the Sodium Laser Guide Star Brightness
1997-08-29
Differential Stability of Two-Stage Stochastic Programs
1997-01-29
A Robust Parsing Algorithm for Link Grammars
1995-10-05
The Importance of Long-Range Dependence of VBR Video Traffic in ATM Traffic Engineering: Myths and Realities
1999-03-11
Remark Concerning Oscillatory Properties Of Solutions Of A Certain Nonlinear Equation Of The Third Order
1970-01-01
M. Gregu S
Supervisory Control of Finite State Machines
1995-07-13
An Optimal Control Theory for Systems Defined Over Finite Rings
1998-12-26
Joachim Rosenthal
Open Problems 15
1997-01-25
Darwin-E: An Environment For Imposing Regularity On Object-Oriented Software
1996-09-12
Co-evolutionary Learning: Machines and Humans Schooling Together
1998-03-02
A Lightweight Universe?
1998-04-20
QUATERNICA: A Package for Manipulating Expressions involving Quaternions
1997-08-27
Letter To Sound Rules For Accented Lexicon Compression
1998-10-30
An Explicit Large Versus Small Field Multiscale Cluster Expansion
1998-05-11
Hitch Hiker's Guide to Lygon 0.7
1996-10-14
Michael Winikoff
Phenomenological
1998-05-11
Minimal Forbidden Words and Factor Automata
1998-10-28
Experimental Analysis of Power Estimation Models of CMOS VLSI Circuits
1998-05-25
Recognition Of Music Types
1998-02-13
High-Concurrency Locking in R-Trees
1995-09-06
Three-Particle Bose-Einstein Correlations - a sensitive probe for Lund string fragmentation
1998-08-27
M. Ringn
A Remark on Commuting Operator Exponentials
1995-09-21
ANTLR: A Predicated-LLk Parser Generator
1994-08-09
What Would Be Conserved If "The Tape Were Played Twice"?
1998-04-21
A Modal Analysis of Staged Computation
1995-11-20
Rowan Davies
Representation of Formal Dispute with a Standing Order
1970-01-01
Gerard A. W. Vreeswijk
On an Integer Multicommodity Flow Problem from the Airplane Industry
1998-01-06
A Scalable Multicast Architecture for One-to-many Telepresentations
1998-06-09
Analysis of Indirect Effects in a Hydrologic Model for Use in . . .
1998-04-01
Some Schrödinger Operators With Dense Point Spectrum
1997-04-26
Barry Simon
Pathogenic Mechanisms in Ischemic Damage: A Computational Study
1997-07-30
A Formal Object-Oriented CASE Tool for the Development of Complex Systems
1998-09-01
Experimenting with Power Default Reasoning
1998-04-13
A Reference Model for Firewall Technology
1997-10-03
Evolving Teamwork and Coordination with Genetic Programming
1996-06-04
Sean Lukey
Lightweight Shared Objects in a 64-Bit Operating System
1999-01-04
A Simple Heuristic Based Genetic Algorithm for the Maximum Clique Problem
1997-11-25
Elena Marchiori
Smoothing Regularizers for Projective Basis Function Networks
1996-09-13
A Data--Parallel Adaptive
1970-01-01
Eigenvalue Perturbation and Generalized Krylov Subspace Method
1998-01-10
Journal of Graph Algorithms and Applications
1998-07-04
Informing Loads: Enabling Software To Observe And React To Memory Behavior
1995-10-27
Integrated System Support For Distributed Multimedia Databases
1998-01-19
A New Paradigm for Minimax Search
1995-02-09
EMP - A Database-Driven Electronic Market Place for Business-to-Business Commerce on the Internet
1998-11-04
Admission Control for Statistical QoS: Theory and Practice
1999-02-16
Ness B. Shroff
A Cutting Plane Algorithm for Multicommodity Survivable Network Design Problems
1995-05-22
A General Method to Construct Oracles Realizing Given Relationships between Complexity Classes
1994-04-29
Scotch 3.1 User's Guide
1997-06-05
Fairness in Electronic Commerce
1998-05-18
N. Asokan
The Dynamics of Populations in Evolutionary Algorithms: A Parametric Analysis
1994-08-19
Krasimir Kolarov
MMSE Receivers for Dual-Rate DS/CDMA Signals: Random Signature Sequence Analysis
1997-10-20
The Role of Integrity Constraints in Database Interoperation
1996-08-29
Loop Scheduling Algorithm for Timing and Memory Operation Minimization with Register Constraint
1998-09-14
Runtime Mechanisms for Efficient Dynamic Multithreading
1996-04-11
On Self-Stabilizing Systems: An Approach to the Specification and Design of Fault Tolerant Systems
1998-07-06
Implementation of a Discretionary Access Control Model for Script-based Systems
1995-04-23
Morphological Pseudo Bandpass Image Decompositions
1998-03-31
A Case Study on Tuning of Genetic Algorithms by Using Performance Evaluation Based on Experimental Design
1999-02-08
Kazuo Sugihara
Production Models As A Structural Basis For Automatic Speech Recognition
1996-12-09
Scalable High Speed IP Routing Lookups
1997-09-15
An Unconstrained Convex Programming Approach to Linear Semi-Infinite Programming
1998-06-03
Chih-jen Lin
Autoroute Dialogue Demonstrator
1998-10-09
Design of a Survivable WDM Photonic Network
1996-11-04
Transaction Reordering in Replicated Databases
1997-09-10
Asymmetric Unbiased Fluctuations are Sufficient for the Operation of a Correlation Ratchet
1995-10-21
First Inverse Moment of a Generalized Quadratic Form
1997-03-13
B. Lindoff
Value Minimization in Circumscription
1996-09-10
The impact of inheritance depth on maintenance tasks - Detailed description and evaluation of two experiment replications
1998-07-17
A Search for Squarks of Rp-Violating SUSY at HERA H1 Collaboration
1997-12-19
H Collaboration
The Design of a Situation-Based Lygon Metainterpreter: I. Simple Changes and Persistence.
1996-10-21
Dr. G. White
Dynamic Memory Allocation for Multiple-Query Workloads
1993-06-14
Flexible Policy-Directed Code Safety
1999-03-06
Towards a Common Object Model and API for Accelerator Controls
1996-03-20
A Neural Architecture for Fast Rule Matching
1998-06-22
Fortran routines for use with the method of L-moments - Version 3.02
1997-03-23
J. R. M. Hosking
A Frequency Domain Variable Data Rate Frequency Hopping Channel Model for the Mobile Radio Channel
1997-01-17
Visual Scripting - Towards Interactive Construction of Object-Oriented Applications
1991-04-26
On the applicability of Gaussian traffic models
1999-03-25
Complexity and Approximability of Certain Bicriteria Location Problems
1998-04-06
Qualitative Spatial Representation and Reasoning with the Region Connection Calculus
1997-09-17
Parton HadronDuality In Nonleptonic
1998-05-15
Counting Networks and Multi-Processor Coordination Extended Abstract
1997-09-03
Using Machine Learning for Assigning Indices to Textual Cases
1998-08-05
Extracting Source Parameters From Gaussian Fits to Two-Particle Correlations
1998-01-19
Social Comparison for Failure Detection and Recovery in Multi-Agent Settings
1998-04-10
Efficient Optimization of Iterative Queries
1996-09-23
Leonidas Fegaras
Specifying Real-Time Finite-State Systems in Linear Logic
1999-01-26
Regularization By Truncated Total Least Squares
1999-03-23
Online Scheduling for Reprographic Machines
1998-11-13
Elementary structural analysis for PEPA
1998-04-21
A Note on P-selective sets and on Adaptive versus Nonadaptive Queries to NP
1995-12-19
Tamper Resistance - a Cautionary Note
1997-02-26
Divergence Stability of Certain Increasing Order Finite Element Methods for Elliptic and Semi-Elliptic Problems
1995-10-17
Hard Real-Time Operating System Kernel Study
1994-08-12
John Firth
Large Error Recovery for a Class of Frequency Tracking Algorithms
1998-01-21
Word Juncture Modelling Based On The
1997-05-21
Multiple-Scattering Model for Inclusive Proton Production in Heavy Ion Collisions
1998-03-26
Francis A. Cucinotta
Growing Simpler Decision Trees to Facilitate Knowledge Discovery
1998-12-21
The Use of Coding Theory in Computational Complexity
1997-05-27
Joan Feigenbaum
Division Algebras that Ramify Only Along a Singular Plane Cubic Curve
1995-09-17
T. J. Ford
Normal Structure And Modulus Of U-Convexity In Banach Spaces
1997-06-24
Ji Gao
Graphical Models for Discovering Knowledge
1996-11-09
Wray Buntine
VLIW Across Multiple Superscalar Processors On A Single Chip
1999-01-26
A General Framework for Reasoning About Contradictory Information and Some of Its Applications
1998-07-20
Laurence Cholvy
UCPOP: A Sound, Complete, Partial Order Planner for ADL
1997-07-01
A Duality Theory for Bilattices
1998-12-29
Extraction of a "Good" Subsequence From a Bounded Sequence of Integrable Functions
1995-10-27
Decomposing Constraint Satisfaction Problems Using Database Techniques
1997-06-12
Representation of Feedback Operators for Parabolic Control Problems
1999-01-28
Belinda B. King
Improving Accuracy By Combining Rule-Based and Case-Based Reasoning
1998-02-13
Attentional Network Streams of Synchronized 40Hz Activity in a Cortical Architecture of Coupled Oscillatory Associative Memories
1998-08-27
Automatic Labeling Of Phrase Accents In German
1994-10-31
Planar Upward Tree Drawings with Optimal Area
1999-03-11
A General but Simple Technique to Handle Asynchronous Data-Parallel Control Structures
1999-01-29
Scheduling High-Level Tasks Among Cooperative Agents
1998-09-24
Bradley J. Clement
A Modular Q-Learning Architecture for Manipulator Task Decomposition
1994-06-27
Comparison of Scalable Parallel Matrix Multiplication Libraries
1997-09-02
Efficient Index Generation for Compiling Two-Level Mappings in Data-Parallel Programs
1998-01-22
A Strong Winner-Take-All Neural Network In Analogue Hardware
1998-03-23
Semantic Foundations of Jade
1995-05-20
Eigenvalue Relations and Conditions of Matrices Arising in Linear Programming
1998-03-05
Efficiency and Simplicity in Self-Stabilizing Distributed Depth-First Token Circulation Algorithms
1998-05-24
Franck Petit
Guardians in a Generation-Based Garbage Collector
1993-05-02
Prolongation of Vector Fields to Jet Bundles
1995-01-12
Cv
1998-12-17
Justin A. Boyan
Some Reusability Exercises in Persistent C
1998-08-03
Multi-RCCL User's Guide
1995-12-12
Dynamic Trajectory Planning, Path-Velocity Decomposition and Adjacent Paths
1998-04-09
Unknown
1998-09-11
Roger L. Berger
An Old Sub-Quadratic Algorithm for Finding Extremal Sets
1995-02-03
Paul Pritchard
Issues in Reliable Network Memory Paging
1995-11-16
Evangelos P. Markatos
Time--Dependent Scattering Theory Of N--Body Quantum Systems
1997-07-16
W. Hunziker
Comparison of Hardware and Software Cache Coherence Schemes
1997-12-10
MultiScript III: Creating and Editing Multi-lingual Documents
1998-07-07
Real-time Control of Animated Broad Agents
1995-06-16
GEMM-Based Level 3 BLAS: Installation, Tuning and Use of the Model Implementations and the Performance Evaluation Benchmark
1995-11-27
Network Performance Modeling for PVM Clusters
1998-08-19
Mark J. Clement
Optimal Signal Sets For Non-Gaussian Detectors
1997-01-30
Allocation of Function: Scenarios, Context and the Economics of Effort
1999-01-07
The Power of Vacillation in Language Learning
1996-07-23
Artificial Intelligence in Radiology: Decision Support Systems
1996-12-09
Charles E. Kahn
An effective version of Pólya's theorem on positive definite forms
1996-01-01
Francisco Santos
Statistically-Based Temporal Abstraction in Global Change Research
1970-01-01
Issues in Using Function Approximation for Reinforcement Learning
1998-09-29
Bottom-Up Query Evaluation with Partially Ordered Defaults
1994-10-05
TCP Enhancements for Heterogeneous Networks
1997-04-15
Local Structure Theory: Calculation on hexagonal arrays, Interaction of rule and lattice
1994-11-11
Scheduling Issues in Multimedia Query Optimization
1996-05-09
On the use of the quasi-Gaussian entropy theory in non-canonical ensembles. I. Prediction of temperature dependence of thermodynamic properties
1998-09-23
On Reformulation of Constraint Satisfaction Problems Extended Version
1998-05-08
Real-time Head Tracking by Saccadic Exploration and Gabor Decomposition
1998-07-14
Efficient Message Logging for Uncoordinated Checkpointing Protocols
1996-09-12
Existence of Feasible Potentials on Infinite Networks
1996-06-24
Formal Model and Specification of Deadlock
1996-10-23
Sensitivity of nucleon-nucleus scattering to the off-shell behavior of on-shell equivalent NN potentials
1998-05-14
FPGA Implementation Of Digital Filters
1993-10-15
Spinodal Decomposition for the Cahn-Hilliard Equation in Higher Dimensions. Part II: Nonlinear Dynamics
1997-07-31
Redlog User Manual
1996-10-09
Mach Threads and the Unix Kernel: The Battle for Control
1999-02-12
The Constrainedness of Search
1998-09-05
Blind Source Separation of More Sources Than Mixtures Using Overcomplete Representations
1998-12-23
Optimizing Latency of the HTTP Protocol
1998-11-08
Franz J. Hauck
Distribution of Galaxies: Scaling vs Fractality
1998-12-09
Roger Balian
Isophotes: the Key to Tractable Local Shading Analysis
1996-05-03
Auxilliary Variables for Markov Random Fields with Higher Order Interactions
1997-09-17
Robin D. Morris
An Evaluation of Directory Protocols for Medium-Scale Shared-Memory Multiprocessors *
1994-06-28
Coco/R - A Generator for Fast Compiler Front-Ends
1997-11-11
A Maximum Entropy Approach to Adaptive Statistical Language Modeling
1996-07-01
Ronald Rosenfeld
Control of the QUENCH Protection System at HERA
1996-02-22
Parallel Implementation of a Central Decomposition Method for Solving Large Scale Planning Problems
1998-01-20
Dynamics of Clusters in Two-dimensional Potts Model
1998-05-24
M. Aydin
The Entropy Of Uniquely Ergodic Tiling Systems
1997-04-26
Jiunn-i Shieh
Partial Global Planning: A Coordination Framework for Distributed Hypothesis Formation
1999-03-05
Implementing Restart Model Elimination and Theory Model Elimination on top of SETHEO
1997-05-24
A zero-knowledge Poker protocol that achieves confidentiality of the players' strategy or How to achieve an electronic Poker face
1998-07-15
Distributed Systems, Protocols, World Wide Web, WOS
1998-05-22
Gilbert Babin
A Schläfli-Type Formula For Convex Cores Of Hyperbolic 3-Manifolds
1998-08-21
Francis Bonahon
An Experiment To Assess Different Defect Detection Methods For Software Requirements Inspections
1997-02-20
Path Planning in Expansive Configuration Spaces
1997-01-31
Multi-Way Partitioning of VLSI Circuits
1996-06-27
A Fast, Storage-Efficient Parallel Sorting Algorithm
1970-01-01
Simulating an Object-Oriented Financial System in a Functional Language
1999-02-08
EuroBridge
1994-03-01
Markku Savela vtt
Approximate MVA Algorithms for Solving Queueing Network Models
1997-02-28
Hai Wang
The AIM is laziness in a data-parallel language
1994-01-17
Jonathan M. D. Hill
Nearly Perfect Sets in Graphs
1995-02-22
Rhythmic Commonalities between Hand Gestures and Speech
1996-04-16
Estimation of Rényi Information Divergence via Pruned Minimal Spanning Trees
1999-04-17
Evolving Neural Networks to Focus Minimax Search
1995-05-25
Autonomous Parallel Parking of a Nonholonomic Vehicle
1998-04-09
The Revised Report on the Syntactic Theories of Sequential Control and State
1992-10-23
A Wait-free Algorithm for Optimistic Programming: HOPE Realized
1970-01-01
Incremental Neuro-Fuzzy Systems
1997-07-25
B. Fritzke
Markovian Analysis of Large Finite State Machines
1997-08-22
Shaping Robot Behavior Using Principles from Instrumental Conditioning
1998-06-26
Co-inductive Axiomatization of a Synchronous Language
1998-06-05
Representation of similarity in 3D object discrimination
1994-04-28
Shimon Edelman
An Incremental Correction Model for reverse engineering Human Control Skills
1998-01-05
Rui Camacho
Direct Volume Rendering with Shading via Three-Dimensional Textures
1996-08-13
Solution of the Convection Equation Using Unstructured Grids
1995-03-09
Training Mixture Density HMMs with SOM and LVQ
1997-02-04
Mikko Kurimo
MPI: A Message-Passing Interface Standard
1998-01-13
Solution Adaptive Unstructured Grid Generation Using Pseudo-Pattern Recognition Techniques
1998-01-05
Optimizing Array Bound Checks Using Flow Analysis
1995-06-22
Rajiv Gupta
The OLGA project: An animated talking agent in a dialogue system
1997-04-18
Analysis of one-dimensional seismic waveform inversion by Regularized Global Approximation
1998-07-14
Symbolic Algebraic Discrete Systems - Applied to the JAS 39 Fighter Aircraft, Part II
1997-01-07
Johan Gunnarsson
Application of Massively Parallel Architecture to Computational Electromagnetics
1995-06-30
Compiler Blockability of Dense Matrix Factorizations
1999-02-08
Further Remarks On The Chiral Model Approach To Self-Dual Gravity
1998-05-25
Semantic Processing Of Out-Of-Vocabulary Words In A Spoken Dialogue System
1998-01-14
A Taxonomy Of Space-Time Processing For Wireless Networks
1998-05-12
Design and Evaluation of a Subblock Cache Coherence Protocol for Bus-Based Multiprocessors
1997-04-21
Probabilistic Datalog - a Logic for Powerful Retrieval Methods
1995-08-15
Norbert Fuhr
A Multi-Threshold Neural Network for Frequency Estimation
1998-11-06
Language and Run-time Support for Network Parallel Computing
1995-12-01
Parallel Approximation of Optimization Problems Extended abstract
1995-02-27
Markov Random Field Models in Computer Vision
1999-03-21
S. Z. Li
Object-Oriented Design of Dynamic Graphics Applications
1995-11-02
Optimistic Synchronization in Distributed Shared Memory
1995-12-11
Using Theory Revision to Model Students and Acquire Stereotypical Errors
1994-05-06
Exploiting SIMD Parallelism in DSP and Multimedia Algorithms Using the AltiVec Technology
1999-04-12
A Programming Interface for Application-Aware Adaptation in Mobile Computing
1995-02-28
Teaching and Learning Iteration of Functions and Fixed Points
1999-04-28
Pankaj Kamthan
Exact Multiplicity of Positive Solutions for a Class of Semilinear Problem: II
1998-09-09
Decoherence in Pre-Big-Bang Cosmology
1998-05-14
ILLUSTRATION OF BILEVEL FORMULATIONS IN CONCURRENT DESIGN MODELING K. Badhrinath J. R. Jagannatha Rao
1996-05-07
Connectionist Probability Estimation in HMM Speech Recognition
1992-12-22
Bounded Domains and Unbounded Domains
1999-02-03
Andrzej Trybulec
Teleporting an Unknown Quantum State via Dual Classical and EPR Channels
1998-07-15
Pin Assignment for Multi-FPGA Systems
1995-12-21
Toward a Theory of Multi-Modal Interaction
1998-10-28
APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations
1997-08-12
Unsupervised Classification with Non-Gaussian Mixture Models using ICA
1998-12-30
Accredited Standards Committee* Doc No:
1995-09-19
SodaBot: A Software Agent Construction System
1996-01-26
Michael H. Coen
Interprocedural Analysis Based on Guarded Array Regions
1998-07-10
Yet another face of Lorenz-Mie scattering: Mono disperse distributions of spheres produce Lissajous like patterns
1994-11-15
Consistent Treatment of Propagator Modifications in Elastic Nucleon-Nucleus Scattering within the Spectator Expansion
1998-05-23
Query By Image Example: The
1999-03-29
Challenging Practice - an approach to Cooperative Analysis
1998-01-20
Preben Holst Mogensen
Estimation of Residence Time in Continuous Flow Systems with Varying Flow and Volume
1993-10-14
Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation Extended Abstract
1997-07-28
Domain Theory Meets Default Logic
1970-01-01
Natural Proofs Versus Program Optimization in the calculus of Inductive Constructions
1996-06-28
Catherine Parent-vigouroux
Synthesis and Performance Analysis of Multilayer Neural Network Architectures
1995-09-19
Lazy Release Consistency for Software Distributed Shared Memory
1995-05-04
CERN-TH/96-126 HD-THEP-96-15 IUHET-333 hep-ph/9605288 May 10, 1996
1998-05-14
Nsf--Itp--92--110
1994-11-08
J. K. Freericks
Two Constructive Methods for Designing Compact Feedforward Networks of Threshold Units
1997-12-16
Geometric Graphs With Few Disjoint Edges
1998-05-12
Pavel Valtr
A Language-Based Approach to Protocol Implementation
1994-06-29
Cryptographic Primitives Based on Hard Learning Problems
1994-09-08
Quantum Automata and Quantum Grammars
1998-07-06
The Performance of a Reliable, Request-Response Transport Protocol
1999-01-24
Dynamical Generation Of Light Fermions
1998-05-14
Group Signatures a la carte
1998-10-15
Gene Tsudik
Semidefinite Programming Relaxations For The Graph Partitioning Problem
1996-10-08
An Introduction to Programming with Threads
1998-12-16
On the Approximation of Denotational Mu-Semantics
1996-05-24
Michael Huth
Programming Language Expressiveness and Circuit Complexity
1996-05-02
Searching forExotic Mesons in
1998-05-15
Modular Domain Specific Languages and Tools
1998-03-11
Paul Hudak
Active Virtual Network Management Protocol
1999-02-23
Stephen F. Bush
Network Management, Status Directions
1993-10-14
Practical Dynamic Load Balancing for Irregular Problems
1996-06-01
Modifying Network Architectures for Certainty-Factor Rule-Base Revision
1996-08-28
Secure Reliable Multicast Protocols in a WAN
1997-03-20
Multiple Descriptions, Error Concealment, and Refined Descriptions for Image Coding
1999-03-19
On-Line Reorganization: A Position Paper
1995-12-18
Why Using the Request Abstraction in Proportional Share Allocation Systems is Useful ?
1996-11-26
Architecture And Algorithms For Modelling Facility Location Problems
1997-12-05
Decidable Theories of omega-Layered Metric Temporal Structures
1996-08-19
NASA Contractor Report 201687
1997-11-18
C. Michael Fremaux
Design And Analysis Of Hardware For High Performance Prolog
1996-09-24
Trie-Based Data Structures for Sequence Assembly
1998-03-05
Multi-Agent Meeting Scheduling: Preliminary Experimental Results
1999-03-17
EE E6970 Resource Allocation and Networking Games Spring 1998
1999-03-05
Enhancements to 4.4 BSD UNIX for Efficient Networked Multimedia in Project MARS
1998-04-30
A Debugger for Tcl Applications
1993-06-08
Numerical Simulation Of Laminar Diffusion Flames
1994-08-02
Subspace Based Signal Analysis using Singular Value Decomposition
1997-05-23
A. Lee Swindlehurst member
Using Mathematica and Automated Theorem Provers to Access a Mathematical Library
1998-08-27
Optimal Incoherent Lighting for CCD Bar Code Scanner
1996-10-11
Specification and Verification of Pipelining in the ARM2 RISC Microprocessor
1998-10-06
SmartDb: An Object-Oriented Simulation Framework for Intelligent Vehicles and Highway Systems
1994-12-01
Polyhedral Approximation of Convex Sets With an Application to Large Deviation Probability Theory
1995-10-27
A Pliant Method for Anisotropic Mesh Generation
1998-04-22
A Dedicated Image Processor Exploiting Both Spatial and Instruction-Level Parallelism
1997-07-29
Rates of Convergence for Gibbs Sampling forVariance Component Models
1994-12-25
Jeffrey S. Rosenthal
Buildings and Non-positively Curved Polygons of Finite Groups
1998-11-10
Paul R. Brown
Multiple Wick Product Chaos Processes
1998-07-26
, the Plan 9 Window System
1995-12-16
Rob Pike
A Kernel Approach for Interactive-oriented Model Construction in JAVA
1997-08-15
Olaf David
Inductive Learning With Bct
1990-03-16
Philip K. Chan
Extending ER Model Clustering by Relationship Clustering
1970-01-01
E-optimum Designs in Linear Models with Both Qualitative and Quantitative Factors of Influence
1996-02-19
Rainer Schwabe
Vector Based Image Matching for Indexing in Case Based Reasoning Systems
1997-10-17
Distributional Clustering of Words for Text Classification
1998-02-05
Secure Network Objects
1997-03-24
The Invariant Checker: Automated Deductive Verification of Reactive Systems
1970-01-01
Hassen Saidi
Appending Boundary Conditions by Lagrange Multipliers: General Criteria for the LBB Condition
1998-10-19
Using a Neural Net to Instantiate a Deformable Model
1970-01-01
A Compact Representation of Finite State Processes
1995-11-28
Relationships Among Nonlinearity Criteria
1997-03-24
On the Number of Distinct Block Sizes in Partitions of a Set
1997-05-04
Emilio Luque
1998-04-25
A Positive Solution To The Busemann-Petty Problem In
1999-03-03
Gaoyong Zhang
Probabilistic Semantic Analysis of Speech
1997-10-09
A Model for Transactional Workflows
1999-03-18
The Algorithmic Analysis of Hybrid Systems
1996-06-25
Random Data Accesses on a Coarse-grained Parallel Machine I. One-to-one Mappings
1998-08-11
Some Convexity and Sensitivity Properties of the R,T Inventory Control Policy for Stochastic Demand
1995-07-31
Uday S. Rao
LogBoy Meets FilterGirl: A Toolkit for Multivariant Movies
1994-08-16
Ryan George Evans
Dynamic Stall Effects And Applications To High Performance Aircraft
1995-03-10
Jay M. Brandon
Default Handling in Incremental Generation
1994-08-04
Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting
1999-04-16
Neurosimulators
1991-10-25
Jacob M. J. Murre
Helmholtz conditions and Alternative Lagrangians: Study of an integrable Hénon-Heiles system
1999-04-14
Manuel F. Ra~nada
Deterministic Chaos in Failure Dynamics : Dynamics of Peeling of Adhesive Tape
1997-02-07
Estimating the Largest Singular Values/Vectors of Large Sparse Matrices via Modified Moments
1996-01-30
Sowmini Varadhan
A Cooperative Editor for Hierarchical Diagrams: An Object Petri Net Model
1996-10-21
Charles Lakos
Minimizing Buffer Requirements under Rate-Optimal Schedule in Regular Dataflow Networks
1999-01-24
A Blind Source Separation Technique Using Second Order Statistics
1997-04-08
Perfect Matchings in Random s-Uniform Hypergraphs
1997-10-10
Mariposa: A Wide-Area Distributed Database System
1997-04-12
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux
1998-02-26
Generalized Context-Free Grammars
1996-05-24
Instrumental Variable Subspace Tracking Using Projection Approximation
1998-05-29
Tony Gustafsson
Finite Resolution Aspect Graphs of Polyhedral Objects
1995-11-05
Approaches to Depth Estimation from Active Camera Control
1996-12-19
Schrödinger operators with strong magnetic fields: Quasi-periodicity of spectral orbits and topology
1997-12-19
A Group-based Authorization Model for Computer-Supported Cooperative Work
1997-04-15
A Customisable Memory Management Framework
1994-04-09
Tito Flagella
Automata-Theoretic Criteria for Feature Interactions in Telecommunications Systems
1996-03-05
Factor Graphs and the Sum-Product Algorithm
1999-03-16
Versatile Spectro Photometer for Cross-Media Color Management
1999-01-29
Content Routing in a Network of WAIS Servers
1995-03-10
Experience with a Graph-Based Propagation Programming Tool
1992-08-12
Harmonic Analysis in Value at Risk Calculations
1997-11-09
Claudio Albanese
Size-Depth Tradeoffs for Algebraic Formulae
1997-10-22
Interactive Consistency Algorithms Based on Authentication and Error-correcting Codes
1995-10-11
A Terminal-Based Approach to Multimedia Service Provision
1997-10-23
Generic Properties of Combinatory Maps - Neutral Networks of RNA Secondary Structures
1998-09-25
Automatic Labeling of Corpora for Speech Synthesis Development
1994-09-05
A. Vorstermans
A Simple Algorithmically Reasoned Characterization of Wait-free Computations
1998-11-22
Reflective Authorization Systems: Possibilities, Benefits, and Drawbacks
1999-01-31
A Task-Swap Negotiation Protocol Based on the Contract Net Paradigm
1970-01-01
Inverting Resolution with Conceptual Graphs
1998-04-08
A Scaling Hypothesis for the Spectral Densities in the O3 Nonlinear Sigma-Model
1998-05-24
J. Balog
The Effects of Mutability on Querying
1996-12-19
TAME: A Specialized Specification and Verification System for Timed Automata
1996-11-26
The Minimum Latency Problem
1997-09-04
Efficient and Complete Tests for Database Integrity Constraint Checking
1994-04-11
A Physicist's Guide to Kalman Filters
1998-08-19
Phylogenetic Recapitulation in the Ontogeny of Artificial Neural Networks
1995-12-01
A Fault-Tolerant Transputer-based Parallel Controller for the Soft Arm Robot
1996-03-08
An Overview of Document Mining Technology
1998-06-14
Mark Dixon
A Neural Network Architecture for High-Speed Database Query Processing
1995-09-28
Analytical Estimation of Transition Activity from Word-Level Signal Statistics
1998-02-18
A Fuzzy Neural Network Approach Based on Dirichlet Tesselations for Nearest Neighbor Classification of Patterns
1997-12-17
Combining Search and Analogical Reasoning in Path Planning from Road Maps
1995-03-24
The Regular Viewpoint on PA-Processes
1998-09-14
D. Lugiez
Mean-field treatment of the linear sigma model in dynamical calculations of DCC observables
1997-04-18
E-Mails: {ramalho, Pachet}@laforia.ibp.fr
1995-02-20
Discretization of the incompressible Navier-Stokes equations in general coordinates using contravariant velocity components
1995-03-15
STUDY OF NEUTRAL-MESON AZIMUTHAL ANISOTROPY IN HEAVY-ION COLLISIONS AT 2 AGeV
1998-09-21
A. Taranenko
Subcube Fault-Tolerance in Hypercubes
1996-09-07
On Locally Finite Power-Commutative Groups
1999-02-12
Yu-fen Wu
State-Transition Cost Functions and an Application to Language Translation
1997-03-28
Prototyping a Three-link Robot Manipulator
1996-12-04
Holographic Recurrent Networks
1995-10-25
Tony A. Plate
Semantic Query Caching for Heterogeneous Databases
1997-08-08
Unknown
1995-02-08
Wavelet-Based Subgrid Modeling: 1. Principles and Scalar Equations
1996-11-27
Cache-Rings for Memory Efficient Isosurface Construction
1998-03-10
David M. Weinstein
The Hollowman an innovative ATM control architecture
1999-03-11
S. Rooney
Bayesian Approach To Combinatorial Optimization
1996-05-01
Jonas Mockus
Rerepresenting and Restructuring Domain Theories: A Constructive Induction Approach
1995-04-25
Agent Tcl: A flexible and secure mobile-agent system
1998-01-09
Robert S. Gray
Categorical Strong Shape Theory
1997-05-29
Mikhail A. Batanin
Collaboration in Automatic Dialogue Interpreting
1997-11-25
Birte Schmitz
Straight Skeletons for General Polygonal Figures in the Plane
1998-05-08
Franz Aurenhammer
Domain Decomposition Schemes and Coupling Conditions for Kinetic and Hydrodynamic Equations
1997-03-13
Axel Klar
Efficient Algorithms for Block-Cyclic Array Redistribution between Processor Sets
1998-08-10
Task Planning Agents in the UMDL
1997-07-29
Steering Three-Input Chained Form Nonholonomic Systems Using Sinusoids: The Fire Truck Example
1995-01-27
Context-Dependent Hybrid HME/HMM Speech Recognition Using Polyphone Clustering Decision Trees
1996-12-17
Perspectives on Optimistically Replicated, Peer-to-Peer Filing
1998-09-23
Efficient Simulation of Message-Passing in Distributed-Memory Architectures
1996-09-18
Erik Demaine
3-D Symmetry Detection Using The Extended Gaussian Image
1970-01-01
A CLP Approach to Detection and Identification of Control System Component Failures
1994-06-27
Increasing The Correlations With The Response Variable May Not Increase The Coefficient Of Determination: A Pca Interpretation
1998-03-18
C. M. Cuadras
The Combinatorics of Biased Riffle Shuffles
1997-09-17
Jason Fulman
Understanding Customer Choice Processes Using Neural Networks
1997-01-08
Stabilization of the X.25 Connection Management Protocol
1998-08-03
Novel Techniques For Image Texture Classification
1998-01-18
Yan Qiu Chen
Generalized Ultrametrics, Domains And An Application To Computational Logic
1999-03-12
Layered Charts for Speech Translation
1997-06-19
Jan W. Amtrup
Describing Plan Recognition as Non-Monotonic Reasoning and Belief Revision
1997-06-05
New Trends in Virtual Environment User Interface Research: Case Studies at the Human Interface Technology Laboratory
1998-08-10
Toni Emerson
Crosspoint Cache Architectures
1997-06-14
Autonomous Agents: from Concepts to Implementation
1998-03-12
Tracking Myocardial Deformation Using Phase Contrast MR Velocity Fields: A Stochastic Approach
1998-07-03
A Knowledge-Based Approach to Goal Recognition
1996-11-27
Robot Learning - Three case studies in Robotics and Machine Learning
1994-07-27
Syntactical Treatments of Propositional Attitudes
1999-03-14
The treatment of support verb constructions in HPSG-based Machine Translation - a summary
1995-03-09
Jonas Kuhn
An Instruction Scheduling Library for SUIF
1997-11-20
An active set Newton's algorithm for large-scale nonlinear programs with box constraints
1970-01-01
Neural Networks in Information Filtering and Retrieval
1995-03-15
Douglas W. Oard
Numerical Stability of Biorthogonal Wavelet Transforms
1995-05-08
Fritz Keinert
Programming Language Semantics in Foundational Type Theory
1999-03-27
K. Crary
Intelligent Tutoring in Virtual Reality: A Preliminary Report
1997-05-27
FlexiMine - A Flexible Platform for KDD Research and Application Construction
1998-03-23
Social Carrier Recommendation for Selecting Services in Electronic Telecommunication Markets
1998-02-23
Software Constraint Models -- A Means to Improve Maintainability and Consistency
1995-02-09
Dag I. K. Sjĝberg
Experiments in Real-Time Decoding of Layered Video
1995-10-30
CORBA: Integrating Diverse Applications Within Distributed Heterogeneous Environments
1997-01-13
Steve Vinoski
Improving Automated Land Cover Mapping by Identifying and Eliminating Mislabeled Observations from Training Data
1996-03-07
An Interactive Visualization for Message Sequence Charts
1999-01-21
Policies and Roles in Collaborative Applications
1997-06-30
W. Keith Edwards
Removing Ramsey Theory: Lower Bounds With Smaller Domain Size
1995-02-15
Jeff Edmonds
Mach: A System Software Kernel
1992-08-19
Verification of Calculated Electrical Parameters of Transmission Line Structures on Printed Circuit Boards
1970-01-01
RELACS: A Communications Infrastructure for Constructing Reliable Applications in Large-Scale Distributed Systems
1995-03-10
Pseudec: Implementation Of The Computation-Intensive Partran Functionality Using A Dedicated On-Line Cordic Co-Processor
1995-05-29
Fast Pruning Using Principal Components
1970-01-01
Statistique Des Vecteurs De Reallocation Du Spectrogramme
1996-07-30
Adaptive Heterogeneous Multi-Robot Teams
1999-02-25
Lynne E. Parker
Control and Simulation of Multibody Systems
1997-07-18
Jeffrey Michael Wendlandt
Computing the Scaling Exponents in Fluid Turbulence from First Principles: Demonstration of Multi-scaling
1999-03-09
A Lagrangian Reconstruction of a Class of Local Search Methods
1998-09-10
Expectation Values of Observables in Time-Dependent Quantum Mechanics
1997-07-16
J. M. Barbaroux
Resume
1999-01-26
T. V. Raman
Incremental Updates of Inverted Lists for Text Document Retrieval
1993-12-09
An overview of Interpretability Logic
1997-03-12
Albert Visser
Decidable Cases of the Rational Sequence Problem
1995-04-10
B. Litow
Autoassociative Learning in Relaxation Labeling Networks
1996-05-29
The Order Type Of The Set Of Pisot Numbers
1997-11-26
Relative Expressiveness of Typed and Untyped Relational Algebra
1970-01-01
Convergence Results for Single-Step On-Policy Reinforcement-Learning Algorithms
1998-12-18
An L¹-Error Bound For A Semiimplicit Difference Scheme Applied To A Stiff System Of Conservation Laws
1996-08-12
Implementation of the Object-Oriented Data Model TM
1996-02-07
Dissertation Proposal: Management of Multimedia Services Over ATM Networks: A QoS Approach
1998-07-05
Enumerating Regular Mixed-Cell Configurations
1998-08-24
Tom Michiels
Context Effects and Learning of Hierarchical Compositional Structure
1997-05-15
Karl Pfleger
A Simple Time Scale Decomposition Technique for Stochastic Process Algebras
1995-10-05
.2 Classical Logic
1999-03-25
Converging to Approximated Max-Min Flow Fairness in Logarithmic Time
1998-07-16
Bibliography
1996-12-06
Theory of Generalized Annotated Logic Programming and its Applications
1995-08-09
Lattice Codes Can Achieve Capacity on the AWGN Channel
1998-05-13
Fitness Landscapes Arising from the Sequence-Structure Maps of Biopolymers
1997-09-30
Peter F. Stadler
Integration of Python into SNiFF+
1997-11-03
Michael Scharf
Rasiowa-Sikorski Deduction Systems: a Handy Tool for Computer Science Logics
1998-12-14
Beata Konikowska
A Multi-Layered Behavior Based System forControlling Robocup Agents
1998-02-26
P. Scerri
Decision Trees for Error Concealment in Video Decoding
1999-05-07
Multidimensional System Simulation With Functional Transformations
1996-03-22
Rudolf Rabenstein
How to Use Expert Advice in the Case when Actual Values of Estimated Events Remain Unknown
1997-11-05
Interactions of stars with AGN jets: gamma ray production
1997-07-23
W. Bednarek
Object Caching in a CORBA Compliant System
1995-07-19
Detecting Nonlinear Causality via Nonlinear Modeling
1998-12-11
Tohru Ikeguchi
Towards a Reference Model for Intelligent Multimedia Layout
1996-10-25
Winfried H. Graf
Query Language For Research In Phonetics
1999-03-29
Operating Systems Support for End-to-End Gbps Networking
1993-02-18
Two-Loop Electroweak Corrections to the Muon g-2: a new class of Hadronic Contributions
1998-05-15
A Framework for High Assurance Security of Distributed Objects
1996-05-29
Can We Eliminate Certificate Revocation Lists?
1998-10-08
Ronald L. Rivest
Exchange Algorithms that Complement the Parks-McClellan Algorithm for Linear-Phase FIR Filter Design
1998-04-09
Towards a Model of Niche and Speciation in an Artificial World
1995-09-12
Higher-Order Subtyping
1996-08-18
WN1626+5153: A Giant Radio Galaxy from the WENSS survey
1997-10-09
Derivation of Efficient Continuous Explicit Runge-Kutta Methods
1994-09-15
Computable Quantifiers and Logics over Finite Structures
1996-12-17
J. A. Makowsky
RAP: An End-to-end Rate-based Congestion Control Mechanism for Realtime Streams in the Internet
1998-12-21
Formal Methods Project Overview
1997-12-05
Feed-Forward ANN for 2-1 Fixed Point ALUs
1997-06-10
WebWatcher: Knowledge Navigation in the World Wide Web
1997-10-31
Astronomy And Astrophysics
1998-08-13
Improved Boosting Algorithms Using Confidence-rated Predictions
1999-02-18
Robert E. Schapire
User Interface of a New Generation of Authoring Environment of Multimedia Documents
1997-10-24
Interatomic Potentials for Monoatomic Metals from Experimental Data and ab initio Calculations
1998-08-24
Branching Properties Of Brownian Paths And Trees
1997-01-17
A new Subband Audio CELP coder
1997-12-22
Unknown
1995-07-25
Interactive Design Considered Harmful
1997-09-08
Axel Jantsch
Comparing Multiple File Copies With A Primary Copy Using Minimal Communication
1993-05-05
Optimal Control of Dynamic Systems by Decomposition and Aggregation
1997-04-04
DISCIPLE: A Framework for Multimodal Collaboration in Heterogeneous Environments
1999-03-13
Ivan Marsic
Arithmetic and Logic Operations with DNA
1997-11-20
Journal of Graph Algorithms and Applications
1998-05-18
Explicit Relationships in Object Oriented Development
1998-05-29
Entropy Numbers, Operators and Support Vector Kernels
1998-10-27
Direct Object Localization and Characterization From Diffuse Photon Density Wave Data
1999-02-19
Evolutionary Algorithms Combined with Deterministic Search
1998-03-30
Lamarckian Learning in Multi-agent Environments
1998-12-27
John J. Grefenstette
Discourse Relations and Defeasible Knowledge
1998-03-28
Wulff Droplets And The Metastable Relaxation Of Kinetic Ising Models
1997-05-15
Task Interdependencies in Design-to-time Real-time Scheduling
1994-04-14
An Approach to Obtain Intensional Translations for Consistent View Updating
1997-10-20
Part III Operational Controls
1997-02-08
A Cooperative Database System based on Workspace Hierarchy
1996-10-16
-- 1-- Muon Decay Parameters
1998-06-03
A Comparison of the Memory Management sub-systems in FreeBSD and Linux
1998-11-02
Rohit Dube
METAFONT-like System with PostScript Output
1994-09-06
John D. Hobby
A Tale of Two Applications on the NII
1998-05-20
Geoffrey C. Fox
Architectures, Costs, and Transformations
1998-06-15
D. B. Skillicorn
Boolean Manipulation with Free BDD's. First Experimental Results.
1997-02-19
Non-oscillatory Central Schemes for Multidimensional Hyperbolic Conservation Laws
1997-04-29
Towards Fault-Tolerant Mobile Agents
1998-05-29
Lora L. Kassab
Online Aggregation
1997-09-12
Parallel Incremental Graph Partitioning
1994-12-14
Geometric Grouping of Repeated Elements Within Images
1998-07-15
Schemas and Genetic Programming
1996-01-18
A Logical View of Structured Files
1998-06-07
Systolic Arrays for the Recognition of Permutation-Invariant Segments
1995-10-25
Referential Integrity In Multilevel Secure Databases
1998-09-14
Multilevel k-way Partitioning Scheme for Irregular Graphs
1998-05-26
Texture Segmentation Using Circular-Mellin Operators
1995-06-03
Properties of a First-order Functional Language with Sharing
1999-02-10
Zena M. Ariola
The Internet Multimedia Conferencing Architecture
1996-02-24
Block-Based Formatting with Encapsulated PDF
1970-01-01
Philip N. Smith
Protocol Interactions and the Chosen Protocol Attack
1998-01-26
Eliminating Range Checks using Static Single Assignment Form
1996-02-13
A Measurement of
1998-03-07
Evolution Darwinienne vs Evolution "Civilis'ee" ?
1997-11-13
Error-Visualization by Error-Based Simulation and Its Management
1998-09-03
Parallel Graph Reduction with the -machine
1995-06-07
Functorial And Algebraic Properties Of Brown's P Functor
1995-04-12
Document Ranking on Weight-Partitioned Signature Files
1995-06-19
Active Learning with Statistical Models
1996-03-30
A Generic Algorithm For Generating Spoken Monologues
1998-08-25
Integrating Reactive and Reflective Reasoning by Generating Rational Models
1998-10-05
Sven--erik Bornscheuer
Towards Intelligent Integration of Heterogeneous Information Sources
1996-01-17
Cooperation Contracts
1997-02-22
Michael Schrefl
Existence of Exponentially Small Separatrix Splitting and Homoclinic Connections Between Whiskered Tori in Weakly Hyperbolic Near-Integrable Hamiltonian Systems
1997-05-13
Biased Graphs: IV. Geometrical Realizations
1997-08-25
Thomas Zaslavsky
Experiments in Multilingual Information Retrieval using the SPIDER system
1997-02-11
Jean Paul Ballerini
Object-Oriented Supervisory Control with a Class of Non-Deterministic Specifications
1994-08-30
Experiences with Locking in a NUMA Multiprocessor Operating System Kernel
1995-11-22
Computational Phonology
1998-07-02
Mining Optimized Association Rules with Categorical and Numeric Attributes
1998-03-11
Application of the Many Sources Asymptotic and Effective Bandwidths to Traffic Engineering
1998-12-23
Scale-Space Properties of Nonlinear Diffusion Filtering with a Diffusion Tensor
1997-12-16
Joachim Weickert
Compiling Haskell by program transformation: a report from the trenches
1996-03-04
Simon L Peyton Jones
Snow Transport and Deposition
1997-05-12
Statistical Analysis of Generalized Processor Sharing Scheduling Discipline
1995-02-04
Query-Sensitive Ray Shooting
1996-03-27
A Comparison of Large Scale Mixed Complementarity Problem Solvers
1970-01-01
Native-Language-Based Distributed Computing Across Network and Filesystem Boundaries
1998-11-18
Numerical Optimization of the Cross-Sectional Shape of Turbine Blades
1996-07-03
Schulz V. H
Rectilinear shortest paths through polygonal obstacles in Onlog n^{3/2} time
1995-02-16
The FeedBack Compiler
1998-08-20
A Formalization of the Proof-Carrying Code Architecture in a Linear Logical Framework
1970-01-01
Tsvi Piran
1994-05-11
Tsvi Piran
A Formal Evaluation of Mutation and Data Flow Based Test Adequacy Criteria
1993-12-29
A Stakeholder Win-Win Approach to Software Engineering Education
1999-02-05
Detection of Occluding Contours and Occlusion by Active Binocular Stereo
1998-10-06
Complete Lifts of Harmonic Maps and Morphisms between Euclidean Spaces
1996-05-22
Ye-lin Ou
From Local Cosine Bases to Global Harmonics
1998-03-11
Microarchitecture Support for Dynamic Scheduling of Acyclic Task Graphs
1992-12-14
GLIMPSE: A Tool to Search Through Entire File Systems
1995-11-24
Efficient Feed-Forward Volume Rendering Techniques for Vector and Parallel Processors
1993-04-08
Mixing Situation Theory and Type Theory to Formalize Information States in Dialogue Exchanges
1998-04-14
Robin H. Cooper
A Polynomial Time Approximation Scheme for the SONET Ring Loading Problem
1997-07-14
Sanjeev Khanna
Real-Time Transactions with Execution Histories: Priority Assignment and Load Control
1997-07-30
Ozsoyo Glu
Towards Optimal Learning from Very Small Data Sets
1994-11-16
M. D. Plumbley
The effective action for a relativistic Jaynes-Cummings model
1998-05-24
X Gamma! Y
1995-11-07
Connectionist Natural Language Processing
1996-11-21
Erik Hjelmas
Zooming and Tunneling in Tioga: Supporting Navigation in Multidimensional Space
1995-06-04
Selection of Relevant Features and Examples in Machine Learning
1997-10-03
GraF/Adonis high resolution spectroscopy of Herbig Ae/Be Binaries: preliminary results
1998-11-19
Form Approved OMB No. 0704-0188
1998-04-09
Re-Interpreting the Modalµ-Calculus
1995-02-22
Modeling Gene Expression With Differential Equations
1999-01-12
The Geometry of Orthogonal Reduction Spaces
1997-05-01
Zurab Khasidashvili
Logics for Databases and Information Systems
1998-08-05
Fluorescence Photobleaching Correction for Expectation-Maximization Algorithm
1996-02-09
Self-Calibration from Image Sequences
1998-03-03
An Implicitly Restarted Symplectic Lanczos Method for the Symplectic Eigenvalue Problem
1998-07-23
Peter Benner
Program Transformation in Martin-Löf's Type Theory
1998-10-07
Decoding Choice Encodings
1996-08-18
Estimations Of Covariance Components In Mixed Linear Models
1998-10-20
Tefan Varga Bratislava
Connected Covers And Neisendorfer's Localization Theorem
1997-04-22
A 5 Layer Information Expressivity Model Applied To Semantic Heterogeneity In A Decentralised Organisation
1996-03-19
will Be Inserted By Hand Later
1996-04-19
E. A. Dorfi
Generalized Dominators for Structured Programs
1997-01-29
Evaluation of the Domain Model
1996-09-27
Optimal Power Flow with Expected Security Costs
1998-11-26
Programming Language Semantics
1995-11-02
David A. Schmidt
Information Theoretic Based Design of Hierarchical Channel Coding and Modulation on Mobile Radio Channels
1997-07-18
Alexander Seeger
Techniques for Reducing Consistency-Related Communication in Distributed Shared Memory Systems
1996-08-07
Software Libraries
1998-11-18
Active Customization of GIS User Interfaces
1997-01-21
Analyses of Software Failure Data
1995-08-08
H1-inspired analysis of the 1994 combined test of the Liquid Argon and Tilecal calorimeter prototypes
1999-03-23
A Fast 3D Object Reconstruction Using Trinocular Vision and Structured Light
1998-08-11
Orientation Of Moms-02/d2 And Moms-2p Imagery
1996-08-14
Elastic and Drift-Diffusion Limits of Electron-Phonon Interaction in Semiconductors
1996-10-24
Security Issues in Mobile Communications
1997-10-28
Extracting Salient Curves from Images: An Analysis of the Saliency Network
1996-06-13
Computing Techniques For Two-Loop Corrections To Anomalous Magnetic Moments Of Leptons
1970-01-01
Anomalies and Adaptation in the Analysis and Development of Prepaging Policies
1994-01-28
Eye On The Prize
1995-05-15
Nils J. Nilsson
Effective Erasure Codes for Reliable Computer Communication Protocols
1998-12-05
Luigi Rizzo
Finite Time-Horizon Risk Sensitive Control and the Robust Limit under a Quadratic Growth Assumption
1998-10-30
Renormalon Phenomenology: Questions and Directions
1997-06-24
M. Beneke
Equivalences of Blocks of Group Algebras
1993-03-05
Diminishing Returns for Additional Search in Chess
1996-08-02
A Splitting Property Of Maximal Antichains
1998-07-07
On the Applicability of Lower Bounds for Solving Rectilinear Quadratic Assignment Problems in Parallel
1997-09-18
Exploring Cooperative Intelligence in a Networked Robotic System
1997-04-30
Quantum Adiabatic Evolution
1997-04-26
Alain Joye
The Z/EVES User's Guide
1997-12-04
Mark Saaltink
Linear Läuchli Semantics
1995-03-21
The Design and Implementation of a Certifying Compiler
1998-01-06
Relational Limits in General Polymorphism
1993-11-17
Learning Under Persistent Drift
1997-06-01
Yoav Freund
Pose and Motion from Contact
1998-10-29
Building new tools for Synthetic Image Animation by using Evolutionary Techniques
1996-02-15
RoboShepherd: Learning a complex behavior
1970-01-01
Finite-Horizon Bounded Amplitude Control of Linear Parameter Varying Systems
1997-01-30
Using Metaobject Protocols to Separate Functional and NonFunctional Concerns: An Example
1997-02-25
Improved Error Bounds for Underdetermined System Solvers
1997-04-11
On a Two-Queue Priority System with Impatience and its Application to a Call Center
1970-01-01
A new possibility to monitor collisions of relativistic heavy ions at LHC and RHIC
1998-05-25
A Backstepping Controller for a Nonlinear Partial Differential Equation Model of Compression System Instabilities
1997-04-02
The Role of Data Pre-processing in Intelligent Data Analysis
1995-11-09
A. Famili
More on the Efficiency of Interval Routing
1997-04-09
A Cognitive Perspective on Teaching Object Oriented Analysis and Design.
1996-11-29
Caspar Ryan Ghassan Al-qaimari {caspar
Support for Constructing Environments with Multiple Views
1996-09-09
Accurate 3D eye tracking for multi viewpoint systems
1997-11-06
Fast Contact Localisation Between Deformable Polyhedra in Motion
1998-04-09
Indexing Valid Time Databases Via B+-trees - The MAP21 Approach
1997-05-01
Coordination and Belief Update in a Distributed Anti-Air Environment
1997-11-24
On Optimal Processor Allocation To Support Pipelined Hash Joins
1996-07-21
Classifying Hyperplanes in Hypercubes Extended Abstract
1997-05-26
A Sparse Approximate Inverse Technique for Parallel Preconditioning of General Sparse Matrices
1998-10-13
Jun Zhang
Basic Support for Cooperative Work on the World Wide Web
1997-04-16
Policy Filtering for Planning in Partially Observable Stochastic Domains
1995-02-22
Nevin Lianwen Zhang
Fast and Scalable Wireless Handoffs in Support of Mobile Internet Audio
1998-11-06
Noise Reduction in Image Sequences with Sparse Temporal Sampling
1996-02-01
A Distributed Reinforcement Learning Scheme for Network Routing
1996-07-18
Multiway Synchronization Verified with Coupled Simulation
1995-01-23
Joachim Parrow
A New Algorithm for Generating Overlapping Grids
1970-01-01
N. Anders Petersson
Efficient Solution of the Jacobian System in Newton's Method Close to a Root
1997-06-13
The Video Z-buffer: A Concept for Facilitating Monoscopic Image Compression by exploiting the 3-D Stereoscopic Depth map
1997-04-28
Network Security via Private-Key Certificates
1990-10-12
A Dynamic Regularized Gaussian Radial Basis Function Network For Nonlinear, Nonstationary Time Series Prediction
1997-07-23
Interval Arithmetic In Quantum Mechanics
1995-06-22
Writing Positive/Negative-Conditional Equations Conveniently
1998-05-11
Visualization, Animation And K-L Decomposition Of Spatiotemporal Dynamics In A Pattern-Forming System
1970-01-01
How Scientific Visualization Can Benefit from Virtual Environments
1996-11-19
Completions Of Stratified Ends
1997-05-23
Frank Connolly
Global Flow Symmetry Breaking By the Anisotropic Kinetic Alpha-Effect
1997-02-21
The first three-dimensional reconstruction of a celestial object at radio wavelengths: Jupiter's radiation belts
1997-12-29
Interior Point Methods for Combinatorial Optimization
1998-03-05
Automatic Retrieval and Clustering of Similar Words
1998-02-01
Dekang Lin
Applying a Machine Learning Workbench: Experience with Agricultural Databases
1996-07-26
Low Complexity Sequential Lossless Coding for Piecewise Stationary Memoryless Sources
1998-01-08
Gil I. Shamir
Evaluations of k-fold Euler/Zagier sums: a compendium of results for arbitrary k
1997-12-26
Efficient Learning of Typical Finite Automata from Random Walks
1998-02-13
Interactive Knowledge Base Construction and Maintenance
1996-06-10
Kronecker Structure and Distance Problems for Rectangular Matrix Pencils
1997-11-11
On the Undecidability of Second-Order Unification
1999-02-15
Digital Payment Systems with Passive Anonymity-Revoking Trustees
1998-06-12
Tree expansion and multiscale analysis for KAM tori
1997-04-26
Cellular Robotics: Behaviour in Polluted Environments
1996-07-10
Participatory Design for Linguistic Engineering: the Case of the
1997-05-21
On the Equivalence of Persistent Term Rewriting Systems and Recursive Program Schemes
1997-05-01
Zurab Khasidashvili
Evaluating Answer Quality/Efficiency Tradeoffs
1998-05-09
Active Patterns
1997-09-17
Grid Sensitivity And Aerodynamic Optimization Of Generic Airfoils
1995-03-10
Unconditional Transfer in Regulated Rewriting
1996-07-16
Henning Fernau
Anonymous Connections and Onion Routing
1997-04-08
Arithmetic and Logic Operations with DNA
1997-11-20
Bin Packing with Discrete Item Sizes, Part I: Perfect Packing Theorems and the Average Case Behavior of Optimal Packings
1997-08-16
Diameter and Mean Distance of Bipartite Digraphs Related to Plane Tessellations
1996-05-29
Distributed Information Coordination in Dynamic Heterogeneous Environments Extented Abstract
1999-03-05
An Extented
Randomized Simultaneous Messages
1996-05-01
Peter G. Kimmel
Comparison of the OMG and ISO/CCITT Object Models
1993-11-12
Special Track on Computational Intelligence - Genetic Algorithms
1998-07-30
Hans-paul Schwefel
Location-Independent Naming for Virtual Distributed Software Repositories
1995-03-02
Multiresolution Approximation of Fractal Transform
1995-07-27
An Object-Oriented Framework for High-Performance Electronic Medical Imaging
1996-01-28
Why are Human-Computer Interfaces Difficult to Design and Implement?
1994-09-19
Brad A. Myers
Mixed Consistency: A Model for Parallel Programming Extended Abstract
1995-08-02
Real-Time Penalties in RISC Processing
1997-04-15
Steve Dropsho
Remote Monitoring MIB Extensions for ATM Networks
1997-07-02
The Nested Object Model
1995-05-31
A Parallel Stiff ODE Solver based on MIRKs
1996-06-18
Topology change from Kaluza-Klein dimensions
1998-05-05
Radu Ionicioiu
Evolution Strategies Applied to Perturbed Objective Functions
1996-08-02
PAC-Learnability of Determinate Logic Programs
1998-07-10
Selecting Tense, Aspect, and Connecting Words In Language Generation
1998-05-20
Inductive Learning Using Generalized Distance Measures
1995-07-14
Vasant Honavar
Probabilistic Unification Grammars
1997-05-08
Refining Restriction Enzyme Genome Maps
1999-03-25
Peter Z. Revesz
Vision-Steered Audio for Interactive Environments
1996-04-05
Multiple Reflections in One-Dimensional Quantum Scattering
1998-01-01
Wolf Jung
Instructions for the Preparation of a Camera-Ready Manuscript
1998-02-20
Nomen Nescio
Utilization of Artificial Intelligent Techniques in Making Offers
1999-01-14
A Common LISP Hypermedia Server
1994-05-18
John C. Mallery
Optimizing Tensor Product Computations in Stochastic Automata Networks
1997-03-05
Encapsulated Effects
1970-01-01
A Notation for Lambda Terms: A Generalization of Environments
1997-07-17
Yank@tisi.tomsk.su
1998-08-05
Anna E. Yankovskaya
Optimal Average Case Sorting on Arrays
1995-03-23
A Comparative Study of Neural Network Optimization Techniques
1997-01-13
Non-Minimal Time Solutions for the Firing Synchronization Problem
1997-08-29
A Symbolic Object-Oriented Picture Interpretation Network: Soo-Pin
1993-02-17
The Polynomial Method and Restricted Sums of Congruence Classes
1995-06-01
Measurement of the Quasi-Free
1998-09-15
Testing Nucleation Theory in Two Dimensions
1999-04-22
cs: Preventing Weak Password Choices
1994-04-19
Eugene H. Spafford
Eden - Language Definition and Operational Semantics
1998-04-09
More on Recurrence and Waiting Times
1997-08-29
Abraham J. Wyner
Mobility in the Cc-Paradigm
1997-04-15
Radio Location in Urban CDMA Microcells
1998-06-19
Integrating Reactivity, Goals, and Emotion in a Broad Agent
1994-03-15
A Comparison Of Two Approaches: Maximum Entropy On The Mean MEM And Bayesian Estimation BAYES For Inverse Problems
1997-10-29
Ali Mohammad-djafari
Double Roots of -1,1 Power Series and Related Matters
1996-07-10
Christopher Pinner
Autonomous Robot Control Using a Three-Layered Architecture
1996-04-15
Jacek Malec
High-Level Synthesis of Scalable Architectures for IIR Filters Using Multichip Modules
1996-06-05
First-Principles Theory of Structural Phase Transitions for Perovskites: Competing Instabilities
1997-02-20
Goal-Driven Learning: Fundamental Issues A Symposium Report
1994-06-08
An Efficient Implementation and Evaluation of Reid's Multiple Hypothesis Tracking Algorithm for Visual Tracking
1996-08-06
Decoupling Synchronization and Data Transfer in Message Passing Systems of Parallel Computers
1995-07-27
Formalization of Communication and Behaviour in Object-Oriented Analysis
1995-10-16
A Review of A Posteriori Error Estimation Techniques for Elasticity Problems
1998-07-10
R. Verf Urth
Parsing of Context-Free Languages
1996-09-19
TREC-5 Interactive Track Report
1997-10-30
Comparison of Two Methods for Increasing the Training Set Size for Neural Networks
1998-12-28
Using Petri Nets for Specifying Active Objects and Generative Communication
1996-11-21
Tom Holvoet
The Need for Different Domain-Independent Heuristics
1994-03-29
Recognition of Out-of-Vocabulary Words and their Semantic Category
1998-01-19
Geometric Approach to Inverse Scattering for Hydrogen-like Systems in a Homogeneous Magnetic Field
1997-04-26
Silke Arians
The Local Minima Of Fractionally-Spaced Cma Blind Equalizer Cost Function In The Presence Of Channel Noise
1998-10-07
Analysis of Unknown Words through Morphological Decomposition
1996-06-23
Revision History
1996-03-11
Perfect implementation of a Metropolis-Hastings simulation of Markov point processes
1999-03-22
Wilfrid S Kendall
Empirical Observations of Class-level Encapsulation and Inheritance
1996-03-11
On a Gap Phenomenon for Isoperimetrically Constrained Variational Problems
1995-10-27
Victor J. Mizel
Integrating Intelligent Job-Scheduling Into A Real-World Production-Scheduling System
1997-12-02
Topological Dilaton Black Holes
1998-05-05
Weyl Sums and Atomic Energy Oscillations
1997-04-26
Testing Multivariate Normality, With Applications to Lead Isotope Data Analysis in Archaeology.
1998-12-14
M. J. Baxter
Requirements Analysis Using Forward and Backward Search
1997-08-22
Pareto, Population Partitioning, Price and Genetic Programming
1999-02-07
W. B. Langdon
How Disoriented Chiral Condensates Form: Quenching vs. Annealing
1997-04-18
Is the Hippocampus a Kalman Filter?
1997-07-31
Approximate Inverse Meets Local Tomography
1999-04-28
Domain-Oriented Architecture Design for Production Control Software
1998-12-22
Advanced Data Assimilation for Strongly Nonlinear Dynamics.
1997-04-09
Edvard Griegsvei A
Mining Web Access Logs Using Relational Competitive Fuzzy Clustering
1998-03-27
Visualizing High-Level Communication And Synchronization
1996-07-05
A Catalog Of Algorithms For Approximation
1994-09-06
Eric Grosse
Compilation of non-linear, second order patterns on S-expressions
1992-11-02
Christian Queinnec
Definition of Volume Transformations for Volume Interaction
1998-11-20
Computational Models of Cortical Visual Processing
1997-05-23
Realistic Expanding Source Model For Relativistic Heavy-Ion Collisions
1998-01-19
Fuzzy Word Meaning Analysis and Representation in Linguistic Semantics
1998-04-19
Burghard B. Rieger
Sinp/tnp/94-13 Cupp-94/3 Resonant Neutrino Oscillations And Shock Revival In Type-Ii Supernovae
1998-05-15
New strong sector, odd-parity processes, and the Tevatron
1998-05-23
The Tevatron Holdom
On the Security of the Quantum Oblivious Transfer and Key Distribution Protocols
1998-07-15
Dominic Mayers
Evolving caching algorithms in C by genetic programming
1997-03-31
Provisioning Algorithms for WDM Optical Networks
1997-12-28
A Layer Architecture for the Integration of Rules, Inheritance, and Constraints
1994-06-01
Interactive Maximum Projection Volume Rendering
1997-04-21
Three-Dimensional Numerical Simulation for Various Geometries of Solid Oxide Fuel Cells
1996-02-15
Improving The Performance Of Optimal Joint Decoding
1999-03-31
A Model of Interaction in Concurrent and Distributed Systems
1998-02-23
Does REM sleep facilitate learning?
1995-09-30
Kevin P Murphy
Microkernels Meet Recursive Virtual Machines
1997-03-25
A Cross-Correlation Based Approach to Blind Identification: Analytic Performance Evaluation
1970-01-01
UC: A Set-Based Language for Data-Parallel Programming
1995-03-03
Social Mechanisms of Interaction
1996-04-12
Application of Dynamic Slicing in Program Debugging
1997-09-11
Deterministic Case
1996-03-04
Christophe Pallier
1998-02-13
Scheduling Multithreaded Computations by Work Stealing
1996-03-27
Task Scheduling in Networks
1996-10-29
Bounds for resilient functions and orthogonal arrays Extended Abstract
1999-02-08
Analysis of Small and Medium-Scale Cosmic Microwave Background Experiments
1998-05-12
Multihoming In Computer Networks: A Topology-Design Approach
1995-05-31
A Knowledge Base for a Neural Guidance System
1994-03-10
Strategic Candidacy and Voting Procedures
1970-01-01
Performance Evaluation of a Distributed Architecture for Information Retrieval
1996-11-12
All of us are smarter than any of us: more on the robustness of the Consensus hierarchy Part II
1996-11-06
KdV and NLS Equations as Tri-Hamiltonian Systems
1998-05-23
An Evolutionary Algorithm For Evaluation Of Emission Compliance Options in view of the Clean Air Act Amendments
1997-02-03
On the Hardness of Approximating Shortest Integer Relations among Rational Numbers
1998-02-23
Effectiveness of Caching policies for a web server
1997-10-21
A. L. Narasimha Reddy
An Adaptive Global Reduction Algorithm for Wormhole-Routed 2D Meshes
1997-10-01
Experimental Surface Pressure Data Obtained on
1996-08-07
A Non-Standard Injection Between Canonical Frames
1998-01-08
Timothy J. Surendonk
The 101 Translation Problems between Japanese and German/English
1997-08-06
Towards a Formal Definition of Security for Quantum Protocols
1998-10-02
vission: An Object Oriented Dataflow System for Simulation and Visualization
1998-11-09
Software Forensics: Can We Track Code to its Authors?
1994-01-21
The Average Case Analysis of Algorithms: Multivariate Asymptotics and Limit Distributions
1997-05-05
Robert Sedgewick
A New Method for Bounding the Complexity of Modal Logics
1997-09-07
Kazakov-Migdal Model with Logarithmic Potential and the Double Penner Matrix Model
1998-05-23
AutoFocus - A Tool for Distributed Systems Specification
1997-09-29
Planar Manipulation on a Conveyor with a One Joint Robot
1996-02-01
File Cache Management For Mobile Computing
1997-11-24
Kevin W. Froese
k-Diameter and Spectral Multiplicity
1997-06-11
C. Delorme
An Update on the Babel System
1994-04-17
Johannes L. Braams
Categorical Models of Explicit Substitutions
1999-01-04
Kh0hwdskru3urmhfw6xppdu5hsruw
1998-12-15
Pruning the Two-Dimensional Fast Cosine Transform
1997-10-07
Object-Oriented Components for High-speed Network Programming
1995-10-13
Improving Shared Rules in Multiple Category Domain Theories
1992-04-01
An Optimal Parallel Algorithm for the All-Nearest-Foreign-Neighbors Problem in Arbitrary Dimensions
1999-01-20
External-Memory Algorithms for Processing Line Segments in Geographic Information Systems
1998-01-23
On the Variability of Estimated Measures of Spatial Dependence
1998-02-28
J. Andrew Royle
Design and Implementation of a Shared Spreadsheet
1995-06-27
Semantic Universals and Choice Function Theory
1998-06-16
Yoad Winter
Query ReFormulation on the Internet: Empirical Data and the Hyperindex Search Engine
1997-05-14
Lorentz Symmetry Violation and High-Energy Cosmic Rays
1997-12-02
Isomorphisms of Diagonalizable Algebras
1996-03-13
V. Yu. Shavrukov
An Agent-Based Computational Model for the Evolution of Trade Networks
1997-04-25
Plane Partitions I: A Generalization Of MacMahon's Formula
1999-03-31
Mihai Ciucu
Selective Recovery for Long-Duration Transactions in Object-Oriented Database Management Systems
1999-03-18
Exploratory Learning in the Game of
1992-11-25
Barney Pell
Smooth Trajectory Planning for a Car in a Structured World
1998-04-09
Batch Classifications with Discrete Finite Mixtures
1998-04-10
Combining Tools for the Verification of Fault-Tolerant Systems
1998-04-30
Planning Tutorial Text in a System for Teaching English as a Second Language to Deaf Learners
1999-02-22
RRANN: A Hardware Implementation of the Backpropagation Algorithm Using Reconfigurable FPGAs
1995-03-20
Virtual Reality Training for the Diagnosis of Prostate Cancer
1998-10-19
Improving Minority Class Prediction Using Case-Specific Feature Weights
1997-10-03
Parallel Scientific Computing in Distributed Systems: The Paralex Approach
1997-02-20
Nearly-Perfect Hypergraph Packing is in NC
1998-03-27
David A. Grable
Absence Of Greisen-Zatsepin-Kuzmin Cutoff And Stability Of Unstable Particles At Very High Energy, As A Consequence Of Lorentz Symmetry Violation
1997-05-26
L. Gonzalez-mestres
Belief Network Algorithms: a Study of Performance Using Domain Characterisation
1997-01-10
Wavelet Threshold Estimators for Data With Correlated Noise
1996-11-11
On the Difficulty of Software Key Escrow
1998-12-11
Understanding Technical Articles and Their Diagrams
1995-09-21
Hyperspeech: Navigating in Speech-Only Hypermedia
1995-10-24
Barry Arons
The Presampler for the Forward and Rear Calorimeter in the ZEUS Detector
1996-09-06
A. Bornheim
Multi-Level Prototyping for Real-Time Image Processing VLSI System Synthesis
1994-11-07
Some Remarks on GB Formalization and Implementation
1997-01-30
Michael Dorna
Combination Problems for Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification
1996-02-22
Recovering Patch Parameters from the Optic Flow with Auto Associative Neural Networks
1994-12-20
Super Rotator: Incrementally Extensible Directed Network Graph of Sublogarithmic Diameter
1997-09-24
Pradip K Srimani
A rapid prototype for TM in LIFE
1994-04-25
Dr. H. Balsters
Learning Robot Behaviors Using Genetic Algorithms
1994-10-18