Asynchronous Counters for Low Power Applications
1997-12-22
Top-Down Query Evaluation for Well-Founded Semantics With Explicit Negation
1970-01-01
Representing Rhythmic Patterns in a Network of Oscillators
1996-09-10
An Interprocedural Framework for Determining Efficient Data Redistributions in Distributed Memory Machines
1996-08-08
Multilevel Preconditioning
1996-02-07
Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation
1996-03-12
Friedemann Mattern
How to Present a Paper in Theoretical Computer Science: A Speaker's Guide for Students
1998-06-22
Ian Parberry
An Analytical Approach to Change for the Design of Reusable Real-Time Software
1998-12-17
Stopped Markov chains with stationary occupation times
1995-12-06
The Next Big Thing: Position Statements
1997-05-23
Towards Making Broadcast Encryption Practical
1999-03-11
Global Stabilization of Linear Discrete-Time Systems with Bounded Feedback
1998-07-28
Contradicting Conventional Wisdom in Constraint Satisfaction
1994-04-11
Using Unicode with MIME
1994-11-14
The disk-outflow system around the high-mass protostar IRAS 20126+4104
1997-03-19
Non-Uniform Partitioning of Finite Difference Methods Running on SMP Clusters
1997-02-25
Analysis of Error Count Distributions for Improving the Postprocessing Performance of OCCR
1996-12-07
High Performance Programming for the KSR1
1995-12-20
Deriving Logic Programming Languages
1996-10-14
Compressed Video Processing For Cut Detection
1998-06-05
Unification in a combination of equational theories with shared constants and its application to Primal Algebras
1994-10-17
Christophe Ringeissen
Viewpoints on Viewpoints
1996-09-09
K. Matthews, T. Nakajima, S. R. Kulkarni, B. R. Oppenheimer Palomar Observatory, 105-24, Caltech, Pasadena, CA 91125 Submitted to Astronomical Journal, 15 April 1996 Revised, 28 June 1996
1996-06-30
Customizable Object Recovery Pattern
1997-03-13
Formalizing the PRODIGY Planning Algorithm
1995-09-26
Sharp Estimates in Ruelle Theorems for Matrix Transfer Operators
1997-04-26
Chinese Glyph Generation Using Character Composition and Beauty Evaluation Metrics
1995-11-16
Locally Weighted Learning for Control
1999-02-08
Integrated Support for Software Reuse in Computer-Aided Software Engineering CASE
1996-10-18
Jeffrey S. Poulin
Scenario-Based Analysis of Software Architecture
1995-11-01
Dynamically Adjusting Concepts to Accommodate Changing Contexts
1996-06-10
Cosmological Constant and Statistical Lensing of Giant Arcs
1998-05-25
Xiang-ping Wu
Inducing Models of Human Control Skills
1998-02-06
Rui Camacho
Navier-Stokes Simulation of Droplet Collision Dynamics
1997-12-23
Verification of a Distributed Algorithm due to Chu
1994-12-09
K. Sere
Least Squares Image Texture Analysis and Synthesis
1995-03-06
The Mobile Robot RHINO
1996-11-10
Determinism analysis in the Mercury compiler
1998-09-01
Multistate Time-Delay Neural Networks for the recognition of POL II promoter sequences
1996-04-03
Methodological Foundations for Agent-Based Systems
1997-02-24
Virtual Trees Routing Protocol for a Wireless ATM LAN
1996-10-16
The Complexity Of Querying Indefinite Information: Defined Relations, Recursion And Linear Order
1992-10-22
Application-Driven Synthesis of Core-Based Systems
1997-07-08
HAMEV and SQRED: Fortran 77 Subroutines for Computing the Eigenvalues of Hamiltonian Matrices Using Van Loan's Square Reduced Method
1996-05-22
Information Invariants for Distributed Manipulation
1997-07-14
The Network-Enabled Optimization System NEOS Server
1998-01-15
Data Speculative Multithreaded Architecture
1998-06-03
Pedro Marcuello
Modifying the Inertia of Matrices Arising in Optimization
1997-02-18
A Block Toeplitz Look-Ahead Schur Algorithm
1995-05-11
SoftLab: A virtual laboratory framework for computational science
1997-04-26
Efficient Streamline Computations on Unstructured Grids
1997-09-24
Mihai Dorobantu
High Level Modelling and Design of Asynchronous Interface Logic
1995-10-13
An Asymptotic-Induced Scheme For Nonstationary Transport Equations In The Diffusive Limit
1997-12-02
Axel Klar
Motion Planning with Visibility Constraints: Building Autonomous Observers
1997-08-18
Probabilistic Mapping Of An Environment By A Mobile Robot
1998-09-29
An Experiment in Mobile Robotic Cooperation
1996-05-28
Lynne E. Parker
Shortest expected delay routing for Erlang servers
1999-01-28
Advanced Design and Validation Techniques for Electronic Control Units
1998-11-26
Data Types for Graph-Based Visual Pogramming
1995-08-11
Channel Routing With Constraint Logic Programming And Delay
1997-09-30
Neng-fa Zhou
Evolving Hexapod Gaits Using A Cyclic Genetic Algorithm
1998-04-10
A Theory of Space, Time and Matter
1996-05-31
Rotational Polygon Containment and Minimum Enclosure
1998-04-20
Victor J. Milenkovic
Simple Stochastic Temporal Constraint Networks
1995-09-28
Towards an Operational Semantics and Proof of Type Soundness for Java
1998-05-08
On Ultrametricity in Feedforward Neural Network Error Surfaces
1998-08-05
Marcus Gallagher
Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc
1998-11-28
Vibrational Relaxation in Hypersonic Flow Fields
1998-01-13
Systematic study of low-mass electron pair production in p--Be andp--Au collisions at 450
1997-10-03
Seeing and Hearing Dynamic Loess Surfaces
1991-06-01
Projective Hilbert
1994-09-07
Autonomous Agents: Characterization and Requirements
1996-03-25
Jose C. Brustoloni
LDEF METEOROID DEBRIS SPECIAL INVESTIGATION GROUP INVESTIGATIONS AND ACTIVITIES AT THE JOHNSON SPACE CENTER Thomas H. See Michael E. Zolensky Ronald P. Bernhard
1995-03-10
Diagram-based Formalisms for the Verification of Reactive Systems
1998-03-19
Event variables and Davidson's program in semantics
1996-09-05
Barrie Evans
Ordonnancement: Strat egies, D ebats et Intelligence Artificielle
1993-11-10
Berthe Y. Choueiry
A Multi-level Approach to Program Synthesis
1997-12-05
Robot Vision beyond 2000
1998-01-09
Refinement in Interworkings
1998-10-15
Dynamic Resource Allocation Using Views
1998-07-08
MDL-based Decision Tree Pruning
1996-03-22
Making Distributed Applications Manageable Through Instrumentation
1998-09-13
Analyzing Logic Programs Using "Prop"-Ositional Logic Programs and a Magic Wand
1996-10-17
Michael Codish
Sparse Block and Cyclic Data Distributions for Matrix Computations
1996-10-22
The Computational Complexity Of Torsion-Freeness Of Finitely Presented Groups
1997-11-17
Improved Estimation of the Switching Activity for Reliability Prediction in VLSI Circuits
1995-12-09
Farid N. Najm
Embedding of Time-Varying Contractive Systems in Lossless Realizations
1994-11-28
Using if-then-else DAGs for Multi-Level Logic Minimization
1992-07-09
Kevin Karplus
The Architecture of an Intelligent Virtual Mathematical Software Repository System
1994-12-14
Ronald F. Boisvert
Fully Dynamic Algorithms for Maintaining Extremal Sets in A Family of Sets
1997-08-11
Hong Shen
Bounding Delays in Packet-Routing Networks with Light Traffic
1996-02-12
Mor Harchol-balter
On the Measurability of the Conjugate and the Subdifferential of a Normal Integrand
1995-10-27
Christian Hess
Fault-Tolerant Implementation of Finite-State Automata in Recurrent Neural Networks
1997-06-04
The Number of Nucleotide Sites Needed to Accurately Reconstruct Large Evolutionary Trees
1996-07-08
ProcSimity: An Experimental Tool for Processor Allocation and Scheduling in Highly Parallel Systems
1999-02-10
An Approach to Multiply Segmented Constraint Satisfaction Problems
1999-02-03
On the Systematic Design of Web Languages
1996-07-02
Fast Computation of Compound Expressions in Two's Complement Notation
1997-06-10
Improved Time-Frequency Filtering of Signal-Averaged Electrocardiograms
1997-09-26
Parity Declustering for Continuous Operation in Redundant Disk Arrays
1998-09-10
Simple Automorphism Groups of Cycle-Free Partial Orders
1997-04-29
Type-SpecificStorage Management
1993-07-02
Daniel Ross Edelson
Monitoring and Controlling Remote Parallel Computations Using Schooner
1995-06-15
Graceful Adaptation of Guaranteed Performance Service Connections
1993-11-29
Object-Oriented Specification and Stepwise Refinement
1997-08-22
Estimating the Heritability by Decomposing the Genetic Drift
1995-01-25
Automatic Verification of a Lip Synchronisation Algorithm Using UPPAAL
1998-07-08
Magnetic Impurity in a Luttinger Liquid: A Conformal Field Theory Approach
1996-10-16
A Computer Framework to Support Self-Explanation
1997-05-17
Minimal Covers of Maximal Antichains for Interval Orders
1997-08-21
Remote Building Monitoring and Control
1997-01-30
Confidence and Rejection in Automatic Speech Recognition
1970-01-01
Larry Don Colton
B Acklund And Darboux Transformations For The Ablowitz--Ladik Spectral Problem
1998-03-16
Preconditioning Discrete Approximations Of The Reissner-Mindlin Plate Model
1996-06-28
Coercions and Subtyping: Some Type-theoretic Investigations between Computer Algebra and Artificial Intelligence
1994-11-25
Andreas Weber
Evolving Ant Colony Optimization
1999-01-29
Conflict Analysis for Management Policies
1997-01-08
Constraints on Parallelism Beyond 10 Instructions Per Cycle
1997-11-25
Méthodes Duales Pour La Résolution De Problmes D'aoeectation Généralise En Suivi De Cellules De Pluie
1998-05-04
A Hardware Implementation of Pure Esterel
1994-10-10
G. Berry
A Data Mining Methodology and Its Application to Semi-Automatic Knowledge Acquisition
1998-01-19
Waveguide Mesh Method for Low-Frequency Simulation of Room Acoustics
1996-09-05
Augmenting the User's Knowledge via Comparison
1998-06-10
Maria Milosavljevic
Using Conceptual Modeling and Intelligent Agents to Integrate Semi-structured Documents in Federated Databases
1998-06-29
The Generation of Optimized Codes using Nonzero Structure Analysis
1970-01-01
Lexicon Effects on Chinese Information Retrieval
1997-07-10
K. L. Kwok
Lattice Based Language Models
1997-11-19
Pierre Dupont
Row Straightening via Local Interactions
1996-08-05
Ffl Ffl Ffl
1998-06-05
Network Text Editor NTE A scalable shared text editor for the MBone
1999-03-01
A Frequency Domain Approach To Anti-Windup Compensator Design
1998-02-22
Bayesian Inference with Missing Data Using Bound and Collapse
1998-03-11
A Perspective on Word Sense Disambiguation Methods and Their Evaluation
1998-03-17
Using Differential Algebra to Calculate Zero Dynamics
1994-03-21
H. Fortell
A Simple Proof of a Minimum Cut Algorithm and Its Applications
1997-11-15
Hadron Collider
1995-08-14
Hadron Collider Factories
Reasoning about Extensions
1994-10-05
A Historical Lexical Database of Swedish. The O.S.A Project
1999-02-09
Complexity as a Scale-Space for the Medial Axis Transform
1995-04-20
Ronald D. Chaney
Simulated Annealing: A Heuristic for Parallel Stochastic Optimization
1997-05-19
On Gaps Between Squarefree Numbers II
1995-09-29
Distinguishability Condition and the Future Subsemigroup
1995-08-21
A New Improved Collage Theorem With Applications To Multiresolution Fractal Image Coding
1994-06-03
G. E. Øien
Scalable, Distributed Data Mining Using An Agent Based Architecture
1997-06-23
Load Balance Properties of Distributed Data Layouts for Clustered MOD Servers
1996-11-01
A Measurement-Based CAC Strategy for ATM Networks
1997-10-10
Vhdl-Based Simulation Of Electronic Circuits And Systems
1999-01-07
D. Tavangarian
PCE-QUAL-ICM: A Parallel Water Quality Model Based on CE-QUAL-ICM
1998-09-03
Task Specification and Monitoring for Uncalibrated Hand/Eye Coordination
1998-11-19
A Note on Lexicographic Breadth First Search for Chordal Graphs
1995-06-21
Klaus Simon
Object Views and Updates
1998-03-12
C. Souza Dos Santos
Fully Parallel Hardware/Software Codesign For Multi-Dimensional DSP Applications
1997-03-19
A General Class of Nonlinear Normalized LMS-type Adaptive Algorithms
1998-03-25
Safety criteria for the vital processor interlocking at Hoorn-Kersenboogerd
1999-01-13
Wan Fokkink
Some Finite Element Computational Strategies for Large-Scale Flow Problems in High Performance Computers
1970-01-01
Hirota equation and Bethe ansatz
1998-10-15
A. Zabrodin
A Security Framework Supporting Domain Based Access Control in Distributed Systems
1998-06-17
Genetic Algorithms for Planarization Problems
1996-05-25
F. Comellas
Grobner Bases, Standard Forms of Differential Equations and Symmetry Computation
1995-08-21
Genetic Algorithms In Software and In Hardware - A Performance Analysis Of Workstation and Custom Computing Machine Implementations
1996-05-10
Narrowing Terminates for Encryption
1997-02-07
On The Use Of Kernel Structure For Blind Equalization
1998-01-09
Representation of Behavioral History for Learning in Nonstationary Conditions
1999-02-12
Maja J Matari'c
A Comparative Evaluation of Active Appearance Model Algorithms
1999-03-02
Shock Profiles for the Partially Asymmetric Simple Exclusion Process
1997-03-08
Cellular Encoding: Review and Critique
1998-10-04
Talib Hussain
Bound--state asymptotic estimates for window--coupled Dirichlet strips and layers
1997-09-25
Extracting Kozak Consensus Sequence Using Kleisli
1998-05-11
Unknown
1997-12-31
Unobservable Heterogeneity and Rational Learning: Pool Specific vs. Generic Mortgage-Backed Security Prices.
1997-02-11
Richard Stanton
Fast Computation of the Smith Normal Form of an Integer Matrix
1995-09-21
Mark Giesbrecht
The Average Case Analysis of Algorithms: Mellin Transform Asymptotics
1996-08-05
Approximation of Convex Figures by Pairs of Rectangles
1998-05-26
Constrained And Regularized System Identification
1997-04-04
Tor A. Johansen
Apparent Opacity affects Perception of Structure from Motion
1996-01-05
Benutzerunterstützung eines KDD-Prozesses anhand von Datencharakteristiken
1998-07-23
Canonical Frames for Planar Object Recognition
1997-09-03
The JUMP-machine: a Generic Basis for the Integration of Declarative Paradigms
1994-06-01
Are Computer Hacker Break-ins Ethical?
1997-02-08
Eugene H. Spafford
On Hamiltonian Triangulations in Simple Polygons
1997-05-18
RING: A Client-Server System for Multi-User Virtual Environments
1997-02-04
Thomas A. Funkhouser
Automatic Concept Formation in Pure Mathematics
1999-04-21
Tool Support for Logics of Programs
1996-08-12
Lawrence C Paulson
Minimizing Queuing Delays and Number of Messages in Mobile Phone Location
1996-04-01
David Goodman
The BMAP/G/1 queue with level dependent arrivals and its stationary distribution
1998-12-15
A Way to Separate Knowledge From Program in Structured Document Analysis: Application to Optical Music Recognition
1998-04-16
Calculation and Visualization of Orthogonal Rational Functions
1998-11-13
Telephone Voice Interfaces on the Cheap
1999-04-13
Thomas Hornstein
A Comparison Study of Static Mapping Heuristics for a Class of Meta-tasks on Heterogeneous Computing Systems
1999-02-14
RIVUS: A Template Language for Modelling Multimedia Streams
1997-06-06
Donna Lindsey
Documentation of PAREST - A Multiple Shooting Code For Optimization Problems in Differential-Algebraic Equations
1997-01-05
Development of Crystallization Strategies Using the Biological Macromolecule Crystallization Database
1997-04-03
Searching For Antiproton Decay At The Fermilab Antiproton Accumulator
1995-09-05
S. Geer
Short Paths in Expander Graphs
1996-08-09
Multiresolution Curves
1994-06-14
Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems
1997-08-18
Alfons Geser
Algebraic Non-Integrability of the Cohen Map
1998-04-11
The Framework Approach for Constraint Satisfaction
1997-10-22
Checking Computations in Polylogarithmic Time
1994-04-21
Good Quantum Error-Correcting Codes Exist.
1996-01-18
A Preliminary Evaluation of the DEC Alpha Workstation
1995-07-03
Resource and Knowledge Discovery in Global Information Systems: A Preliminary Design and Experiment
1996-02-13
TCP and UDP with Bigger Addresses TUBA, A Simple Proposal for Internet Addressing and Routing
1994-06-02
Some Sets of Type
1998-05-07
L. M. Batten
Imprecise Probabilities: A Bibliography
1998-12-14
A Multi-Resolution Relational Data Model
1998-04-04
Efficiently Updating References During On-line Reorganization
1996-03-08
Designing and Implementing Asynchronous Collaborative Applications with Bayou
1998-02-26
It is of interest to compare the results of this Bayesian approach applied to the three real data sets with those obtained working in a frequentist framework. Consequently, we fitted
1998-09-03
Evolution Of The Galactic Disk: Focus On The Solar Neighbourhood
1997-03-03
Understanding Integration in a Software Development Environment
1996-09-18
Simulating Boolean Circuits on a DNA Computer
1996-08-19
Differential Geometry Of Cartan Connections
1998-12-03
Dark Matter And Big Bang Nucleosynthesis
1998-05-12
Arnon Dar
On Motion Modeling and Estimation for Very Low Bit Rate Video Coding
1996-01-25
Delta Delta Delta
1996-03-27
Olavi Nevanlinna
Efficient Execution of Parallel Applications in Multiprogrammed Multiprocessor Systems
1995-09-25
The Symbolic Generation of Finite-Difference Formulas
1996-10-07
Hypergeometric Filters For Optical Flow and Affine Matching
1995-11-03
Internal Performance Characteristics of Thrust-Vectored Axisymmetric Ejector Nozzles
1995-05-01
Text Segmentation with Multiple Surface Linguistic Cues
1998-08-28
An Empirical Study of a Highly Available File System
1994-02-23
Reasoning about Continuous Change
1970-01-01
Norman Foo
Generalized Local Propagation: A Framework for Solving Constraint Hierarchies
1996-05-14
Satoshi Matsuoka
The Conway Polynomial Of An Algebraically Split Link
1997-01-28
Jerome Levine
Unknown
1997-06-11
Some Notes on Two-Scale Difference Equations
1999-03-05
Supporting Secure Canonical Upgrade Policies in Multilevel Secure Object Stores
1998-06-26
Simon N. Foley
CACAO - A 64 bit JavaVM Just-in-Time Compiler
1997-08-15
Aggregate-Query Processing in Data Warehousing Environments
1995-08-11
Design Issues for a High-Performance Distributed Shared Memory on Symmetrical Multiprocessor Clusters
1999-03-31
Finding Surface Correspondence for Object Recognition and Registration using Pairwise Geometric Histograms
1998-08-06
On the Power of Circular Splicing Systems and DNA Computability
1998-08-10
A comparison of statistical learning methods on the GUSTO database
1998-08-31
Optimal Backward Perturbation Bounds for the Linear Least Squares Problem of Deficient Rank
1999-03-22
A. N. Malyshev
Self-Learning Techniques for Grapheme-to-Phoneme Conversion
1995-11-09
Telecom Paris
Diophantine Approximation of a Plane
1998-02-23
Implementation and Evaluation of a Remote Memory Pager
1995-11-06
Channel-Based Blind Multichannel Identification Without Order Overestimation Problems
1997-08-26
The Monitoring Facilities of the Graphical Parallel Programming Environment TRAPPER
1995-01-11
Daimler-benz Ag
Bayesian Analysis of Mixture Models with an Unknown Number of Components -- an alternative to reversible jump methods
1999-02-23
Matthew Stephens
Parallel Sparse Modified Gram-Schmidt QR Decomposition
1997-02-19
Selecting Input Variables Using Mutual Information and Nonparametric Density Estimation
1995-02-08
Managing Interference
1999-02-08
Force Control in Locomotion of Legged Vehicle and Body Movement for Mounting Operations
1996-07-23
A Customized Logic Paradigm for Reasoning about Models
1996-06-04
A Nonperturbative Form of the Spectral Action Principle in Noncommutative Geometry
1997-04-26
On a Problem of Potential Wells
1995-10-27
Adaptive Recognition of Online, Cursive Handwriting
1999-04-07
Where to Bisect a Box? A Theoretical Explanation of the Experimental Results
1997-11-28
Sequential Procedure for Simultaneous Estimation of Several Percentiles
1994-04-20
Kimmo E. E. Raatikainen
Unknown
1999-01-26
A Discourse Processing Account of Gapping and Causal Implicature
1995-08-09
Andrew Kehler
Correlation Matrices
1997-09-19
Conceptual Data Model with Structured Objects for Statistical Databases
1996-05-07
Giacomo Paolo Naggar
Designing Genetic Algorithms for the State Assignment Problem
1970-01-01
Electron Conduction Along Quantizing Magnetic Fields in Neutron Star Crusts
1996-09-10
A. Y. Potekhin
Garbage Collection in the Larchant Persistent Distributed Shared Store
1996-11-18
Paulo Ferreira
Replication Is Not Needed: Single Database, Computationally-Private Information Retrieval
1997-10-26
Analysis and Decomposition of Spatial Variation in Integrated Circuit Processes and Devices
1996-12-05
Multipol: A Distributed Data Structure Library
1996-10-28
Interpretive Debugging of Optimised Code
1995-04-09
Analyzing the Need for Meta-Level Communication
1995-05-01
Specification and Synthesis of Plans Using the Features and Fluents Framework
1995-03-21
Lars Karlsson
Program Optimization Based on Compile-Time Cache Performance Prediction
1997-04-15
Context Institutions
1996-05-17
Prototyping A Process Monitoring Experiment
1998-09-09
A Determination of the CKM-angle
1998-05-14
Unsupervised Segmentation Applied on Sonar Images
1998-05-24
Groupe De Traitement
Implementing VCODE with static processes
1996-11-20
Mostafa Bamha
A Formalisation of Evolving Algebras
1997-12-19
A Neural Net Model for Mapping Hierarchically Structured Analogs
1999-04-05
Facet-Breaking for Three-Dimensional Crystals Evolving By Mean Curvature
1998-12-21
A Probabilistic Approach to Parallel System Performance Modelling
1994-10-07
Executing Parallel Plans Faster by Adding Actions
1994-06-02
Christer Backstrom
Approximation Algorithms for the Largest Common Subtree Problem
1995-08-12
On The Temperature Dependence Of The Impact Ionization In Hfet And The Corresponding Rf- And Noise Performance
1998-08-28
Sets in Context and Related Issues
1994-01-28
C++??: A Critique of C++ and Programming and Language Trends of the 1990s
1996-10-25
Ian Joyner
What Your Computer Really Needs to Know, You Learned in Kindergarten
1994-11-08
Edmund H. Durfee
Dynamic Maintenance of Majority Information in Constant Time per Update
1997-04-15
Means of Achieving Cross-Program Focus, Coordination, and Technology Transfer
1995-06-09
Squeezed Condensate of Gluons and
1997-02-13
Internet Routing Instability
1997-06-24
Horus: A Flexible Group Communications System
1998-09-26
An Agreement Service for Implementing Fault Tolerant Distributed Software
1998-04-10
Manipulation of Polyhedral Parts by Rolling
1970-01-01
A Vision Based Robot System for Arranging Technical Objects
1997-11-27
CAPM, Risk and Portfolio Selection in "Stable" Markets
1996-12-18
Reduction of Cache Conflicts in Loop Nests
1995-03-20
Optimal shapes for Gears
1998-01-05
Warren D. Smith
Implicit Imitation in Multiagent Reinforcement Learning
1999-02-02
The Problem of Trusted Third Party in Authentication and Digital Signature Protocols
1998-01-21
The Fraction of Subspaces of GFq n with a Specified Number of Minimal Weight Vectors is Asymptotically Poisson
1997-12-26
Robust Neural Force Control with Robot Dynamic Uncertainties under Totally Unknown Environment
1996-12-03
A Tabular Method of Finding the Optimal Word String Together with Its Dependency Structure
1998-05-06
Kazuhiko Ozeki
Segmented Operations for Sparse Matrix Computation on Vector Multiprocessors
1997-02-04
An Information-Maximization Approach to Blind Separation and Blind Deconvolution
1995-08-17
Enhancing Interactivity of Software and Data Repositories with Java
1997-09-02
Xlisp-Stat: A Statistical Environment Based on the XLISP Language
1997-11-05
Luke Tierney
Object Oriented Programming Techniques And Fac Method In Numerical Reservoir Simulation
1997-03-28
Linearly Combined Suboptimal Mixed ... Controllers
1997-10-14
Frame-rate Up-conversion Using Transmitted Motion and Segmentation Fields for Very Low Bit-rate Video Coding
1997-07-25
Automated Reasoning With Nonmonotonic Logics
1997-05-20
Simmons' Protocol is Not Free of Subliminal Channels
1996-10-17
Yvo Desmedt
A Probabilistic ApproachTo The Estimation Of The Distribution Of The Target Location Point
1996-02-21
M. A. Tabatabai
Distributed Repositories of Highly Expressive Reusable Ontologies
1998-04-30
Characterizing PAC-learnability of Semilinear Sets
1998-11-20
Naoki Abe
Analyzing the Real-Time Properties of a Dataflow Execution Paradigm using a Synthetic Aperture Radar Application
1998-01-22
A Statistical Model for Discourse Act Recognition in Dialogue Interactions
1998-01-28
Jennifer Chu-carroll
A Linearization Of The Lambda-Calculus And Consequences
1997-09-25
A. J. Kfoury
A Genetic Algorithm For Training Recurrent A Genetic Algorithm For Training Recurrent Neural Networks Neural Networks
1996-04-09
Sequential Allocation With Minimal Switching
1996-04-14
Expressing Object Residency Optimizations Using Pointer Type Annotations
1996-09-25
Douglas W. Oard
1998-02-19
Douglas W. Oard
Numerical Representations of Acceptance
1997-06-30
The Robustness of Some Scale-Spaces
1997-10-27
Passivity Based Control Of The Compass Gait Biped
1999-01-13
Mark W. Spong
PHYSICS OF HEAVY QUARKS Kacper Zalewski
1998-05-25
Kacper Zalewski
Support for Constructing Environments with Multiple Views
1996-07-25
Hopf Galois Structures on Degree p^2 Cyclic Extensions of Local Fields
1996-12-04
Lindsay N. Childs
Recognition of Chinese Characters by Moment Feature Extraction
1996-11-13
On The Long Step Path-Following Method For Semidefinite Programming
1996-07-03
Jos F. Sturm
Optimal p-cyclic SOR
1995-07-19
Mathematical Theory Of The Wetting Phenomenon In The 2D Ising Model
1998-09-02
Generating heavy quarkonia in a perturbative QCD cascade
1997-12-11
DEFLATE Compressed Data Format Specification version 1.3
1996-06-08
Scalable Networked Information Processing Environment SNIPE
1997-09-28
Guillotine subdivisions approximate polygonal subdivisions: Part II - A simple polynomial-time approximation scheme for geometric k-MST, TSP, and related problems
1997-01-09
Joseph S. B. Mitchell
Modeling the Effect of Feeding on Health and Production in Dairy Cattle
1997-01-18
Multi-Color Photometry of Nearby Galaxies
1997-03-03
MTI Radar For Airline Operations
1997-06-26
Yair Barniv
Path-Based Production Rules
1998-05-27
Using Continuations to Implement Thread Management and Communication in Operating Systems
1993-04-26
Models for the Length Distributions of Actin Filaments: I. Simple Polymerization and Fragmentation
1997-07-21
Bounds on Pairs of Families with Restricted Intersections
1999-03-01
Characterizing the Behavior of Sparse Algorithms on Caches
1995-09-26
Comparison Of Various Periodograms For Single Tone Detection And Frequency Estimation
1998-06-19
PT-PVM: Using PVM in a multi-threaded environment
1996-03-26
OPTICAL LOGO-THERAPY - OLT A computer based speech training system for the visualization of articulation using connectionist techniques.
1996-12-16
Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning
1993-08-17
Subbarao Kambhampati
A Line Search Method In Lagrangian Relaxation Algorithms
1996-10-23
Classes as Assertions
1996-08-27
Neelam Soundarajan
S. Della Pietra, V. Della Pietra, and J. Lafferty
1995-11-21
An Overview of Head driven Bottom-up Generation
1994-11-24
Gertjan Van Noord
Petri Net Based Modeling of Parallel Programs Executing on Distributed Memory Multiprocessor Systems
1995-06-01
Fold-Unfold Transformations On State Monadic Interpreters
1995-06-07
Thomas Johnsson
Collaborative Virtual Environments Used in the Design of Pollution Control Systems
1996-03-20
Groupie -- An Environment supporting Group-Oriented Architecture Development
1994-03-08
Modal Types as Staging Specifications for Run-time Code Generation
1998-03-24
Fuzzy Prototypes for Fuzzy Data Mining
1998-05-18
Periodic Orbit Expansions for Classical Smooth Flows
1995-11-26
Bruno Eckhardt
Numerical Convergence of the Random Vortex Method for Complex Flows
1997-09-08
Program Verification Using Abstraction Compositionally
1998-09-24
Proceedings, Annual Conference Series, 1997
1998-09-01
Throughput-Competitive On-Line Routing
1993-10-06
A Decision Procedure for the Subtype Relation on Intersection Types with Bounded Variables
1996-08-18
Benjamin C. Pierce
Reaction Rates for
1998-02-06
VHDL-Based Rapid System Prototyping
1997-10-27
Becoming An Expert Case-Based Reasoner: Learning To Adapt Prior Cases
1995-05-20
David B. Leake
Quadric Reconstruction from Dual-Space Geometry
1997-09-16
Nonlinearities Enhance Parameter Convergence: the Strict-Feedback Case
1997-12-29
HODFA: An Architectural Framework for Homogenizing Heterogeneous Legacy Databases
1995-07-12
Variable Resolution Triangulations
1998-09-21
A Survey of Evolution Strategies
1994-09-06
Multidimensional Access Methods
1997-08-04
A Declarative Query Approach to Object Identification
1998-05-25
Martin Gogolla
Probing for Ultraheavy Quanta at LHC
1998-05-15
Michael S. Chanowitz
Probing and Fault Injection of Dependable Distributed Protocols
1970-01-01
A Note on Differential Corner Measures
1998-05-15
An Efficient Multi-Dimensional Searching Technique and its Applications
1997-02-27
Lower Bounds for Randomized Mutual Exclusion
1996-09-12
Unsupervised Classification of Sensory-Motor states in a Real World Artifact Using a Temporal Kohonen Map
1999-01-11
Compactness Properties of Locally Compact Groups
1999-04-21
Generating Finite-State Abstractions of Reactive Systems using Decision Procedures
1998-11-17
Linear Sequential Arrays: Pipelining Arithmetic Data Paths
1994-03-25
The Innovation Cumulative Sum Chart
1996-01-18
Alex J. Koning
DAJ - A Toolkit for the Simulation ofDistributed Algorithms in Java
1998-10-01
Wolfgang Schreiner
Sceptical logic programming based default reasoning - Defeasible logic rehabilitated
1997-11-18
A linear system solver for Mathematica that uses the SACLIB
1997-02-17
Erhard Aichinger
Efficient Bayesian Local Computation for Dynamic Forecasting of Competitive Markets
1998-06-19
QoS-Based Transport
1998-12-28
Automated Segmentation of Coronary Vessels in Angiographic Image Sequences Utilizing Temporal, Spatial and Structural Constraints
1994-09-15
Full Abstraction and Expressive Completeness for FP
1996-10-02
General-to-Specific Model Selection for Subcategorization Preference
1998-05-21
Tioga-2: A Direct Manipulation Database Visualization Environment
1995-12-23
Dualities Associated To Binary Operations On
1995-10-27
Ivan Singer
Using the Amsterdam Hypermedia Model for Abstracting Presentation Behavior
1995-07-17
Parsing English with a Link Grammar
1995-10-13
Daniel D. Sleator
Three Results on Mixing Shapes
1997-11-06
T. Ward
An Extensible Protocol Architecture for Application-Specific Networking
1996-03-14
Interfaces and Implementations of Random Number Generators for Java Grande Applications
1999-02-16
A New Merit Function and a Descent Method for Semidefinite Complementarity Problems
1998-01-17
Higher Order Operationational Techniques in Semantics - Introduction
1997-11-19
Parallel Branch Bound Algorithm for Makespan Optimal Scheduling in Flow Shops With Multiple Processors
1997-12-03
Determining Optimal Few-Stage Allocation Procedures
1996-04-14
Revised December 1997 by H. Quinn SLAC There are two neutral
1998-06-03
Protective Interface Specifications
1997-09-16
Joint Source and Channel Coding for Image Transmission Over Lossy Packet Networks
1996-08-21
Security Problems in the TCP/IP Protocol Suite
1996-11-23
S. M. Bellovin
The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-Calculus
1993-04-09
Analyzing Communication Latency using the Nectar Communication Processor
1998-01-23
Peter Steenkiste
Algorithm XXX: Fortran Subroutines for Computing the Eigenvalues and Eigenvectors of a General Matrix by Reduction to General Tridiagonal Form
1993-10-08
Dominoes and Storyboards: Beyond "Icons on Strings"
1997-05-28
Henry Lieberman
Symmetry Breaking Perturbations and Strange Attractors.
1996-11-28
Surface-Based Observations of Contrail Occurrence Over the U.S. . . .
1997-12-15
Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs
1994-04-05
Linear Spaces for Index 2 Differential-Algebraic Equations
1995-10-25
Thomas Petry
Safety Analysis versus Type Inference
1997-07-21
Extraction of a "Good" Subsequence From a Bounded Sequence of Integrable Functions
1995-10-27
C²Surfaces Built From Zero Sets of the 7-Direction Box Spline
1995-05-18
Jorg Peters
The Role of Trace Modulation in Building Mobile Computing Systems
1997-05-29
Recursively Indefinite Databases
1998-08-09
Ron Van Der Meyden
Fast Recovery of Evolutionary Trees through Harmonic Greedy Triplets
1999-01-08
Ming-yang Kao
An Analytical Framework for Local Feedforward Networks
1997-07-15
A Note on the Augmented Hessian Whenthe Reduced Hessian is Semidefinite
1999-01-25
Parameterized verification of Linear networks using Automata as Invariants
1999-04-05
A. Prasad Sistla
Bubble Chain Resummation and Universality
1998-05-25
Lawrence Chilton Manil Suri
1996-12-17
Lifestreams: A Storage Model for Personal Data
1996-01-22
Writing, Supporting, and Evaluating Tripwire: A Publically Available Security Tool
1998-05-15
Deductive Systems of Fuzzy Logic a Tutorial
1998-05-12
Lluis Godo
M. P. Owen
1997-07-25
M. P. Owen
Deriving Partial Correctness Logics From Evolving Algebras
1996-09-26
Arnd Poetzsch--heffter
Wavelet De-Noised Financial Time Series
1998-10-05
Enrico Capobianco
Combining Semidefinite and Polyhedral Relaxations for Integer Programs
1995-05-08
Automatic Program Parallelization
1994-02-16
Refining Logical Characterizations of Advice Complexity Classes
1997-07-25
Albert Atserias
Improving Big Plans
1998-04-07
Trace Cache: a Low Latency Approach to High Bandwidth Instruction Fetching
1996-10-08
Dimensionality reduction - A Primer
1995-12-12
Leonid Peshkin
Jet Shapes And Determinations Of
1998-05-26
Marc Weber
Proving Properties of Real-Time Semaphores
1994-03-16
David Scholefield
Duality Theorems for Partial Orders, Semilattices, Galois Connections and Lattices IULG Preprint
1993-10-14
A Stochastic Model Of Intonation For French Text-To-Speech Synthesis
1997-10-13
Fabienne Courtois
A Fully Magnetizing Phase Transition
1999-01-23
Augmenting the User's Knowledge via Comparison
1997-06-09
Maria Milosavljevic
Nonlinear Dynamics in the EEG Analysis: Disappointments and Perspectives
1999-02-11
Milan Palus
The Spectrum of the Kinematic Dynamo Operator for an Ideally Conducting Fluid
1997-04-26
Automated Reverse Engineering of Legacy 4GL Information System Applications using the ITOC Workbench
1998-09-27
Passive Real-World Interface Props for Neurosurgical Visualization
1997-06-02
On the Existence of Hard Sparse Sets under Weak Reductions
1995-12-26
Conformal Invariance and the exact solution of BFKL equations
1998-05-24
Stop-and-Go Service Using Hierarchical Round Robin
1995-06-09
S. Keshav
Key Preassigned Traceability Schemes for Broadcast Encryption Extended Abstract
1998-05-20
Approximately Matching Context-Free Languages
1995-07-06
Gene Myers
Proving Performance Properties even Probabilistic Ones
1999-02-03
Nancy Lynch
Cost-Sensitive Specialization
1998-09-30
Geoffrey I. Webb
Asynchronous Reactive Objects : An Attempt to Control the Object Behavior
1998-01-14
Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints
1997-11-06
FLOATING-POINT EXCEPTION HANDLING Example 4:
1997-03-22
Architectural Support for Single Address Space Operating Systems
1997-04-03
Motion Estimation And Dct Pruning: A Combined Approach To Video Coding
1997-02-27
Towards a Robot Learning Architecture
1997-07-17
Precision Normals Beyond Phong
1999-02-12
A Clearinghouse for Astronomy Librarians: the PAM Web Site
1998-09-11
A. Kathleen Robertson
An Organizational Self-Design Model for Organizational Change
1995-07-12
A Comparison of Data Sources for Machine Learning in a Telephone Trouble Screening Expert System
1995-05-02
Andrea Pohoreckyj Danyluk
Communication-Efficient Parallel Algorithms for Distributed Random-Access Machines
1996-02-07
The Weakest Precondition Calculus: Recursion and Duality
1997-01-08
Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP
1998-04-04
Rajeev Motwani
1995-05-13
Rajeev Motwani
Local Area Network Traffic Characteristics, with Implications for Broadband Network Congestion Management
1993-12-14
Operational and Axiomatic Semantics of PCF
1996-01-18
Faster MUSE CSP Arc Consistency Algorithms
1998-12-14
/2. Model 5 long dashes;
1994-06-14
A New Krylov-Subspace Method For Symmetric Indefinite Linear Systems
1994-06-20
Formal Methods: State of the Art and Future Directions
1996-09-28
Algorithmic and Practical Considerations for Dense Matrix Computations on the BSP Model
1998-06-08
Alexandros V. Gerbessiotis
Renesting Single Appearance Schedules to Minimize Buffer Memory
1995-09-19
New Advances in Alpha-Beta Searching
1997-03-07
Two Novel Lossless Algorithms To Exploit Index Redundancy In Vq Speech Compression
1998-02-06
Sridha Sridharan
Grid Modification for the Wave Equation With Attenuation
1995-07-19
Daoqi Yang
Pseudorandom generators without the XOR Lemma Extended Abstract
1999-02-20
A Genetic Algorithm-Based Approach to Data Mining
1996-05-28
Implementing a Performance Forecasting System for Metacomputing: The Network Weather Service
1997-09-01
Exploratory Study Of The Acoustic Performance Of Piezoelectric Actuators
1998-08-24
Diderot Information Extraction System
1994-11-15
Optimization of Out-of-Core Computations Using Chain Vectors
1998-05-09
Skeleton-Space: a Multiscale Shape Description Combining Region and Boundary Information
1994-12-08
R. L. Ogniewicz
Auctions without Common Knowledge
1999-02-01
Towards a Computational Theory of Genome Rearrangements
1996-06-03
The Two-Point Function and the Effective Magnetic Field in Diluted Ising Models on the Cayley Tree
1997-04-26
A Variation Of The Schwarz Alternating Method: The Domain Reduction Method
1997-06-25
Craig C. Douglas
A Comparative Study of Knowledge-Based Approaches for Cross-Language Information Retrieval
1998-09-05
Hand-Eye Calibration Using Dual Quaternions
1998-08-20
Konstantinos Daniilidis
A One-Key Cryptosystem Based on a Finite Nonlinear Automaton
1996-03-26
Marc Gysin
Effectiveness of Timer-Based Connection Management Mechanisms for IP/ATM Networks
1999-01-24
Interleavers For Punctured Turbo Codes.
1998-11-17
A Test Bed for Modelling the Liberation of Silica from Feldspar Using Parallel Computing Techniques
1994-10-26
Crosslinguistic Disfluency Modeling: A Comparative Analysis of Swedish and American English Human-Human and Human-Machine Dialogs
1970-01-01
MPI as a Coordination Layer for Communicating HPF Tasks
1996-05-19
On the Convergence of Mixed Integer Pattern Search Algorithms
1999-02-17
On-Line Portfolio Selection Using Multiplicative Updates
1999-01-18
A Ray-Propagation Fast Multipole Algorithm
1996-04-03
On the Complexity and Approximation of Syntenic Distance
1998-12-15
Combining Automatic and Manual Index Representations in Probabilistic Retrieval
1995-08-18
Command And Control Simulation Interface Language ccsil: Status Update
1996-06-17
Marnie R. Salisbury
Infinitesimal Symmetries Of Hall Effect On Riemann Surfaces
1996-04-11
Demand more from your SGML database!
1996-02-27
Arijit Sengupta
No Future for Comprehensive Models of Intonation
1996-05-10
Grard Bailly
The Axial Anomaly Revisted
1997-04-26
Paul Federbush
Metadata: Standards for Retrieving WWW Documents and Other Digitized and Non-Digitized Resources
1998-09-18
Diann Rusch-feja
On the Epistemic Entrenchment of Different Types of Knowledge Expressed as Conditionals in Belief Revision Tasks
1997-05-23
One-sided Mullins-Sekerka Flow Does Not Preserve Convexity
1996-06-14
Uwe F. Mayer
A Guide to the Literature on Learning Probabilistic Networks From Data
1997-01-15
Wray Buntine
A Modular Text Planning Architecture For A Multilingual Setting
1997-08-21
Tropical Thermostats and Low Cloud Cover
1996-09-26
R. L. Miller
Active multicast service architecture for user customized multimedia data transmission over ATM networks
1997-10-02
Modelling Rational Inquiry in Non-Ideal Agents
1998-01-28
Antonio Moreno
NOEMON: An Intelligent Assistant for Classifier Selection
1998-06-01
Interaction Systems II: The Practice of Optimal Reductions
1997-04-15
The Capacity of Monotonic Functions
1998-08-26
Joseph Sill
Image Matching under Affine Deformations
1996-10-22
R. Manmatha
CONVIS: Action Oriented Control and Visualization of Neural Networks
1995-12-15
On Characterizations of Input-to-State Stability with Respect to Compact Sets
1996-06-12
Eduardo D. Sontag
Algorithmic Redistribution Methods for Block Cyclic Decompositions
1997-07-09
Such calculations enable the molecular-based design of new synthetic lubricants of importance in the automotive engines of the future. 3 Chain molecule Monte Carlo simulations in the G...
1997-01-21
H. D. Cochran
A hardware supported system for Kohonen's Selforganizing Map
1994-08-19
Canonical Quantization of Yang Mills on a Circle
1997-04-26
J. Dimock
The Expected Lifetime of "Single-Address-Space" Operating Systems
1970-01-01
D Photography on Your Desk
1999-01-18
Jean-yves Bouguet
Residual Algorithms: Reinforcement Learning with Function Approximation
1997-07-04
Leemon Baird
Self-Similarity in File Systems
1998-03-16
Cooperation Contracts
1997-02-22
Michael Schrefl
Storage Estimation for Multidimensional Aggregates in the Presence of Hierarchies
1996-09-17
Conclusions and Future Work
1998-08-17
Run-Time Statistical Estimation of Task Execution Times for Heterogeneous Distributed Computing
1996-08-17
Type-based Analysis of Communication for Concurrent Programming Languages
1998-01-06
Atsushi Igarashi
Complexity and Approximability of Certain Bicriteria Location Problems
1998-05-14
On Nonconvex Subdifferential Calculus in Banach Spaces
1995-10-27
Measurement-Driven Quality Improvement in the MVS/ESA Operating System
1996-10-18
On the Foundations and Applications of Similarity Theory to Case-Based Reasoning
1997-06-02
Stephan Rudolph
One-Way Functions and Balanced NP Extended Abstract
1996-09-30
Simulation Modelling of Parallel Systems
1999-01-12
Computational capabilities of recurrent NARX neural networks
1998-09-05
Benchmarking Implementations of Functional Languages with "Pseudoknot", a Float-Intensive Benchmark
1995-10-29
New Methods For Reducing Size Graphs
1998-05-13
SELEX in a Nutshell
1998-07-03
Cracking an Egg: An Exercise in Commonsense Reasoning
1998-01-05
Vladimir Lifschitz
Adaptively Wavelet-smoothed Wigner Estimates of Evolutionary Spectra
1997-09-29
The Composition of the Diffuse Interstellar Medium
1996-10-01
Edward L. Fitzpatrick
Partial Gates and the Identification of their Solution Sets
1996-09-16
Calculation and Visualization of Orthogonal Rational Functions
1998-11-13
Managing Global Information in the CORDS Multidatabase System
1970-01-01
A Declarative Approach to Run-Time Code Generation
1996-02-03
Directional Mixture Models and Optimal Estimation of the Mixing Density
1998-05-11
Design and Performance Tradeoffs in Clustered Video Servers
1998-06-16
Renu Tewariy
Finding Periodicity in Space and Time
1997-09-17
Bounded Quantification with Bottom
1997-11-12
Benjamin C. Pierce
Supersymmetry At Linear Colliders: The Importance Of Being
1998-03-13
Jonathan L. Feng
Rate Allocation for Spotlight SAR Phase History Data Compression
1997-12-09
The Dynamical Structure of the
1998-06-24
A Framework for Assertion-based Debugging in Constraint Logic Programming
1998-11-02
Similarity Inheritance: A New Model of Inheritance for Spreadsheet VPLs
1998-07-05
Preconditioning Complex-Symmetric Layered Systems Arising in Electrical Power Modeling
1998-06-04
Intonation and Dialogue Context as Constraints for Speech Recognition
1997-10-23
Robust Object Tracking Based On Spatial Characterization Of Objects By Additive Invariants
1998-08-06
Spatio-Temporal Database Support for Legacy Applications
1997-07-09
Alignment of Shared Forests for Bilingual Corpora
1997-03-20
Hidden Markov models for sequence analysis: extension and analysis of the basic method
1996-05-03
Richard Hughey
On the Contrast in Visual Cryptography Schemes
1970-01-01
Applying Control Theory To Discrete Event Systems Modeled By Object Oriented Principles
1996-08-23
sdpsol: A Parser/Solver for Semidefinite Programs with Matrix Structure
1997-03-19
Sharing Learned Models among Remote Database Partitions by Local Meta-learning
1996-05-17
Skeletal Reconstruction of Branching Shapes
1997-03-24
The Dynamics of Russian Industrial Enterprises' Financial Situation 1992-1994
1996-06-27
Igor Lipsitz
Dialogue Games and Innocent Strategies: An Approach to Intensional Full Abstraction for PCF
1999-02-05
Using Genetic Engineering to Find Modular Structures and Activation Functions for Architectures of Artificial Neural Networks
1997-05-02
Christoph M. Friedrich
Broadcasting in Time
1995-12-29
K. V. S. Prasad
Efficient Schemes for Broadcasting Popular Videos
1998-05-29
Integrating Planning and Learning: The PRODIGY Architecture
1995-01-25
Sorted Unification and its Applications to Automated Theorem Proving Extended Abstract
1996-07-24
General Game-Playing and Reinforcement Learning
1995-05-09
Robert Levinson
Data Exploration with Reflective Adaptive Models
1996-09-24
Uwe Beyer Frank
LAFTER: Lips and Face Real Time Tracker with Facial Expression Recognition
1998-08-28
Efficient Convertible Undeniable Signature Schemes Extended Abstract
1999-04-13
New Prescription in light-cone gauge theories
1998-05-13
D. K. Park
Notices Of The
1998-07-01
Book Review
CWI Quarterly - Introduction
1996-11-19
Tioga: Providing Data Management Support for Scientific Visualization Applications
1995-06-04
Integrating Reactivity, Goals, and Emotion in a Broad Agent
1994-03-15
Packing And Covering Triangles In Tripartite Graphs
1998-12-08
A Novel Approach to Multiprogrammed Multiprocessor Synchronization for Real-Time Kernels
1997-10-01
Producing a Top-Down Parse Order with Bottom-Up Parsing
1995-03-06
3-D Catheter Path Reconstruction from Biplane Angiograms
1998-04-16
Analysis of Restraints to Translational and Rotational Motion from the Geometry of Contact
1998-12-17
Planning Robot Motion Strategies under Geometric Uncertainty Constraints
1998-04-09
Coordinated Static and Dynamic Voltage Control in Large Power Systems
1998-07-02
A Theoretical Formulation for Degrees of Isolation in Databases
1997-09-09
Voice Activity Detection Using Source Separation Techniques
1999-01-14
On the Computation of Quadratic 2-Class Groups
1997-09-16
Hierarchical Clustering: A Structure for Scalable Multiprocessor Operating System Design
1995-11-22
Xerox TREC-5 Site Report: Routing, Filtering, NLP, and Spanish Tracks
1997-09-23
Workflow History Management in Virtual Enterprises using a Light-Weight Workflow Management System
1999-02-15
Natural Niching for Cooperative Learning in Classifier Systems
1996-02-27
The Architecture, Operation and Design of the Queue Management Block in the ATLAS I ATM Switch
1996-07-29
Graphical Interpretation of Variance Ination Factors
1996-07-22
An Interesting Application of Separation of Variables to an Inverse Problem.
1998-11-10
C. Maeve Mccarthy
Towards A Computer Model of Memory Search Strategy Learning
1994-06-15
David B. Leake
Complete Suboptimal Folding of RNA and the Stability of Secondary Structures
1998-05-09
A Correlation Estimate With Applications To Quantum Systems With Coulomb Interactions
1997-04-26
Discovering and Reconciling Semantic Conflicts: A Data Mining Perspective
1997-12-09
Global Teleporting with Java: Towards ubiquitous personalised computing
1998-03-13
Admissible Functions and Asymptotics for Labelled Structures by Number of Components
1996-12-05
Fast modelling of 3D electromagnetic problems using potentials
1999-04-07
Retrieval of Trade Mark Images By Shape Feature
1995-05-11
J P Eakins
Initial Segments Of Recursive Linear Orders
1997-02-14
Lamda_S: an ImplicitlyParallel Lambda-Calculus with Letrec, Synchronization and Side-Effects
1970-01-01
PVS Prover Guide - Version 2.2
1998-09-18
Semantics and Expressiveness Issues in Active Databases Extended Abstract
1996-02-06
An Asymptotically Exact, Pointwise, A Posteriori Error Estimator For The Finite Element Method With Super Convergence Properties
1995-09-25
Jens Hugger
On Enumeration of Near to Best Solutions in Discrete and Dynamic Programming
1970-01-01
Joseph V. Romanovsky
: Jet Production in DIS at NLO Including
1970-01-01
Gradnja Cad Modelov Iz Globinskih Slik
1998-10-20
A Nonconvex Scalar Conservation Law with Trilinear Flux
1998-10-05
Applying Program Visualization Techniques to Aid Parallel and Distributed Program Development
1993-11-08
On the Dimensions of Anisotropic Quadratic Forms With Trivial Invariants
1999-04-21
Detlev W. Hoffmann
Perceptual Quality Metric as a Performance Tool for ATM Adaptation of MPEG-2 based Multimedia Applications
1996-08-18
From Interactive Applications to Distributed Laboratories
1998-09-29
Theorem Proving Modulo
1998-11-24
Causative Forces in Multi-Agent Planning
1994-07-13
Fuzzy Behavior-based Navigation for Planetary Microrovers
1996-12-20
Heuristic Diff Acquiring in Lazy Release Consistency Model
1997-09-08
Active by Accident: Relevance Feedback in Information Retrieval
1996-11-26
David D. Lewis
Interprocedural Array Data-Flow Analysis for Cache Coherence
1970-01-01
Lynn Choi
An Architectural Study of a Massively Parallel Processor for Convolution-Type Operations in Complex Vision Tasks
1999-03-17
Martin Franz
A Note on the Characterization of the Global Maxima of a Tangentially Convex Function Over a Convex Set
1996-06-24
Yuri S. Ledyaev
Wonderful Models Of Subspace Arrangements
1995-10-09
Revision History
1999-02-11
Logical Embeddings for Minimum Congestion Routing in Lightwave Networks
1999-05-04
DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases
1999-02-05
Impact of Multimedia Data on Workflows
1996-08-13
Aidong Zhang
ICSM'94 proceedings -
1994-12-01
Dropping the Mainframe Without Crushing the Users: Mainframe to Distributed UNIX in Nine Months
1992-12-11
NoWait-RPC: Extending ONC RPC to a fully compatibleMessage Passing System
1998-01-24
On the use of Smalltalk for Concurrent and Distributed Programming
1998-09-01
Rachid Guerraoui
Il Senso Coune, Fondamento Di Ogni . . .
1997-02-10
Giancarlo Cavalleri
Correctly Rounded Binary-Decimal and Decimal-Binary Conversions
1991-03-25
David M. Gay
A Geometrical-Mechanical Interpretation Of Gradient-Weighted Moving Finite Elements
1999-03-23
Keith Miller
Partitioning and Retiming of Multi-Dimensional Systems
1997-03-19
Extensible Cluster-Based Scalable Network Services
1998-01-14
Asymptotics for L1 regression estimators under general conditions
1998-01-22
Keith Knight
Maps Of Process Dynamics
1998-03-16
Software Radios for Wireless Networking
1998-02-12
J. D. Tygar and Bennet S. Yee
1998-10-06
Coding Discourse Structure in Dialogue Version 1.0
1999-03-19
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study
1998-05-11
O-Plan: A Situated Planning Agent
1995-08-14
Factorization of the Tenth and Eleventh Fermat Numbers
1970-01-01
Richard P. Brent
Estimates for the Stokes Operator in Lipschitz Domains
1996-09-03
Coding-Oriented Video Segmentation Inspired By Mrf Models
1996-11-19
by R. Peschanski and S. Wallon Service de Physique Th'eorique, CEA-Saclay F-91191 Gif-sur-Yvette Cedex, FRANCE
1998-05-23
Photobook: Content-Based Manipulation of Image Databases
1995-07-05
A Matrix Dynamics Approach To Golomb's Recursion
1997-12-26
Automated Parameter Tuning In Stereo Vision Under Time Constraints
1995-01-17
Enhancements of Branch and Bound Methods for the Maximal Constraint Satisfaction Problem
1995-10-18
Richard J. Wallace
Consistency and Correction of Line-Drawings, Obtained by Projections of Piecewise Planar Objects
1995-04-28
Anders Heyden
The Migraine Project Knowledge Base Documentation
1993-12-16
Query Order in the Polynomial Hierarchy
1997-08-20
Feature Extraction and Learning Vector Quantization for Data Structures
1999-03-09
Guidelines for Mapping the IPTES Physical Model onto HLTPNs
1994-03-10
Open Problems in the Combinatorics of Visibility and Illumination
1999-01-05
Dynamically Controlling False Sharing in Distributed Shared Memory
1996-06-11
Why Optimistic Message Logging Has Not Been Used In Telecommunications Systems
1997-08-25
The Ontology Level
1998-04-27
Nicola Guarino
An Evolutionary Approach to Combinatorial Optimization Problems
1994-09-06
GAPS++: An Internet-Based Petri Net Modeling And Simulation Architecture
1997-10-08
Results on Reasoning about Updates in Transaction Logic
1998-06-29
Anthony J. Bonner
Optimal Early Stopping in Distributed Consensus Extended Abstract
1998-02-06
Integrable Smooth Planar Billiards and Evolutes
1997-04-19
Edoh Y. Amiran
A Bottom-up Semantics for Constructive Negation
1998-07-12
Parallel Implementation of QRD Algorithms on the Fujitsu AP1000
1995-02-14
Cellular structures for E_n-operads
1999-02-26
Clemens Berger
A Network Of Oscillating Neurons For Image Segmentation
1996-11-07
Metrics for Temporal Difference Learning Mance E. Harmon
1999-01-15
How to Improve Safety Critical Systems Standards
1997-03-04
Norman Fenton
Extending consistent domains of numeric CSP
1999-04-06
Michel Rueher
Variational Theory for Interpolation on Spheres
1997-08-01
First-Order Conditional Logic Revisited
1998-08-31
Composition and Structure of Protoneutron Stars
1998-05-25
Interactive Physically-Based Manipulation of Discrete/Continuous Models
1995-06-02
Notes on ERNE space instrument development: why not to use QFD next time?
1995-12-18
Antti Auer
Critical Analysis Of A Stereo Vision-Based Guidance System
1999-02-25
Professor Alberto Broggi
The Object-Oriented Database System Manifesto
1993-04-13
Techniques for Reducing Consistency-Related Communication in Distributed Shared Memory Systems
1994-06-29
Verb Movement and the Status of Subjects: Implications for the Theory of Licensing
1993-10-04
Grid Transfer Operators for Highly Variable Coefficient Problems
1995-01-30
A Fast Algorithm for the Computation and Enumeration of Perfect Phylogenies
1996-11-12
Resonance for
1998-05-14
Wellposed Problems of the Calculus of Variations for Nonconvex Integrals
1995-10-27
Tullio Zolezzi
Stochastic Modelling and Analysis of Sub-pixel Edge Detection
1996-08-05
File System Organization
1993-03-05
A Uniform Tableaux Method for Nonmonotonic Modal Logics
1997-03-11
On the Power of Finite Automata with both Nondeterministic and Probabilistic States
1998-01-19
Genetic Drift in Sharing Methods
1994-07-30
Samir W. Mahfoud
Tabu Search for Multiobjective Optimization: MOTS
1997-06-24
Michael Pilegaard Hansen
Improving the Performance of Boosting for Naive Bayesian Classification
1999-01-14
An Analysis of Wide-Area Name Server Traffic
1992-05-11
Matematiqki Vesnik
1996-07-08
Building Consensual Knowledge Bases: Context and Architecture
1996-07-17
Topological Dilatonic SUPERGRAVITY THEORIES
1998-05-23
Structural Cut Elimination in Linear Logic
1994-12-28
Frank Pfenning
Proximity Operators - So Near And Yet So Far
1997-03-10
Model-Based Matching of Line Drawings by Linear Combinations of Prototypes
1996-01-19
Charged Mesons
1996-07-23
Agent-Based Computing
1998-07-23
Michael Wooldridge
Background
1998-03-16
Bettina Buth
Foundational Calculi for Programming Languages
1996-08-18
Benjamin C. Pierce
Blind Source Separation Of Nonlinear Mixing Models
1997-05-10
Bio-Molecular Shapes and Algebraic Structures
1996-08-08
Bound States and Scattering in Quantum Waveguides Coupled Laterally Through a Boundary Window
1997-04-26
A Generic, Peer-to-Peer Repository for Distributed Configuration Management
1996-04-14
will Be Inserted By Hand Later
1996-04-19
Multicluster, Mobile, Multimedia Radio Network
1999-02-06
On the Four Terms in the Middle Theorem for almost split sequences
1999-04-21
Henning Krause
An Argument for a Runtime Layer in SPARTA Design
1994-03-14
Résolution D'Équations Dans Le Système T De Gödel
1996-05-23
A Genetic Algorithm for the Construction of Small and Highly Testable OKFDD-Circuits
1998-09-07
Newton-Type Methods With Generalized Distances For Constrained Optimization
1997-10-21
Load-Balancing Algorithms for the Parallel Community Climate Model
1995-02-15
Talking about AI: Socially-Defined Linguistic Subcontexts in AI
1995-01-05
An Analysis of two Compact Steep Spectrum Sources
1998-04-20
Compact elements in solvable real Lie algebras
1995-08-20
Karl H. Hofmann
LU-Decomposition on a Massively Parallel Transputer System
1996-02-19
Memory-Based Learning: Using Similarity for Smoothing
1997-11-20
Representation and Computation for Crossed Modules
1995-11-23
Ronald Brown
Restoration and Enhancement of Fingerprint Images Using M-Lattice - A Novel Non-Linear Dynamical System
1994-04-15
Logical Specification of Bulk Updates and Sequential Updates
1970-01-01
Centralized Arbitration in a Behavior-Based Architecture
1997-10-27
Julio K. Rosenblatt
IDA-based Disk Arrays
1997-04-05
Azer Bestavros
omTroll - Object Modeling in TROLL
1999-03-25
Adaptive Wormhole Routing in Hypercube Multicomputers
1994-08-09
A Bornological Approach to Rotundity and Smoothness Applied to Approximation
1996-06-24
John Read
A Cost Evaluator for Parallel Database Systems
1997-07-07
On Randomized One-Round Communication Complexity
1995-03-05
Non-Coherent Sequence Detection of M-ary PSK
1998-11-19
Circle In The Round: State Space Attractors for Evolved Sighted Robots
1999-01-11
The Structures of Dislocations in GaAs and their Modification by Impurities
1995-03-24
On the approximation by Lüroth Series
1997-04-22
. The Relativity Principle: A Basic Physics Issue Behind A Debate On Priority
1997-12-02
Purely Infinite, Simple C*-Algebras Arising from Free Product Constructions, III
1998-11-04
Tests of Spatial and Temporal Parameters in a Sea Mine Detection Technique Based on Seismic Exploration Methods
1995-05-03
Consensus Based on Fuzzy Coincidence for Group Decision Making in Linguistic Setting
1996-02-23
A Methodology for Generating Efficient Disk-Based Algorithms from Tensor Product Formulas
1995-07-15
Two-Loop Renormalization Group Profile of the Standard Model and a New Generation
1998-12-18
Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case
1997-06-06
Z Base Standard, Verson 1.0
1993-07-01
John Nicholls
Relational Methods in Logic, Language and Information
1995-09-21
On the Size of the First Factor of the Class Number of a Cyclotomic Field
1995-09-05
Andrew Granville
Rotating Dust Solutions Of Einstein's Equations With 3-Dimensional Symmetry Groups Part 3: All Killing Fields Linearly Independent Of
1997-08-01
Exposing the Skeleton in the Coordination Closet
1997-05-14
Hydra - Resolving a Parallel Nightmare
1995-11-16
Construction of Efficient Generalized LR Parsers
1997-11-11
Heisenberg Lie Bialgebras as Central Extensions
1998-10-06
Study of Light Yield of Scintillation Detector for Different Fibre Layouts
1998-03-31
Md. Azizur Rahaman
Computation Of The Inner-Outer Factorization For Time-Varying Systems
1994-11-28
Alle-jan Van Der Veen
Belief Ascription in Mixed Initiative Dialogue
1997-01-24
Mark Lee
Therapy Plans as Hierarchically Structured Graphs
1997-01-16
Maintenance of a Minimum Spanning Forest in a Dynamic Plane Graph
1996-04-05
A Summary of Research on Parallel Genetic Algorithms
1995-07-12
Generalization
1998-08-20
Benjamin W. Wah
The Parallel Approximability of the Fals True Gates Problems for Nor Circuits
1998-03-26
Unknown
1994-08-18
Dirac operators and Clifford analysis on manifolds with boundary
1998-01-06
David M. J. Calderbank
Stochastic Finite Elements For Heterogeneous Media with Multiple Random Non-Gaussian Properties
1998-08-23
Roger Ghanem member
A Grammar-based Approach to Design and its Application to Electronics and Logic Programming
1998-01-21
Fredrik Holmgren
A Partial Logical Reconstruction of PLAKON/KONWERK
1998-04-08
A Scalable Paradigm for Effectively-Dense Matrix Formulated Applications
1995-06-22
Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks
1999-01-28
1 RECURSIVE DYNAMIC PROGRAMMING: HEURISTIC RULES, BOUNDING AND STATE SPACE REDUCTION Henrik Kure
1995-12-21
Henrik Kure
An Evaluation of Storage Systems based on Network-attached Disks
1999-04-07
Issues For Proximate User Interfaces
1994-04-19
Realizations Of Causal Manifolds By Quantum Fields
1997-07-11
Heinrich Saller
Key-Exchange in Real Quadratic Congruence Function Fields
1996-10-28
Disconnected Vertex Sets and Equidistant Code Pairs
1997-12-26
Willem H. Haemers
Workshop on Adaptable and Adaptive Software
1995-12-06
Rapid Reinforcement Learning for Reactive Control Policy Design in Autonomous Robots
1998-12-19
Contributions of Ronald V. Book to the Theory of String-Rewriting Systems
1998-02-20
Robert Mcnaughton
On the Fault Tolerance of Some Popular Bounded-Degree Networks
1997-07-16
F. Thomson Leighton
SELECTIVE TRAINING FOR HIDDEN MARKOV MODELS with APPLICATIONS to SPEECH CLASSIFICATION
1999-04-28
Feature Selection vs Theory Reformulation: a Study of Genetic Refinement of Knowledge-based Neural Networks
1999-02-28
This work was sponsored by NSF under grants IRI-9400773 and IRI-9411334.
1997-11-29
Multivariate Statistical Techniques for Parallel Performance Prediction
1998-07-02
Indexing Multispectral Images for Content-Based Retrieval
1994-10-28
Power Analysis and Low-Power Scheduling Techniques for Embedded DSP Software
1995-10-20
Decision Trees for Automated Identification of Cosmic Ray Hits in Hubble Space Telescope Images
1995-02-16
A Framework for Prototyping and Mechanically Verifying User Interfaces
1995-04-06
A non linear stochastic differential equation involving Hilbert transform
1999-03-03
Method Integration for Experience-Based Learning
1992-07-09
A Fast Write Barrier for Generational Garbage Collectors
1998-11-25
Breaking Knapsack Cryptosystems by l_infinity norm Enumeration
1997-07-17
An Effective Additive Basis for the Integers
1996-05-08
Mihail N. Kolountzakis
On the Information Content of Semi-Structured Databases
1970-01-01
Mark Levene
Four-Dimensional Data Assimilation: Parallelization of an Optimal Interpolation Algorithm
1995-12-27
Cooperative Autonomous Low-cost Robots for exploring Unkown Enviroments
1995-07-20
Josep Amat
Mixed Initiative Interaction in O-Plan
1998-12-23
Austin Tate
Non-Determinism in a Functional Setting Extended Abstract
1995-12-20
The Program Understanding Problem: Analysis and A Heuristic Approach
1998-09-10
Dynamo: A Staged Compiler Architecture for Dynamic Program Optimization
1997-09-09
Evolution of the Topology and the Weights of Neural Networks using Genetic Programming with a Dual Representation
1997-02-14
General Purpose Optimistic Parallel Computing
1998-12-20
M.I.T. Media Lab Vision and Modeling Analyzing and Recognizing Walking Figures in XYT
1994-04-15
Case Studies on The Development of ScaLAPACK and the NAG Numerical PVM Library
1996-09-03
J. J. Dongarra
Alignment and distribution is NOT always NP-hard
1998-07-11
Stochastic Simulation Algorithms for Dynamic Probabilistic Networks
1995-07-20
Nonlinear Volterra integro-differential equations - Stability and numerical stability of theta methods
1998-12-16
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths
1996-09-16
Self-Organization of Distributed Document Archives
1999-04-26
Teaching an Agent to Test Students
1998-06-23
Galaxy Formation In A
1994-10-19
Nickolay Y. Gnedin
Some Intricate Invariant Manifolds of Simple Dynamical Systems --- a Maple Story
1995-08-03
Using Verb Semantic Role Information to Extend Partial Parses via a Co-reference Mechanism
1998-09-23
Wavelets for Computer Graphics: A Primer - Part 2
1996-05-29
Techniques and Optimizations for Developing Irregular Out-of-Core Applications on Distributed-Memory Systems
1996-12-09
Peter Brezany
Isotropic Clustering for Hierarchical Radiosity -- Implementation and Experiences
1998-08-05
A Category Based Approach for Recognition of Out-of-Vocabulary Words
1999-01-18
A Practical Method for Rigorously Controllable Hardware Design
1997-01-15
A Hierarchic World Model Supporting Video-Based Localization, Exploration and Object Identification
1996-01-12
Join Algorithm Costs Revisited
1997-12-09
Architectures for wireless ATM access
1998-02-20
Visualizing High-Dimensional Structure with the Incremental Grid Growing Neural Network
1995-04-24
Overcoming the myopia of inductive learning algorithms with RELIEFF
1996-06-11
Computing on Riemann Surfaces
1996-04-01
Patterns for Metamodeling
1998-09-22
Hafedh Mili
An Efficient Cache-based Access Anomaly Detection Scheme
1998-05-28
The Electroweak Phase Transition in the MSSM
1998-12-18
Marta Losada
Areas of Expertise
1994-06-22
Jonathan S. Kay
Doing FLIPS: FLexible Interactive Presentation Synchronization
1994-09-07
Simple COMA Shared Memory and the RS/6000 SP
1998-12-14
Dean A. Liberty
Polynomials, Constructivity And Randomness
1998-02-04
Generalized Multiresolution Analyses, And A Construction Procedure For All Wavelet Sets In
1998-01-22
Dynamic Server Selection using Bandwidth Probing in Wide-Area Networks
1996-03-21
Defining the Search Space for Query Optimization in a Heterogeneous Database Management System
1994-12-08
Cooperative Concurrency Control on the Web
1997-07-24
Symbolic Computation Of And With Offset Curves
1997-07-17
Symbolic User Model Representation in User Modeling Shell Systems
1996-05-06
Wolfgang Pohl
Finite Dimensional Representations of Quantum Affine Algebras
1997-04-26
Blind Beamforming For Non Gaussian Signals.
1997-01-25
Antoine Souloumiac
Some Issues in the Design of Market-Oriented Agents
1996-06-20
Configuration Management For Distributed Software Services
1996-06-17
The Hebbian paradigm reintegrated: Local reverberations as internal representations
1998-09-15
Daniel J. Amit
The SwitchWare Active Network Architecture
1998-07-07
A Simple, Extendible ATM Switch with Load-balanced Rounding Copy Network
1998-01-06
An Optimal Multiedge Detector for SAR Image Segmentation
1998-09-27
Algorithmic Techniques in Verification by Explicit State Enumeration
1997-11-07
Ulrich Stern
An Abductive Articulatory Recognition System
1970-01-01
HyperScribe: A Data Management Facility for the Dataflow Visualization Pipeline
1997-08-12
H. Wright
A Toolkit and Methods for Internet Firewalls
1997-02-08
Asterix Data Analysis ASTERIX Programming Note 012
1997-10-08
Tj Ponman
RECENT RESULTS FROM WA89 IN THE DOUBLE AND Xi
1994-08-16
COVARIANCE AND CONTRAVARIANCE:CONFLICT WITHOUT A CAUSE Giuseppe CASTAGNA
1996-05-23
Distributed Processes and Location Failures
1998-12-15
Robot Navigation with Online Control
1998-08-29
On Encouraging Coupled Views for Visualization Exploration
1999-02-11
Jonathan C. Roberts
Towards a standard for an Agent Communication Language
1997-11-02
Numerical Experiments With An Overlapping Additive Schwarz Solver For 3-D Parallel Reservoir Simulation
1997-01-27
The Computational Complexity of Cartographic Label Placement
1999-02-11
Compiler-Controlled Multithreading for Lenient Parallel Languages
1995-01-25
A Multimedia Database Supporting a Generic Computer Based Quality Management System
1996-04-15
On Selecting Parametric Link Transformation Families in Generalized Linear Models
1996-09-11
Claudia Czado
Visual Emotive Communication in Lifelike Pedagogical Agents
1998-08-26
Tactical Generation in a Free Constituent Order Language
1996-07-19
Finding the Best Viewpoints for Three-Dimensional Graph Drawings
1998-09-06
Daily Prediction of the Foreign Exchange Rate Between the US Dollar and the German Mark Using Neural Networks
1997-05-02
A Combinatorial Problem in Database Security
1997-12-09
Completeness for Nondeterministic Complexity Classes
1996-01-08
Consistent Checkpoints of PVM Applications
1994-10-25
Georg Stellner
Unknown
1993-07-27
The Application of Program Slicing to Regression Testing
1998-12-11
David Binkley
Outsourcing Software Applications Development: Issues, Implications, And Impact
1997-12-23
Ground States and Flux Configurations of the Two-dimensional Falicov-Kimball Model
1997-10-01
Spontaneous Interaction in Virtual Multimedia Space: EuroPARC's RAVE System
1998-09-17
Wendy E. Mackay
An Evening with Berferd In Which a Cracker is Lured, Endured, and Studied
1996-10-03
Bill Cheswick
An Example of 2-Dimensional Hyperbolic Group Which Can't Act on 2-Dimensional Negatively Curved Complexes
1999-03-25
Michael Kapovich
Scaling Processors to 1 Billion Transistors and Beyond: IRAM
1997-02-10
Analysis of Software System Requirements Models
1996-03-19
Elizabeth Haywood
Compressed Differences: An Algorithm for Fast Incremental Checkpointing
1998-02-02
Modeling Substrate Coupling Effects using a Layout-to-Circuit Extraction Program
1997-12-22
Real Theorem Provers Deserve Real User-Interfaces
1994-09-21
WebSPN: A WEB-accessible Petri Net Tool
1997-09-16
Worst-Case Identification of Nonlinear Fading Memory Systems
1995-06-14
Hierarchical Design of a Chemical Concentration Control System
1997-01-27
Unsupervised segmentation of Markov random field modeled textured images using selectionist relaxation
1997-11-10
Small group language tuition using multimedia conferencing over the JANET Mbone Service.
1997-06-06
Task Planning Agents in the UMDL
1997-07-29
Data Types, Infinity and Equality in System AF2
1970-01-01
Christophe Raffalli
Context Preserving Crossover in Genetic Programming.
1994-06-17
Neural Nets with Superlinear VC-Dimension
1993-06-19
Wolfgang Maass
Comparison of Discrete Subsample Time Delay Estimation Methods Applied to Narrowband Signals
1998-05-26
S R Dooley
Computation of the Monodromy of the Generalized Hypergeometric Function
1996-06-25
Katsuyoshi Ohara
by H. Quinn, SLAC The neutral
1996-07-23
H. Quinn
An Empirical Study of Cross-loop Reuse in the NAS benchmarks
1995-12-11
Description and Use of Animal Breeding Data for Large Least Squares Problems
1970-01-01
Interaction Protocols in Agentis
1998-11-18
Modélisationà L'aide De Systèmes max,+ Linéaires
1995-11-07
Jean Mairesse
Enhancing the Adoption of Formal Methods to Design Real-Time Systems
1996-09-11
On The Reduction Of Concatenation Artefacts In Diphone Synthesis
1998-08-25
Esther Klabbers
Quantitative Methods for Design of Benchmark Suites
1998-12-22
Jozo J. Dujmovi'c
The TDRBF: A Shift Invariant Radial Basis Function Network
1995-02-01
Fail-Stop Protocols: An Approach to Designing Secure Protocols
1997-10-14
An Attentional Prototype for Early Visoin
1993-03-05
The Amulet Environment: New Models for Effective User Interface Software Development
1996-11-11
Document Image Clean-Up And Binarization
1998-02-05
FTAG: A Functional and Attribute Based Model for Writing Fault-Tolerant Software
1996-05-22
Richard D. Schlichting
The Image Shape Spectrum for Image Retrieval
1997-07-10
Chahab Nastar
A New Presentation Language for Structured Documents
1996-06-28
Ethan V. Munson
A Proposed Mobile Architecture for Distributed Database Environment
1998-11-28
Effecting Database Transformations Using Morphase
1996-02-24
Specification and Verification of Controlled Systems
1999-02-05
Specifying properties of Basic LOTOS processes using temporal logic
1970-01-01
Carron Kirkwood
From Theory of Optimal Search to Sequential Paging in Cellular Networks
1996-07-01
Unknown
1997-07-26
Modelling a Business through Soft Systems Methodology in End-User Development: a Claim and an Approach
1995-06-21
Estimating the Inherent Parallelism in Prolog Programs
1992-11-24
Characterization of Narrow Band Filters for Infrared Astronomy. The Brgamma and H2 filters
1997-06-27
Optimal Folding Of Bit Sliced Stacks+
1991-10-25
Using Continuations to Implement Thread Management and Communication in Operating Systems
1991-11-04
Circumstellar shells and mass loss rates: Clues to the evolution of S stars
1997-10-17
A. Jorissen
Stereo Image Compression with Disparity Compensation Using the MRF Model
1999-02-08
Investigation Of Feel For 6dof Inputs: Isometric And Elastic Rate Control For Manipulation In 3d Environments
1998-01-19
Shumin Zhai
Achieving Multigauge Behavior in Bit-Serial SIMD Architectures via Emulation
1997-09-28
Applications of the Linguistic OWA Operator in Group Decision Making
1996-10-31
Estimation of Propagation Delay considering Short-Circuit Current for Static CMOS Gates
1998-12-05
Restoration Of Spiky Signals : A New Optimal Estimate And A Comparison
1997-10-29
Combining Classical and Reactive Planning: the ABC² Model
1998-06-09
Daniel Borrajo
Analogical Replay for Efficient Conditional Planning
1997-04-02
Point-based Temporal Extension of SQL
1997-04-17
David Toman
Optimal Control Sequence For Underactuated Manipulators
1996-09-30
Boosting in the limit: Maximizing the margin of learned ensembles
1998-10-02
On Human Perception of Regular Repetitive Textures
1992-07-15
Leonard G. C. Hamey
Technical Diagnosis of Telecommunication Equipment - An Implementation of a Task Specific Problem Solving Method TDFL using GCLA II
1995-04-12
Jonas Warnby
A Theory Of Manipulation And Control For Microfabricated Actuator Arrays
1998-10-09
The Detection And Elimination Of Useless Misses In Multiprocessors
1995-09-14
War Games: Programming and Objects for Beginners - A Case Study Using C++
1993-12-03
Owen Astrachan
Probabilistic Duration Automata for Analyzing Real-Time Systems
1996-07-24
Inclusive Semileptonic Decays And The Structure Of B Mesons
1998-05-15
Tidy Animations of Tree Algorithms
1993-11-08
Demand-based Document Dissemination to Reduce Traffic and Balance Load in Distributed Information Systems
1997-04-06
Azer Bestavros
Formal Specification and Verification of a Real-Time Kernel
1997-09-23
One-Third-Integrality in the Max-Cut Problem
1998-03-27
Handprinted Digit Triples in Lim Angle Space
1997-10-29
Patrick C Hew
Accurate Projective Reconstruction
1994-12-22
Revised^4 Report on the Algorithmic Language Scheme
1991-11-12
Synthesis of Communicating Controllers for Concurrent Hardware/Software Systems
1998-06-17
Orchestrating Quartets: Approximation and Data Correction
1998-08-14
Onconvergence Of The Sequential Joint Maximization Method For Applied Equilibrium Problems
1996-12-10
Improving Data Locality with Loop Transformations
1997-02-14
Assessing Software Review Meetings: Results of a Comparative Analysis of Two Experimental Studies
1997-05-17
Hidden Algebra for Software Engineering
1998-11-09
Joseph A. Goguen
The Theory of Fexprs is Trivial
1998-05-28
New Digital Magnetograph at Big Bear Solar Observatory
1997-08-08
A Retargetable Technique for Predicting Execution Time of Code Segments
1995-03-15
Real-Time Incremental Visualization of Dynamic Ultrasound Volumes Using Parallel BSP Trees
1996-04-26
Location-Aided Routing LAR in Mobile Ad Hoc Networks
1998-09-28
Elastic Labels: The Two-axis Case
1997-10-05
Detecting and Correcting Speech Repairs
1994-06-02
Structured Objects: Modeling and Reasoning
1996-01-11
Nonlinear Oscillations Of A Submarine Via Computer, Melnikov And Wavelet Approaches
1997-02-12
Exokernel: An Operating System Architecture for Application-Level Resource Management
1999-01-04
Multiple Inheritance via Intersection Types
1996-02-09
Measure, Stochasticity, and the Density of Hard Languages
1995-06-06
Independence Diagrams: A Technique for Visual Data Mining
1998-06-11
The Proton and the Photon, Who is Probing Who?
1998-05-24
Aharon Levy
Perturbation Theory and Backward Error for AX - XB = C
1994-10-08
Distributed Systems Technology Survey
1996-10-01
Eric C. Cooper
Tcl and the Tk Toolkit
1995-12-20
John K. Ousterhout
Optimal Parametric Search on Graphs of Bounded Tree-width
1995-04-05
David Fern Andez-baca
Distribution of Matrix Elements and Level Spacings for Classically Chaotic Systems
1997-04-26
Combining Process Algebras and Petri Nets for the Specification and Synthesis of Asynchronous Circuits
1996-10-23
Coreference and Modality
1998-01-07
A Scheme for Integrating Concrete Domains into Concept Languages
1995-12-04
Franz Baader
Using Prolog for Biological Descriptions
1998-12-28
Andrew Taylor
Bayesian Belief Update in Antiair Defense
1998-10-12
Users and Intermediaries in Information Retrieval: What Are They Talking About?
1997-08-05
Optimisation of Active Rule Agents using a Genetic Algorithm approach
1998-05-03
Excess of Pions With Chiral Symmetry Restoration
1998-05-24
Bridging The Gap Between The Design and Implementation of Hard Real-Time Systems
1996-09-14
Temporal Sequence Learning and Data Reduction for Anomaly Detection
1998-11-23
Observation of Resonances in the Reaction
1998-07-28
A Dynamic Disk Spin-Down Technique for Mobile Computing
1998-08-05
Active Documents as a Paradigm for Human-Computer Interaction
1996-08-21
Vincent Quint inria
Presented by D. Pantea at ATLAS-Physics Workshop, Trest Castle, Czech Republic, 11-16 June 1995.
1995-09-14
Modeling Incremental Learning from Positive Data
1997-09-30
A Comparison Of Approximation Modeling Techniques: Polynomial Versus Interpolating Models
1998-12-15
Symbolic Computation in System Simulation and Design
1995-05-03
The Activity Image in Image Enhancement and Segmentation
1998-02-18
Adaptively Growing Hierarchical Mixtures of Experts
1997-02-06
Causal Deliveries In Unreliable Networks With Real-Time Delivery Constraints
1994-12-12
Staticand Adaptive Location Management in Mobile Wireless Networks
1996-05-08
Absolutely continuous spectrum for one-dimensional Schrodinger operators with slowly decaying potentials: some optimal results.
1997-06-21
Parallel Algorithm Fundamentals and Analysis
1993-07-15
YARTOS Kernel support for efficient, predictable real-time systems
1998-02-25
On Minimizing the Number of Test Points Needed to Achieve Complete Robust Path Delay Fault Testability
1997-01-28
Automatic Extraction and Measurement of Leukocyte Motion in Microvessels Using Spatiotemporal Image Analysis
1998-09-14
Incremental Clustering and Dynamic Information Retrieval
1997-02-24
White Noise Driven Stochastic Partial Differential Equations: Triviality and Non-Triviality
1970-01-01
Novel On-line Adaptive Learning Algorithms for Blind Deconvolution using the Natural Gradient Approach
1998-07-28
Routing in Regular Networks Using Rewriting
1994-10-27
Sharp Energy Estimates for Finite Element Approximations of Non-Convex Problems
1997-12-30
Model-Checking of Correctness Conditions for Concurrent Objects
1997-06-17
Pad'e Type Approximants With Preassigned Zeros
1997-06-06
Parallel Model-Based Diagnosis using PVM
1997-12-17
Workflow Modeling
1995-12-29
Invariance in Radial Basis Function Neural Networks in Human Face Classification
1995-02-02
Unknown
1999-01-07
The Multiprocessor as a General-Purpose Processor: A Software Perspective
1996-02-09
Map Data Layout.
1996-05-14
Vertex-To-Vertex Parallel Radiosity on Clusters of PCs
1997-08-25
Examples of Discrete Operators With a Pure Point Spectrum of Finite Multiplicity
1997-04-26
J. C. Guillot
SIP Security Using Public Key Algorithms
1998-08-14
Conditional Subgradient Optimization --- Theory and Applications
1995-09-19
Partial Re-Execution: Complex Reconciliation of Transactions to Increase Concurrency in Objectbases
1998-10-02
Symbolic Integration Tutorial
1999-02-18
Existence of Solutions for Unilateral Problems With Multivalued Operators
1995-10-27
Anna Maria Rossi
Webs of Archived Distributed Computations for Asynchronous Collaboration
1997-06-02
Visualizing Poincaré Maps Together With the Underlying Flow
1997-09-24
Aerodynamic Characteristics of an Aerospace Vehicle During a Subsonic Pitch-Over Maneuver
1995-11-02
William L. Kleb
Quality Of Service Negotiation For Distributed Multimedia Applications
1995-09-11
A. Hafid
Molecular dynamics for full QCD simulations with an improved action
1998-05-14
Xiang-qian Luo
Algorithms for Quadratic Orders
1996-07-04
Ingrid Biehl
Compactness Of Isospectral Compact Manifolds With Bounded Curvatures
1997-11-07
Gengqiang Zhou
Control Uniqueness in Reconstructability Analysis
1996-12-20
Martin Zwick
Rate-Controlled Static-Priority Queueing
1997-04-30
Addressing Partitioned Arrays in Distributed Memory Multiprocessors - the Software Virtual Memory Approach
1996-08-01
Rajeev Barua
Legion - The next logical step toward the world-wide virtual computer
1997-02-10
Property Orientation in the Model Oriented Vienna Development Method VDM
1999-02-17
Automating Parallel Runtime Optimizations Using Post-Mortem Analysis
1996-03-08
Learning Probabilistic Subcategorization Preference and its Application to Syntactic Disambiguation
1997-05-12
Automatic Detection of Discourse Structure for Speech Recognition and Understanding
1997-11-03
Type-Based Decompilation
1998-11-02
Alan Mycroft
Tarskian Set Constraints
1996-06-03
Event-by-Event Physics at the CERN SPS
1997-04-21
Thomas A. Trainor
Lattice Gas Superfluid
1998-05-22
Jeffrey Yepez
Non-Abelian Cohomology and Supermanifolds
1998-11-27
A. L. Onishchik
History of "Church's theses" and a manifesto on converting physics into a rigorous algorithmic discipline
1999-03-08
Warren D. Smith
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP
1996-01-17
Proof of a Determinant Evaluation Conjectured by Bombieri, Hunt and van der Poorten
1997-11-16
Effects Of Smoothing On End-To-End Performance Guarantees For Vbr Video
1995-11-03
Edward W. Knightly
Generally Applicable Heuristics for Global Optimisation: An Investigation of Algorithm Performance for the Euclidean Traveling Salesman Problem
1998-05-26
Grant Telfar
Natural Gradient Works Efficiently in Learning
1997-05-10
Shun-ichi Amari
The Social Aspect of Communication: A Case Study in the Use and Usefulness of Communication for Embodied Agents
1997-02-27
Logged Virtual Memory
1995-10-11
Conjunctive Query Containment Revisited
1998-06-03
P-CLASSIC: A tractable probabilistic description logic
1997-09-12
Building a Scalable and Efficient Component Oriented System using CORBA - Active Badge System Case Study
1998-09-30
XML, Java, and the future of the Web
1997-03-11
Integration of 2D and 3D Reasoning for Building Reconstruction Using a Generic Hierarchical Model
1997-05-28
Thomas H. Kolbe
INQUERY at TREC-5
1997-05-05
A New Heuristic Layout Algorithm for Directed Acyclic Graphs
1997-11-10
Stefan Dresbach
Dynamic Processor Scheduling with Client Resources for Fast Multi-resolution WWW Image Browsing
1997-05-14
Evolution of Mixed Maturation Strategies in Semelparous Life Histories: The Crucial Role of Dimensionality of Feedback Environment
1998-08-18
Efficient Implementation of Parallel Image Reconstruction Algorithms for 3D X-Ray Tomography
1996-03-21
The Finite Element Method With Anisotropic Mesh Grading for Elliptic Problems in Domains With Corners and Edges
1997-04-18
Circuit Evaluation: Thoughts on a Killer Application in DNA Computing
1998-06-25
A graphical MSC editor
1997-11-03
Non-Disjoint Unions of Theories and Combinations of Satisfiability Procedures: First Results
1998-04-17
Towards a Modeling Framework for Geoscientific Data
1994-09-07
Uniformly Hard Languages
1996-05-10
Reliable Audio for Use over the Internet
1997-01-10
A Representation of Media for Multimedia Authoring and Browsing Systems
1998-08-15
Evolutionary Programming and Evolution Strategies: Similarities and Differences
1994-09-06
Local Search Strategies for Satisfiability Testing
1996-08-30
Admissibility of Memorization Learning with Respect to Projection Learning in the Presence of Noise
1996-04-22
Reducing the Space Requirement of Suffix Trees
1998-12-28
Stefan Kurtz
Compact Location Problems Extended Abstract
1998-04-06
On Queues with Interarrival Times Proportional to Service Times
1997-07-30
Summary, Dis 97
1997-08-20
George Sterman
Disco: Running Commodity Operating Systems on Scalable Multiprocessors
1998-02-05
Connectionist Unification with a distributed Representation
1994-08-23
V. Weber
Finding the Medial Axis of a Simple Polygon in Linear Time
1995-08-28
Parallel Algorithms for Computing Temporal Aggregates
1998-08-31
An Asynchronous Model of Locality, Failure, and Process Mobility
1999-02-03
Cosmological solutions of the Vlasov-Einstein system with spherical, plane, and hyperbolic symmetry
1998-05-12
Gerhard Rein
Testing Software Suffering From Hardware
1997-12-22
An Excursion Set Model for the Distribution of Dark Matter and Dark Matter Haloes
1998-05-26
Ravi K. Sheth
Non-Linear Multiresolution Relaxation for Alerting
1995-01-24
Almost every unit matrix is a ULU
1998-04-03
Tommaso Toffoli
Cube-3: A Real-Time Architecture for High-Resolution Volume Visualization
1996-07-19
A Dynamic Coherence Protocol for Distributed Shared Memory Enforcing High Data Availability at Low Costs
1998-09-18
Theodore C. Belding
1995-05-06
Theodore C. Belding
On the Measurability of the Conjugate and the Subdifferential of a Normal Integrand
1995-10-27
Christian Hess
Interconnect Delay and Area Estimation for Multiple-Pin Nets
1999-04-23
Autonomous Learning of Sequential Tasks: Experiments and Analyses
1998-08-28
Linear Models For Spatial Or Temporal Multivariate Data
1996-07-15
Approximations Of Quasistationary Distributions For Markov Chains
1997-04-25
Notes On "Open" Addressing
1997-11-10
Don Knuth
A Complete Bibliography of Publications in Mathematics of Computation, 1960-1969
1998-11-07
Arithmetic of a certain Calabi-Yau threefold
1997-09-29
H. A. Verrill
Scalable Image and Video Coding Using Wavelet Decomposition
1996-05-23
Wen-hung Liao
The Future for Weightless Systems
1997-06-06
Nick Bradshaw
On Semi-Completeness of Term Rewriting Systems
1998-04-02
Bernhard Gramlich
An Assume-Guarantee Rule For Checking Simulation
1998-05-05
Belief Propagation and Revision in Networks with Loops
1997-11-14
Yair Weiss
Program Speedups in Theory and Practice
1995-04-06
Neil D. Jones
Design of an Embedded Video Compression System - A Quantitative Approach
1994-11-04
Raul Camposano
Non-nested and non-structured multigrid methods applied to elastic problems. Part II: The three-dimensional case
1998-07-29
Resolving File Conflicts in the Ficus File System
1994-04-08
On-line Addendum to Sequential Inductive Learning
1995-08-29
Jonathan Gratch
An efficient algorithm for finding the M most probable configurations in probabilistic expert systems
1998-01-14
D. Nilsson
Avoiding Overfitting with BP-SOM
1998-02-17
Queueing Delays in Rate Controlled ATM Networks
1997-11-03
Planification Et Contrôle D'exécution D'opérations De Manipulation De Pi`eces M'ecaniques Par Un Robot Mobile/manipulateur Dans Un Contexte De Maintenance.
1998-04-09
Model-Based Object Recognition - A Survey of Recent Research
1994-04-09
Arthur R. Pope
The Impact of Self-Similarity on Network Performance Analysis
1998-08-13
Modeling Beliefs In Dynamic Systems
1999-02-11
Nir Friedman
Eye Movements in Visual Cognition: A Computational Study
1997-03-21
Reversibility in Optimally Scalable Computer Architectures
1997-09-05
Automatically Acquiring Rules for Event Correlation From Event Logs
1997-12-11
Adaptive Passive Velocity Field Control
1999-03-05
Perry Y. Li
Facilitators: A Networked Computing Infrastructure for Distributed Software Interoperation
1995-10-14
On Computing Local and Global Similarity in Images
1998-02-05
Invariant Fourier-Wavelet Descriptor For Pattern Recognition
1998-06-08
Decoding Choice Encodings
1997-03-05
June 24, 1996
1996-06-23
Fukui Rei
The Role of Video in Broadband Communications: Enabler and Enhancer of Applications, or Hype?
1995-05-18
Gunnar Karlsson
D. J. Allan
1996-07-27
Barriers to Effective Process Architecture --- An Experience Report
1998-09-09
The Role of Trace Modulation in Building Mobile Computing Systems
1997-05-29
Variational Computation of Homoclinic Orbits for Twist Maps
1994-10-13
Eduardo Tabacman
Hive: Operating System Fault Containment For Shared-Memory Multiprocessors
1997-12-01
John Chapin
ILP and Automatic Programming: Towards Three Approaches
1998-01-19
Pierre Flener
A Diagnostic Reasoning Model Based On The Criticality Of Assumptions
1999-03-12
A Knowledge-Based Approach for Searching Semi-Structured Documents
1998-03-20
Xiaoying sharon Gao
From TLT modules to stream processing functions
1996-02-14
Stephan Merz
Some Preliminary Experiments with the Financial "Toy-Room"
1999-01-05
Visual Gesture Recognition
1998-08-11
Constraint-Based Type Inference and Parametric Polymorphism
1998-11-25
Ole Agesen
On 2-armed Gaussian Bandits and Optimization
1996-06-07
Real-life Application of TEX and Adobe Acrobat for Electronic Publishing: a Handbook of Algebra and a Journal Archive
1998-02-21
Proving Properties of States in the Situation Calculus
1994-04-18
Raymond Reiter
Computational Pragmatics in HCI: Using Dialog Context in a MultiModal Interface
1996-04-10
Manuel A. Pérez-quiñones
Robot Localization using a Computer Vision Sextant
1997-06-22
A Simply Constrained Optimization Reformulation Of Kkt Systems Arising From Variational Inequalities
1970-01-01
StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues
1970-01-01
Dynamic Linear Time Temporal Logic
1998-04-02
Compton Observatory Osse Observations Of Supernova 1991t
1997-10-08
Allan Jepson
1995-10-26
Allan Jepson
Dialog Act Modeling for Conversational Speech
1970-01-01
On Schappert's characterization of strictly unimodal plane curve singularities
1998-02-03
Input Segmentation of Spontaneous Speech in JANUS: a Speech-to-speech Translation System
1997-02-06
Parallel Rejectionless Annealing for Discrete Combinatorial Optimisation
1997-02-20
Connecting Test Coverage to Software Dependability
1994-07-25
Dick Hamlet
Wavelet Threshold Estimators for Data With Correlated Noise
1996-08-21
Asymptotic Stability of a 9-point Multigrid Algorithm for the Convection-Diffusion Equations
1997-03-22
Jules Kouatchou
The Computational Complexity Column
1999-03-18
The Accommodating Function - a generalization of the competitive ratio
1998-12-22
?
1995-01-09
FORTH-ICS / TR-214 February 1998 An Evaluation of Pricing Schemes that are based on Effective Usage
1998-02-19
Database Systems for Efficient Access to Tertiary Memory
1995-12-23
Sunita Sarawagi
A Critique of C++ and Programming and Language Trends of the 1990s
1996-11-06
Ian Joyner
Addressing User Misconceptions within a Goal-oriented, Turn-taking Framework in Dialogue
1997-10-03
A Case Study of Shared Memory and Message Passing: The Triangle Puzzle
1995-05-20
Kevin Lew
Negation And Minimality In Disjunctive Databases
1995-08-31
Fundamental Tensor: On the Geometry of Three Perspective Views
1994-11-06
The Ada Compiler Validation Capability acvc Version 2.0 User's Guide
1995-02-10
High-Performance All-Software Distributed Shared Memory
1996-02-27
Symbolic Distributed Representations
1970-01-01
Semantics and Compilation of Recursive Sequential Streams in 8½
1997-06-10
Classes vs. Prototypes - Some Philosophical and Historical Observations
1996-09-27
Antero Taivalsaari
Efficient Variable Ordering Heuristics for Shared ROBDD
1996-02-22
A Connectionist Parser with Recursive Sentence Structure and Lexical Disambiguation
1992-09-16
George Berg
A Convex Programming Approach for Exploiting Data and Functional Parallelism on Distributed Memory Multicomputers
1994-09-01
The Network RamDisk : Using Remote Memory on Heterogeneous NOWs
1998-09-17
Configuration Management: Introducing procedures in two industrial companies
1997-04-03
Making the future safe for the past: Adding Genericity to the Java
1998-08-05
Probabilistic Object Recognition using Multidimensional Receptive Field Histograms
1997-12-17
Non-Heuristic Optimization and Synthesis of Parallel-Prefix Adders
1997-07-28
Reto Zimmermann
Parallel Functional Programming withSkeletons: the ocamlp3l experiment
1998-09-20
Lemma and Cut Strategies for Propositional Model Elimination
1997-12-15
Many Faces of the Correlation Coefficient
1997-11-24
Benefits of Speedup Knowledge in Memory-Constrained Multiprocessor Scheduling
1996-07-09
Context-Specific Independence in Bayesian Networks
1996-06-13
Theoretical Analysis of the Heterogeneous Dynamic Load Balancing Problem Using a Hydro-Dynamic Approach
1996-03-05
Performance Visualisation in a Portable Parallel Programming Environment
1994-02-09
Dealing With Expected and Unexpected Obstacles
1997-01-13
Reflections With Respect To Submanifolds In Contact Geometry
1995-11-22
Improving the Effectiveness of Software Prefetching With Adaptive Execution
1996-08-22
A Framework for Structuring Group Support in LSDCs
1995-03-10
A Semantic View On Distributed Computability And Complexity
1996-12-21
E. Goubault
Large automorphism groups of 16-dimensional planes are Lie groups
1997-11-05
Python and Java: The Best of Both Worlds
1997-11-06
Jim Hugunin
On The Rapid Computation Of Various Polylogarithmic Constants
1996-02-16
Adi Methods For Cubic Spline Collocation Discretizations Of Elliptic Pdes
1997-02-12
P. Tsombanopoulou
An Investigation of Noise-Tolerant Relational Concept Learning Algorithms
1998-12-29
Linkage Identification by Non-monotonicity Detection for Overlapping Functions
1999-02-04
2-Categorical Specification of Partial Algebras
1997-09-24
Uwe Wolter
Negative Thinking by Incremental Problem Solving: Application to Unate Covering
1997-10-31
Unsymmetric-pattern multifrontal methods for parallel sparse LU factorization
1991-09-06
Effects of Sonic Line Transition on Aerothermodynamics of the Mars Pathfinder Probe
1995-04-20
On the Misuses of Artificial Neural Networks for Prognostic and Diagnostic Classification in Oncology
1997-06-25
Developing Open Systems Using Theories and Models of the World
1999-01-05
Recursive Least Squares with stabilized inverse factorization.
1998-09-14
Convergence Analysis of Canonical Genetic Algorithms
1994-09-08
Unter Rudolph
Critical behaviour of the three-dimensional gonihedric Ising Model
1997-10-03
A Geometrical Approach to Super
1998-05-25
A new version of Toom's proof
1995-04-20
AConceptual Approach to the Integration of Agent Technology in System Management
1996-11-05
Eric Leung
1997-04-29
Semantic and Schematic Similarities between Database Objects: A Context-based approach
1995-10-22
Bayesian Network Models of Subcategorization and Their MDL-Based Learning from Corpus
1997-10-13
Real-Time Emulations of Bounded-Degree Networks
1998-03-05
A Homogenized Model for Vortex Sheets
1995-06-09
Yann Brenier
Optimistic Parallel Simulation of Reliable Multicast Protocols
1997-12-11
Efficient Layering for High Speed Communication: the MPI over Fast Messages FM Experience
1999-02-16
Computation of Structural Invariants of Generalized State Space Systems
1997-03-06
Superexponential Stability Of Kam Tori
1997-04-26
Lineal Measures of Clustering in Overlapping Particle Systems
1997-08-25
J. Quintanilla
A Propositional Modal Logic of Time Intervals
1996-10-02
A Generic Approach to the Formal Specification of Requirements
1999-03-04
Evolving Sorting Networks using Genetic Programming and the Rapidly Reconfigurable Xilinx 6216 Field-Programmable Gate Array
1998-08-14
Expanding the Domain of a Multi-lingual Speech-to-Speech Translation System
1997-08-07
On the Implementation of an Asymmetric Hyperspace in Linear Memory: Implementing Tuple Spaces
1996-12-02
Duncan K. G. Campbell
Automatic Data Layout With Read-Only Replication and Memory Constraints
1997-11-20
Ulrich Kremer
A Hardware Implementation Of A Binary Neural Image Processor
1997-03-24
A molecular dynamics study of the pores formed by Escherichia coli OmpF porin in a fully hydrated Palmitoyloleoylphosphatidylcholine bilayer
1998-06-12
Reasoning With Cause And Effect
1999-03-27
Strong Points of Weak Convergence: A Study Using RPA Gradient Estimation for Automatic Learning
1999-03-12
Felisa J. V'azquez-abad
The Design and Implementation of Arjuna
1995-03-10
Using a Conceptual Graph Framework for Image Retrieval
1995-09-12
Computation And Bifurcation Analysis Of Periodic Solutions Of Large-Scale Systems
1999-01-26
Secure Electronic MarketPlace for Europe
1997-12-11
A Practical Version of the Generalized Lagrange Algorithm
1996-08-22
Curvatures Of Conflict Surfaces In Euclidean 3-Space
1999-03-12
Evolving Neural Networks to Focus Minimax Search
1994-03-10
ECWA Made Easy
1995-09-05
Vladimir Lifschitz
An Alternative Proof That the Fibonacci Group
1996-08-21
Derek F. Holt
Deconstructing the Digit Recognition Problem
1994-07-05
Cullen Schaffer
A Simple Subexponential Time Algorithm for Hamiltonian Circuit
1999-03-17
CLPR and Some Electrical Engineering Problems
1992-12-10
Asynchronous Software Inspection
1997-12-16
Robustness Measurement: An Approach To Assessing Simulation Program Reliability
1997-08-05
Global Self Organization of All Known Protein Sequences Reveals Inherent Biological Signatures
1997-12-01
See Me, Hear Me: Integrating Automatic Speech Recognition And Lip-Reading
1995-08-22
Virtual Theories
1995-08-07
Paul Curzon
Modelling Interactions in Agent System
1995-08-22
Mauro Gaspari
The discrete algebraic Riccati equation and linear matrix inequality
1999-01-28
Spectral Deformations of Jacobi Operators
1997-05-13
Gerald Teschl
Aesthetics of Newspaper Layout - and a Survey on Architecture Determining Algorithms
1995-12-18
Morten Buhr
Providing Reliable Agents for Electronic Commerce
1998-03-25
Kurt Rothermel
The Internet Worm Incident
1993-11-30
Eugene H. Spafford
A Secure, Robust Watermark for Multimedia
1997-04-09
Amalgamating Knowledge Bases, II: Distributed Mediators
1998-09-05
Sibel Adali
A Wavelet Approach to Compressed Image Quality Measurement
1996-11-11
First-Order Future Interval Logic
1994-04-20
Integrating Energy Planning and Techno-Economic Development: A Solid Basis for the . . .
1997-11-13
A Variational Approach to Subdivision
1995-12-12
Leif Kobbelt
On Checking Timed Automata for Linear Duration Invariants
1998-05-20
Multi-Agent Simulation of Complex Heterogeneous Models in Scientific Computing
1997-02-23
Singular Integral Transforms and Fast Numerical Algorithms
1998-05-20
Gibbs States Of The HopfieldModel In The Regime Of Perfect Memory
1993-05-18
Anton Bovier
A Performance Evaluation of Text Analysis Technologies
1998-03-06
Head-driven Parsing for Lexicalist Grammars: Experimental Results
1994-11-24
A Curry-Howard foundation for functional computation with control
1996-10-28
Higher-order Unification with Dependent Function Types
1994-03-18
Conal M. Elliott
Branch Instrumentation in SUIF
1996-01-04
A Survey of Methods for Computing Large Sparse Matrix Exponentials Arising in Markov Chains
1996-04-02
Coupling Evaluators for Attribute Coupled Grammars
1995-02-15
Learning Algebraic Structures from Text
1998-10-27
Practical Bounded-Skew Clock Routing
1997-10-21
Discrete Coefficients Filter Banks and Applications in Image Coding
1995-11-22
Programmable Reverse Engineering
1999-02-09
A Computational Market Model for Distributed Configuration Design
1994-04-11
Michael P. Wellman
Disoriented Chiral Condensates: A Dynamical Simulation In The 2+1-Dimensional Gross-Neveu Model
1998-05-14
Canonical Forms and Conservation Laws in Linear Elastostatics
1998-01-05
Specifying Visual Languages with Conditional Set Rewrite Systems
1995-10-02
Learning Compliant Motions by Task-Demonstration in Virtual Environments
1998-04-23
G. Hirzinger
Global Asymptotic Stabilization of a Spinning Top With Torque Actuators Using Stereographic Projection
1998-09-01
Transaction Reordering in Replicated Databases
1998-08-28
Some New Features In Genetic Solution Of The Traveling Salesman Problem.
1996-11-01
Deriving the Interpretation of Rhetorical Questions
1997-05-18
Preliminary Design of JML: A Behavioral Interface Specification Language for Java
1998-07-09
Exploiting Parallelism in Knowledge Discovery Systems to Improve Scalability
1998-02-17
Tools and Techniques for Automatic Data Layout: A Case Study
1997-09-12
Multiscale Air Quality Modeling of the Northeastern United States
1996-11-04
Armistead G. Russell
An Overview of Temporal Backpropagation
1997-08-15
R. Timothy Edwards
The RX Document Version 1.0 X11 Release 6.3
1996-12-18
Force and Vision Resolvability for Assimilating Disparate Sensory Feedback
1998-12-17
Shell Effects in Neutron Capture on Pb
1998-02-06
An End-to-End Reliable Multicast Protocol Using Polling for Scaleability
1998-02-26
Cartan algebras in symmetric Lie algebras
1995-08-21
Norbert D Orr
Two Controlled Experiments Assessing the Usefulness of Design Pattern Information During Program Maintenance
1998-03-16
Modelling the Perception of Illusory Contours: Linking Gestalt-Laws and cortical Oscillations
1997-01-21
Winfried A. Fellenz
Improving Responsiveness for Wide-Area Data Access
1997-07-31
Mass Transfer and Accretion in the Eccentric Neutron-Star Binary Circinus X-1
1998-06-22
Ultraviolet dominance of power corrections in QCD?
1997-12-11
Integrating Referring and Informing in NP Planning
1998-06-11
The Evolution of Viscous Inclined Disks in Axisymmetric and Triaxial Galaxies
1995-12-19
Fast Density and Probability Estimation Using CF-Kernel Method for Very Large Databases
1996-09-26
One-To-Many Mappings, Continuity Constraints And Latent Variable Models
1999-04-16
Miguel A. Carreira-perpinan
Solving Linear Recurrences with Loop Raking
1997-02-04
Improving Goodput by Co-scheduling CPU and Network Capacity
1999-02-22
Blue Straggler Stars In The Globular Cluster M53
1997-03-03
The Optimal Effectiveness Metric for Parallel Application Analysis
1998-08-14
Multimedia Information Disclosure in a Distributed Environment
1996-10-08
Daan Velthausz
What is in a Statechart: On the Semantics of Steps
1995-01-12
Andrew C. Uselton
Gemmw: A Portable Level 3 Blas Winograd Variant Of Strassen's Matrix--Matrix Multiply Algorithm
1997-06-25
Simple Multireader Registers using Time-Stamp Schemes Extended Abstract
1997-12-08
Management and Delivery of Multimedia Traffic
1995-05-14
Panos K. Chrysanthis
Learning to Schedule Straight-Line Code
1997-09-12
An Approach to Quality of Service Control in Telecommunication Networks
1996-07-30
A. Rueda
Gamma-Accurate Failure Detectors
1996-07-22
Mixing of Random Walks and Other Diffusions on a Graph
1997-02-07
FromTo/JK: A Japanese-Korean Machine Translation System
1999-02-13
Graph Decompositions and Factorizing Permutations
1997-09-11
A BDD-based Verification Engine for Combinational Equivalence Checking
1997-12-22
C. A. J. Van Eijk
Domain Decomposition for Kinetic and Aerodynamic Equations
1997-03-13
Klar Axel
A Blind Frequency Domain Method For Ds-Cdma Synchronization Using Antenna Arrays
1998-10-15
The Raw Compiler Project
1997-10-13
Are the Field Strength Tensors for the Hypercharge
1998-06-03
On Fast Array Data Dependence Tests
1999-01-28
Digital Dynamic Telepathology -- the Virtual Microscope
1998-09-05
Experimental Investigation of Generic Three-Dimensional Sidewall-Compression Scramjet Inlets at Mach 6 in Tetrafluoromethane
1998-01-14
Envelope Solitons on Two-Dimensional Lattices With in-Plane Displacements
1970-01-01
Parallel Multilevel And Multigrid Methods
1997-06-25
Craig C. Douglas
Exon Shuffling in Protein Evolution: Evidence from Reading Frame Statistics
1997-11-06
Adaptive Models for Input Data Compaction for Power Simulators
1998-10-07
W. Scott Reilly Joseph Bates June 1995
1995-06-06
Analysis of pure PROLOG programs
1998-07-13
A Propositional Logic With 4 Values: True, False, Divergent and Meaningless
1997-03-03
Rewriting Aggregate Queries Using Views
1999-03-01
The ISOLET Spoken Letter Database
1995-12-22
... Corrections to Current Correlators
1997-11-25
Matthias Steinhauser
On the Role of Vector Supersymmetry in Topological Field Theory
1998-05-23
Optimizing Circuits with Confidence Probability Using Probabilistic Retiming
1998-03-06
Joining and Rotating Data with Molecules
1998-08-10
Confluence properties of Weak and Strong Calculi of Explicit Substitutions
1998-11-24
Pierre-louis Curien
Implementing Voice Recognition And Natural Language Processing In The Npsnet Networked Virtual Environment
1996-11-16