Oscillation Theory And Renormalized Oscillation Theory For Jacobi Operators
1997-05-14
Gerald Teschl
Computer Viruses as Artificial Life
1994-06-26
Eugene H. Spafford
Constrained Optimisation and Morse Theory
1998-05-01
David E. Stewart
Error bounds in the isometric Arnoldi process
1997-06-24
From Region Inference to von Neumann Machines via Region Representation Inference
1996-12-18
A fully pipelined RLS-based array for channel equalization
1998-09-14
Optimizing Timetabling Solutions Using Graph Coloring
1995-12-27
The Complexity of Gene Placement
1998-10-22
Monotonicity And Convergence Results In Order-Preserving Systems In The Presence Of Symmetry
1998-11-21
Toshiko Ogiwara
Introduction of Permissible Bridges with. . .
1997-03-25
Using Petri Nets for Specifying Active Objects and Generative Communication
1998-02-27
Tom Holvoet
Image Coding With Wavelet Representations, Edge Information And Visual Masking
1996-03-01
AUCS/TR9605 A Multistrategy Knowledge Refinement and Acquisition Toolbox: Revisited
1996-10-16
Learning to Construct Knowledge Bases from the World Wide Web
1999-04-16
Dependence Analysis and Architecture Design for Bit-Level Algorithms
1994-03-10
The OSPF Specification
1994-06-02
Automatic Reconstruction of B-Spline Surfaces of Arbitrary Topological Type
1996-05-13
Matthias Eck
Prosodic Processing And Its Use In Verbmobil
1996-12-16
ParaWeb: Towards World-Wide Supercomputing
1996-09-20
Software Engineering Beginning In The First Computer Science Course
1996-07-22
Estimation of Background from Image Sequence with Moving Objects
1999-02-26
Constrained Image Restoration with a Multinomial Prior
1998-03-17
B. R. Calder
Static and Dynamic Information Organization with Star Clusters
1998-09-14
Ground Plane Obstacle Detection with a Stereo Vision System
1995-05-26
Secrecy by Typing in Security Protocols
1997-10-07
Hierarchical Constraint Logic Programming
1993-05-26
Molly Ann Wilson
Autoepistemic Logic of First Order and Its Expressive Power
1993-12-21
Li Yan Yuan
Quantum Chaos in a Yang-Mills-Higgs System
1997-06-13
Luca Salasnich
Improving Climate Prediction Using Seasonal Space-Time Models
1996-07-19
Secondary Infall: Theory Versus Simulations
1998-05-13
Interfacing a Language to the Comandos Virtual Machine
1970-01-01
Two Self-Adaptive Crossover Operations for Genetic Programming
1997-08-26
Peter J. Angeline
Information Retrieval from an Incomplete Data Cube
1999-02-25
Curtis Dyreson
I/O Functions
1997-03-08
Tools for Printing Indexes
1991-08-20
Machinery for Elaborating Action
1997-01-08
Eyal Amir
Totem: A Reliable Ordered Delivery Protocol for InterconnectedLocal-Area Networks
1994-12-09
Deborah A. Agarwal
An Efficient Probabilistic Finite Element Method for Stochastic Groundwater Flow
1996-12-20
A Derivative-Free Line Search and DFP Method for Symmetric Equations with Global and Superlinear Convergence
1998-04-08
Static Analysis Of Value-Passing Process Calculi Extended Abstract
1996-08-01
A Mixed Finite Element Domain Decomposition Method For Nearly Elastic Wave Equations In The Frequency Domain
1996-03-22
Xiaobing Fengy
A Survey of Collective Communication in Wormhole-Routed Massively Parallel Computers
1994-08-09
Groups and Societies: One and the Same Thing?
1998-06-17
Eduardo Alonso
Investigating Focused Techniques for Understanding Frameworks
1997-02-11
Correctness of Monadic State: An Imperative Call-by-Need Calculus
1997-11-21
Reverse Engineering of Java Applets
1998-12-23
A Widrow-Hoff learning-rule for a generalization of the linear auto-associator
1997-09-03
Henning Heiselberg and Morten Hjorth-Jensen
1998-02-18
Zurich iKP Prototype ZIP Certificate Library CERT Specification
1996-03-20
Ensemble Learning for Hidden Markov Models
1997-05-24
David J. C. Mackay
Stochastic Process Algebras as a Tool for Performance and Dependability Modelling
1997-03-14
A Spreadsheet Approach to Information Visualization
1998-02-24
Dependency Analysis for Standard ML
1998-10-19
Matthias Blume
On Plotkin-Abadi Logic for Parametric Polymorphism - Towards a Categorical Understanding
1998-03-23
P. Maneggia
Transformation of Database Populations and Operations from the Conceptual to the Internal Level
1995-06-30
A. Micsik
Dynamic Process Management in an MPI Setting
1995-02-06
Ewing Lusk
Generalization and Data Reduction in Spatiotemporal Data Sets
1997-11-10
Agnar Renolen
Control Flow Analysis for the pi-calculus
1998-10-19
Genetic-Based Feature Selection Applied To Neural Networks For Security Boundary Visualization
1997-10-24
A Comparative Study of a Penalty Function, a Repair Heuristic, and Stochastic Operators with the Set-Covering Problem
1996-08-02
Parallelizable Approximate Solvers for Recursions Arising in Preconditioning
1996-03-21
Yair Shapira
A Symmetrical Communication Interface for Distributed-Memory Computers
1998-01-23
Peter A. Steenkiste
Numerical Methods for the Regularization of Descriptor Systems by Output Feedback
1998-06-09
Gamma<F1...
1998-06-05
XPress - A Bayesian Belief Network Shell
1996-11-28
M. O. Stitson
Efficient Hybrid Algorithm for the Dynamic Creation of Wormlike Chains in Solutions, Brushes, Melts and Glasses
1998-09-30
Martin Kroger
Department of Physics Astronomy
1998-05-25
D. H. Saxon
A Galactic Chimney in the Perseus Arm of the Milky Way
1997-12-02
M. Normandeau
Adaptation In A Multi-Agent System Through Semantic Addressing
1999-01-22
Projectable semantics for Statecharts
1997-06-19
Improving the Strict Avalanche Characteristics of Cryptographic Functions
1997-03-21
Hierarchical Vision-Motion Planning with Uncertainty: Local Path Planning and Global Route Selection
1995-03-20
Randomized Rules of Thumb
1997-10-03
Toby Donaldson
CWASAR: a European Infrastructure for Secure Electronic Commerce
1997-06-18
UGA: A Unified Graphics Architecture
1994-02-17
Matching Output Queueing with a Combined Input Output Queued Switch
1999-03-01
Dubovickii-Miljutin Theory and Pontrjagin's Maximum Principle
1999-03-17
Kevin R. Vixie
On Supervisory Control of Partial Specification arising in Protocol Conversion
1970-01-01
Switchboard Discourse Language Modeling Project Final Report
1998-01-23
Discovery of Constraints from Data for Information System Reverse Engineering
1998-09-30
Fractal Compression of Single Images and Image Sequences using Genetic Algorithms
1994-06-28
Bayesian Online Learning in the Perceptron
1998-06-03
Logical Definability of NP Optimization Problems
1993-09-23
CV Experiment and Results
1970-01-01
A Structure for Transportable, Dynamic Multimedia Documents
1992-07-10
XiPi Theta GammaDelta
1999-01-24
A Comparison of Standard Texturing and Mip-Mapping in a Real Time Application
1998-06-15
A Possible Barrier At Z=1 for Local Algorithms
1997-04-26
Queueing Delays in Rate Controlled ATM Networks
1993-04-22
Prolog, Refinements and RLGG's
1999-02-24
Claude Sammut
Fuzzy Constraint Satisfaction Using CCM - A Local Information Based Computation Model
1994-12-06
Yasusi Kanada
A Dempster-Shafer Approach to Modeling Agent Preferences for Plan Recognition
1997-01-21
Mathias Bauer
A Computational Model of Expectation-Driven Mixed-Initiative Dialog Processing
1993-09-02
Ronnie W. Smith
Reuse of Software Process and Product Through Knowledge-based Adaptation
1994-12-06
A Note on the Expected Path Length of Trees with Known Fringe
1997-12-30
Roberto De Prisco
A Front Tracking Method for Conservation Laws with Boundary Conditions
1998-05-03
Subgroups Of So3 Associated With Tilings
1997-04-26
Charles Radin
Integrated Rate and Credit Based Flow Control for Unicast ABR Service in ATM Networks
1998-02-18
Recognizing 3D Objects from 2D Images: An Error Analysis
1994-05-17
Domain Decomposition For A Non-Smooth Convex Minimization Problem And Its Application To Plasticity
1996-09-03
Carsten Carstensen
Text Classification in USENETNewsgroups: A Progress Report
1997-04-07
An Adaptable Network COntrol and Reporting System ANCORS
1998-07-15
Page Locality Management for CC-NUMA Multiprocessors
1996-05-31
Matthew Frank
Behavioral Equivalence in the Polymorphic Pi-Calculus
1996-10-02
Computer Systems Technology
1994-06-06
Performance of the NAS Parallel Benchmarks on PVM Based Networks
1994-05-06
A Comparison of Role Mechanisms in Object-Oriented Modeling
1997-11-11
Werner Retschitzegger
Robust Indirect Adaptive Control of Time-Varying Plants with Unmodeled Dynamics and Disturbances
1998-08-24
Dynamic Threshold Cryptosystems: A New Scheme in Group Oriented Cryptography
1996-06-18
Model Checking Graphical User Interfaces Using Abstractions
1999-01-07
S-Index: Signature-based Text Indexing
1999-04-22
Message Logging: Pessimistic, Optimistic, Causal and Optimal
1998-02-02
The Efar Peculiar Velocity Field
1998-09-30
Sysabs - A program for the visualization of crystal data symmetry in reciprocal space
1997-04-03
B. C. Taverner
Adaptive Rate Control in High-Speed Networks: Performance Issues
1997-07-28
Aggregation of Linguistic Information Based on a Symbolic Approach
1998-09-03
Quantifying Loop Nest Locality Using SPEC'95 and the Perfect Benchmarks
1998-09-02
Competitive Routing of Virtual Circuits with Unknown Duration
1995-10-03
Recent Developments in Single Product, Discrete-time, Capacitated Production-Inventory Systems
1997-02-12
Sridhar Tayur
A 3d Puzzle for Learning Anatomy
1999-03-16
An Efficient Index Structure for OID Indexing in Parallel Temporal Object-Oriented Database Systems
1999-03-07
DoMerge: Integrating Parallel Loops and Reductions
1994-03-07
Converting Context-Free Grammars To Constraint Dependency Grammars
1970-01-01
Christopher M. White
Proof of the Refined Alternating Sign Matrix Conjecture
1996-04-13
Doron Zeilberger
Toward 3-D Gesture Recognition
1999-01-24
Heterogeneous acoustic Measurements for Phonetic Classification
1997-07-08
Some Relationships between the FOIES and Sigma
1996-11-25
On using a Composition Principle to Design Parallel Programs
1996-12-20
Instruction Selection Using Binate Covering for Code Size Optimization
1996-01-22
and Ch. Laugier
1998-04-09
A. Joukhadar
Signature Path Dictionary for Nested Object Query Processing
1996-01-17
Linear systems in Jordan algebras and primal-dual interior-point algorithms
1997-05-14
Leonid Faybusovich
. ..................................................................................
1994-04-19
The 1992 SRC Algorithm Animation Festival
1995-06-20
Marc H. Brown
Industrial Application of Object-Oriented Mathematical Modeling and Computer Algebra in Mechanical Analysis
1999-02-08
Embracing Windows
1970-01-01
Colin J. Taylor
Navigating Large Networks with Hierarchies
1999-01-21
Parallelizing WHILE Loops for Multiprocessor Systems
1994-10-11
Independent Factor Analysis
1998-08-01
H. Attias
Descriptive Complexity: a Logician's Approach to Computation
1996-08-07
Neil Immerman
A Search for Low-Luminosity BL Lacertae Objects
1999-03-22
Spectral Deformations Of One-Dimensional Schrödinger Operators
1997-04-26
Artifacts in Blood Velocity Estimation Using Ultrasound and Cross-Correlation
1999-02-05
Jųrgen Arendt Jensen
An Efficient Transitive Closure Algorithm for Cyclic Digraphs
1995-10-08
Esko Nuutila
Reasoning with Contradictory Information using Quasi-classical Logic
1998-06-29
Anthony Hunter
Unknown
1996-09-03
Software Agent Technologies
1998-03-06
Content-Based Retrieval of Remote Sensed Images Using a Feature-Based Approach
1996-10-10
First ISOCAM images of the Milky Way
1997-03-19
Measuring Cache and TLB Performance and Their Effect on Benchmark Run Times
1998-12-19
Explanation Based Learning for Mobile Robot Perception
1998-09-29
Information Services for Mathematics in the Internet Math-Net
1998-09-07
A Pseudo-Wavelet Scheme for the Two-Dimensional Navier-Stokes Equations
1996-04-03
Stabilization of Infrared Image Sequence with Rotation, Scaling andView Angle Changes
1998-06-26
Vesuvius System Forecasting with Artificial Neural Networks optimised by means of Evolutionary Algorithms
1998-04-09
Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases
1999-01-12
Adaptive Constraint Satisfaction: The Quickest First Principle
1995-11-13
Optimal Joint Synthesis of Base and Reserve Telecommunication Networks
1995-11-03
Recursive Periodization and End-point Singularities
1970-01-01
The Forest Method as a New Parallel Tree Method with the Sectional Voronoi Tessellation
1999-01-19
Word Prediction Using a Neural Net
1996-06-17
Christopher C. Vogt
Frequency Spectrum of Coupled Stochastic Neurons with Refractoriness
1998-09-08
Voronoi Diagrams of Polygons: A Framework for Shape Representation
1994-06-04
Vortex Identification - Applications In Aerodynamics: A Case Study
1998-12-15
Language Independence and Language Tolerance in Logic Programs
1998-12-10
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories
1998-12-21
Wan Fokkink
Self-Focusing In The Perturbed And Unperturbed Nonlinear Schrödinger Equation In Critical Dimension
1998-06-08
Complete Models with Stochastic Volatility
1997-02-02
David G. Hobson
EPG Source Code Instrumentation Tools - Internal Documentation
1970-01-01
Reusing Force Deployment Plans
1995-07-14
Alice M. Mulvehill
Generally Accepted Accounting Principles: Perspectives From Philosophy of Law.
1996-05-05
Efficient Labelling and Constraint Relaxation for Solving Time Tabling Problems
1998-09-29
P. Boizumault
A Finite Difference Approach To Degenerate Bernoulli And Stirling Polynomials
1996-06-27
Generating Efficient Programs for Two-Level Memories from Tensor-Products
1996-03-26
Learning to Extract Text-based Information from the World Wide Web
1997-05-19
Stephen Soderland
The COSY Project: Verification of Global Seismic Modeling Algorithms
1999-01-13
Automatic High Voltage Conditioning of the Electrostatic LEP Separators without Conventional Programming
1996-03-18
Derivational Minimalism is Mildly Context-Sensitive
1998-11-18
Jens Michaelis
Mesh Generation Methods Over Plane And Curved Surfaces
1998-10-30
Selfinjective and iterated tilted algebras of typ E 6 , E 7 , E 8
1999-04-21
Bernd Roggon
fl-Ray Pulsars: Beaming Evolution, Statistics and Unidentified
1995-06-20
Letter To Sound Rules For Accented Lexicon Compression
1998-08-21
Low-Diameter Graph Decomposition is in NC
1996-09-01
Efficient Learning and Planning Within the Dyna Framework
1998-08-21
Implementing Adaptability in the Standard Reference Model
1998-04-20
A Futures Market Simulation With Non-Rational Participants
1998-03-13
Constraints on Light Quark Masses From the Heavy Meson Spectrum
1998-05-15
A New Class of Bounds for Correlation Functions in Euclidean Lattice Field Theory and Statistical Mechanics of Spin Systems
1998-05-23
Manfred Requardt
Towards an Adaptive Distributed Shared Memory
1997-01-27
World-Wide Web: The Information Universe
1992-02-18
Efficient Probabilistic Inference Through Index Expression Belief Networks
1995-06-15
P. D. Bruza
Bringing Media Spaces into the Real World
1998-06-03
NEURAL 2.00: A Program for Neural Net and Statistical Pattern Recognition
1995-12-02
R. Odorico
Kernel Principal Component Analysis
1997-10-09
Some Remarks On The Prediction Of Electromagnetic Radiation From Printed Circuit Boards Using The Method Of Moments
1970-01-01
Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation
1997-09-02
GRAPNEL: A Graphical Programming Language for Parallel Programs
1998-04-25
Tibor Fadgyas
A General Duality Principle for the Sum of Two Operators
1996-06-24
H. Attouch
Mass-Flow Effects Onwave Heating Byresonant Absorption
1996-12-10
A Stabilizing Rendition of MST Construction
1995-09-26
Ted Herman
The Interaction of Parallel and Sequential Workloads on a Network ofWorkstations
1995-09-12
On the Complexity of Solving Markov Decision Problems
1995-10-13
Improving Release-Consistent Shared Virtual Memory using Automatic Update
1997-10-10
Solving vector-valued approximation problems by semi-infinite optimization: Numerical and genericity aspects
1997-06-06
Georg J. Still
Algorithms and Programming Paradigms for 2-D Wavelet Packet Decomposition on Multicomputers and Multiprocessors
1999-03-01
Ensuring High Availability of Distributed Multimedia Applications
1998-03-30
Hard X-Ray Polarimetry of Solar Flares with BATSE
1996-12-02
Simulation-based Comparisons of Tahoe, Reno, and SACK TCP
1996-06-20
Designing Asynchronous Circuits in Gallium Arsenide
1993-11-10
Novel Convective Instabilities Of Low- To Moderate-Prandtl Number Fluids
1995-11-29
Analysing Inconsistent Specifications
1996-08-13
Unicycling Helps Your French: Spontaneous Recovery of Associations by Learning Unrelated Tasks
1997-12-16
Modal Matching for Correspondence and Recognition
1995-05-01
Bagging Predictors
1995-07-26
Leo Breiman
Partial-Order Reduction in the Weak Modal Mu-Calculus
1999-02-15
A New Heuristic for Bad Cycle Detection Using BDDs
1997-04-11
On Two-label Interval Routing
1996-07-05
Protocols for Integrated Audio and Shared Windows in Collaborative Systems
1994-07-18
SPIN-NFDS: Learning and Preset Knowledge for Surface Fusion - A Neural Fuzzy Decision System
1993-08-24
Adjacency on Combinatorial Polyhedra
1998-06-04
On the Development of User Interface Systems for Object-Oriented Databases
1995-11-30
Juliano Lopes De Oliveira
Engineering Of Highly Autonomous Biosystems: Review Of Relevant Literature
1998-05-14
On the Convergence of Line Iterative Methods for Cyclically Reduced Non-Symmetrizable Linear Systems
1995-07-19
The Dimension Of The Frontier Of Planar Brownian Motion
1996-03-10
Integrating Naming and Addressing of Persistent Data in Programming Language and Operating System Contexts
1995-03-10
A Keystroke Level Analysis of Manual Map Digitizing
1970-01-01
Synthesis of Reinforcement Learning, Neural Networks, and PI Control Applied to a Simulated Heating Coil
1996-08-14
Functional Counterparts of some Logic Programming Techniques
1997-04-23
Absolutely Continuous Spectrum for One-Dimensional Schrödinger Operators with Slowly Decaying Potentials: Some Optimal Results
1997-06-21
The Influence of Prior Knowledge on Concept Acquisition: Experimental and Computational Results
1994-07-07
Michael J. Pazzani
On the Self-Consistent Response of Stellar Systems to Gravitational Shocks
1998-01-19
Using Dissipative Particle Dynamics To Model Binary Immiscible Fluids
1997-11-06
On the Difficulty of Software Key Escrow
1998-05-13
Optimal Control of Quasilinear Parabolic Equations
1996-12-16
A Generalized Stability Criterion for Resonant Triad Interactions
1998-08-10
The "Ariadne's Clew" Algorithm: Global Planning with Local Methods
1999-03-18
Lipschitz Minimizers of the 3-Well Problem Having Gradients of Bounded Variation
1998-03-11
Bernd Kirchheim
Robust Pitch Period Detection Using Dynamic Programming With An ANN Cost Function
1995-08-03
Sharing Code through First-class Environments
1996-01-10
Exploiting Timed Petri Net Properties for Distributed Simulation Partitioning
1995-06-01
User Interface Specification
1998-04-27
Adapting Database Implementation Techniques To Manage Very Large Knowledge Bases
1993-12-01
Sensor-Based Online Trajectory Generation for Smoothly Grasping Moving Objects.
1996-01-19
A Function Calculus for Identification and System Analysis
1997-06-11
Object Interconnections
1996-12-28
Learning in Information Agents
1997-10-24
Modeling Skewed Distributions Using Multifractals and the `80-20 Law'
1996-08-27
Upper and Lower Bounding Techniques for Frequency Assignment Problems
1999-01-28
Dynamic Generation of Follow up Question Menus: Facilitating Interactive Natural Language Dialogues
1995-01-21
Integrating Language Models with Speech Recognition
1999-02-03
Regression with Input-dependent Noise: A Gaussian Process Treatment
1998-08-27
A Cost Model for Distributed Shared Memory Using Competitive Update
1997-10-21
Real and Virtual Strange Processes
1998-05-14
Chiral Dynamics and the
1998-05-14
Visa Protocols for Controlling Inter-Organizational Datagram Flow
1999-03-30
The Overall Properties Of Piezocomposite Materials With Cylindrical Fibres
1997-06-06
Efficient Decoding of Prefix Codes
1995-04-06
Semantically Controlled Content-Based Retrieval of Video Sequences
1998-09-24
Giridharan Iyengar
A Checkpoint Protocol for an Entry Consistent Shared Memory System
1997-10-20
Three-dimensional caricatures of human heads: Distinctiveness and the perception of facial age
1997-07-16
Limbo: A tuple space based platform for adaptive mobile applications
1997-01-27
Foreword to: Fuzzy Sets and Systems, Special Issue on Fuzzy Arithmetic
1998-10-12
Centre And Isochronicity Conditions For Systems With Homogeneous Nonlinearities
1996-12-17
High-Altitude Time-of-Flight Search for Non-Weakly-Interacting Dark Matter in Cosmic Rays
1998-09-28
A New Methodology of Fuzzy Constraint-Based Controller Design via Constraint Network Processing
1995-05-26
Effective Lagrangians and Parity-Conserving Time-Reversal Violation at Low Energies
1998-05-23
Convergence of the Transfer Operator for Rational Maps
1997-04-26
Domain-Independent Queries on Databases with External Functions
1994-10-04
Dan Suciu
A TRS Model for a Modern Microprocessor Computation Structures
1970-01-01
The Maximum of a Random Walk and Its Application to Rectangle Packing
1997-07-31
A Continuum of Minimal Pairs ofCompact Convex Sets which are not Connected by Translations
1996-06-24
Diethard Pallaschke
Using Coordinated Atomic Actions to Design Complex Safety-Critical Systems: The Production Cell Case Study
1997-11-26
A Probabilistic Approach for the Semantic Analysis
1998-12-17
Reconstruction of a High Resolution Image from Multiple Degraded Mis-Registered Low Resolution Images
1998-04-29
Residual Algorithms: Reinforcement Learning with Function Approximation
1997-07-04
Leemon Baird
Towards A Model Of Exploration In Computer-Aided Design
1995-10-06
J. S. Gero
Expectation Values of Observables in Time-Dependent Quantum Mechanics
1997-07-16
J. M. Barbaroux
Favorable Classes of Mappings and Multimappings In Nonlinear Analysis and Optimization
1996-06-23
Jean-paul Penot
On Formalizing the UML Object Constraint Language OCL
1998-07-16
Automatic Road Extraction Based On Multi-Scale Modeling, Context, And Snakes
1997-10-21
On the Covering Multiplicity of Lattices
1997-03-05
A Method for the Generation of Test Cases Based on SDL and MSCs
1996-05-22
Reducing Data Hazards on Multi-pipelined DSP Architecture with Loop Scheduling
1997-08-26
Automatic Registration Of 3-D Ultrasound Images
1997-05-15
Construction of Convolutional Codes using Methods from Linear Systems Theory
1998-04-10
Evolved Asymmetry and Dilution of Random Synaptic Weights in Hopfield Network Turn a Spin-glass Phase into Associative Memory
1997-03-12
Upper and lower bounds for certain GRAPH-ACCESSIBILITY-PROBLEMs on bounded alternating omega-BRANCHING PROGRAMs
1995-01-30
A Decision Algorithm for Full Propositional Temporal Logic
1996-04-27
ParPre: A Parallel Preconditioners Package reference manual for version 2.0.21, revision 1
1998-12-30
Language Preorder as a Precongruence
1999-02-09
Wan Fokkink
A Type System for Prototyping Languages
1994-02-01
Object Tracking Based On Temporal And Spatial Information
1999-03-23
On Robust Impedance Force Control of Robot Manipulators
1997-04-02
EMCA - An Optimal Synchronous Bandwidth Allocation Scheme for Guaranteeing Synchronous Message Deadlines with the Timed Token Protocol in an FDDI Network
1994-12-17
Enhancement Of The Ground Processing Scheduling System gpss
1997-10-03
Variational Cumulant Expansions for Intractable Distributions
1998-08-28
VIMS: Towards an Adaptive and Versatile Video Manipulation Server
1997-09-19
Error Bounds for Inconsistent Linear Inequalities and Programs
1970-01-01
O. L. Mangasarian
Managing Flash Memory In Personal Communication Devices
1997-10-17
The Number of Knight's Tours Equals 33,439,123,484,294 --- Counting with Binary Decision Diagrams
1997-12-26
Martin Lobbing
In any CASE: Demeter
1992-08-14
Observables of the Euclidean Supergravity
1997-08-01
Ion V. Vancea
Implementation and Evaluation of an Efficient 2D Parallel Delaunay Triangulation Algorithm
1997-05-13
Jonathan C. Hardwick
An Experiment Using Prolog to Investigate TRACE Specifications
1994-12-08
Finite Volume Discretization of the Convection-Diffusion Equation in General Coordinates
1994-07-11
P. Wesseling
Bounds on Spectral Condition Numbers of Matrices Arising in the P-Version of the Finite Element Method
1995-07-19
Elwood T. Olsen
L-domains and Lossless Powerdomains
1996-03-27
Radhakrishnan Jagadeesan
Dynamics of an Attractor Neural Network Converting Temporal Into Spatial Correlations
1998-03-11
Nicolas Brunel
Using the StP Code Generators
1997-04-30
Ashruf Patel
A Note on Fairness in I/O Automata
1996-07-17
Agent-Based Software Engineering
1998-07-23
A Tight Lower Bound on the Cover Time for Random Walks on Graphs
1994-04-26
Uriel Feige
An Introduction to Formal Specification and Verification using EHDM
1994-11-06
An Asynchronous Avoidance-Based Cache Consistency Algorithm for Client Caching DBMSs
1998-09-15
An Automatic Closed-Loop Methodology for Generating Character Groundtruth for Scanned Documents
1998-10-08
The Proteus Presentation System
1995-08-25
Regular Approximation of Computation Paths in Logic and Functional Languages
1996-03-11
Spanning Tree Based State Encoding for Low Power Dissipation
1999-02-05
On the Generation of Trees by Hyperedge Replacement
1998-01-20
Frank Drewes
Partition and Conquer
1997-07-09
A multivariate two-sample test using the Voronoi diagram
1994-11-15
Orientation Competition in Cortical Filters - An Application to Face Recognition
1995-02-21
Buffer and I/O Resource Pre-allocation for Implementing Batching and Buffering Techniques for Video-on-Demand Systems
1997-03-24
New Applications of the Incompressibility Method, Part I
1998-09-15
A Hybrid Multilevel/genetic Approach For Circuit Partitioning
1996-04-19
Matrix Computations On The CM-200
1994-11-29
Goran Svensson
Reinforcement Learning in the Multi-Robot Domain
1997-08-05
Maja J Matari'c
Quantization ofSolitons and the Restricted Sine-Gordon Model.
1998-05-25
Divergence of... Type Checking
1994-08-10
Giorgio Ghelli
Initial Results Of An Mdo Method Evaluation Study
1998-07-02
Natalia M. Alexandrov
Type-Safe Execution of Mobile Agents in Anonymous Networks
1999-02-02
Matthew Hennessy
Designing Communication Strategies for Heterogeneous Parallel Systems
1996-11-21
Robust Thermophysics-based Interpretation of Radiometrically Uncalibrated IR Images for ATR and Site Change Detection
1997-07-29
Real-time Communication in Packet-Switched Networks
1993-02-14
Interactive Calibration of the Mapping of Global Illumination Values to Display Devices
1997-09-11
A Variable Time Step Method For An Age-Dependent Population Model With Nonlinear Diffusion
1997-09-29
Bruce P. Ayati
Co-Learning of Recursive Languages from Positive Data
1996-07-22
Comprehensible Exploratory Induction With Decision Graphs
1995-09-27
Optimizing Block Size In Motion-Compensated Video Coding
1997-10-16
Towards Semantically Meaningful Feature Spaces For The Characterization Of Video Content
1997-09-05
Nuno Vasconcelos
Vehicle System Simulation Using a Toolkit Based Strategy
1995-03-01
Optimizations for Dynamic Inverted Index Maintenance
1996-04-03
A VLSI friendly neural network with localised transfer functions
1997-02-21
A Numerical Study Of An Ill-Posed Boussinesq Equation Arising In Water Waves And Nonlinear Lattices: Filtering And Regularization Techniques
1998-05-20
Non-Myopic Attribute Estimation in Regression
1996-06-11
Sikonja Igor Kononenko
Circle In The Round: State Space Attractors for Evolved Sighted Robots
1996-03-25
High Performance Computing and Numerical Simulation of Flames
1995-11-14
Evolving Algebras
1997-12-22
Relative 3D Reconstruction Using Multiple Uncalibrated Images
1998-01-20
How To Use Kyst - A very Flexible PROGRAM TO DO MULTIDIMENSIONAL SCALING AND UNFOLDING
1995-05-21
An Inheritance Model for Supporting Flexible Displays of Data Structures
1998-07-17
Prasun Dewan
A Direct Approach to Vision Guided Manipulation
1996-07-10
Regularization and Error Bars for the Mixture of Experts Network
1997-06-23
Processor Capacity Reserves: Operating System Support for Multimedia Applications
1995-02-28
Controlling Constructive Induction in CIPF: An MDL Approach
1993-10-27
Bernhard Pfahringer
Providing Seamless Communications in Mobile Wireless Networks
1997-01-27
Efficiently Searching a Graph by a Smell-Oriented Vertex Process
1998-07-01
A Progressive Transmission Image Coder Using Linear Phase Paraunitary Filter Banks
1998-02-10
The Path Formulation of Bifurcation Theory
1970-01-01
James Montaldi
HTN Planning: Complexity and Expressivity
1994-04-29
Record Linkage of Anonymous Data by Control Numbers
1998-01-24
Recent Advances In Janus: A Speech Translation System
1995-08-22
How to Make Personalized Web Browsing Simple, Secure, and Anonymous
1998-06-09
Transaction Reordering in Replicated Databases
1997-08-21
Building a KBS for Health and Safety Assessment
1997-01-08
John Kingston
Visually Controlled Graphics
1995-01-11
Ultra Low-Voltage Digital Floating-Gate UVMOS FGUVMOS Circuits
1998-11-13
Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks
1996-05-08
David Poole
CTL - A description logic with expressive concrete domains
1997-07-28
Quasiperiodic Spin Space Groups
1996-09-25
Ron Lifshitz
Computing with Bayesian Multi-Networks
1996-02-20
Eugene Santos
Adaptive Decorrelating Detectors For Cdma Channels
1996-09-24
Tighter Layouts of the Cube-Connected Cycles
1997-05-09
Explicit Representations of Problem-Solving Strategies to Support Knowledge Acquisition
1996-08-06
Bounded Delay Timing Analysis of a Class of CSP Programs with Choice
1995-02-15
Confidence Measures For Spontaneous Speech Recognition
1997-05-28
Is Anything Ever New? - Considering Emergence
1999-01-10
3d model-based tracking of humans in action: A multi-view approach.
1996-10-06
RATH - A Relational Adaptive Tutoring Hypertext WWW-Environment
1998-02-10
Cord Hockemeyer
Scheduling in Multimedia Systems
1999-02-25
A. L. Narasimha Reddy
Identifying the Interaction between Genes and Gene Products Based on Frequently Seen Verbs in Medline Abstracts
1999-03-17
Mobile Intelligent Agents for Document Classification and Retrieval: A Machine Learning Approach
1998-02-10
On Comprehensive Visual Learning
1995-03-03
John juyang Weng
A Model for Learning Human Reaching-Movements Amir Karniel Gideon F. Inbar
1997-03-30
Donald J. Baker
1996-04-23
Donald J. Baker
Delegation Of Authority
1991-08-22
Power Plant Walkthrough: An Integrated System for Massive Model Rendering
1997-10-08
On the Performance of a Distributed Object Oriented Adaptive Mesh Refinement Code
1997-12-29
Localizations of Transfors
1998-07-24
Sjoerd E. Crans
Comparison of linear reconstruction techniques for 3D DPDW imaging of absorption coefficient
1999-02-24
Image Coding With an ... Norm and Confidence Interval Criteria
1997-06-24
Lamia Karray
Polygon-to-Function Conversion for Sweeping
1996-08-26
Reinforcement Learning With HIGH-DIMENSIONAL, CONTINUOUS ACTIONS
1999-03-12
Better PostScript than PostScript - portable self-extracting PostScript representation of scanned document images
1997-01-13
Automatic Generation of Parallel Programs with Dynamic Load Balancing
1994-05-22
Programmable Active Memories: a Performance Assessment
1998-12-21
Duality for Bounded Lattices IULG Preprint
1993-08-25
A New Array Operation
1995-11-02
Philip Wadler
Multiresolution for Algebraic Curves and Surfaces Using Wavelets
1998-11-23
Research Interests
1997-08-05
Corran Webster
A Formal Semantics of Data Flow Diagrams
1994-08-18
February 21, 1994
1970-01-01
Padmanabh Dabke
Antihomogeneous Conjugacy Operators in Convex Analysis
1995-10-27
Alexander Rubinov
Design Of DD Robot System
1996-07-29
Dynamically Configurable Acoustic Models For Speech Recognition
1997-11-06
Singular-perturbative reduction to Birkhoff normal form and instanton-type formal solutions of Hamiltonian systems
1998-09-29
Yoshitsugu Takei
Symphony: An Integrated Multimedia File System
1998-06-12
Recent Chalk River Experiments On Superallowed
1998-05-13
A Type-Theoretic Approach to Higher-Order Modules with Sharing
1998-09-23
Lossless Compression for Sources with Two-Sided Geometric Distributions
1998-07-23
The Dynamic Servers Problem
1997-10-30
An Approach for the Mapping of Jacobi Algorithms onto a Jacobi Specific Dataflow Processor
1997-12-22
Large Sample Tests For A Regression Model With Autoregressive Conditional Heteroscedastic Errors
1997-08-28
Robust Regression With a Categorical Covariable
1970-01-01
The Shooting Technique for the Solution of Two-Point Boundary Value Problems
1995-10-12
Guide to the HYDRA Reduction Task DOHYDRA
1998-06-27
Francisco Valdes
Sonar Signal Processing using Tangent Clusters
1994-07-18
Entity Identification in Database Integration
1996-12-25
On Profile Likelihood
1998-04-21
A Self-Learning Visual Pattern Explorer and Recognizer using a Higher Order Neural Network
1994-05-17
Georg Dorffner
Testing-Based Abstractions for Value-Passing Systems
1998-12-15
Rance Cleaveland
Analysis of a three-component model phase diagram by Catastrophe Theory
1997-07-02
J. Gaite
Agents That Learn from Other Competitive Agents
1995-06-16
Correction to McKelvey and Page, "Public and Private Information: An Experimental Study of Information Pooling", Econometrica, Nov. 1990
1997-08-19
Robin Hanson
Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail
1993-01-12
Security for Decentralized Health Information Systems
1996-09-20
Gerrit Bleumer
A Matrix Key Distribution Scheme
1997-10-14
Functions and the Unity of Mathematics
1995-09-19
Daniel Henry Gottlieb
Collision Avoidance and Resolution Multiple Access: First-Success Protocols
1997-05-29
Analysis results of the first combined test of the LArgon and TILECAL barrel calorimeter prototypes
1999-03-23
Imitation and Mechanisms of Joint Attention: A Developmental Structure for Building Social Skills on a Humanoid Robot
1998-06-15
Brian Scassellati
Adaptive Cache Invalidation Methods in Mobile Environments
1997-05-26
Ringraziamenti
1998-03-14
Live-structure Analysis for Logic Programming Languages with Declarations
1970-01-01
Obtaining exact solution from a near optimum solution for convex QP
1994-04-28
Channel Allocation Methods for Data Dissemination in Mobile Computing Environments
1998-11-05
Snoop: An Expressive Event Specification Language For Active Databases
1997-11-28
On Open Defaults
1995-09-05
Vladimir Lifschitz
A New Look at the Easy-Hard-Easy Pattern of Combinatorial Search Difficulty
1998-03-04
Exploiting Run-Time Information for Efficient Processing of Queries
1995-01-31
Quantifying Knowledge Complexity
1995-04-03
Research Interests
1996-01-05
Deborah L. Cotten
Zero Viscosity Limit for Analytic Solutions of the Navier-Stokes Equation on a Half-Space I. Existence for Euler and Prandtl Equations
1970-01-01
Geostatistical Analysis Of Time Series Of Short L_Aeq Values
1996-10-03
Report on the 5th International Workshop on Knowledge Representation Meets Databases KRDB'98
1998-07-24
The Evolutionof Complexity and the Value of Variability
1998-03-10
Anil K Seth
Decision Support Paradigms for Prescribing in General Practice - Lessons from the PRODIGY Trials
1997-03-10
Spectral Approximation of Multiplication Operators
1995-03-18
Kent E. Morrison
Saturation of Counterterms By Resonances in
1998-05-15
S. Fajfer
Towards Provably Correct System Synthesis and Extension
1997-04-16
The Linux Sound HOWTO
1998-04-26
Tagging and Morphological Disambiguation of Turkish Text
1994-07-20
Determining Optimal Few-Stage Allocation Procedures
1996-10-16
Orthonormal Polynomial Vectors
1999-02-23
GARGOYLE: Portable, low-cost, and efficient active vision
1997-01-26
Fluctuation Patterns and Conditional Reversibility in Nonequilibrium Systems
1997-04-26
Giovanni Gallavotti
Adaptive Simplicial Grids from Cross-sections of Monotone Complexes
1998-04-22
Herbert Edelsbrunner
On the Relation between Episodic and Semantic Memories
1997-05-08
Implementing Haskell overloading
1993-05-06
Lennart Augustsson
Using High Speed Networks to Enable Distributed Parallel Image Server Systems
1995-02-13
Training Second-Order Recurrent Neural Networks using Hints
1992-04-14
Logic Programming for Robot Control
1995-04-22
David Poole
On the Use of the Lanczos Method for Computing Tridiagonal Matrices with Prescribed Eigenvalues
1994-12-08
Arne Marthinsen
Workshop on Multi-Language Object Models
1995-03-09
Fitness Causes Bloat
1997-06-10
Monitoring Temporal Preconditions in a Behaviour Oriented Object Model
1997-08-22
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions
1997-02-07
A Bibliography of Publications in Communications of the ACM: 1960-1969
1998-11-02
Nelson H. F. Beebe
Multicasting Protocols for High-Speed, Wormhole-Routing Local Area Networks
1996-04-01
TSF: An Object Oriented Address Translation Simulation Framework
1995-11-23
AMETHODOLOGYFOR INTEGRATING SENSOR FEEDBACK IN MACHINE TOOL CONTROLLERS Fred Proctor John Michaloski Tom Kramer
1997-12-31
Expected Heights in Heaps
1995-10-09
A Novel Derivation Methodology For Polynomial-LQ Controller Design
1996-05-09
Mikael Sternad
The Swift/RAID Distributed Transaction Driver
1993-10-12
Bruce R. Montague
Towards Temporal Constraint Logic Programming
1998-01-26
Eddie Schwalb
Stack And Queue Layouts Of Posets
1995-01-22
A Minimax Algorithm Better than Alpha-Beta? No and Yes
1998-08-19
Querying Documents in Object Databases
1997-01-11
The Bavarian Archive For Speech Signals: Resources For The Speech Community
1997-08-05
Using Dependence Analysis to Support Software Architecture Understanding
1997-09-08
Jianjun Zhao
A New Genetic-Based Technique for Matching 3-D Curves and Surfaces
1999-03-18
NetSolve version 1.2: Design and Implementation
1998-11-10
Jack Dongarra
Predicting Chaotic Time Series Using a Fuzzy Neural Network
1999-02-11
The Picard group of the moduli of G-bundles on a curve
1997-01-20
Christoph Sorger
New VI CCD photometry of NGC 1851
1997-03-29
Use Case Driven Analysis of Feature Interactions
1995-10-03
Kristofer Kimbler
Link Capacity Allocation and Network Control by Filtered Input Rate in High Speed Networks
1997-09-25
On the Problem of Defining Local Thermodynamic Equilibrium
1997-04-26
H. Roos
Tradeoffs in the Design of On-Line Systems
1997-04-07
Absorbing Boundary Conditions for the Schrödinger Equation
1970-01-01
Thomas Fevens
A Medical Terminology Server
1995-04-10
Hybrid Distributed Adaptive Neural Router
1998-08-05
DISCOVERING PROBLEM SOLUTIONS WITH LOW KOLMOGOROV COMPLEXITY AND HIGH GENERALIZATION CAPABILITY Jurgen Schmidhuber Fakultat fur Informatik Technische Universitat Munchen 80290 Munchen, Germany
1995-08-21
The Bucket Box Intersection bbi Algorithm For Fast Approximative Evaluation Of Diagonal Mixture Gaussians
1997-02-06
How to Get Volunteers for Web-based Metacomputing
1998-05-30
DQDB --- An Overload Cycle Analysis of Generalized Bandwidth Balancing with Strict Priority Enforcement
1997-01-07
Michael J. Ferguson
An Opportunity Cost Approach For Job Assignment In A Scalable Computing Cluster
1998-07-29
A Search for High Energy
1996-07-24
The LAPS Wind Analysis
1997-05-14
Steven C. Albers
New Bounds on the Expected Length of One-to-One Codes
1996-08-09
SIMMER: Software and Systems Integration Modelling Metrics and Risks Getting to Level 4
1998-11-23
On the condition number of linear least squares problems in Frobenius norm
1995-12-12
Serge Gratton
Optimizing Stochastic and Multiple Fitness Functions
1995-06-07
Joseph L. Breeden
Generalized Additive Models
1997-01-26
Solving a Very Large Scale Multiservice Frequency Planning in Civilian Aviation
1997-03-24
Marc Jiang
Statistics For Structure Formation In The Universe
1995-07-27
Takahiko Matsubara
A Third Level of Adaptivity for Branch Prediction
1998-03-30
On Many-Minds Interpretations of Quantum Theory
1998-05-26
Matthew J. Donald
Evolved Representations and Their Use in Computational Creativity
1999-02-02
Biased Bootstrap Methods for Reducing the Effects of Contamination
1999-02-11
Performance Analysis of the RIO Multimedia Storage System with Heterogeneous Disk Configurations
1998-07-02
High-Performance Local Area Communication With Fast Sockets
1996-11-20
Implosion Control for Multipoint Applications
1996-06-03
Compiler-Controlled Multithreading for Lenient Parallel Languages
1996-11-13
The Blinding of Weak Signatures Extended Abstract
1998-07-31
Matthew Franklin
Mobility and Persistence
1998-07-29
Miguel Mira Da Silva
Asymptotic Laws For Symbolic Dynamical Systems
1998-03-19
Dynamically Adding Symbolically Meaningful Nodes to Knowledge-Based Neural Networks
1998-12-21
A Steiner 2-Design with an Automorphism Fixing Exactly
1998-05-23
Charles J. Colbourn
Preprojective Algebras, Differential Operators And A Conze Embedding For Deformations Of Kleinian Singularities
1998-02-26
William Crawley-boevey
A Comparison of Annealing Techniques for Academic Course Scheduling
1998-09-14
Ring Network Design for Metropolitan Area Networks
1998-05-24
Pattern Classification with Compact Distribution Maps
1998-05-08
Multilingual and Crosslingual Speech Recognition
1998-04-27
Future Trends In Data Base Systems
1994-02-18
Michael Stonebraker
Application of Wavelets to Color Spectra
1998-03-16
Arto Kaarna
The Role of Development in Evolutionary Radiations
1998-09-25
Gunther J. Eble
A Linearly Quasi-Anticipatory Autonomous Agent Architecture: Some preliminary experiments
1998-08-31
Paul Davidsson
Mediator: an Intelligent Information System Supporting the Virtual Manufacturing Enterprise
1995-08-03
An Equichordal Characterization of Round Spheres
1996-05-02
F. J. Craveiro De Carvalho
Physics Of Strangelets
1998-05-23
Jes Madsen
Web Mining: Pattern Discovery from World Wide Web Transactions
1996-09-22
Multiscale Representations of Markov Random Fields
1993-06-28
Evaluating Testing Methods by Delivered Reliability
1998-11-12
Automatic Face Location for Videophone Images
1999-03-19
Efficient Translation of External Input in a Dynamically Typed Language
1995-04-06
Robert Paige
A Comparison of Software Code Reordering and Victim Buffers
1998-10-25
Hypertext Transfer Protocol
1994-05-11
The Design of Automatic Parallelizers for Symbolic and Numeric Programs
1992-05-11
A New Approach to Kanerva's Sparse Distributed Memory
1998-02-02
Robust Classification of Hand Postures against Complex Backgrounds
1996-08-06
Randomized Parallel Algorithms
1995-02-27
Building Open Programmable Multimedia Networks
1997-01-31
SURF - An Information Filtering Facility for USENET News
1994-11-04
Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance
1995-09-27
On Enlargability Of Infinite-Dimensional Lie Superalgebras
1997-04-26
Vladimir G. Pestov
Reasoning about High-Level Robot Behaviors by Model Checking and Local Validity Tests
1998-09-23
Giacomo Riccardo Rosati
A Generalized Inverse Iteration for Computing Simple Eigenvalues of Nonsymmetric Matrices
1998-09-19
Homotopy Invariants of Multiple Categories and Concurrency in Computer Science
1999-03-22
Dynamical Recurrent Neural Networks - Towards Environmental Time Series Prediction
1997-04-24
Acquiring Knowledge of Knowledge Acquisition: A self-study of Generic Tasks
1997-08-07
Toward a Model of Mind as a Laissez-Faire Economy of Idiots
1995-12-15
Eric B. Baum
A Parsing Algorithm for Context-Sensitive Graph Grammars
1995-01-31
J. Rekers
Detecting Phase Synchronization in Noisy Systems
1997-08-13
Milan Palus
Reducing I/O Demand in Video-On-Demand Storage Servers
1999-02-09
Are the Nuclei of Seyfert 2 Galaxies Viewed Face-On?
1998-06-06
An Inverse Scattering Result for Several Convex Bodies
1997-04-26
Latchezar Stoyanov
The Limits Of Mathematics
1995-04-07
G. J. Chaitin
Exponentially Small Splitting of Separatrices Under Fast Quasiperiodic Forcing
1997-05-22
Implementing an Optimizing Linda Compiler using SUIF
1996-05-08
Policies in Network and Systems Management - Formal Definition and Architecture -
1996-07-01
Rene Wies
A Strong Relaxation Theorem for Maximal Monotone Differential Inclusions with Memory
1995-11-19
Nikolaos S. Papageorgiou
Chip and Package Co-Design of Clock Networks
1995-06-13
Electron Response of Metallic Clusters to Strong Laser Pulses and Energetic Ion Collisions
1996-07-02
Computational Issues in Secure Interoperation
1998-09-26
The Clausal Discovery Engine User's Guide 3.0
1997-01-13
Elements of Matlab
1993-03-08
The Bootstrap Is Inconsistent With Probability Theory
1995-10-11
David H. Wolpert
Characterizing the Mispredicted Branches
1995-11-08
A Case for Caching File Objects Inside Internetworks
1993-04-03
Dynamic Trajectory Planning with Dynamic Constraints: a `State-Time Space' Approach
1998-04-09
Th. Fraichard
Set-Based Analysis for Logic Programming and Tree Automata
1998-02-19
Auditory Neuron Models for Cochlea Implants
1997-07-28
H. Scheich
Classification Of Irreducible Harish-Chandra Modules For ...
1996-11-12
Dragan Mili Ci C
Data Channel Service for Wireless Telephone Links
1996-06-18
An Application of Statistical Search Theory to Location Management in Wireless Networks
1998-08-15
Relational Learning for NLP using Linear Threshold Elements
1999-04-07
On the Markov Equivalence of Chain Graphs, Undirected Graphs, and Acyclic Digraphs
1999-04-25
Kinetic Occlusion
1995-03-24
Sourabh A. Niyogi
Algorithms for Pinball Simulation, Ball Tracking and Learning Flipper Control
1995-03-20
Michael Patrick Johnson
The Problem
1996-05-28
Automated Behavioural Verification of Prolog Programs
1997-09-10
Replication For Efficiency And Fault Tolerance In A Dsm System
1998-04-03
Anne-marie Kermarrec
GenJam: A Genetic Algorithm for Generating Jazz Solos
1995-06-15
John A. Biles
The Informational Component
1994-04-21
Enric Vallduv
WKB expansion for the angular momentum and the Kepler problem: from the torus quantization to the exact one
1997-04-26
Marko Robnik
Fixed Point Theory And The K-Theoretic Trace
1997-08-11
Ross Geoghegan
Development of Direction Selectivity Through Hebbian Modification
1996-11-04
CMUnited-97: RoboCup-97 Small-Robot World Champion Team
1998-02-16
Comments on "Nonlinear Output Feedback Control of Dynamically Positioned Ships Using Vectorial Observer Backstepping"
1997-12-01
Melnikov Potential for Exact Symplectic Maps
1997-04-26
P- versus S-wave
1992-10-05
On Pruning Strategies for Discovery of Generalized and Quantitative Association Rules
1998-12-10
Irene Weber
Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference
1997-11-11
Perspectives on Fuzzy Systems in Computer Vision
1998-01-24
Ellen L. Walker
Lip Modeling for Visual Speech Recognition
1999-02-06
L E C T R O N I C
1998-10-02
Zhan Shi
Cross-Linguistic Semantics for Complex Nominals in the Generative Lexicon
1970-01-01
Federica Busa
A Parallel Algorithm for Minimization of Finite Automata
1996-08-22
Timing Control of Stream Handlers in a Distributed Multi-Threaded Environment
1996-05-10
Tobias Helbig
Acquisition of a Large Database for Biometric Identity Verification
1998-06-15
Fast RLS Algorithms Running On Roughly Quantized Signals
1999-02-11
On the Relationship between Generalized Equality Clustering and ART 2 Neural Networks
1999-01-19
Alper K. Caglayan Magnśs Snorrason
Multimedia Storage Servers: A Tutorial and Survey
1997-03-21
Program Transformations in and on a Lazy Functional Language - Express things Mondrianically!
1997-10-01
Koen Claessen
Access Control in a Workstation-Based Distributed Computing Environment
1994-11-17
Bezoutians and Hankel Matrices - the nonsingular case
1996-02-02
Performance Evaluation of max,+ Automata
1996-03-19
Stephane Gaubert
Client-Server Semantic Binary Database: Design and Development
1998-10-31
Konstantin Beznosov
Dynamic Adaptive Partitioning for Nonlinear Time Series
1998-06-23
On the possible failure of the Gibbs property for measures on lattice systems
1997-04-26
Aernout C. D. Van Enter
Lightweight Transactions on Networks of Workstations
1998-04-14
Formal Specification and Verification of Object-Based Systems in a Temporal Logic Setting
1998-01-29
On the Power of Randomized Ordered Branching Programs DRAFT
1997-04-22
Formal Verification of Hardware using HOL
1996-07-20
Marco Benini
Initialization Problems for Java
1998-12-28
Egon Borger
A New Understanding of Greed
1970-01-01
Blending Reactivity and Goal-Directedness in a Fuzzy Controller
1994-11-16
Efficient Algorithms for Qualitative Reasoning about Imprecise Space
1996-03-05
Thodoros Topaloglou
A Reversible Instruction Set Architecture and Algorithms
1996-05-29
J. Storrs Hall
Partitioning Non-strict Languages for Multi-threaded Code Generation
1970-01-01
Testable Synthesis of High Complex Control Devices
1970-01-01
Flexible Histograms: A Multiresolution Target Discrimination Model
1998-04-13
Retrofitting Existing Applications and Authoring New Applications for the World Wide Web
1995-11-22
Zeta Functions with Dirichlet and Neumann Boundary Conditions for Exterior Domains
1996-02-03
J. -p. Eckmann
Behavior Coordination Using Multiple-Objective Decision Making
1997-07-17
Focus and Higher-Order Unification
1998-11-25
Toward a Convergence of Systems and Software Engineering
1996-05-22
Paul A. Fishwick
Phase Transitions in Driven Diffusive Systems With Random Rates
1996-12-06
Cheating with Imperfect Transcripts
1997-07-30
A System Prototype for Warehouse View Maintenance
1996-06-27
Beam Tracing Polygonal Objects
1998-08-06
Perspectives: Complex Adaptations and the Evolution of Evolvability
1995-10-05
A Structurefor Transportable, Dynamic Multimedia Documents
1992-07-10
Modelling Intelligent Information Systems for Auditing
1999-02-05
Revisiting The GEMGA: Scalable Evolutionary Optimization Through Linkage Learning
1997-09-29
An Unexpected Factor in Testing for CMOS Opens: The Die Surface
1996-03-21
Finite Element Resolution Of The 3d Stationary Semiconductor Device Equations On Multiprocessors
1996-11-12
Polynomial Roots from Companion Matrix Eigenvalues
1999-02-03
Paths between Imperative and Functional Programming
1999-03-29
Thomas Ball
On the 6×6 Stiffness Matrix for Three Dimensional Motions
1995-03-30
Symbiotic Intelligence: Self-Organizing Knowledge on Distributed Networks Driven by Human Interaction
1998-06-02
Finding Consistent Global Checkpoints in a Distributed Computation
1998-08-03
Surgery And Geometric Topology
1997-05-23
An Experimental Study of Workload Indices for Non-dedicated, Heterogeneous Systems
1997-08-30
A Constraint Based Structure Description Language for Biosequences
1997-06-27
Visualisation of Complex Systems
1996-02-28
Allpass Filter Design And Applications
1998-04-09
Markus Lang
Tangential Hilbert Problem For Perturbations Of Hyperelliptic Hamiltonian Systems
1998-10-23
D. Novikov
Collaborative Learning in a Software Bug-Tracking Scenario
1996-11-15
Query By Templates: A Generalized Approach for Visual Query Formulation for Text Dominated Databases
1998-06-15
Robust Recovery of Ego-Motion
1994-01-12
Tracing of User Programs for Incremental Replay
1998-08-22
Michael W. Shapiro
Column Generation With a Primal-Dual Method
1998-05-05
Jacek Gondzio
KAM theory near multiplicity one resonant surfaces in perturbations of a-priori stable Hamiltonian systems
1997-05-14
Solid Phase DNA Solution to the Hamiltonian Path Problem
1998-08-10
Quality-Based Evaluation of Multimedia Synchronization Protocols for Distributed Multimedia Information Systems
1996-08-31
PADRE for COWs
1998-04-14
David Hawking
Group Extension Homomorphism Matrices
1996-10-09
A. M. Dupr E
Lapack++ V. 1.0 Linear Algebra Users' Guide
1995-05-12
Results on Two-Bit Gate Design for Quantum Computers
1995-12-13
David P. Divincenzo John Smolin
Probabilistic Planning in the Graphplan Framework
1998-05-13
A Framework for QoS Guarantees for Multimedia Applications within an Endsystem
1996-05-31
The Contribution Of Consonants Versus Vowels To Word Recognition In Fluent Speech
1996-04-17
Sharing Objects over the Internet: the Mushroom Approach
1996-08-29
Classification of Composition and Interoperation
1996-11-07
Johannes Sametinger
PUMMA: Parallel Universal Matrix Multiplication Algorithms on Distributed Memory Concurrent Computers
1994-05-13
Java Finalize Method, Orthogonal Persistence and Transactions
1998-08-16
On Dimensionality in Multiscale Morphological Scale-Space with Elliptic Poweroid Structuring Functions
1995-05-18
Spectral Methods for Matrix Rigidity with Applications to Size-Depth Tradeoffs and Communication Complexity
1995-05-05
Satyanarayana V. Lokam
Reproducing a Subjective Classification Scheme for Atmospheric Circulation Patterns over the United Kingdom using a Neural Network
1996-04-05
An Efficient Processor Allocation Scheme for Mesh Connected Parallel Computers
1995-07-18
Electroproduction and Hadroproduction of Light Gluinos
1998-05-13
Quantitative Visualisation of Surfaces From Volumetric Data
1997-12-22
Structure-directed Genericity in Functional Programming and Attribute Grammars
1996-11-22
Map Analysis for Guided Interpretation of Aerial Images
1997-08-25
Submission Type: Paper - Track I Business Processes
1995-05-12
Positive Subtyping
1996-08-18
Extending the Message Passing Interface MPI
1999-02-12
Using an Object-Oriented Database to Encapsulate Heterogeneous Scientific Data Sources
1994-03-17
Normalized Coprime Factorizations in Continuous and Discrete Time - a Joint State-Space Approach
1997-08-13
J. W. Hoffmann
Cm-Wavelength Total Flux And Linear Polarization Properties Of Radio-Loud Bl Lacertae Objects
1998-11-09
Connection-Based Proof Construction in Linear Logic
1997-03-18
An Exact Interactive Time Visibility Ordering Algorithm for Polyhedral Cell Complexes
1998-07-01
A state-space model for National Football League scores
1998-05-05
Representation and Evolution of Neural Networks
1994-09-06
Martin Mandischer
Charged Mesons
1998-06-03
Specifying and Enforcing Intertask Dependencies
1998-04-01
Goal-Driven Learning in Multistrategy Reasoning and Learning Systems
1995-01-06
A-Splines: Local Interpolation and Approximation using G^k-Continuous Piecewise Real Algebraic Curves
1998-07-20
Signal Compression by Subband Coding
1999-02-12
On Access Checking in Capability-Based Systems
1996-06-28
The Fellini Multimedia Storage System
1997-03-23
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
1997-01-14
Just-In-Time Language Modelling
1998-05-11
A Viewpoint Planning Strategy for Determining True Angles on Polyhedral Objects by Camera Alignment
1997-09-03
Lightweight Transactions on Networks of Workstations
1998-04-14
Planning for Murphy's Law: Uncertainty in CIRCA
1996-04-01
Bloodpressure Measurement, Improvement of Oscillometric Method.
1995-08-01
On Stirling numbers for complex arguments and Hankel contours
1998-03-11
Experiments in UNIX Command Prediction
1997-08-25
Lazy Narrowing: Strong Completeness and Eager Variable Elimination
1999-03-16
Generating, Executing and Revising Schedules for Autonomous Robot Office Couriers
1999-04-21
HiPeR-l: A High Performance Reservation Protocol with look-ahead for Broadcast WDM Networks
1996-05-15
Lossless Subband Image Compression Using Integer Coefficient Filter Banks
1997-07-29
Spreads and Resolutions of Ree Unitals
1997-10-29
Jeremy Dover
The Homotopy Method Applied to the Symmetric Eigenproblem
1995-08-09
Applications of Abduction #3: "Black-Box" to "Gray-Box" Models
1995-11-06
Semiparametric Stochastic Mixed Models for Longitudinal Data
1997-07-02
A Clustering Approach to Explore Grain-Sizes in the Definition of Weakly Programmable Processing Elements
1997-09-16
A Note on Central Extensions of Lie Groups
1996-10-17
Representing Continuous Change in the Abductive Event Calculus
1995-02-09
Realistic Simulation of Viscoelastic Bodies
1997-09-28
On Effort in AI Research - A Description along Two Dimensions
1997-11-12
Model-oriented Construction of Manufacturing Management Information Systems
1996-10-16
Shared Spaces: Transportation, Artificiality, and Spatiality
1999-01-20
Bridging
1997-10-10
General Diagram-Recognition Methodologies
1998-04-02
Dorothea Blostein
Distributed Authentication in Kerberos Using Public Key Cryptography
1996-11-07
Ranking and Entropy Estimation in Nonlinear Time Series Analysis
1998-03-03
Representing Knowledge for Logic-based Diagnosis
1993-09-23
David Poole
Expanding And Contracting Universes In Third Quantized String Cosmology
1997-01-27
Extinction Map Of Baade's Window
1996-01-04
K. Z. Stanek
On Implementing MPI-IO Portably and with High Performance
1998-10-21
Resolving Color Conflicts During Color Unification
1998-07-22
Quantum Stochastic Calculus
1997-06-23
K. R. Parthasarathy
The Polylith Software Bus
1997-12-17
James M. Purtilo
Computational Methods for the Design and Control of Microfabricated Actuator Arrays
1997-03-17
Ada 9X Project Report
1996-07-29
Submodels of Kripke Models
1998-10-22
Albert Visser
InnerView Hardware Debugger: A Logic Analysis Tool for the Virtual Wires Emulation System
1995-02-09
Silvina Zimi Hanono
The Unification of Detection, Tracking, and Recognition for Millimeter Wave and Infrared Sensors
1996-10-30
Against Conditionalization
1998-08-13
Experiments in the Probabilistic Retrieval of Full Text Documents
1997-09-23
Compilation Issues For Distributed Shared Memory On Clusters Of Symmetrical Multiprocessors
1998-09-29
Sumit Roy
Modelling and Control of Interaction Forces in Nonlinear-Stiffness Types of Contact
1997-04-07
Users' Experience with ADIFOR 2.0
1996-06-28
C. Bischof
A Glimpse at the DBMS Challenges Posed by the Human Genome Project
1995-01-23
A Study of Quasar Clustering at
1997-08-26
Building a Japanese Parsed Corpus while Improving the Parsing System
1999-02-13
The Revolution of Evolution in Design: From Coffee Tables to Hospitals
1998-04-06
Peter Bentley
Travelling wave analysis of an isothermal Euler-Poisson model.
1995-12-06
Distributed Control for AI
1998-07-03
Gerard Tel
A Plugin-based Privacy Scheme for World-wide Web File Distribution
1998-01-30
HP Laboratories UNIX disk access patterns
1995-06-09
MARS CLIMATE DATABASE v1.0 USER MANUAL ESTEC Contract 11369/95/NL/JG
1997-03-24
Parallel Merge Sort On Concurrent-Read Owner-Write PRAM
1997-05-29
Causality in Bayesian Belief Networks
1996-03-09
Morphology and Speech Technology
1996-09-30
NP-Hard Network Upgrading Problems
1991-11-06
Bayesian Analysis of Factorial Experiments By Mixture Modelling
1999-03-11
Appeared in Neural Computation 56:869-884. This is the Tech Report version, released as Tech Report CMU-CS-93-117.
1994-05-13
Multicriteria Evaluation of a Planetary Rover
1998-12-19
A Cost Model for Distributed Shared Memory Using Competitive Update
1999-01-20
A Library Application on Top of an RDBMS: Performance Aspects
1997-07-15
Sequent Calculi for the Logic of Epistemic Inconsistency and for the Inconsistent Default Logic
1998-05-26
Workshop on Specification of Behavioral Semantics in Information
1994-10-03
Using Profile Information to Assist Classic Code Optimizations
1992-06-18
Simple One-Dimensional Integral Representations for Two-Loop Self-Energies: The Master Diagram
1998-05-15
Isomorphism for Graphs of Bounded Distance Width
1998-12-09
Specification and Implementation of Components of a muCRL Toolbox
1996-01-26
Overview of Datalog Extensions with Tuples and Sets
1998-07-16
Mengchi Liu
Improving the Strict Avalanche Characteristics of Cryptographic Functions
1996-05-22
Evaluating the Trade-Offs in the Parallelization of Probabilistic Search Algorithms
1998-07-20
Inferring Type Maps during Garbage Collection
1970-01-01
Beauty and the Beast or A Formal Semantic Description of the Control Constructs of Cobol and its Implementation
1995-12-07
Bit Allocation for Wavelet Image Compression and Uniform Bit Loss
1998-11-18
Automated Symbolic Timing Analysis for Distributed Systems
1970-01-01
Scott D. Stoller
MLPQ/GIS: A GIS using Linear Constraint Databases
1999-03-25
A Distributed Algorithm for Content-Based Image Retrievals Using Image Classes
1999-01-07
Reasoning-conscious Meta-object Design of a Reflective Concurrent Language
1997-11-03
Modeling a Versatile FPGA for Prototyping Adaptive Systems
1998-07-09
Salim Hariri
Cdf/pub/bottom/public/2730 Fermilab-Conf-94/216-E
1994-08-01
Karen E. Ohl
Time-Constrained Query Processing in CASE-DB
1999-03-17
Fixed Points in Two-Neuron Discrete Time Recurrent Networks: Stability and Bifurcation Considerations
1996-03-14
Exploiting Thesaurus Knowledge in Rule Induction for Text Classification
1998-09-15
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases
1998-06-09
Michael Kifer
The number of Boolean functions computed by formulas of a given size.
1998-10-26
Alan R. Woods
Logic without Model Theory
1970-01-01
Robert Kowalski
A New Design For a Fringe-Tracking Interferometric Array
1998-02-12
Tadashi Nakajima
Tao: A Model for Concurrency in Object-Oriented Programming
1994-01-25
Reactive Functional Programming
1970-01-01
Richard B. Kieburtz
An Effective Axiomatization for Real Time ACP
1997-04-10
Measuring Functional Cohesion
1970-01-01
Recent Development Of Multigrid Algorithms For Mixed And Nonconforming Methods For Second Order Elliptic Problems
1995-04-18
Static Mapping of Functional Programs - An Example in Signal Processing
1970-01-01
Jack B. Dennis
Yearly operation profile of the ATLAS SCT detectors
1998-06-08
Theorem 1.
1997-11-19
An Adaptive Web Page Recommendation Service
1997-08-21
Fuzzy if-then rules for modeling interdependences in FMOP problems
1997-09-24
Learning Internal Representations in an Attractor Neural Network With Analogue Neurons
1995-07-05
Daniel J. Amit
A Knowledge-based Environment for Modeling and Simulating Software Engineering Processes
1995-12-08
Updating Complex Value Databases
1998-03-17
The Acquisition of Grammar in an Evolving Population of Language Agents
1999-02-24
Ted Briscoe
DEFLATE Compressed Data Format Specification version 1.3
1970-01-01
Ergodic Properties of Classical Dissipative Systems I
1996-05-29
V. Jaksic
Complexity, Decidability and Undecidability Results for Domain-Independent Planning: A Detailed Analysis
1998-09-05
A Simple Uniform Semantics for Concatenation-based Grammar
1996-01-19
Annius V. Groenink
A Model for a Causal Logic for Requirements Engineering
1996-02-01
Secrecy by Typing in Security Protocols
1999-01-07
Test Cases For Nparc
1995-11-11
Sam Gao
Prediction Errors due to Ignoring Field Coupling on Printed Circuit Boards
1970-01-01
Variability of Process Models, and the EPOS Solution
1995-02-23
On the Complexity of Optimization Problems for 3-Dimensional Convex Polyhedra and Decision Trees
1995-12-19
Using Discourse Predictions for Ambiguity Resolution
1996-05-10
Synthesis of Speed-Independent Circuits from STG-unfolding Segment
1997-05-21
Application of a Neural Network and a Genetic Algorithm in the Analysis of Multi Particle Final States
1995-09-22
Real-coded Genetic Algorithms, Virtual Alphabets, and Blocking
1997-01-31
David E. Goldberg
Techniques for Defining Composition Filters Using Message Manipulators
1996-05-21
Coen Stuurman
Arbitrarily Precise Computation of Gauss Maps and Visibility Sets for Freeform Surfaces
1997-05-09
Magnetoresonances on a Lasso Graph
1997-04-28
FMS Cyclic Scheduling with Overlapping production cycles
1997-07-18
A T9000 Implementation of the p4 Parallel Programming Model
1998-12-20
Algorithms for Area-Efficient Orthogonal Drawings
1996-07-02
Refinement Search as a Unifying Framework for analyzing Planning Algorithms
1994-02-28
Subbarao Kambhampati
Simultaneous Rigid E-Unification is Undecidable
1996-08-28
Artificial Life and Natural Stories
1998-01-27
Highly Available Replicated Atomic Data
1994-09-21
Lionnel Maugis
Special Relativistic Effects on the Strength of the Fluorescent K alpha Iron Line from Black Hole Accretion Disks
1997-06-26
Unknown
1997-11-24
Wearable Tetherless Computer-Mediated Reality: WearCam as a wearable face-recognizer, and other applications for the disabled
1996-08-13
Steve Mann Nnlf
Multiresolution Hadamard Representation and Its Applications to Document Image Analysis
1998-11-04
Data Replication in Mariposa
1995-12-23
Adaptive Time-Frequency Decompositions with Matching Pursuits
1995-02-19
The String B-Tree: A New Data Structure for String Search in External Memory and its Applications.
1998-12-16
GARGOYLE: An Environment for Real-Time, Context-Sensitive Active Vision
1996-06-11
Monte Carlo Simulation and Bottleneck-Centered Heuristics for Time-Critical Scheduling in Stochastic Domains
1997-11-17
Convective Contributions to the Frequencies of Solar Oscillations
1998-03-11
A Different Approach to High Performance Computing
1998-01-08
Henk Corporaal
Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Frais'e games
1999-03-19
Jerzy Marcinkowski
Resampling Methods for Sample Surveys
1996-01-04
The Distributed Genetic Algorithm Revisited
1995-05-05
Theodore C. Belding
Design of a High-Speed UART VLSI Library Cell
1995-11-06
Panagiota Vatsolaki
Approximating Rational Spaces With Elliptic Complexes And A Conjecture Of Anick
1997-11-19
Barry Jessup
Representations Of ... And Absolute Continuity For N-Tuples Of Contractions
1997-03-27
Marek Kosiek
Statistical Features Identified From Comparison of Homologous Introns
1995-12-13
Combined Execution and Monitoring for Control of Autonomous Agents
1996-11-21
Parallel Motion Synthesis
1995-04-20
Martin Preston
Calibrating the COCOMO II Post-Architecture Model
1998-01-14
Partitioning Mathematical Programs for Parallel Solution
1970-01-01
Exhaustive Testing As A Verification Technique
1995-07-19
Virtual Partitioning for Robust Resource Sharing: Computational Techniques for Heterogeneous Traffic
1999-04-21
Recurrent Multilayer Perceptrons for Identification and Control: The Road to Applications
1998-11-09
K. Tutschku
On growth of Grigorchuk groups
1999-03-19
Explicit TCP Rate Shaping: Architecture and Applications
1999-01-12
Triangular Lie bialgebras and matched pairs for Lie algebras of real vector fields on S¹
1995-05-04
Frank Leitenberger
Edge-Finding Constraint Propagation Algorithms for Disjunctive and Cumulative Scheduling
1997-08-18
Claude Le Pape
Solving Shape-Analysis Problems in Languages with Destructive Updating
1995-07-22
A Multigrid-Algorithm Solves the Laplace-Equation in 2D-Electrostatic Structures for the Microwave Circuit Design
1997-04-02
Compiler Blockability of Numerical Algorithms
1997-01-27
Unknown
1997-12-02
Translations between Modal Logics of Reactive Systems
1998-08-07
Self-Organization and Nonparametric Regression
1995-04-24
Tom Heskes
Navigation With Uncertainty: I. Reaching a Goal in a High Collision Risk Region
1998-04-24
Fast Segmentation Methods Based on Partial Differential Equations and the Watershed Transformation
1999-01-21
Cellular Processing Environment
1998-09-21
Coalition, Cryptography, and Stability: Mechanisms for Coalition Formation in Task Oriented Domains
1995-02-19
Generating F0 contours from ToBI labels using linear regression
1996-05-13
Automatic Selection of Dynamic Data Partitioning Schemes for Distributed-Memory Multicomputers
1997-01-08
Proving Termination of Sequential Reduction Relation using Tree Automata
1997-06-24
Thomas Genet
Diagnostic Fault Simulation of Sequential Circuits
1999-04-20
An Update on CLEO's Study of B Meson Decays
1998-07-29
Bernard Gittelman
High Level Reading and Data Structure Compilation
1996-11-05
Combined Source and Channel Coding for Channels with a Power Constraint and Multilevel Signaling
1995-10-31
Hierarchical Gate-Level Verification of Speed-Independent Circuits
1996-10-23
A linear conservative extension of Zermelo-Fraenkel set theory
1999-02-05
Masaru Shirahata
On the Performance of Polynomial-time CLIQUE Approximation Algorithms on Very Large Graphs
1994-01-29
Landscapes, Learning Costs and Genetic Assimilation.
1996-09-25
Giles Mayley
A Prettier Printer
1998-06-09
Philip Wadler
Experiences in Writing a WYSIWYG Editor for HTML
1994-05-18
Increasing Propagation of Chaos for Mean Field Models
1998-12-11
Coulomb Interaction Symmetries and the Mayer Series in the Two-Dimensional Dipole Gas
1997-04-26
AORTA Diagrams As An Aid To Visualising The Execution Of Prolog Programs
1994-07-21
On the implementation of the method of Magnus series for linear differential equations
1998-02-18
A Curriculum Planning Model for an Intelligent Tutoring System
1999-02-05
Choosing A Distance Metric For Automatic Word Categorization
1998-02-12
Expressing Complementarity Problems In An Algebraic Modeling Language And Communicating Them To Solvers
1970-01-01
Spherically Symmetric Scalar Field Collapse: An Example of the Spacetime Problem of Time
1998-05-25
Joseph D. Romano
Recovering from Main-Memory Lapses
1998-03-23
NeXeme A Distributed Scheme based on Nexus Reference Manual and User's Guide
1998-01-16
Luc Moreau
Visual Information Density Adjuster VIDA
1997-11-29
TGCW34 The Relationship Between the
1992-12-06
Dominic Dunlop
Causality Domains: Scaling Clock Vectors for Open Distributed Processing
1994-11-21
Andrew Berry
A Stable Integer Relation Algorithm
1997-03-05
On Making a Crossing Safe
1998-01-07
Effectiveness of Software Trace Recovery Techniques for Current Parallel Architectures
1996-06-03
Task Allocation onto a Hypercube by Recursive Mincut Bipartitioning
1998-05-09
Preliminary Experiments on Load Optimization
1995-08-01
An Adaptive Wavelet-Vaguelette Algorithm for the Solution of PDEs
1998-07-10
Integrating Diverse Information Resources Into Dialogue Updates
1998-04-14
Robin Cooper
Abstraction Methods for Resource Allocation
1995-11-11
Segmentation of Text/image Documents Using Texture Approaches
1997-04-03
Performance Boundsfor Column-Block Partitioning of Parallel Gaussian Elimination and Gauss-Jordan Methods
1994-10-25
Learning Translation Templates from Examples
1997-11-24
Human Face Recognition and the Face Image Set's Topology
1998-07-16
RESOLVING CONFLICTS BETWEEN PARTICIPANTS IN EXPLANATION GENERATION: direct negotiation vs appeal to authority
1996-02-15
Big Bang Nucleosynthesis in Crisis
1998-05-15
TechLAN: An Experimental High-Speed ATM LAN
1997-09-08
The Design of the Land-Use Change Analysis System LUCAS: Part I - Graphical User Interface
1994-12-05
Numerical Uniformization of Hyperelliptic Curves
1995-04-12
Compiling ARGOS into Boolean equations Extended Abstract
1996-06-26
Supporting Valid-time Indeterminacy
1997-04-08
Rosebud: Technological Toys for Storytelling
1997-03-10
On Classes of Convolutional Codes that are not Asymptotically Catastrophic
1999-04-26
Kjell J. Hole Member
The Bernoulli Periodic Distributions
1998-10-09
Miguel A. Lerma
Operads And Moduli Spaces Of Genus 0 Riemann Surfaces
1997-02-12
E. Getzler
Adaptive Vocabularies For Transcribing Multilingual Broadcast News
1998-11-26
Dynamic Discovery of Simulation Entities Using Bamboo and HLA
1999-03-02
Bounded Tracking for Nonminimum Phase Nonlinear Systems with Fast Zero Dynamics
1997-09-18
Implementing Computational Systems with Constraints
1995-12-11
Pose View Stability Analysis for Camera Look Angles Computation
1996-05-16
Constraints in an Object-Oriented Deductive Database
1997-10-17
Towards a Logic of Morphisms and Sequential Programs
1998-10-20
Sunny N P Suen
Data Structures and Genetic Programming
1995-12-18
William B. Langdon
Arithmetization: A New Method In Structural Complexity Theory
1992-12-19
Lance Fortnow
Logical Specifications of Infinite Computations
1997-11-13
Optimistic Register Coalescing
1999-03-24
Entropy, Lyapunov exponents and mean free path for billiards
1997-04-26
N. Chernov
Life Without Root
1996-11-23
Uncertainty, Difficulty, and Complexity.
1998-08-28
Non-local Data Reuse in Data Parallel Compiler
1998-06-12
KORSO Reference Languages - Concepts and Application Domains
1998-05-25
H. -d. Ehrich ed
The Fractal Dimension Of Invariant Subsets For Piecewise Monotonic Maps On The Interval
1970-01-01
F. Hofbauer
Neural Network Application in Aluminium Hot-Roll Process
1997-12-23
Pricing of American Path-Dependent Contingent Claims
1994-04-12
FLARE: Induction with Prior Knowledge
1996-09-25
Christophe Giraud-carrier
An Intuitionistic Interpretation of Finite and Infinite Failure
1993-07-08
Duality And Self-Duality For Conic Convex Programming
1996-03-20
Representation Design Benchmarks: a Design-Time Aid for VPL Navigable Static Representations
1998-02-24
A Competitive Analysis of Load Balancing Strategies for Parallel Ray Tracing
1998-01-21
Alan Heirich James Arvo
Using The Self-Organizing Map To Speed Up The Probability Density Estimation For Speech Recognition With Mixture Density HMMs
1996-05-17
Evolving Legged Locomotion of Virtual Creatures
1996-02-16
Daniel Nikovski
A Formalisation of Semantic Schema Integration
1970-01-01
Techniques For Efficient Formal Verification Using Binary Decision Diagrams
1996-07-09
Lie Algebroids And Mechanics
1996-10-10
Paulette Libermann
Tcl/Tk in a Nutshell
1996-04-02
Dietmar Theobald
With Microscope and Tweezers: An Analysis of the Internet Virus of November 1988
1997-07-01
Interval Approach Challenges Monte Carlo Simulation
1996-10-12
Using Data Clustering to Improve Cleaning Performance for Flash Memory
1998-11-19
Iterative Optimization and Simplification of Hierarchical Clusterings
1996-04-16
Doug Fisher
Finite Element Method for convection-diffusion problems
1997-04-16
RNA Modeling Using Gibbs Sampling and Stochastic Context Free Grammars
1994-06-10
Characterising Innateness in Artificial and Natural Learning
1998-07-28
A Photonic Fast Packet Switch for High-Speed Intra-node Routing: Architecture and Delay Analysis
1995-03-17
Navigation and Coordination Primitives for Multidimensional Visual Browsers
1997-11-03
Distributed Safety Controllers for Web Services
1998-01-12
VGLADs: The Efficient Implementation of Binary Neural Networks
1997-03-24
MLR: A Recovery Method for Multi-level Systems
1997-09-03
David B. Lomet
Fault Tolerant Multiwavelength Optical Rings with Limited Wavelength Conversion
1996-07-08
Algorithmic Bombardment for the Iterative Solution of Linear Systems: A Poly-Iterative Approach
1995-01-12
Quadrature over Curved Surfaces by Extrapolation
1993-12-08
J. N. Lyness
Combining Hierarchical Radiosity and Discontinuity Meshing
1996-10-02
Planning and Acting in Partially Observable Stochastic Domains
1996-10-10
Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation
1997-03-03
An Overview of COOL and COOL-IDL
1996-09-06
Online Perfect Matching and Mobile Computing
1995-06-20
OO Or Not OO: When Object-Oriented is Better Qualitative Analysis and Application to Satellite Image Processing
1997-11-28
Separating the Accommodating Ratio from the Competitive Ratio
1999-01-25
Toward Semantic-Based Parallelism in Production Systems
1995-09-19
The Visualization of Dynamic Memory Management in the Icon Programming Language
1996-04-20
The Block Cipher SQUARE
1999-01-06
Measuring the Performance of Parallel Message-based Process Architectures
1994-11-13
The author explores the issue onto the agenda: Predictivity vs. Stipulativity in the Lexicon
1997-12-08
Cornelia Maria Verspoor
Searching for Structure in Multiple Streams of Data
1996-07-18
On the Fractal Nature of WWW and Its Application to Cache Modeling
1996-01-31
Adriana De Oliveira
P³T: An Automatic Performance Estimator for Parallel Programs
1996-08-26
Thomas Fahringer
Symbolic Model Checking with Rich Assertional Languages
1997-04-30
Generating Association Rules from Semi-Structured Documents Using an Extended Concept Hierarchy
1998-12-08
A Genetic Algorithm Tutorial
1994-09-06
Darrell Whitley
Uniform Approximation of Topological Spaces
1996-01-24
Achim Jung
Unknown
1997-05-15
Counting Solutions to Presburger Formulas: How and Why
1996-07-10
William Pugh
Cycles Homoclinic to Chaotic Sets; Robustness and Resonance.
1997-05-06
Peter Ashwin
Generic Negotiator
1994-11-14
Parameterization of a Management Environment for the Development of Complex Products
1997-02-05
Cohomology And Euler Characteristics Of Coxeter Groups
1997-05-23
Toshiyuki Akita
Design and Performance Analysis of Complex Optical Devices using Symbolic Computation
1997-08-27
Yves Papegay
Generalized Communicators in the Message Passing Interface
1996-05-28
Symmetric Hierarchical Polynomials and the Adaptive h-p-Version
1995-08-15
Dynamic Abstraction Planning
1997-04-23
Gene Trees and Species Trees: The Gene-Duplication Problem is Fixed-Parameter Tractable
1999-04-21
Ulrike Stege
Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm
1996-07-23
Regarding the P-Norms of Radial Basis Interpolation Matrices
1994-07-14
Visualizing Message Patterns in Object-Oriented Program Executions
1996-05-09
Scalable Internet Resource Discovery: Research Problems and Approaches
1997-12-04
Classical and Quantum Initial Value Problems for Models of Chronology Violation
1998-05-14
The Effects of Runtime Coordination Strategies Within Static Organizations
1998-07-29
Performance Range Comparison Via Crossing Point Analysis
1998-01-27
Xian-he Sun
A Lower Bound for Nearly Minimal Adaptive and Hot Potato Algorithms
1997-10-28
Prediction of Beta Sheets in Proteins
1995-12-19
Document Routing by Discriminant Projection : TREC-4
1997-09-22
A Counterexample to a Conjecture of Barr
1996-08-28
DJ-graphs and their application to flow graph analyses
1995-08-13
Refinement in a Type Extension Context
1997-02-13
A Parallel Tree Difference Algorithm
1995-03-06
D. B. Skillicorn
Exponential Asymptotics and Convection-Diffusion-Reaction Models
1998-08-11
Michael J. Ward
Quadratic Growth and Stability in Convex Programming Problems with Multiple Solutions
1995-10-27
Action of Divided Differences on Modified Powers
1998-07-08
An Empirical Comparison of Runtime Systems for Conservative Parallel Simulation
1998-06-20
Deep Inelastic Scattering And Light-Cone Wave Functions
1998-05-14
Performance Theory
1997-05-07
Reporting Exact and Approximate Regular Expression Matches
1998-03-30
Knowledge Characteristics: Reconsidering The Design Of Intelligent Tutoring Systems
1998-01-30
Ashok Patel Kinshuk
Reliable Multicast for Internet Applications
1996-07-12
Baby Step Giant Step in Real Quadratic Function Fields
1997-06-10
Shared Memory Implementation of the Gamma-Operation
1998-01-30
Katia Gladitz
CuPit-2: Portable and Efficient High-Level Parallel Programming of Neural Networks
1999-04-23
The Robinson-Schensted and Schützenberger algorithms, an elementary approach
1996-02-05
Marc A. A. Van Leeuwen
Reward Functions for Accelerated Learning
1994-04-25
Maja J Mataric
Initial Data for General Relativity with Toroidal Conformal Symmetry
1998-05-12
The Logic of Occurrence
1994-03-28
Kenneth D. Forbus
Simple Recurrent Networks and Natural Language: How Important is Starting Small?
1997-08-22
Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the ATMS
1997-09-12
Domain Decomposition and Multilevel Methods in Dioepack
1997-03-05
Gerhard W. Zumbusch
Polynomial-Time Algorithms For Prime Factorization And Discrete Logarithms On A Quantum Computer
1998-09-17
Peter W. Shor
Design Rule Checker for Sheet Metal Components using Medial Axis Transforms and Geometric Reasoning
1996-02-12
Creating Educational Guided Paths over the World-Wide Web
1996-02-02
The Last Buffer First Serve Priority Policy is Stable for Stochastic Re--entrant Lines
1998-08-24
Towards Robust PATR
1995-05-05
Temporal Logic
1998-12-07
Yde Venema
Number of Geneva 9 Strokes Extracted from CEDAR Digits
1998-02-27
Patrick C Hew
EXTENDING THE LINEAR MIXED EFFECTS MODEL Worked Examples
1997-06-11
COCOON and KRISYS - a comparison
1995-01-16
An Evaluation of Architectural Alternatives for Rapidly Growing Datasets: Active Disks, Clusters, SMPs
1998-11-02
Adaptive Simulation and Control of Variable-Structure Control Systems in Sliding Regimes
1997-04-12
The Endpoint of the Rp-Process
1998-02-06
Nested Loop Transformation for Full Parallelism
1996-03-27
Higher Performance and Implementation Independence: Downloading a Protocol onto a Communication Card
1995-08-18
Parallel Graph Reduction with the
1995-06-07
Interprocedural Compilation of Fortran D for MIMD Distributed-Memory Machines
1997-01-27
Fractal Self-VQ Encoding of Video Sequences
1998-05-13
Warm Gas and Ionizing Photons in the Local Group
1998-12-16
Philip R. Maloney
A Predicate for Separating Language Classes
1996-01-24
Henning Fernau
Design and Implementation of Multicast Operations for ATM-Based High Performance Computing
1996-06-11
Differential Geometry And Applications
1996-04-11
J Anos Szenthe
Strongly Connected Spanning Subgraphs With the Minimum Number of Arcs in Semicomplete Multipartite Digraphs
1999-03-09
Anders Yeo
Comprehending Monads
1995-11-02
Philip Wadler
The Form And Content Of Derivational Relations
1995-05-05
Stephen R. Anderson
Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs
1996-12-28
Pedro Diniz
Germs of Arcs on Singular Algebraic Varieties and Motivic Integration
1997-12-09
Jan Denef
Bayesian Methods for Adaptive Models
1997-02-07
Automatic Synthesis of Extended Burst-Mode Circuits Using Generalized C-elements
1997-03-25
Kenneth Y. Yun
On the Complexity of the Contact Space between Convex Polyhedra
1994-11-02
Exceptions to the Multifractal Formalism for Discontinuous Measures
1998-03-05
Efficient Compilation of High-Level Data Parallel Algorithms
1998-04-22
A Rearrangement Search Strategy for Determining Propositional Satisfiability
1993-08-24
Intranet and Active DSS: Instruments for Corporate Success
1996-06-07
Preference Degrees over Linguistic Preference Relations in Decision Making
1996-01-31
Representing Paraphrases Using Synchronous TAGs
1997-07-14
Mark Dras
Parallel Data Structures for Symbolic Computation
1996-02-21
Concurrent Reachability Games
1998-06-16
High-Level Synthesis Techniques for Reducing the Activity of Functional Units
1996-10-24
Gene Myers
1995-07-06
How bad is Reliable Multicast without Local Recovery?
1998-06-15
Fine-Grained Goal-Dependent Declarative Analysis of Logic Programs
1997-09-22
Dmitri Boulanger
DevelopingMultimedia Applications with the WinWin Spiral Model
1999-02-05
Generational Cyclic Reference Counting
1992-10-31
Rafael D. Lins
Space-time analysis of fMRI by feature space clustering
1998-02-02
A Practical Method for the Synchronization of Live Continuous Media Streams
1997-08-27
Christian Blum
Learning to Sense Selectively in Physical Domains
1997-04-13
Pat Langley
A Visual Anthropomorphic Agent with Learning Capability of Cooperative Answering Strategy through Speech Dialog
1998-05-27
Perturbed Random Walks and Brownian Motions, and Local Times
1998-03-05
Burgess Davis
Acquiring Case Adaptation Knowledge: A Hybrid Approach
1996-06-16
Justin A. Boyan
1998-12-17
Justin A. Boyan
Formal Models of MasterMind Tasks
1995-11-10
Kurt Stirewalt
Dario BAMBUSI* Dipartimento di Matematica dell'Universit`a Via Saldini 50, 20133 MILANO, Italy.
1997-04-26
Dario Bambusi
Viewer-Plane Experiments with Computed Holography with the MIT Holographic Video System
1997-06-25
Application Scheduling on the Information Power Grid
1998-11-23
DPL graphs - a powerful representation of parallel relational query execution plans
1996-10-02
An Aggregation Multigrid Solver for Convection-diffusion Problems on Unstructured Meshes.
1998-05-18
TrIAs: Trainable Information Assistants for Cooperative Problem Solving
1999-02-18
A Predictor--Corrector Method for Solving the
1995-02-17
A Subsymbolic+Symbolic Model for Learning Sequential Navigation
1998-03-23
A Higher Order Reconstruction of Stepwise Enhancement
1997-10-16
A Time-Indexed Formulation for Single-Machine Scheduling Problems: Column Generation
1999-01-28
Availability in the Sprite Distributed File System
1991-05-02
Monte Carlo Simulations of Quantum Systems on Massively Parallel Supercomputers
1996-06-13
Hong Q. Ding
Teaching Reasoning, Broadly And Narrowly
1996-08-23
Stephen B Maurer
Elephant Seal Movements: Modelling Migration
1996-12-23
Approaching the Denotational Semantics of Behavioral VHDL Descriptions
1999-03-25
Wolfgang Mueller
Temporal Reasoning
1997-12-17
Henry Kautz
Emulation of the Level-2 trigger, architecture B, on the Macram'e Testbed
1998-06-05
Locality-Sensitive Resource Allocation
1994-10-18
Application of Two Procedures for Dual-Point Design of Transonic Airfoils
1998-03-26
File System Support for Weakly Connected Operation
1997-08-14
Kevin W. Froese
Lagrangian Stability and Global Optimality in Nonconvex Quadratic Minimization Over Euclidean Balls and Spheres
1995-10-26
A Join The Shorter Queue Model In Heavy Traffic
1999-04-01
Stephen R. E. Turner
Feature Selection by Means of a Feature Weighting Approach
1997-07-24
Stability Radii of Positive Discrete-Time Systems
1997-06-06
An Empirical Study of Fortran Programs for Parallelizing Compilers
1994-07-01
CAM-Brain: A New Model for ATR's Cellular Automata Based Artificial Brain Project
1996-07-30
Andrew Gould
1998-05-25
Andrew Gould
Graphical Representation and Manipulation of Complex Structures Based on a Formal Model
1998-11-13
Beyond LEX and YACC: How to Generate the Whole Compiler
1993-11-10
W. M. Waite
A Data Cache with Multiple Caching Strategies Tuned to Different Types of Locality
1995-10-23
Polynomial Acceleration For Large Nonsymmetric Eigenproblems
1998-11-06
Akira Nishida
Some New Results on Subdivision Algorithms for Meshes of Arbitrary Topology
1995-04-07
Ulrich Reif
CACHET: An interactive, incremental-attribution-based program transformation system for deriving incremental programs
1996-11-14
Yanhong A. Liu
Integrating Multiple Learning Strategies in First Order Logics
1998-02-02
A. Giordana
Techniques for Simplifying the Visualization of Graph Reduction
1997-07-29
Implementation of ATM Endpoint Congestion Control Protocols
1996-10-01
On the Design of an Adaptive Meeting Scheduler
1994-11-08
Inferring Ordered Trees from Local Constraints
1998-01-14
Building Agent Models in Economic Societies of Agents
1997-07-29
Querying Clocked Databases
1998-07-16
Mehmet A. Orgun
The Use of Inexact ODE Solver in Waveform Relaxation Methods on a Massively Parallel Computer
1995-07-11
Endomorphisms of Stable Planes
1995-08-21
WebWiseTclTk: A Safe-Tcl/Tk-based Toolkit Enhanced for the World Wide Web
1998-05-06
Boson Into a Charged Lepton of "flavor"
1998-11-03
Evaluating Content Extraction From Audio Sources
1999-03-23
Scalable Data Mining Systems
1996-05-28
Computing eigenvalues occurring in continuation methods with the Jacobi-Davidson QZ method
1997-02-26
Jos L. M. Van Dorsselaer
Integrating Vision and Natural Language Without Central Models
1996-02-19
Ian Horswill
An Optimal Parallel Matching Algorithm for Cographs
1997-02-09
Scheduling Real-Time Applications in an Open Environment
1998-02-25
Comparing Tree-Simplification Procedures
1996-11-12
Finding Text In Images
1997-08-04
Phase-Space Gardening In The Binary-Couplings Memory Network
1995-02-21
Norman Hendrich
MPP Parallel Haskell Preliminary Results
1998-02-28
Kei Davis
Constraint-Directed Reasoning as a Basis for Real-Time Planning
1996-04-19
A Dielectric-Free Superconducting Coaxial Cable
1998-04-02
C. Rose rutgers
On higher-order semi-explicit symplectic partitioned Runge-Kutta methods for constrained Hamiltonian systems
1997-12-11
Sebastian Reich
Robust H.263 Compatible Video Transmission over Wireless Channels
1996-01-17
A Weakness of the Menezes-Vanstone Cryptosystem
1997-04-09
Klaus Kiefer
Alternating Refinement Relations
1998-06-14
Fault Detection In Nonlinear Systems
1996-03-26
Greedy importance sampling: A new Monte Carlo inference method
1999-03-10
Dale Schuurmans
A Network Architecture for Mobile Computing
1998-12-23
SunOS 5.0 Multithread Architecture
1993-03-10
Introductory AI for Whom? Presenting AI to the Non-Scientist
1998-09-23
Rebecca E. Skinner
How Useful is Projective Geometry?
1994-11-03
Disoriented Chiral Condensates and Quantum Mechanical Isospin Correlation
1997-04-18
ZM4 / SIMPLE: Performance Evaluation of Parallel and Distributed Systems based on Event Traces
1992-07-10
Building PRFs from PRPs
1998-06-08
Logic Programming in a Fragment of Intuitionistic Linear Logic
1995-03-20
Modeling and Querying Primitives for Digital Media
1997-01-20
Using Database Versions to Implement Temporal Integrity Constraints
1998-03-03
Note Counterexample to the Frankl/Pach conjecture for uniform, dense families
1998-07-08
Reduction Of English Function Words In Switchboard
1998-08-19
Mobile Agents: Are they a good idea?
1997-12-01
Graphical Integrated Development Environment for Larch Specifications
1994-09-18
Gray Codes for
1997-12-26
Matthew B. Squire
Backscattering Characteristics of Finite Narrow Rectangular Loop Array
1998-10-23
Application of the quasi-Gaussian entropy theory to the calculation of thermodynamic properties of water and methane in the liquid and gas phase.
1998-01-13
Some Recent Results On Schwarz Type Domain Decomposition Algorithms
1994-05-25
Practical Application of Existing Hypermedia Standards and Tools
1998-11-18
Universal Codes and Unimodular Lattices
1997-09-04
Reducing The Variance Of Cycle Times In Semiconductor Manufacturing Systems
1995-07-24
Unsupervised Learning Of Multiple Motifs In Biopolymers Using Expectation Maximization
1995-02-27
Timothy L. Bailey
Classical Feature Detection
1999-03-27
On the Development of Libraries and their use in Applications
1995-05-22
Covariant Types
1998-03-11
C. Barry Jay
Bounded-Independence Derandomization of Geometric Partitioning with Applications to Parallel Fixed-Dimensional Linear Programming
1996-11-12
The accuracy of Gaussian approximations in nilpotent Lie groups
1999-04-21
Stabilization By Perturbation Of A 4N² Toeplitz Solver
1997-07-31
TURBIO: A System for Extracting Information from Restricted-domain Texts
1998-02-25
The Number of Pen-Opposed Features in CEDAR Digits
1998-08-12
Patrick C Hew
From Stochastic Dominance to Mean-Risk Models: Semideviations as Risk Measures
1997-09-18
Relational Learning Techniques for Natural Language Information Extraction
1999-02-03
Fractal Network Traffic Modeling: Past, Present, and Future
1997-10-07
Bo Ryu
Typing and Subtyping for Mobile Processes
1996-08-18
Sequential Implementation of Parallel Narrowing
1996-09-24
VoicePhone: An Interactive Vocal Server for Telephone Numbers
1997-02-17
A Tool for the Maintenance of C++ Programs
1995-05-19
Johannes Sametinger
A Model of Delegation Based on Existential Types
1996-08-18
Benjamin C. Pierce
Algorithms for Generalized Digital Images Represented by Bintrees
1998-09-19
Using Connectionist Term Representations for First-Order Deduction - A Critical View
1997-09-29
Yvonne Kalinke
A Hybrid Newton Method For Solving Box Constrained Variational Inequality Problems Via The D-Gap Function
1998-01-17
The Generation of Nonaxisymmetric Magnetic Fields in the Giant Planets
1997-12-11
Improved Coverings of a Square with Six and Eight Equal Circles
1996-10-26
Phantom: A Simple and Effective Flow Control Scheme
1996-11-28
A Simple Logic for Authentication Protocol Design
1998-04-20
Weyl Spectral Analysis of Nonstationary Random Processes
1998-02-12
A Comparison of Entry Consistency and Lazy Release Consistency Implementations
1995-11-26
Improved Approximation Bounds for the Group Steiner Problem
1997-12-05
Prioritized Sweeping: Reinforcement Learning with Less Data and Less Real Time
1993-11-22
Extension of WAM for a linear logic programming language
1996-10-21
Instrumentation Environment User's Guide
1997-07-09
Serial Computations of Levenshtein Distances
1997-09-30
Decidable Reasoning in Terminological Knowledge Representation Systems
1998-02-02
Cooperative Computing in Loosely-CoupledDistributed Systems
1993-11-04
Thomas Kolarik
A Real Time 3D Visualization Prototype For Interventional Magnetic Resonance Imaging
1998-07-08
Predictive Models for Sequence Modelling, Application to Speech and Character Recognition
1998-09-29
P. Gallinari
GZIP file format specification version 4.3
1996-08-06
Traps - Classifiers Of Temporal Patterns
1998-10-30
On The Relation Between Voice Source Parameters And Prosodic Features In Connected Speech
1996-06-11
Decay of Trapped Ultracold Alkali Atoms By Recombination
1996-02-16
The Sequoia 2000 Storage Benchmark
1993-06-29
Nonlinear Stability of Travelling Waves for a Hyperbolic System with Relaxation
1996-07-02
How Misleading Can Sample Acf's Of Stable Ma's Be? very!
1998-03-30
Some rigorous results on the ground states of the Falicov-Kimball model
1997-04-26
Tom Kennedy
Learning Social Behaviors
1999-01-18
Maja J Matari'c
An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension
1998-02-23
A Fast Algorithm to Support Interactive Wavelet Processing on a Radiologist Workstation
1997-11-18
An Optimal Algorithm for Finding Clique-Cross Partitions
1998-12-09
An Online Handwriting-Recognition System Based On Unreliable Modules
1999-04-07
Representation of Spatial Frequency and Orientation in the Visual Cortex
1999-02-22
E. Kaplan
Security Analysis of a Practical "on the fly" Authentication and Signature Generation
1998-07-06
A stochastic neural architecture that exploits dynamically reconfigurable FPGAs
1996-11-28
A Two-bit Differentiated Services Architecture for the Internet
1998-02-02
Estimating Long-Term Solar Irradiance Variability: A New Approach
1997-08-25
AudioFile: A Network-Transparent System for Distributed Audio Applications
1997-09-03
Fundamental Design Issues for the Future Internet
1998-10-26
Scott Shenker
Symplectic Geometry On Moduli Spaces Of Holomorphic Bundles Over Complex Surfaces
1999-02-12
On Ornstein-Uhlenbeck Generators
1997-07-28
Rule Induction as Exploratory Data Analysis
1995-06-23
Jason Catlett
Some Remarks on Off-Shell Scattering in the Eikonal Approximation
1998-05-25
Using Unicode with MIME
1994-11-16
Statistical mechanics of the 2-dimensional focussing nonlinear Schrödinger equation
1997-04-26
Active Logic and Heim's Rules for Updating Discourse Context
1995-07-19
A Fuzzy Set Approach to Case-Based Decision
1997-06-30
Texture Segmentation of SAR Images
1997-05-15
Numerical Analysis of Dynamical Systems
1994-10-03
Andrew Stuart
Task-Oriented Dialogs with Animated Agents in Virtual Reality
1998-09-22
Issues in the Development and Application of Reuse Metrics in a Corporate Environment
1996-10-18
Jeffrey S. Poulin
The Cilk System for Parallel Multithreaded Computing
1970-01-01
Relaxation Revisited - A Fresh Look at Multigrid for Steady Flows
1997-08-26
Integral Equation Preconditioning For The Solution Of Poisson's Equation On Geometrically Complex Regions
1970-01-01
Algebraic Structure Of Some Learning Systems
1998-12-31
Derivations And Automorphisms Of Certain Operator Algebras
1998-09-01
Interaction with a Mixed-Initiative System for Exploratory Data Analysis
1998-10-21
Dictionary Learning: Performance Through Consistency
1995-08-21
Tilo Sloboda
A Stack-Based Approach to Query Languages
1996-12-17
Dust in the Cores of Early-Type Galaxies
1998-05-14
M. Franx
Uncountable Limits and the Lambda Calculus
1995-10-04
The Remote Computation System
1996-04-25
EMU: an Enhanced Hierarchical Speech Data Management System
1996-10-01
Transitive Maps which are not Ergodic with respect to Lebesgue Measure
1995-09-15
A Hierarchical Method for Reasoning about Distributed Programming Languages
1995-08-25
Incremental Recovery In Main Memory Database Systems
1992-04-06
Recognizing Human FACIAL EXPRESSION
1994-05-06
Mental Constitutions and Limited Rationality Extended Abstract
1995-08-29
Uniqueness Of Unibranched Curve In
1997-10-01
Hubble Space Telescope Spectroscopic Observations of the Ejecta of SN 1987A at 2000 Days
1998-05-14
Error-Correcting Output Coding Corrects Bias and Variance
1995-04-21
Heuristics for Balancing Turbine Fans
1998-07-02
Diffusing Through Spectres: Ridge Curves, Ghost Circles and a Partition of Phase Space
1997-04-26
Expected Solution Quality
1995-05-16
P-CLASSIC: A tractable probabilistic description logic
1998-04-13
ACADEMIA: An Agent-Maintained Database based on Information Extraction from Web Documents
1999-01-29
Efficiency of Global Adaptive Quadrature
1970-01-01
Evolution Mimétique
1998-10-28
Geometric Stability Analysis for Periodic Solutions of the Swift-Hohenberg Equation
1998-06-23
The SHIP Safety Case Approach
1996-07-05
Type and Behaviour Reconstruction for Higher-Order Concurrent Programs
1997-05-09
Interconnect Estimation and Planning for Deep Submicron Designs
1999-03-14
Linear Congruential Generators for Parallel Monte-Carlo: the Leap-Frog Case.
1999-03-01
Rates of convergence of the Hastings and Metropolis algorithms
1999-02-26
Measures and Models for Phrase Recognition
1999-02-03
Steven Abney
On a Modified Chebyshev Pseudospectral Method
1998-04-27
O-Convexity: Computing Hulls, Approximations, and Orientation Sets
1996-06-26
Flugroutenplanung im Cargo Sektor
1997-11-10
"Genetic"Programming
1999-04-07
Intersection of Unit--Balls and Diameter of a Point Set in
1999-04-09
Edgar A. Ramos
Mining Sequential Patterns
1996-02-21
Graph Matching Using a Direct Classification of Node Attendance
1995-10-12
Interactive Steering Using the Application Executive
1993-01-21
Brian Bliss
Detecting Parallelism in C Programs with Recursive Data Structures
1998-01-28
The Transformation Calculus
1994-05-02
Jacques Garrigue
Algebraic Data Types and Induction inµCRL
1997-03-03
NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization
1998-03-26
Improving Accuracy in a Robust Algorithm for Three-Dimensional Voronoi Diagrams
1997-08-31
Philip M. Hubbard
Rollit: An Application Builder
1993-12-29
The GENESIS Simulation-based Neural Modeling Database
1998-05-20
Extensions of the quasi-Gaussian entropy theory
1998-01-13
Deictic Codes for the Embodiment of Cognition
1996-05-10
On-Line Subspace Estimation Using A Generalized Schur Method
1994-11-28
Treatment of epsilon-Moves in Subset Construction
1998-04-15
Mixed Logical/Linear Programming
1997-07-14
Fixed-Lag Blind Equalization And Sequence Estimation In Digital Communications Systems Using Sequential Importance Sampling
1999-01-07
Simon J. Godsill
Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks
1997-06-30
The Evolving Algebra Semantics of COBOL - Part 1: Programs and Control
1997-08-07
Marc Vale
A Neural Network Simulation of Child Language Development at the One-word Stage
1998-09-28
A Branch-and-Cut Approach to Physical Mapping of Chromosomes By Unique End-Probes
1997-05-15
Shared Memory vs. Message Passing: the COMOPS Benchmark Experiment
1998-06-12
Yong Luo
.1. Description of the Scenario
1997-04-21
The Superluminal Source GRS 1915+105: A High Mass X-ray Binary?
1997-05-07
A correctness proof for Warren's HO into FO translation
1998-04-27
Fiber Polytopes For The Projections Between Cyclic Polytopes
1999-01-29
ZOO: A Desktop Experiment Management Environment
1996-06-26
Eliminating the Shortcomings of Free Datatype Definitions
1996-01-13