Theoretical Issues Concerning the Representation of Continuous-Valued Input and Output Data in Neural Networks
1993-09-28
WASA: A Workflow-Based Architecture to Support Scientific Database Applications
1996-04-11
Query Answering in Concept-Based Knowledge Representation Systems: Algorithms, Complexity, and Semantic Issues
1994-06-21
Andrea Schaerf
Language Support for Distribution in CSCW Systems
1997-07-17
Bottom-Up Induction of Oblivious Read-Once Decision Graphs: Strengths and Limitations
1997-08-25
Ron Kohavi
Artificial Evolution: Modelling the Development of the Retina
1997-04-28
Evolving Optimal Populations with XCS Classifier Systems
1997-02-04
Tim Kovacs
Shape Tiling
1997-12-26
Maximal Chained Networks of Given Diameter with transputer examples
1995-08-02
Parton Distributions in Nuclei: Overview and Prospect
1998-05-14
S. Kumano
Invariante Kegel in Cartan-Algebren
1995-08-21
Multistep Methods Integrating Ordinary Differential Equations on Manifolds
1999-02-19
Direct Lighting Calculation by Monte Carlo Integration
1998-01-23
High-Performance Job-Shop Scheduling With A Time-Delay TDlambda Network
1995-06-01
Object-Oriented HybridSystems of Coalgebras plus Monoid Actions
1996-09-25
Bart Jacobs
The Probabilistic Growing Cell Structures Algorithm
1998-10-27
Intelligent Communication Filtering for Limited Bandwidth Environments
1996-10-29
The Complexity of Concept Languages
1999-03-05
Exact Solution of the Totally Asymmetric Simple Exclusion Process: Shock Profiles
1997-04-26
Mathematical Formalization of the Messenger Paradigm
1995-11-13
Otter: The CADE-13 Competition Incarnations
1996-11-12
Concurrent Constraint Automata
1993-05-06
Nonlinear Optical Parameters for InSb at 10. 6
1994-04-28
Recognition of Printed Digits using Zernike or Orthogonal Fourier-Mellon Moments
1998-12-11
Fixed Point for Negamaxing Probability Distributions on Regular Trees
1998-01-05
Warren D. Smith
Triggering And Event Building Results Using The C104 Packet Routing Chip
1996-01-30
An Experimental Comparison of Localization Methods
1998-08-19
Focusing Construction and Selection of Abductive Hypotheses
1994-06-08
David B. Leake
On The Whitham Equations And X, psi Duality
1997-10-07
Robert Carroll
Coordination Assistance for Mixed Human and Computational Agent Systems
1995-11-08
A Tight Lower Bound for k-Set Agreement
1994-07-20
Cluster Expansions of Brydges-Federbush Type for Quantum Lattice Systems
1970-01-01
K-transversals of parallel convex sets Nina Amenta
1996-05-06
Nina Amenta
Learning of Personal Visual Impression for Image Database Systems
1997-08-25
Grate: A General Framework For Cooperative Problem Solving
1994-07-07
I. Laresgoiti
Grassroots: A System Providing a Uniform Framework for Communicating, Structuring, Sharing Information, and Organizing People
1996-10-09
Probabilistic Multimedia Objects Multijects: A Novel Approach To Video Indexing And Retrieval In Multimedia Systems.
1998-09-09
Hardware Compilation, Configurable Platforms and ASICs for Self-validating Sensors
1997-06-30
Deadline Monotonic Scheduling
1993-07-20
A comparison of experimental results with an Evolution Strategy and Competitive Neural Networks for near real-time Color Quantization of image sequences
1998-07-21
Object recognition using hidden Markov models
1996-08-06
Business Issues and Potential Research Topics in Software Engineering From the Point of View of Japanese Software Industry
1996-11-13
Takeshi Hayama
Top-Down, Constraint-Driven Design Methodology Based Generation of a Second Order . . . Converter
1994-12-15
Fluctuation Patterns and Conditional Reversibility in Nonequilibrium Systems
1997-04-26
Giovanni Gallavotti
Knowledge Representation in the TRAINS System
1997-07-23
Suppression is Proportional to the potential Or Exchange Scattering Rate,
1997-08-21
A Formalization of a Hierarchical Model for RISC Processors
1996-06-17
?
1996-07-01
Spatial Interaction Model Optimisation on Parallel Computers
1994-09-05
The Arnoldi-Tchebycheff method for solving large complex non hermitian generalized eigenproblems
1995-04-24
T. Braconnier
Unknown
1995-02-23
R. A. Kowalski
VisAll: A new Tool to Visualise Parallel Execution of Logic Programs
1997-10-16
A Discrete Dyadic Wavelet Transform for Multidimensional Feature Analysis
1997-07-09
Iztok Koren
Molecular Evolution of Catalysis
1997-05-07
Christian V. Forst
Analysis of Direction Selectivity Arising From Recurrent Cortical Interactions
1999-01-22
The Local Analysis and Prediction System LAPS: Analyses of Clouds, Precipitation, and Temperature
1997-10-20
On the Quantum Complexity of Majority
1998-12-14
Technical Report No. 97-412 On the Power of Some PRAM Models
1997-11-24
Approximation Algorithms for the Largest Common Subtree Problem
1997-02-02
An Evolutionary Heuristic for the Minimum Vertex Cover Problem
1996-08-02
On the Lipschitzian properties of polyhedral multifunctions
1995-10-17
Improving Climate Prediction Using Seasonal Space-Time Models
1997-08-05
Efficient Reliable Group Communication For Distributed Systems
1994-03-21
High-Performance Special-Purpose Computers in Science
1998-11-26
Motion Segmentation and Tracking Using Normalized Cuts
1998-09-04
IaDEA: A Development Environment Architecture for Building Generic IntelligentUser Interface Agents
1998-04-28
A Knowledge-Based Framework for Belief Change, Part II: Revision and Update
1999-02-11
MIME Multipurpose Internet Mail Extensions Part One:
1993-09-29
Nearest Neighbor Clutter Removal for Estimating Features in Spatial Point Processes
1996-07-23
Sequential Karhunen-Loeve Basis Extraction and its Application to Images
1999-02-10
A pragmatic approach to compilation of Erlang
1997-06-05
Towards a Statistical Approach to Testing Object-Oriented Programs
1997-03-04
H. Waeselynck
Formalising the Specification of Rewards with PEPA
1998-04-21
Graham Clark
Issues For Proximate User Interfaces
1998-04-08
Learning Geometric Concepts with an Evolutionary Algorithm
1996-02-26
Andreas Birk
D Reconstruction of the Human Jaw from A Sequence of Images
1999-03-10
Galactic-Scale Outflow and Supersonic Ram-Pressure Stripping in the Virgo Cluster Galaxy NGC 4388
1999-01-19
Percolation on Grigorchuk groups
1999-03-20
Modern Inertial and Satellite Navigation Systems
1997-07-07
, Geoff Langdale
1996-02-28
End-to-end Evaluation in JANUS: a Speech-to-speech Translation System
1997-02-06
Style Sheet Languages and Mathematical Material
1998-05-26
Richard M. Timoney
Software Sensor Design Based on Empirical Data
1998-09-28
Applications of Computational Geometry to Geographic Information Systems
1998-12-09
Phenotypic Plasticity in Evolving Neural Networks
1995-12-01
On Binary Constraint Problems
1995-04-18
On Sensitivity Of Central Solutions In Semidefinite Programming
1998-03-19
J. F. Sturm
Recommended C Style and Coding Standards
1997-02-19
An Approach to Supporting Semantic Integrity of Federated Databases
1996-11-22
Can Turker
Using Explicit Segmentation To Improve Hmm Phone Recognition
1999-02-03
The Generalized beta-Method in Taguchi Experiments
1998-03-11
Piotr Findeisen
1994-12-09
Piotr Findeisen
A Simulated Environment of a Multimodal User Interface for a Robot
1995-11-28
Problem Solving in the DISCO Constraint Database System
1997-04-07
Peter Z. Revesz
A Spreadsheet Approach to Information Visualization
1998-02-24
Towards Building Manageable Multimedia Network Services
1997-04-11
Solving Similar Problems using Genetic Algorithms and Case-Based Memory
1999-04-20
Of mice and men: Algorithms for evolutionary distances between genomes with translocation
1998-07-30
Multiresolution Video
1996-07-24
Linkability: Examining Causal Link Commitments in Partial-Order Planning
1994-04-07
Comparing Support Vector Machines with Gaussian Kernels to Radial Basis Function Classifiers
1997-03-08
Simple Usage-Based Charging of Web Cache Services
1997-07-25
The NIST Express Toolkit - Updating Existing Applications
1993-06-29
Don Libes
Dynamical Recurrent Neural Networks and Pattern Recognition Methods for Time Series Prediction: Application to Seeing and Temperature Forecasting in the Context of ESO's VLT Astronomical Weather Station
1997-04-24
Automatic Generation Of Cued Speech For The Deaf: Status And Outlook
1998-10-06
Parallelizing The Qr Algorithm For The Unsymmetric Algebraic Eigenvalue Problem: Myths And Reality
1994-10-08
Differential Vector Quantization of Real-Time Video
1996-09-16
Improving the Performance of Radial Basis Function Networks by Learning Center Locations
1994-09-13
The Effect of Nonlocal Interactions on the Dynamics of the Ginzburg-Landau Equation
1995-10-19
OV Overview of Computational Science
1998-05-30
VGDS: An Object-Oriented Framework for Distributed Scientific Computing
1997-09-03
Numerical Study of a Multigrid Method with Four Smoothing Methods for the Incompressible Navier-Stokes Equations in General Coordinates
1993-08-01
Improving the Performance of Genetic Algorithms through Derandomization
1998-04-01
Ralf Salomon
Attribute Grammars: a Declarative Functional Language
1995-10-06
Complexity of Sequential Pattern Matching Algorithms
1998-08-03
Divide To Coordinate: Optimization Reconsidered
1995-08-17
Statistical Properties of Qualitative Behaviors
1997-05-26
Giorgio Brajnik
OASIS: Prototyping Graphical Interfaces to Networked Information
1995-12-21
Nonlinear Component Analysis as a Kernel Eigenvalue Problem
1999-02-25
Competing Predictors Segment and Identify Switching Dynamics
1995-10-23
Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking
1995-11-17
On HB-FLAT HYPERBOLIC KAEHLERIAN SPACES
1970-01-01
Zbigniew Fiedorowicz and Yongjin Song
1997-05-23
A New Value Iteration Method For The Average Cost Dynamic Programming Problem
1970-01-01
Dimitri P. Bertsekas
A Sequential Sampling Procedure For Genetic Algorithms
1994-03-10
Une methode de Calibration Radiometrique de Camera a focale variable
1996-03-15
Binary Relational Algebra Applied to Software Architecture
1996-07-29
R. C. Holt
From Inheritance Relation to Non-Axiomatic Logic
1998-12-25
Pei Wang
Digital Watermarking of Raw and Compressed Video
1996-12-02
Recursive Prediction and Likelihood Evaluation for Periodic ARMA Models
1998-04-16
Rotation Invariant Neural Network-Based Face Detection
1999-04-08
Types, Logic, and Semantics for Nested Databases
1996-02-04
Deductive Composition of Astronomical Software from Subroutine Libraries
1994-08-26
Real-Time Wireless Communication using Splitting Protocols
1997-07-23
Completely Integrable Systems: A Generalization
1998-12-03
Learning to Model Sequences Generated By Switching Distributions
1999-02-08
A Purity Theorem For The Witt Group
1999-04-21
Weak-Consistency Group Communication and Membership
1992-12-12
Outline of the IPTES Physical Model.
1994-03-10
Storage Capacity of the Single RAM-based Neuron
1996-11-13
Space, Time And Superluminal Particles L. Gonzalez-Mestres
1997-04-26
L. Gonzalez-mestres
Forms of Logic Specifications: A Preliminary Study
1996-12-10
Kung-kiu Lau
Modeling Substrate Coupling Effects using a Layout-to-Circuit Extraction Program
1997-12-22
Analysis of a Correlated Queue in a Communication System
1995-12-31
Jets and Energy Flow in Photon-Proton Collisions at HERA
1997-12-19
H Collaboration
A "Linear Logic" Quicksort
1994-12-07
Henry G. Baker
DISCO - An HPSG-Based NLP System and its Application for Appointment Scheduling
1994-06-15
Analytic Variations on Quad--Trees
1998-11-24
Stacked Density Estimation
1997-09-02
Lagrangian Flows: The Dynamics Of Globally Minimizing Orbits - Ii
1997-09-03
Positive Solutions For Higher Order Ordinary Differential Equations
1996-12-11
Accelerating Partial Order Planners by Improving Plan and Goal Choices
1996-02-02
Contextual Information for Disambiguation in a Speech-to-Speech Translation System
1997-05-21
Maite Taboada
Structural Optimization of Feedforward Networks
1997-06-18
Heikki Hyotyniemi
Gallium Arsenide Process Evaluation Based on a RISC Microprocessor Example
1995-09-26
Boundary Integral Operators For Plate Bending In Domains With Corners
1997-11-19
Gunther Schmidt
An Agent Communication Protocol for the Feature Interaction Problem
1999-01-15
Neural Networks
1996-03-14
Pro-Active Focus
1996-08-21
Reinforcement Learning: A Survey
1997-06-01
Error of Kernel Estimator: Monitoring Convergence of Markov Samplers
1997-02-06
Bin Yu
Automatic Cross-Language Information Retrieval using Latent Semantic Indexing
1996-12-04
Endomorphisms of Stable Planes
1995-08-20
The Transition of Application Programs From COBOL to a Fourth Generation Language
1994-08-11
Rare Events Simulation for Heavy-Tailed Distributions
1998-11-06
Klemens Binswanger
Dynamic Backtracking with Constraint Propagation Application to static and dynamic CSPs
1998-09-29
Updating Logic Programs
1999-01-17
Evaluating the Effect of Online Data Compression on the Disk Cache of a Mass Storage System
1996-07-12
Odysseas I. Pentakalos
Finding Cuts In The TSP A preliminary report
1995-03-28
Estimation of Time-Dependent Coverage
1998-02-04
A naive Riemann solver to compute a non-conservative hyperbolic system
1998-04-08
A Decision Procedure for the Subtype Relation on Intersection Types with Bounded Variables
1996-08-18
Benjamin C. Pierce
A Practical Method for Rigorously Controllable Hardware Design
1997-01-15
Direct Building of Minimal Automaton for Given List
1998-10-16
Stoyan Mihov
A Light Weight Name Service and its use within a Collaborative Editor.
1995-11-30
Parity-Based Loss Recovery for Reliable Multicast Transmission
1997-03-11
An Access Protocol to Support Multimedia Traffic over Hybrid Fiber/Coax Systems
1996-04-15
Quenched Hadron Spectroscopy With Improved Staggered Quark Action
1997-12-17
Semantic Aspects of the Graph and Rule Centered Language GRACE
1997-04-10
Sabine Kuske
Experiments with HPF Compilation for a Network of Workstations
1995-03-17
Fabien Coelho
Accounting for Interrupt Handling Costs in Dynamic Priority Task Systems
1998-04-11
Adiabatic Response of Quantum Systems Pinching a Gap Closure
1997-09-21
An Incremental Interpreter for High-Level Programs with Sensing
1998-09-23
Hector Levesque
Planning, Scheduling, and Plan Execution for Autonomous Robot Office Couriers
1999-04-21
Change Detection In Multi-Spectral, Bi-Temporal Spatial Data Using Orthogonal Transformations
1996-04-30
Allan Aasbjerg Nielsen
The Differential Fixpoint of General Logic Programs
1996-09-30
Learning Search Control rules for Plan-space Planners: Factors affecting the performance
1995-09-01
On the Automation of GNY Logic
1996-09-26
Causal Multicasts in Overlapping Groups: Towards a Low Cost Approach
1993-05-25
Social Implications of Using Synthetic Characters
1997-04-26
Situation Semantics and Computational Linguistics: towards Informational Ecology.
1998-11-04
Burghard B. Rieger
A Developmental Model for the Evolution of Complete Autonomous Agents
1996-05-09
Solving Diverse Image Understanding Problems Using the Image Understanding Environment
1999-02-08
Animat Navigation Using a Cognitive Graph
1998-06-10
A Formal Specification of dMARS
1998-01-16
A Hierarchy Preserving Hierarchical Bottom-Up 2-Layer Wiring Algorithm With Respect to Via Minimization
1995-11-16
Paul Molitor
A Column Generation Approach to Cell Formation Problems in Cellular Manufacturing
1999-03-12
Formalizing Space Shuttle Software Requirements
1996-01-19
Complex Object Models Of Natural Systems
1995-11-19
Bohdan Durnota
Voting for Schemata
1998-08-03
Thomas Haynes
A Planning Model with one Million Scenarios Solved on an Affordable Parallel Machine
1998-06-29
Jacek Gondzio
Comparison of Rate-Based Service Disciplines
1993-12-16
On the Integration of Learning, Logical Deduction and Probabilistic inductive Inference
1996-07-01
J Gerard Wolff
Testing for Homogeneity of Variance in Time Series: Long Memory, Wavelets and the Nile River
1998-08-04
Markov Chains With Exponentially Small Transition Probabilities: First Exit Problem From A General Domain II. The General Case
1997-04-26
Interval Operations Involving NaNs
1997-04-22
Evgenija D. Popova
Genetic Algorithm with Alphabet Optimization
1995-08-08
Two New Methods For Motion Planning For Controllable Systems Without Drift
1998-08-20
H'ector J. Sussmann
Generating C4.5 Production Rules In Parallel
1997-07-17
Richard Kufrin
I/O, Performance Analysis, and Performance Data Immersion
1998-01-06
Software Versus Hardware Shared-Memory Implementation: A Case Study
1998-08-24
Why Are PVM and MPI So Different?
1998-05-15
Ewing Lusk
Modelling Water Quality for Water Distribution Systems
1999-02-19
The Last Digit of
1997-03-20
A Novel Implementation Method of Delay
1997-09-30
Neng-fa Zhou
Singularities of Prolonged Group Actions on Jet Bundles
1998-10-02
Peter J. Olver
An Application of Statistics to Meteorology: Estimation of Motion
1996-06-21
David R. Brillinger
A New Algorithm for MPEG Video Encryption
1997-10-01
Strongly Coupled Electroweak Symmetry Breaking: Implications of Models
1998-05-15
The Recognition Problem for Linear Tree Adjoining Grammars
1998-01-13
Giorgio Satta
Correlations and Pairing in Nuclear Matter within the Nozières-Schmitt-Rink Approach
1997-02-13
Z.arvasi And T.porter
1997-01-24
Transmitted Ronald Brown
SCANMACS --- Scan Macros for Regularly Distributed Arrays
1998-05-05
Peter A. Dinda
Provably Efficient Scheduling for Languages with Fine-Grained Parallelism
1997-02-04
Nowcasting Astronomical Seeing And Forecasting Telescope Environment For The Eso Vlt
1997-05-23
A Learning Algorithm for Applying Cohen's Models to System Identification
1997-11-10
A Multi-agent System for Distributed Resource Allocation
1998-02-12
Brinkmate Search
1997-05-19
Probabilistic Type-2 Operators and "Almost"-Classes
1999-01-24
Demand more from your SGML database!
1996-02-27
Arijit Sengupta
Canonical Relativistic Quantum Mechanics Stephen Low To be published in
1997-04-26
Stephen G. Low
The 1994 Abbot Hybrid Connectionist-HMM Large-Vocabulary Recognition System
1997-06-11
A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability
1998-03-30
High Speed Vision-Based Quality Grading of Oranges
1997-12-02
The Interim DynaPiano: An Integrated Computer Tool and Instrument for Composers
1995-12-02
Stephen Travis Pope
Towards Operational Semantics of Contexts in Functional Languages
1995-01-18
David Sands
H.S.Song
1998-12-18
M. N. Dubinin
A Macroscopic Model of Neural Ensembles I: Learning-Induced Oscillations in a Cell Assembly
1996-08-12
DHCPfor Mobile Networking with TCP/IP
1995-04-13
Massimo Cotrozzi
1997-07-01
Index Structures For Temporal And Multimedia Databases
1998-05-11
Tolga Bozkaya
Spreading Codes For Wireless Spread Spectrum Communications
1998-12-03
Direct Message Delivery Among Processors with Limited Capacity
1995-07-30
Critical Issues Regarding the Trace Cache Fetch Mechanism
1997-05-15
Net Comparison: An Adaptive and Effective Method for Scene Change Detection
1995-04-21
Evaluation of Numerical Applications Running With Shared Virtual Memory
1993-09-01
Towards a Model-Theoretic Characterization of Indexed Grammars
1997-08-07
Tore Langholm
The Concord Algorithm for Synchronization of Networked Multimedia Streams
1996-06-27
A Computerized Approach to the New York City School Bus Routing Problem
1995-07-09
Information Chemistry
1997-06-25
Evolving non-Trivial Behaviors on Real Robots: a garbage collecting robot
1998-06-30
Stefano Nolfi
Multi-Lingual Informedia: A Demonstration Of Speech Recognition And Information Retrieval Across Multiple Languages
1998-06-09
Object Oriented Specification and Incremental Evaluation of Static Semantic Constraints
1995-02-23
Sensitivity of Power Dissipation to Uncertainties in Primary Input Specification
1998-04-15
A Degree-Decreasing Lemma for MOD q - MOD p Circuits
1998-10-12
Vince Grolmusz
Mapping Based Constraint Handling For Evolutionary Search; Thurston's circle packing and Grid generation
1998-07-30
Dynamic Behavior Of The Solar Atmosphere
1997-11-10
Learning Evaluation Functions for Global Optimization and Boolean Satisfiability
1998-04-05
Report on the Glasgow IR group glair4 submission 1
1997-04-14
Task Allocation Via Coalition Formation Among Autonomous Agents
1998-08-05
System Design Optimization for MCM
1995-02-09
Stochastic Observation Hidden Markov Models
1999-02-03
An Abstract Machine for Unification Grammars
1970-01-01
Intelligent Text Handling Using Default Logic
1996-10-24
Anthony Hunter
Optimal Orbits of Hyperbolic Systems
1998-10-30
Brian R. Hunt
Computer Aids for Decision Making in Diagnostic Radiology: A Literature Review
1999-01-25
On the Approximation Power of Splines on Triangulated Quadrangulations
1997-10-23
Mobile Agent Systems: What is Missing?
1997-08-08
Performing Tasks on Synchronous Restartable Message-passing Processors
1998-10-01
Computing the n x m Shortest Paths Efficiently
1998-12-14
Tetsuo Shibuya
Feature Automata and Sets of Feature Trees
1995-04-20
Modularization and Interpolation
1999-02-03
G. Mints
The Relationship Between Propagation Characteristics and Nonlinearity of Cryptographic Functions
1996-05-22
Shock Profiles And Self-Similar Fluid Dynamic Limits
1997-11-19
ATT at TREC-6
1998-01-13
Amit Singhal
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: the Two Tanks Problem
1997-07-15
Control of Linear Parameter-Varying Systems Using Dynamic Parameter Measurement
1997-08-01
Lawton H. Lee
Task-dependent Learning of Attention
1998-08-19
A Global Scheduling Technique for Fine-Grained Asynchronous Parallelism
1996-12-12
The Poisson boundary of hyperbolic groups
1997-09-16
Vadim A. Kaimanovich
On Object-Oriented Programming In The High-Level Design Of Numerical Software
1996-03-25
Hans Petter Langtangen
Test Case For The Diamagnetic Effect: Helium Peculiarities On B Stars
1997-03-03
Default Quantifier Logic
1996-09-26
Employing EM and Pool-Based Active Learning for Text Classification
1999-01-22
Improved CLP Scheduling with Task Intervals
1998-08-18
Publications List --- KDR
1998-09-25
An Interval Framework for Process Algebras, Refinement, and Model Checking
1999-02-17
Michael Huth
Database Research: Achievements and Opportunities Into the 21st Century
1996-06-26
An Architectural Study Of A Digital Signal Processor For Block Codes
1998-01-19
Using Explicit Requirements and Metrics for Interface Agent User Model Correction
1998-02-12
Measure and Dimension Functions: Measurability and Densities
1998-04-23
Visual Cryptography for General Access Structures
1998-12-16
Solving vector-valued approximation problems by semi-infinite optimization : Numerical and genericity aspects
1997-06-06
Georg J. Still
On Bounding the Betti Numbers and Computing the Euler Characteristic of Semi-algebraic Sets
1999-01-21
Saugata Basu
Cellular Encoding for Interactive Evolutionary Robotics
1999-01-11
Kameel Quatramaran
Length Minimization For Space Curves Under Nonholonomic Constraints: The Constant Torsion Case
1998-06-23
Studies of an off-lattice model for protein folding: Sequence dependence and improved sampling at finite temperature
1996-07-15
Frank Potthast
Feature Subset Selection Using the Wrapper Method: Overfitting and Dynamic Search Space Topology
1998-04-01
Binocular Visual Tracking: Integration of Perception and Control
1997-12-14
A Note on the Approximation by Continued Fractions under an Extra Condition
1998-02-26
O³CASE: Operational Object Oriented CASE
1996-11-23
Analog Circuit Observer Blocks
1970-01-01
Understanding the Geometry of Infeasible Perturbations of a Conic Linear System
1998-05-19
Advances in Parameterized Linear Diophantine Equations for Precise Program Analysis
1998-09-15
Dynamic Visualization of Object Execution
1997-08-11
Rok Sosic
Spectral Representation of Three Point Functions at Finite Temperature
1998-07-16
T. S. Evans
Multi-spectral Image Analysis of Plant Cells
1998-08-06
J-p Zryd
Implementation of Saddlepoint Approximations to Bootstrap Distributions
1997-01-27
Free Energy of a Four-Dimensional Chiral Bag
1997-04-26
Evolutionary Algorithms In Robotics
1994-10-20
John Grefenstette
A Flexible Architecture for Reference Resolution
1999-02-10
Dynamic Parallelization of Modifications to Directed Acyclic Graphs
1996-06-20
Lorenz Huelsbergen
Tools and Techniques for Building Fast Portable Threads Packages
1993-12-28
ETAQA: An Efficient Technique for the Analysis of QBD-processes by Aggregation
1998-11-09
A C.a.e. Package For An Intuitive Approach To Microwaves
1996-04-03
Studies on the Effect of Non-coding Segments on the Genetic Algorithm
1970-01-01
Colour Gradients in the Optical and Near-IR
1998-05-25
Roelof S. De Jong
Interdomain Multicast Routing Support for Integrated Services Networks
1997-03-27
Fine-grain Access Control for Distributed Shared Memory
1994-07-13
Optimal Fully Adaptive Minimal Wormhole Routing for Meshes
1997-07-14
New Methods for Competitive Coevolution
1996-08-23
Sensor Geometry for Dynamic Vergence: Characterization and Performance Analysis
1996-05-13
Re Bernardino Jos'e Santos-victor
Using Genetic Algorithms to Learn Reactive Control Parameters for Autonomous Robotic Navigation
1996-01-04
Hard Real-Time Scheduling: The Deadline-Monotonic Approach
1993-07-20
Selective sampling using the Query by Committee algorithm
1997-01-07
Structuring and Visualising an IC-card Security Standard
1996-07-24
Generalized Gross--Perry--Sorkin--Like Solitons
1998-05-25
WDVV and DZM
1997-10-06
Robert Carroll
Bifurcation of homoclinic orbits to a saddle-focus in reversible systems with SO2-symmetry
1998-01-23
Andrei Afendikov
Performance Characteristics of Mirror Servers on the Internet
1998-12-25
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
1996-07-02
The Best Bounds In A Theorem Of Russell Lyons
1998-10-27
SEE Integration to Support Megaprogramming
1995-01-20
Jim Hamilton
Trace Refinement of Action Systems
1994-09-22
Automatic Indexing of Software Artifacts
1994-10-22
Driving Vision by Topology
1997-09-03
Efficient Learning of Typical Finite Automata from Random Walks
1999-02-08
Object-Oriented programs and Testing
1998-09-09
Optimal Embedding of Complete Binary Trees into Lines and Grids
1998-01-29
Image Object Labelling And Classification Using An Associative Memory
1997-03-24
Competition In The Chemostat: A Distributed Delay Model And Its Global Asymptotic Behavior
1970-01-01
Efficient Verification of Symmetric Concurrent Systems
1996-06-13
An Extensible Query Optimizer for an Objectbase Management System
1999-01-14
Catastrophic Risk Evaluation
1997-11-26
Oliver M. Duschka
1996-11-28
Parallel Algorithms for the Minimum Cut and the Minimum Length Tree Layout Problems
1996-05-02
Constructing A Realistic Head Animation Mesh for a Specific Person
1999-01-24
Optimal Control Of Nonconvex Discrete And Differential Inclusions
1997-06-06
Boris S. Mordukhovich
Analyzing Scheduling Policies Using Dimemas
1997-05-30
A System for Constructing Configurable High-Level Protocols
1996-08-16
Observations Of Pulsars, Psr 1509
1997-10-23
The Nearest Neighbors Of Batse Gamma-Ray Bursts: Narrowing The Possibilities
1994-03-31
An Isotopic Invariant for Planar Drawings of Connected Planar Graphs
1996-04-04
J. Hidders
Tractable Induction and Classification in First Order Logic Via Stochastic Matching
1998-12-20
Integrating Multiplicative Preference Relations in a Multipurpose Decision Making Model Based on Fuzzy Preference Relations
1998-06-23
No Two-State CA for Density Classification Exists
1995-01-26
Distributed Data Management in Workflow Environments
1997-07-21
Synchronous Sessions and Fixed Priority Scheduling
1997-03-04
Improving End-to-End Performance of the Web Using Server Volumes and Proxy Filters
1998-05-21
Dynamic analysis of some Relational Data Bases parameters I: Projections
1995-03-29
Guy Louchard
On Using Network RAM as a non-volatile Buffer
1998-08-19
Polynomial Acceleration for Restarted Arnoldi Iteration and its Parallelization
1998-11-06
Programming with Data Dependencies: a Comparison of Two Approaches
1995-01-18
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems
1997-04-16
An Image Retrieval Model Based on Classical Logic
1998-05-20
Residues Of The Eta Function For An Operator Of Dirac Type
1995-01-10
A Generic Neural Network Approach For Constraint Satisfaction Problems
1994-03-03
On The Limits of Steganography
1997-07-15
Issues for a Temporal Refinement Calculus
1998-08-19
Programming Abstractions for Handling Multimedia Data in
1996-03-26
An Operational Semantics for Parallel Lazy Evaluation
1998-10-12
Cooperative and Competitive Concurrency in Fault-Tolerant Distributed Systems
1997-03-04
Cluster-Based File Replication in Large-Scale Distributed Systems
1998-01-26
`C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation
1996-06-16
Intelligent Network configuration: Tools and techniques for efficient performance analysis and optimal service mapping
1996-04-26
Alexander Ost
Information Theoretical Based Design of Hierarchical Channel Coding and Modulation for Mobile Radio Channels
1999-01-20
Alexander Seeger
Elaine Marsh Naval Research Laboratory, Washington, DC, USA
1992-06-08
Elaine Marsh
On Readily Available Supervisory Control Policies that Enforce Liveness in a Class of Completely Controlled Petri Nets
1999-02-02
Ramavarapu S. Sreenivas
Fluid Stochastic Petri Nets: Theory, Applications, and Solution Techniques
1996-12-30
Dynamic Control Models as State Abstractions
1998-11-24
Optimal Edge Detection in SLC Images with Correlated Speckle
1998-07-01
On-the-fly Analysis of Distributed Computations
1995-11-30
An End-to-End TCP-friendly Architecture for Realtime Playback Applications over the Internet
1998-12-22
Reza Rejaie
Datalog with Integer Periodicity Constraints
1994-09-06
NASA Technical Paper 3522
1995-07-19
Approximation Algorithms Minicourse for the 23rd Conference on the Mathematics of Operations Research
1997-12-10
David P. Williamson
Verifying Continuous Time Markov Chains
1996-06-14
Pattern Association and Retrieval in a Continuous Neural System
1995-04-04
Image Registration Based on Boundary Mapping
1995-12-13
Implicit Parallelism in Genetic Algorithms
1994-09-05
An introduction to the FIRE engine: A C++ toolkit for FInite automata and Regular Expressions
1999-01-28
Bruce W. Watson
Tickertape: Notification and Communication in a Single Line
1998-02-03
Analysis And
1999-03-17
The Monodromy Matrix For A Family Of Almost Periodic Schr Odinger Equations In The Adiabatic Case
1997-09-24
Evolutionary Synthesis Modeling of Red Supergiant Features in the Near--Infrared
1998-11-05
Design of a Systolic Coprocessor for Rational Addition
1997-04-08
Tudor Jebelean
Voice Input and Information Exchange in Asynchronous Group Communication
1995-01-10
Robert John Mcqueen
Non-Commutative Geometry and Covariance: From the Quantum Plane to Quantum Tensors
1998-05-23
Centro Mixto
RMSIM: a Serial Simulator for Reconfigurable Mesh Parallel Computers
1998-03-15
Selective Sampling In Natural Language Learning
1995-08-22
Self-Testing/Correcting for Polynomials and for Approximate Functions
1997-03-17
Exotics And
1997-07-29
C. M. Ginsburg
Multibump homoclinic solutions to a centre equilibrium in a class of autonomous Hamiltonian systems
1999-02-15
B. Buffoni
Toward Global Solution of MAP Image Estimation: Using Common Structure of Local Solutions
1999-02-06
Stan Z. Li
New Analyses Of Distributed RC Interconnections
1996-02-14
Andrew B. Kahng
A Search For Mev Gamma-Ray Emission From The Quiet-Time Sun
1997-11-19
Limits to Ground Control in Autonomous Spacecraft
1970-01-01
Analysis of Synfire Chains
1997-12-11
On Pruning and Averaging Decision Trees
1995-06-06
Characterising the Design Space for LINDA Semantics
1997-06-30
The Referential Basis of Abduction and Logic
1996-06-28
Erich Prem
A General Semantics for Evaluation Logic
1993-09-26
Eugenio Moggi
Randomized Algorithms for the Synthesis of Adaptive Controllers
1998-11-23
Constructing Realizers of Semantic Entity Relationship Schemes
1995-06-28
Efficient Computation of the Singular Value Decomposition with Applications to Least Squares Problems
1994-10-27
Nonmonotonic Reasoning, Argumentation and Machine Learning
1995-08-01
Peter Clark
Issues in the Design of a Toolkit for Supporting Multiple Group Editors
1993-06-10
On Markov chains for independent sets
1998-03-20
Multigrid with Inexact Minimal Residual Smoothing Acceleration
1997-02-14
Jun Zhang
The Wall Mesh
1997-02-13
Principles for Developing and Measuring High-performance Web Servers over ATM
1997-10-17
ANDES: Evaluating Mapping Strategies with Synthetic Programs
1996-01-11
Motion Adaptive Model-Assisted Compatible Coding With Spatio-Temporal Scalability
1996-12-02
Harmonic Analysis, Real Approximation, and the Communication Complexity of Boolean Functions
1996-06-14
Vince Grolmusz
Subcontract: A Flexible Base for Distributed Programming
1996-07-02
Internet-based Desktops: Collaborative and Recordable
1997-05-22
Equationnal Semantics
1998-10-21
The Simplex Gradient and Noisy Optimization Problems
1997-10-13
A Formal Model of Security Dependency for Analysis and Testing of Secure Systems
1994-06-01
Distance-Gains By Multiple-Duplex Transmission, Coding, And Shaping For Hdsl
1996-02-19
Johannes Huber
Design Issues in High Performance Media-on-Demand Servers
1995-03-22
Inversion Formula for Continuous Multifractals
1998-02-09
TCP Performance in a Geostationary Satellite Environment
1998-09-17
Persistent Linda: Linda + Transactions + Query Processing
1997-07-18
Brian G. Anderson
E-Mail:Fsumiya,noda,tanakag@db.cs.kobe-U.ac.jp
1998-03-11
Towards Partial Reasoning
1998-04-21
Krzysztof Zbigniew Nowak
Defining Quantum Dynamical Entropy
1997-04-26
R. Alicki
Parallel Engineering and Scientific Subroutine Library Guide and Reference
1997-05-01
Document Number Gc
Discretization and Localization in Successive Convex Relaxation Methods for Nonconvex Quadratic Optimization Problems
1998-07-23
Masakazu Kojima
Architectural Convergence and The Granularity of Objects in Distributed Systems
1996-07-15
Robert J. Fowler
Vision Based Teleoperated Cellular Robots
1997-06-12
Carlos Carreira
A Fortran-to-C Converter
1995-03-22
D symbology for sensing and simulation Gregory Turner
1996-04-22
Open Loop Dynamic Control of Parts Moving on an Intelligent Motion Surface Along Paths Composed of a Sequence of Straight Line Segments
1997-05-20
Pavel Bleher and Alexander Its
1997-04-26
jc: An Efficient and Portable Sequential Implementation of Janus
1992-08-05
Active Messages: a Mechanism for Integrated Communication and Computation
1996-11-13
Parts Feeding on a Conveyor with a One Joint Robot
1998-02-20
Differential Editors
1993-02-04
An Open Dense Set Of Stably Ergodic Diffeomorphisms In A Neighborhood Of A Non-Ergodic One
1999-03-01
A Compact Task Graph Representation for Real-Time Scheduling
1996-03-13
A Service with Bounded Degradation in Quality-of-Service Networks
1995-07-22
Automatic Generation of Invariants and Intermediate Assertions
1996-06-03
A Scientific Multimedia Database System for Polymer Science Experiments
1997-04-17
Systematic Nonlinear Planning
1995-02-12
The Emergence of Phonology from the Interplay of Speech Comprehension and Production: A Distributed Connectionist Approach
1998-02-03
A Form Document Image Parser
1998-08-05
Tips for Computer Scientists
1996-02-29
Sensor-Fused Navigation and Manipulation from a Planetary Rover
1998-09-15
Programming Colonies of Biological Cells
1999-01-08
Ecosystems as Complex Systems
1998-09-24
Patrick Mcguire
Experimental Evaluation of an ATM Host Interface
1996-05-23
Projective Convexity in P³ Implies Grassmann Convexity
1998-09-27
Object Views and Updates
1996-09-13
C. Souza Dos Santos
Higher-order Unification with Dependent Function Types
1994-03-18
Conal M. Elliott
Generating Pitch Accent Distributions That Show Individual And Stylistic Differences
1999-03-21
Janet E. Cahn
A Reactive Planner for a Model-based Executive
1997-05-01
Task Model Tracing
1997-03-10
Trade-offs Between Communication Throughput and Parallel Time
1998-02-11
Detection And Transcription Of New Words
1995-08-21
Lattice Computers for Optimally Representing Euclidean Space
1995-05-03
On the Application of Measurement Theory in Software Engineering
1995-10-10
Namespaces in XML
1998-07-02
BLAS Technical Workshop
1995-12-12
Cooperative Parallel Automated Theorem Proving
1997-07-18
Computational Complexity And Knowledge Complexity
1999-03-28
Specifying Flexible Concurrency Control Schemes: An Abstract Operational Approach
1997-03-11
Object Distribution in Orca using Compile-Time and Run-Time Techniques
1994-03-21
A More General Central Limit Theorem for
1997-07-23
An Architecture for Multimodal Information Fusion
1997-09-18
Handling Parallel Processing in Multimedia Systems
1997-11-13
Motion Analysis for Image Enhancement: Resolution, Occlusion, and Transparency
1994-01-12
Online Perfect Matching and Mobile Computing
1996-03-25
Unconditional Bases are Optimal Bases for Data Compression and for Statistical Estimation
1998-10-19
David L. Donoho
Computation of Configuration-Space Obstacles Using the Fast Fourier Transform
1996-11-05
Lydia Kavraki
Using Animations to Learn about Algorithms: An Ethnographic Case Study
1996-09-16
ISR3: Communication and Data Storage for an Unmanned Ground Vehicle
1999-04-21
High Performance and Scalability Through Associative Client-Side Caching
1997-08-17
Parallel Coordinate Representations of Smooth Hypersurfaces
1998-12-19
Alfred Inselberg
Scalability Improvement of the Real-time Control Protocol RTCP Leading to Management Facilities in the Internet
1998-07-16
Asymptotically Tight Bounds for Performing BMMC Permutations on Parallel Disk Systems
1970-01-01
Pseudospectral Solutions for Steady Motion of a Viscous Fluid Inside a Circular Boundary
1999-04-23
The Geometry Of Mixed First And Second-Order Differential Equations With Applications To Non-Holonomic Mechanics
1996-04-11
W Sarlet
Position Statement
1997-06-02
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model
1996-06-24
Low Power CMOS Digital Design
1970-01-01
Alain Guyot
On Topological Elementary Equivalence of Spatial Databases
1998-12-27
A Literature Review on the Quantification of Software Change
1998-10-01
A. L. Powell
Concurrent Maintenance of Lists
1998-09-05
William Pugh
A Framework for Consistent, Replicated Web Objects
1998-10-14
A Slow Motion Engine for the Analysis of FPGA-Based Prototypes
1996-11-11
Session Key Distribution Using Smart Cards
1996-12-04
Learning Lie Groups for Invariant Visual Perception
1998-12-23
Preliminary results of the C-STAR project at IRST
1996-12-13
An integral equation program for the planar Laplace equation
1994-10-20
Shape-based Image Retrieval Using Geometric Hashing
1997-04-08
On-Line Coarse Ore Granulometric Analyzer Using Neural Networks
1996-09-16
Potential Application Areas for Bayesian networks within Sow Production
1998-01-19
Stability And Stabilization Of A Active Surface.
1997-06-06
Lightweight Run-Time Code Generation
1994-11-25
A Learner Model Reason Maintenance System
1995-09-18
A. Paiva
References 120
1997-01-29
Filament Surgery and Temporal Grid Adaptivity Extensions to a Parallel Tree Code for Simulation and Diagnosis in 3D Vortex Dynamics
1997-09-08
Shared Memory versus Message Passing for Iterative Solution of Sparse, Irregular Problems
1999-01-24
Improving the Performance of Infomax Using Statistical Signal Processing Techniques
1997-07-08
A Logical Characterization of Bisimulation for Labeled Markov Processes
1999-01-19
On The Arithmetic-Geometric Mean Inequality And Its Relationship To Linear Programming, Matrix Scaling, And Gordan's Theorem
1998-10-01
Bahman Kalantari
Secure Execution of Java Applets using a Remote Playground
1998-03-25
Closed Commutants Of The Backward Shift Operator
1997-06-14
Daniel Su Arez
Affine Invariants of Planar Sets
1997-05-20
Kalle Astrom
Preliminary Design of JML: A Behavioral Interface Specification Language for Java
1998-06-05
Control Philosophy and Simulation of a Robotic Hand as a Model for Prosthetic Hands
1998-12-19
Ffl Ffl Ffl
1998-06-05
Formalizing Robert's Rules of Order. An Experiment in Automating Mediation of Group Decision Making
1998-02-11
Henry Prakken
A Two-level World Wide Web Model with Logic Programming Links
1997-05-28
Esprit Iii
1995-05-16
Query Evaluation in Constraint Databases
1998-08-05
David Toman
RNA Movies - Visualizing RNA Secondary Structure Spaces
1997-12-02
A Reliable, Adaptive Network Protocol for Video Transport
1995-07-19
The Implementation and Visualisation of a Large Spatial Individual-Based Model using Fortran 90
1997-06-06
BDDs and Automated Deduction
1994-07-05
Jean Goubault
The Design of a Unicode Font
1997-10-31
From Proof Nets to Games Extended Abstract
1996-10-31
XFL: A Language For The Definition Of Fuzzy Systems
1998-04-02
Remarks on Regulated Limited ET0L Systems and Regulated Context-Free Grammars
1996-05-28
On the Calculation of Time-Varying Stability Radii
1997-10-14
Fabian Wirth
Supporting IP Multicast Integrated Services in ATM Networks Status of
1998-08-14
Parallel Simulator For Abrupt Heterojunction Bipolar Transistors.
1998-11-26
Discovery of Multiple-Level Association Rules from Large Databases
1999-01-18
Slicing Programs with Arbitrary Control Flow
1992-12-23
Dieter Fox
1998-09-29
Programming Parallel Applications in Cilk
1997-12-07
Flow Visualization for Multiblock Multigrid Simulations
1997-01-28
Using A Functional Notation To Specify
1996-07-26
Half-Sync/Half-Async
1997-03-06
Multimodal Maps: An Agent-based Approach
1996-02-16
Measures With Finite Index Of Determinacy Or A Mathematical Model For Dr. Jekyll And Mr. Hyde
1997-04-29
Concurrent Timing Optimization of Latch-Based Digital Systems
1995-02-06
The "Out-Longitudinal" Cross Term and Other Model Independent Features of the Two-Particle HBT Correlation Function
1998-01-19
Exact Primitives for Smallest Enclosing Ellipses
1997-05-26
On Normalisation
1999-01-28
Egon B orger
1996-06-24
Egon B Orger
Mobile Computations and Hostile Hosts
1999-01-14
Constraint Aggregation Principle in Convex Optimization
1995-11-07
Automatic 3-Language Cross-Language Information Retrieval with Latent Semantic Indexing
1998-01-08
An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming
1996-11-11
Astronomy And Astrophysics
1999-03-22
Generalization-Based Data Mining in Object-Oriented Databases Using an Object Cube Model
1999-01-18
Http://www.bsp-Worldwide.org/
1970-01-01
Coordinated Hospital Patient Scheduling
1998-07-16
A Simple Mechanism for Improving the Accuracy and Efficiency of Instruction-level Disambiguation
1999-01-12
Achieving Dextrous Grasping By Integrating Planning and Vision Based Sensing
1998-04-09
An Experimental Perspective on Genetic Programming
1994-11-14
Linear Algebra Kernels for Parallel Domain Decomposition Methods
1995-11-14
Lutz Kettner
1994-02-18
Made-to-measure N-body systems
1996-09-10
D. Syer
Off-line Algorithms for The List Update Problem
1995-10-16
Symbolic Composition
1998-01-27
General Word Sense Disambiguation Method Based on a Full Sentential Context
1998-06-30
Parking Functions and Noncrossing Partitions
1997-12-26
Richard P. Stanley
Book review: Logic and Visual Information, Eric M. Hammer
1997-10-13
Normal Forms and Nonlinear Symmetries
1997-04-26
Giampaolo Cicogna
Hyperfine Splitting in Bottomium as a Precise Probe of the QCD Vacuum.
1998-05-15
Architectural Issues in the Design of Future AI-Based Schedulers
1998-12-21
Claude Le Pape
Application of Evolutionary Algorithms to Protein Folding Prediction
1997-09-19
A General Methodology for Characterizing Access Patterns and Analyzing Web Server Performance
1998-06-26
Optimistic Incremental Specialization: Streamlining a Commercial Operating System
1995-12-24
Evolutionary Trees can be Learned in Polynomial Time in the Two-State General Markov Model
1998-07-21
Lexical Knowledge Acquisition from Corpora
1998-05-06
SNR Mismatch and On-Line Estimation in Turbo Decoding
1997-10-10
Specifications of Knowledge Components for Reuse
1999-02-01
Steps towards Lattice Virasoro Algebras: su1,1
1998-06-19
Scheduling as a Fuzzy Multiple Criteria Optimization Problem
1997-06-21
Wolfgang Slany
Multilayer Perceptron Training with Inaccurate Derivative Information
1997-01-10
The Prototype Safety System for Robots Near Flight Hardware
1998-11-17
Optimism Vs. Locking: A Study Of Concurrency Control For Client-Server Object-Oriented Databases
1997-03-03
Robert E. Gruber
A Survey on Chinese Speech Recognition
1996-04-15
Some simulation results about TCP connections in ATM networks
1996-03-07
Blind Channel Estimation for Multi-user CDMA Systems
1998-04-14
Evolving Algebras: An Attempt To Discover Semantics
1996-09-10
Yuri Gurevich
Timed DILL: Digital Logic in LOTOS
1970-01-01
An Evaluation of Statistical Approaches to Text Categorization
1998-10-15
Yiming Yang
Lexical Discrimination with the Italian Version of WORDNET
1997-05-08
A Rigorous Analysis Of Time Domain Parallelism
1995-12-07
S. Malhotra
Robust Path Choice and Vehicle Guidance in Networks With Failures
1970-01-01
Michael C. Ferris
Link-sharing and Resource Management Models for Packet Networks
1997-04-23
Departamento de F'isica Te'orica, Universidad de Zaragoza, 50009 Zaragoza
1997-05-15
M. A. Del Olmo
A General Technique for Implementation of Efficient Priority Queues
1994-12-04
Efficient Image Retrieval using a Network with Complex Neurons
1995-07-24
Further Facts About Input To State Stabilization
1998-01-13
Eduardo D. Sontag
The V- and W-operators in Inverse Resolutions
1995-11-30
Shan-hwei Nienhuys-cheng
Design and Implementation of a Soft Caching Proxy
1999-01-21
Alignment by Maximization of Mutual Information
1996-09-21
A Group Structuring Mechanism for a Distributed Object-oriented Language
1994-04-28
Brian N. Bershad
Generalization Bounds via Eigenvalues of the Gram Matrix
1999-03-25
Principles of Object-Oriented Query Languages
1995-01-16
Optimal Traffic Light Control for a Single Intersection
1999-01-08
Software Engineering of Virtual Environments: Integration and Interconnection
1998-09-05
A Duality Approach in the Optimization of Beams and Plates
1998-10-19
Using Persistence Technology to Control Schema Evolution
1997-03-11
Enhancing Intra-Transaction Concurrency in Object Bases
1998-10-02
Regularity Properties Of Some Stochastic Volterra Integrals With Degenerate Kernel
1998-06-18
L. Decreusefond
A Multifractal Wavelet Model with Application to Network Traffic
1999-03-01
An Efficient Architecture for Loop Based Data Preloading
1996-09-21
Management of QoS with Software Agents
1998-04-23
Resource Bounded Randomness and Weakly Complete Problems
1996-01-22
How Much Memory is Needed to Win Infinite Games?
1997-04-24
Adaptive Sentence Boundary Disambiguation
1995-03-22
A Chiral N=1 Type I Vacuum in Four Dimensions and Its Heterotic Dual
1997-06-09
Zurab Kakushadze
Can Galactic Observations Be Explained by a Relativistic Gravity Theory?
1998-05-12
Three Self-Consistent Kinematics in 1+1D Special-Relativity
1998-05-25
P. Fraundorf
From theory to practice: The UTEP robot in the AAAI 96 and AAAI 97 robot contests
1999-02-22
Dartmouth College Computer Science DartCVL: The Dartmouth C Vector Library
1999-02-05
A Functional Approach to External Graph Algorithms
1999-02-24
The Automatic Marking Of Prominence In Spontaneous Speech Using Duration And Part Of Speech Information
1998-08-17
A Family of Design Patterns for Application-Level Gateways
1997-04-25
Douglas C. Schmidt
Defaults and Revision in Structured Theories
1992-05-13
Mark Ryan
Compositionality via cut-elimination: Hennessy-Milner logic for an arbitrary GSOS
1995-03-31
Alex K. Simpson
Preventing Denial and Forgery of Causal Relationships in Distributed Systems
1998-09-26
Analysis of Electromagnetic Scattering Using Arrays of Fictitious Sources
1997-03-30
Transforming CHIP Programs to KL1 - Design and Implementation of the CHUKL Preprocessor
1995-07-06
Konstantinos D. Varsamos
Pyramid-Based Texture Analysis/Synthesis
1995-05-04
Discovery of Self-Replicating Structures Using A Genetic Algorithm
1995-11-15
Using Integer Sets for Data-Parallel Program Analysis and Optimization
1998-04-08
Distinguishability Condition and the Future Subsemigroup
1995-08-21
Algorithmic Aspects of Partial List Colorings
1999-03-30
An Efficient Computation of the Extended Generalized Closed World Assumption by Support-for-Negation Sets
1997-03-14
Dietmar Seipel
A Generation Perspective on Speech Production in Dialogue
1997-12-19
Bounds and Approximations for Overheads in the Time to Join Parallel Forks
1995-09-01
Peter J. Downey
+656: A Quadruple Lens System Found in the CLASS Gravitational Lens Survey
1995-05-05
Http://www.bsp-Worldwide.org/
1997-06-04
Sequential Inductive Learning
1995-08-29
Jonathan Gratch
The Impact of Scaling on a Multimedia Connection Architecture
1994-12-15
An Efficient Logging and Recovery Scheme for Lazy Release Consistent Distributed Shared Memory Systems
1999-05-12
April 24, 1990
1990-09-21
Don Libes
Transformer Tunnels: A Framework for Providing Route-Specific Adaptations
1998-06-23
A Comparison of Multispectral Image Classifiers Using High-Dimensional Simulated Data Sets
1997-02-07
Balancing Domain Decomposition For Plates
1996-07-01
The 1st International Paderborn Computer-Othello Tournament
1999-03-26
An application of SOL-resolution: checking regulation consistency
1998-07-20
Laurence Cholvy
Shape Types
1997-01-21
Bayesian Wavelet analysis with a model complexity prior
1998-09-16
Description Trees for Some Families of Planar Maps.
1998-10-21
Sequential Consistency in Distributed Systems : Theory and Implementation
1994-11-28
LPSP: A Linear Plan-level Stochastic Planner
1998-01-24
Interaction with Texts: Information Retrieval as Information-Seeking Behavior
1998-02-18
Nicholas J. Belkin
Dialogue Acts in VERBMOBIL-2
1998-07-06
Confidence Measures For Spontaneous Speech Recognition
1997-05-28
Historical Links to a Lie Theory of Semigroups
1995-08-21
Games Models of Untyped lambda-Calculus
1998-12-09
On The Geometry Of
1995-11-02
Suresh Govindarajan
Two Algorithms for Inducing Causal Models from Data
1994-05-24
A Multiresolution Synthetic Environment Based On Observer Viewpoint
1996-09-06
Copyright C
1997-10-13
Darren J. Wilkinson
On-line Learning and the Metrical Task System Problem
1998-08-12
The Functional Side of Logic Programming
1999-03-25
Massimo Marchiori
E.Olivieri
1997-04-26
Bounding the Unbounded Extended Abstract
1996-03-07
Generic Behaviors: An Approach to Modularity in Intelligent Systems Control
1998-12-29
Cryptanalysis of FROG
1998-08-16
A Parallel Programming Tool for Scheduling on Distributed Memory Multiprocessors
1992-04-17
Groebner Basis Under Composition
1997-03-10
Hoon Hong
Optimal Algorithms On Reconfigurable Meshes
1998-07-14
TIGUKAT Object Management System: Initial Design and Current Directions
1994-05-06
Generating specialized C++ Code from parametrized CLAIRE pseudo-code
1996-03-13
Cole Normale Supérieure
A Personal Paradigm for Computer-Aided Visualization
1996-11-04
Facilitating the Maintenance of Safety-Critical Systems
1998-09-17
No Assembly Required: Compiling Standard ML to C
1993-11-12
I IRISA Endorsement Letter
1997-03-31
Coordination Patterns for Parallel Computing
1998-08-03
An Interface for a Fragment Assembly Kernel
1996-06-18
Stress Concentrations for Straight-Shank and Countersunk Holes in Plates Subjected to Tension, Bending, and Pin Loading
1997-09-10
What You See Is What I Want: Experiences With The Virtual X Shared Window System
1993-08-26
VDM Specification of the Steam-Boiler Control using RSL Notation Appendix
1998-12-17
Christian P. Schinagl
Evolutionary Neural Networks for Value Ordering in Constraint Satisfaction Problems
1994-08-21
Intermail And Commercial Mail Relay Services
1991-04-21
Production and Two-photon Decay of the MSSM Scalar Higgs Bosons at the LHC
1998-05-13
Bootstrap Goodness-of-Fit Test for the Beta-Binomial Model
1998-12-05
An Integrated Problem Solving Environment: The SCIRun Computational Steering System
1998-02-16
A Neural Model of Preattentional and Attentional Visual Search
1997-09-16
Methodologies and Systems for Heterogeneous Concurrent Computing
1993-09-16
V. S. Sunderam
National HPCC Software Exchange
1995-02-13
A Family of Non-Buekenhout Unitals in the Hall Planes
1997-10-29
Jeremy M. Dover
Distributed Deadlock Detection in Ada Runtime Environments
1993-09-01
A Micro Approach to the Issue of Hysteresis in Unemployment: Evidence from the 1988-1990 Labour Market Activity Survey
1997-06-18
Gordon Wilkinson
Methods and Techniques of Adaptive Hypermedia
1999-01-24
Peter Brusilovsky
Gradient Method Based Design Methodology for Time and Area Optimization of a Pipelined Attached Processor Architecture
1999-01-20
The Sensitivity of Communication Mechanisms to Bandwidth and Latency
1999-01-24
Algorithmic Issues on Heterogeneous Computing Platforms
1999-03-10
Automated Construction of Testing and Analysis Tools
1995-05-05
Routing-directed Placement for the TRIPTYCH FPGA
1994-12-06
The Core For Economics With Price Influence Utilities
1998-10-09
Projections for Strictness Analysis
1995-11-02
Conventionality-Governed Logical Metonymy
1996-11-18
Cornelia Maria Verspoor
Algorithms and Orders for Finding Noncommutative Gröbner Bases
1970-01-01
Speech Recognition And Information Retrieval: Experiments In Retrieving Spoken Documents
1997-04-14
Optimal Storage Management of Relations for Join Operations
1995-09-07
Non-commutative logic II: sequent calculus and phase semantics
1998-12-15
Paul Ruet
Penalized Likelihood Estimation: Convergence under Incorrect Model
1997-04-11
Chong Gu
Probabilistic Planning in the Graphplan Framework
1998-05-13
View-based Rendering: Visualizing Real Objects from Scanned Range and Color Data
1997-05-20
Constraint-Generating Dependencies
1996-12-16
Marianne Baudinet
Submodule Algebras
1995-06-01
An Rf Cavity For Barrier Bucket Experiment In The Ags
1998-04-10
Generation of Language Independent Modular Prettyprinters
1997-03-03
Incremental Cryptography: The Case of Hashing and Signing
1998-01-23
Replica Symmetry Breaking in the Random Replicant Model
1995-02-03
Forecasting The Levels Of Vector Autoregressive Log-Transformed Time Series
1996-12-09
Experience with a Graph-Based Propagation Programming Tool
1994-12-01
Limitations Of A Standard Model Higgs Boson
1997-11-13
Kurt Riesselmann
Continuous Time Threshold AR1 Processes
1995-10-03
Differential Cryptanalysis of REDOC III
1998-06-13
Ken Shirriff
Dynamic Load Balancing In A Message Passing Virtual Parallel Machine
1998-06-09
Advanced Program Restructuring for High-Performance Computers with Polaris
1996-03-29
Viterbi Decoding with Dual Timescale Traceback Processing
1996-02-14
Multi-rate Convolutional Codes
1998-05-07
Lattice Gauge Fields and Noncommutative Geometry
1997-04-26
Large Deviation Properties of Data Streams that Share a Buffer
1970-01-01
Global Optimization by Multilevel Coordinate Search
1997-05-03
Modularity within Neural Networks
1995-09-04
On Nested Depth First Search
1998-07-04
Analytical Performance Prediction on Multicomputers
1998-07-02
Average Profile Of The Lempel-Ziv Parsing Scheme For A Markovian Source
1998-09-07
A Complex Example of a Simplifying Rewrite System
1998-06-26
Masaharu Morimoto
1997-05-23
Masaharu Morimoto
Quasi-convex Functions and Quasi-monotone Operators
1995-10-27
Vladimir L. Levin
Flag-Symmetry of the Poset of Shuffles and a Local Action of the Symmetric Group
1998-03-09
On Reconstruction of Chaotic Attractor From Time Series Represented as "clusters"
1996-04-04
Interactive and Exact Collision Detection for Large-Scaled Environments
1997-06-23
An Analog Multimode Visual Feature Extraction Retina
1998-06-02
Tree-Based State Tying for High Accuracy Acoustic Modelling
1994-09-20
Exploiting Invariants In The Numerical Solution Of Multipoint Boundary Value Problems For DAE
1996-07-03
Service Interface and Replica Management Algorithm for Mobile File System Clients
1996-10-29
Optimal Interaction of Mutation and Crossover in the Breeder Genetic Algorithm
1995-01-12
BSP Modelling of Two-Tiered Parallel Architectures
1999-02-12
On Extending Some Primal-Dual Interior-Point Algorithms From Linear Programming to Semidefinite Programming
1997-04-14
Yin Zhang
The RC5 Encryption Algorithm
1994-12-11
Ronald L. Rivest
Matoura: Multi-Agent Tourist Advisor
1998-08-03
The XS Suite : Portable 3D Graphics with X
1997-08-25
A Fast, Affordable System for Augmented Reality
1999-01-22
David Larose
SingleStepping in Event-Visualisation Tools for Distributed Applications
1996-09-03
Marc Khouzam
Mobile Agent Architecture For Nomadic Computing
1999-03-09
Andrzej Duda
Compile-time Inter-query Dependence Analysis
1995-11-29
Specifying Real-Time Systems in Rewriting Logic
1996-11-08
Nl Eb Fflnn
1998-03-09
Naoto Takahashi
Rate-Optimality of Cyclo-Static Schedules
1997-03-19
Argument Structure, Valence, and Binding
1998-07-31
A Computational-Geometry-Based Tool for the Cellular Design of Millimeterwave Mobile Communications Systems in Urban Environments
1996-10-23
Neuromorphic Vision Sensors and Preprocessors in System Applications
1998-10-07
Queue Layouts and Staircase Covers of Matrices
1995-01-22
Recognizing Emotion In Speech
1997-02-06
The End-to-End Effects of Internet Path Selection
1999-02-17
Onera/cert
1996-04-30
Simple Algorithms for Routing on Butterfly Networks with Bounded Queues
1997-04-30
Aggregation Operators for Linguistic Weighted Information
1996-10-04
On Discrete-Time Control of Current-fed Induction Motors
1999-01-21
Typed Closure Conversion
1998-03-16
Search for the Flavor-Changing Neutral-Current Decays
1996-03-27
On Extending Some Primal-Dual Interior-Point Algorithms From Linear Programming to Semidefinite Programming
1997-04-14
Yin Zhang
Quasi-periodic Motions of a Rigid Body I
1997-05-12
Parametric Models are Versatile: The Case of Model Based Optimization
1996-01-30
P. Fua
Dynamic View-Dependent Partitioning of Grids with Complex Boundaries Track: Applied
1999-01-25
High Quality Audio Compression Using an Adaptive Wavelet Packet Decomposition and Psychoacoustic Modelling
1999-02-06
On-Line Q-Learning Using Connectionist Systems
1994-10-04
Multimedia Support for Databases
1998-03-06
Conventional Vs. Neuro-Conventional Segmentation Techniques for Handwriting Recognition: A Comparison
1998-08-12
Catastrophic Faults in Reconfigurable Linear Arrays of Processors
1999-05-04
Characterization Of Talker Radiation Pattern Using A Microphone Array
1996-02-15
Tradeoffs Between Size and Time in Reconfigurable Meshes
1998-04-05
Beowulf: A Parallel Workstation For Scientific Computation
1998-03-17
Some Thoughts on Distributed Recovery
1997-01-27
Nitin H. Vaidya
On the Monodromies of N=2 Supersymmetric Yang-Mills Theory with Gauge Group SO2n
1998-05-13
A. Br
Implementing Real Root Count with Polynomial Constraints for the Multivariate Case with one Constraint Polynomial
1995-12-01
Constructive Machine Learning: A New Neuro-Symbolic Approach
1997-04-17
Using Discourse to Aid Hypertext Navigation
1996-08-19
Automatic Differentiation of Nonlinear AMPL Models
1991-08-29
GIOTTO: an interactive program for the analysis of 2D area preserving mappings
1997-12-02
Webmap - A Graphical Hypertext Navigation Tool
1994-09-01
Peter Domel
Propagation Delay Estimation in Asynchronous Direct-Sequence Code-Division Multiple Access Systems
1994-09-06
A New Approach for Blind Source Separation Using Time Frequency Distributions.
1997-04-08
Implementing a Generic Systolic Array for Genetic Algorithms
1996-11-12
Inductive and Coinductive types with Iteration and Recursion
1997-09-17
Herman Geuvers
Scalability of Parallel Spatial Direct Numerical Simulations on Intel Hypercube and IBM SP1 and SP2
1995-12-13
The Procrustes Problem For Orthogonal Stiefel Matrices
1996-08-15
Quadratic Growth and Stability in Convex Programming Problems with Multiple Solutions
1995-10-27
A Suite of UNIX Filters For Fragment Assembly
1996-06-14
Gene Myers
Counting Representable Sets On Simple Graphs
1997-06-17
Peter G. Jeavons
Design of a Genetic-Fuzzy System for Planning Crab Gaits of a Six-legged Robot
1998-12-04
Predictive Systems for Speaker Identification: Heuristics for Model Selection.
1996-01-18
Realtime-learning on an Autonomous Mobile Robot with Neural Networks
1999-03-01
Xerox TREC-6 Site Report: Cross Language Text Retrieval
1998-11-25
Visual Navigation: Combining visual servoing and appearance based methods
1998-05-20
Logical Time Coherence Maintenance
1998-04-29
Default Logic and Autoepistemic Logic: Fixed Points and Common Semantic Framework
1996-11-05
Choh Man Teng
Replication Using Group Communication Over a Partitioned Network
1996-03-19
Yair Amir
ISBN 0--8186--6440--1. Copyright 1994 IEEE. All rights reserved.
1994-12-01
Andrew M. Odlyzko ATT Bell Laboratories amo@research.att.com November 6, 1994 Full version
1998-12-14
Andrew M. Odlyzko
Multiple Encryption with Minimum Key
1998-10-08
Statistical Analysis and Histogramming Reference Manual
1999-03-08
Hbook Statistical Analysis
Hawking Radiation Entropy and Horizon Divergences
1996-04-05
Evaluating Array Expressions on Massively Parallel Machines with Communication/Computation Overlap
1996-09-25
Word-Level Decision Diagrams, WLCDs and Division
1998-08-04
Reducing Network Latency Using Subpages in a Global Memory Environment
1998-12-10
An Engineering Approach to Formal Methods
1970-01-01
K. J. Turner
Exploiting Power-up Delay for Sequential Optimization
1998-08-27
Towards Comprehensive Support for the Dynamic Analysis of Petri Net based Models
1995-07-26
Reinforcement Learning: A Survey
1996-09-18
Dynamic domain splitting for numeric CSPs
1998-09-29
Productivity of Research Groups --- Relation Between Citation Analysis and Reputation Within Research Communities
1998-04-28
Junichiro Makino
Relaxation as a Platform of Cooperative Answering
1998-10-22
A Single-iteration Threshold Hamming Network
1995-04-03
I. Meilijson
Where Mathematics meets the Internet
1998-10-06
Zhiqing ZHANG
1998-12-18
Zhiqing Zhang
Toward Assessing Approaches to Persistence for Java
1998-11-25
Notes on PCA, Regularization, Sparsity and Support Vector Machines
1998-07-22
Source Number Estimator In Pulse Train Data
1996-12-06
Jane Perkins
Numerical Simulation of The Settling of Polydisperse Suspensions of Spheres
1999-03-08
Neutron Capture Reaction Rates of Unstable Isotopes in the s--Process Branchings
1998-02-06
Some Critical Success Factors for Knowledge Based Software Engineering Applications
1999-01-18
A Fully Configurable Simulation Model for a Network of Interacting Processors
1998-04-18
The HARP Reconfigurable Computing System
1994-10-26
Evaluation and approximate evaluation of the multivariate Bernstein-Bézier form on a regularly partitioned simplex
1995-01-19
Jorg Peters
Journal of Graph Algorithms and Applications
1997-12-08
Representations and Characterizations of Vertices of Bounded-Shape Partition Polytopes
1998-09-03
Grounding Agent Sociality: The Social World is its Own Best Model
1998-01-29
Kerstin Dautenhahn
Differentiable Chromosomes
1997-08-27
On The Unique Solvability Of Some Nonlinear Stochastic Pdes Hyek Yoo
1999-04-04
Hyek Yoo
On Evolving Robust Strategies for Iterated Prisoner's Dilemma
1998-12-28
Variational Problems on Flows of Diffeomorphisms for Image Matching
1970-01-01
A Geometric Criterion for the Convexity of Powell-Sabin Interpolants and its Multivariate Generalization
1998-08-20
A Complete Axiomatization of a Theory with Feature and Arity Constraints
1996-04-30
Concurrency and Recovery in Generalized Search Trees
1997-02-24
Decoherence and Dissipation in Quantum Two-State Systems
1970-01-01
M. Grigorescu
Scheduling Adaptively Parallel Jobs
1970-01-01
Bin Song
A Methodology for Benchmarking Java Grande Applications
1999-03-03
Learning Evolving Concepts Using Partial-Memory Approach
1998-01-24
Correctness
1997-03-11
Noisy Aerodynamic Response And Smooth Approximations In Hsct Design
1995-10-25
Mode Initialization when Simulating Switched Bond Graphs, Version II
1998-08-20
Krister Edstrom
Partitioning a Lenient Parallel Language into Sequential Threads
1997-02-05
Image Guided Microscopic Surgery System Using Mutual-Information Based Registration
1996-11-12
Correlations decay for Markov maps on a countable states space.
1998-11-20
Deception Considered Harmful
1992-09-04
John J. Grefenstette
Synthesis of the Hardware/Software Interface in Microcontroller-Based Systems
1997-11-12
Associative Datafields in Automotive Control
1996-03-06
LAPACK Working Note 101 A Proposal for a Fortran 90 Interface for LAPACK
1995-12-09
A Collaboration-Enabling Framework For Java Beans
1998-03-30
Graduate School---new Brunswick
A Model for Chemosensory Reception
1996-05-17
Effective Search Problems
1998-09-29
Scotch 3.0 User's Guide
1995-11-23
On Some Issues Connected With Roughly Continuous Functions
1995-11-03
Zdzislaw Pawlak
Multiple Fuzzy Reasoning Approach to Fuzzy Mathematical Programming Problems
1997-12-11
Robert Fuller
Volume Of Riemannian Manifolds, Geometric Inequalities, And Homotopy Theory
1998-11-20
Formal Specification for Free-Form Curves and Surfaces
1998-05-05
Anonymous Atomic Transactions
1998-10-06
An Engineer's Approach to the Application of Knowledge Based Planning and Scheduling Techniques to Logistics
1995-11-06
Machine Learning From Agricultural Databases: Practice and Experience
1995-07-03
Geometric Sequences Of Discs In The Apollonian Packing
1998-04-24
The Reflectiveness Of Covering Morphisms In Algebra And Geometry
1997-06-12
Collision Graph based Communication Scheduling for Parallel Systems
1997-04-17
EdgeFlow: A Technique for Boundary Detection and Image Segmentation
1998-07-22
Hybrid Algorithms for Digital Halftoning and Their Application to Medical Imaging
1996-04-29
Taguchi and Robust Optimization
1997-03-28
Michael W. Trosset
Weaker D-Complete Logics
1998-01-08
Norman D. Megill
The X-tree: An Index Structure for High-Dimensional Data
1970-01-01
First-Order Conditional Logic Revisited
1999-02-11
Approximate Range Searching
1998-06-25
A New Video Noise Reduction Algorithm Using Spatial Subbands
1998-08-06
Formal Performance Modeling and Evaluation of an Adaptive Mechanism for Packetized Audio over the Internet
1998-10-06
Infrared Counterpart of the Gravitational Lens 1938+66.6
1996-04-12
Audio System For Technical Readings
1994-02-01
Design and Performance of an Object-Oriented Framework for High-Speed Electronic Medical Imaging
1996-08-08
High-level Message Sequence Charts
1999-01-28
Giovanni Gallavotti
1997-04-26
Giovanni Gallavotti
Effects of Different Types of New Attribute on Constructive Induction
1997-05-30
Zijian Zheng
Optimal Processor Allocation for Sort-Last Compositing under BSP-tree Ordering
1998-06-29
Implementing Network Protocols at User Level
1994-07-28
Extending The Take-Grant Protection System
1997-06-18
Complete Flat Affine And Lorentzian Manifolds
1999-02-16
a Posteriori
1996-12-16
Synthesis of Weighted Random Sequences with Application to Testing of Sequential Circuits
1997-04-09
Linear Programming Duality and Morphisms
1970-01-01
Implementation Of Bidirectional Ray Tracing Algorithm
1998-04-10
Optimal Channel Allocation for Data Dissemination in Mobile Computing Environments
1998-04-01
On Formalizing Database Updates: Preliminary Report
1997-05-19
Raymond Reiter
Evolutionary Learning of Mobile Robot Behaviors
1997-02-15
Frank Hoffmann
High Speed Search of Large Text Bases on theFujitsu Cellular Array Processor
1996-11-08
David Hawking
Inter-Action Refinement: The Easy Way
1997-09-29
Manfred Broy
Effects of Delayed Communication in Dynamic Group Formation
1995-11-08
A Semantics for Evaluation Logic extended version
1993-09-26
Eugenio Moggi
Integrating Telicity, Aspect and NP Semantics: The Role of Thematic Structure
1998-08-30
Hana Filip
Eliminating Traces of Spoken Language Production in Automatic Dialogue Interpreting
1997-11-25
Birte Schmitz
Clustering of Galaxies in a Hierarchical Universe: I. Methods and Results at ...
1999-04-09
Error of semiclassical eigenvalues in the semiclassical limit - An asymptotic analysis of the Sinai billiard
1998-10-02
Per Dahlqvist
Reservation Probabilities
1998-11-20
Satchmo: Minimal Model Generation and Compilation System Description
1996-05-15
Stack-Based Typed Assembly Language
1999-03-27
Unknown
1997-11-26
A Graph-based Transaction Model for Active Databases and its Parallel Implementation
1994-01-22
Experimental Study of Minimum Cut Algorithms
1996-12-20
Object-Oriented Modeling of Security Semantics
1995-09-19
Ernst Ellmer
Towards the Automatic Acquisition of Plan Libraries
1998-07-16
Mathias Bauer
Extraction of Facial Regions and Features using Color and Shape Information
1996-05-28
Plans as Situated Action: An Activity Theory Approach to Workflow Systems
1997-10-14
Jakob E. Bardram
Multiple Predicate Learning in Two Inductive Logic Programming Settings
1998-01-08
Nada Lavra
LDAQ-MRS Integration for the ATLAS-DAQ
1999-02-12
Adaptation and the Modular Design of Organisms
1995-10-05
Gunter P. Wagner
Astrometric versus Spectroscopic Radial Velocities
1998-09-25
On the Ubiquity of Information Services and the Absence of Guaranteed Service Quality Extended Abstract
1998-03-31
Gerhard Weikum
Intelligence In Modern Communication Systems
1999-05-03
Specification and Proof in Probabilistic, Prioritized, Timed CSP
1993-06-18
Gavin Lowe
Analysis of Left Ventricular Wall Motion Based on Volumetric Deformable Models and MRI-SPAMM
1996-07-23
Transputer Data-flow Solution for Systems of Linear Equations
1992-10-20
Learning Invariance Manifolds
1998-05-29
Laurenz Wiskott
A Globally and Superlinearly Convergent Potential Reduction Interior Point Method for Convex Programming
1992-07-24
Application-Level Measurements of Performance on the vBNS
1999-03-02
Algorithms for Constrained Molecular Dynamics
1995-01-18
Unifying Data and Control Transformations for Distributed Shared-Memory Machines
1995-07-28
A Clean Conjugate Gradient Algorithm
1997-05-23
P. R. Serrarens
Mathematical Theory Of The Wetting Phenomenon In The 2d Ising Model
1996-10-10
Integrating Initialization Bias and Search Bias in Neural Network Learning
1998-06-03
Design And Implementation Of A Computational Lexicon For Turkish
1997-02-07
Abdullah Kurtulu¸s Yorulmaz
A Minimalist Head-Corner Parser
1995-07-28
Mettina Veenstra
Combining Fossil and Sunspot Data: Committee Predictions
1996-12-09
Eric A. Wan
HeNCE: A Heterogeneous Network Computing Environment
1994-02-10
Constraint Programming and Database Query Languages
1994-07-01
Statistical Generalization: Theory and Applications
1995-07-29
Mixed Finite Elements for Elliptic Problems With Tensor Coefficients as Cell-centered Finite Differences
1997-01-27
The Oz Standard Modules
1995-05-16
From Nonlinearity To Predictability
1999-02-09
M. Palus
Inference and Aggregation Issues In Secure Database Management Systems
1999-04-30
Thermoelectric Interface Demarcation During Directional Solidification With Varying Gravitationally-Dependent Buoyancy Convection
1998-07-28
Efficient Solution of Coupled Lyapunov Equations via Matrix Sign Function Iteration
1997-11-28
String Techniques for the Calculation of Renormalization Constants in Field Theory
1997-12-11
Region Merging Based on Robust Statistical Testing
1998-08-06
Fabrice Moscheni
Space-Efficient Inference in Dynamic Probabilistic Networks
1998-04-07
"Eigenlips" for Robust Speech Recognition
1995-07-13
Christoph Bregler
A Symbolic Algorithm for Low-Power Sequential Synthesis
1998-10-08
A Temporal Extension to a Generic Object Data Model
1998-08-17
The Design of a Portable Scientific Tool: A Case Study Using
1996-10-04
Finite Element Method for Numerically Solving PDE's
1997-10-31
Stephen Roberts
Reasoning About Norms Provided By Conflicting Regulations
1998-07-20
Laurence Cholvy
Reasoning With Minimal Belief and Negation as Failure: Algorithms and Complexity
1998-04-09
Riccardo Rosati
The Complexity of Local Dimensions for Constructible Sets
1999-01-15
Measurement Methods for Product Evaluation
1999-02-05
Kevin N. Otto
The Acquist Handbook
1999-01-19
Tim Rajan
Learning, Positioning, and Tracking Visual Appearance
1994-02-15
The Origins of Intelligence
1996-03-12
Gigahertz Peaked Spectrumsources As Cosmological Probes
1997-10-09
Tail-Recursive Distributed Representations and Simple Recurrent Networks
1997-11-15
The Proof-Theoretic Strength Of The Dushnik-Miller Theorem For Countable Linear Orders
1997-09-21
Rodney G. Downey
Coding For Content-Based Retrieval
1998-01-26
TUT: A Tree Unification Toolkit
1997-12-25
Validity Checking for Combinations of Theories with Equality
1996-08-10
A New Approach for Delegation Using Hierarchical Delegation Tokens
1996-12-17
Yun Ding delta Holger Petersen
Validation and Verification of the Remote Agent for Spacecraft Autonomy
1999-03-11
Trainable Speech Synthesis
1996-06-19
Robert Edward Donovan
DemoGNG v1.5
1998-10-19
Fast Learning by Bounding Likelihoods in Sigmoid Type Belief Networks
1998-11-06
A Necessary And Sufficient Condition For Orthogonal Design On A Circular Arc
1998-06-25
Yi Zhao
Ultrafast Randomized Parallel Construction- and Approximation Algorithms for Spanning Forests in Dense Graphs
1997-10-17
Boundaries of Nonpositively Curved Groups of the Form
1996-03-04
FORTH-ICS / TR-171 July 1996
1996-08-09
Aggregation of Internet Integrated Services State
1998-08-14
CPS Translations and Applications: The Cube and Beyond
1998-10-11
Rapid Prototyping of Mobile Context-Aware Applications: The Cyberguide Case Study
1996-09-04
Global Existence and Uniqueness for an Optical Fiber Laser Model
1997-12-09
Multi-level hierarchic Markov processes as a framework for herd management support
1995-12-22
Anders R. Kristensen
A Timed Verification of the IEEE 1394 Leader Election Protocol
1999-03-30
Judi Romijn
Comparison of Fixed-size and Variable-sized Windows for the Estimation of Tree Crown Position
1998-09-08
Scheduling Multithreaded Computations by Work Stealing
1970-01-01
"Grammarless"Phrase Structure Grammar
1998-05-28
James Rogers
A Lazy Scheduling Scheme for Improving Hypercube Performance
1995-06-29
UPPAAL - Validation and Verification of Real Time Systems - Status&Developments
1997-10-27
Using Combinational Verification for Sequential Circuits
1998-05-12
Mapping Loops onto Reconfigurable Architectures
1998-12-30
Practical identifiability of finite mixtures of multivariate Bernoulli distributions
1998-06-08
Steve Renals
Revisiting The Mass Of The Coma Cluster From X-Ray Observations
1997-09-26
J. P. Hughes
A Model for Structuring User Documentation of ObjectOriented Frameworks Using Patterns and Hypertext
1997-05-20
A Mathematical Model of the Mach Kernel: Atomic Actions and Locks
1997-06-14
User Modeling For Spoken Dialogue System Evaluation
1997-11-17
Quality Measures and Assurance for AI Software
1994-03-14
Using Corpora to Develop Limited-Domain Speech Translation Systems
1997-03-27
Fundamental Concepts for Workflow Automation in Practice
1997-10-14
Analytic Solution of Stochastic Completion Fields
1997-08-17
Measuring the Performance of Go Programs
1998-01-21
Informatik Eth Zürich
The Typed Polymorphic Label-Selective lambda-Calculus
1994-12-02
Collaborative Multimedia in Scientific Design
1998-05-18
Performance of the Canada--France--Hawaii Telescope Adaptive Optics Bonnette
1999-03-28
Continual Robot Learning with Constructive Neural Networks
1997-04-16
Riccardo Poli
String Recognition On Anonymous Rings
1998-09-03
Experimental Results in Audio Indexing
1997-03-21
Distributed Objects For Real-Time Control Systems
1994-07-14
Atomic Transactions for Multiprocessor Programming: A Formal Approach
1998-12-22
Nancy Lynch
An Investigation of Grain Sizes of Load Distribution in an Object Based System
1998-08-25
Christian Damsgaard Jensen
Journal of Database Management
1995-02-28
A Quantitative Analysis and Performance Study for Similarity-Search Methods in High-Dimensional Spaces
1998-09-16
Intelligent Video Synthesis Using Virtual Video Prescriptions
1998-01-29
Strategic Effects in Visual Word Recognition
1996-04-11
Julie Kate Voice
A Worst Case Timing Analysis Technique for Instruction Prefetch Buffers
1998-05-28
Interpreting Spread Sheet Data for Human-Agent Interactions
1995-09-28
A Discard-Free Grouping and Retrieval Scheme for Stored MPEG Video
1997-04-22
Adsmith: AnEfficient Object-Based Distributed Shared Memory System on PVM
1997-12-03
Internet Security Association and Key Management Protocol ISAKMP
1997-07-28
Building Perceptual Textures to Visualize Multidimensional Datasets
1998-09-20
Source Time Scale and Optimal Buffer/Bandwidth Trade-off for Regulated Traffic in an ATM Node
1998-08-13
Local Type Argument Synthesis with Bounded Quantification
1997-11-12
Effect of Repair Policies on Software Reliability
1998-06-19
Design and Architecture for Database Solutions in Future Telecommunication Services
1997-10-15
Kimmo Raatikainen
Dynamic Camera Self-Calibration from Controlled Motion Sequences
1997-11-05
Lisa Dron
Recovery with Limited Replay: Fault-Tolerant Processes in Linda
1970-01-01
Srikanth Kambhatla
System-Level Exploration with SpecSyn
1998-07-28
On the Degree of Multivariate Bernstein Polynomial Operator
1996-02-08
Systematicity and Specialization in Semantics: A Computational Account of Optic Aphasia
1997-04-29
CDEV: An Object-Oriented Class Library for Developing Device Control Applications
1996-02-03
Planning with Concurrent Interacting Actions
1997-05-30
Operation Scheduling ina Reconfigurable Computing Environment
1998-11-09
Computer Immunology
1997-05-20
Therapy Plan Generation in Complex Dynamic Environments
1997-01-16
Subshift on an Infinite Alphabet
1997-05-05
Xavier Bressaud
Using Qualitative Hypotheses to Identify Inaccurate Data
1995-08-15
ANCHOR - A Connectionist Architecture for Hierarchical Nesting of Multiple Heterogeneous Neural Nets
1996-05-29
Real-time Services over Packet Switching Networks
1998-03-21
Equational Term Graph Rewriting
1997-01-08
Noise and Delay Estimation for Coupled RC Interconnects
1999-03-23
A Brief History of Rewriting With Extensionality
1996-11-13
Satisfiability Coding Lemma
1998-03-31
Iterative Detection in Code-Division Multiple-Access with Error Control Coding
1999-01-03
Efficient Management of Object-Oriented Queries with Late Binding
1996-01-11
Staffan Flodin
Safe and Efficient Sharing of Persistent Objects in Thor
1996-05-01
Applying Independent Verification Validation to ATE
1998-03-16
Cynthia C. Calhoun
Formal Specification of a Voice Communication System used in Air Traffic Control
1999-02-19
Cauchy Integral And Calderón-Zygmund Operators On Nonhomogeneous Spaces
1997-09-08
Sparse Modified Cholesky Factorization on the AP1000
1996-11-20
Inverse Toeplitz Preconditioners for Ill-Posed Problems
1970-01-01
TREC-3 Ad-Hoc, Routing Retrieval and Thresholding Experiments using PIRCS
1997-09-23
Magnetic Reconnection In Sheared Solar Magnetic Arcades
1997-03-03
G. S. Choe
On the Exact Worst Case Query Complexity of Planar Point Location
1999-03-17
Towards Scaling Up Machine Learning: A Case Study with Derivational Analogy in PRODIGY
1994-09-19
The Network Audio System
1996-03-29
Machine Understanding of Human Action
1995-10-09
Alex Pentland
Predicting Data Cache Misses in Non-Numeric Applications Through Correlation Profiling
1997-11-03
Minimizing Access Costs in Replicated Distributed Systems
1997-08-15
Michael Goldweber
The Eulerian Representations Of Sigma n As Restrictions Of Representations Of Sigma n+1
1997-10-02
Sarah Whitehouse
Wear Profiles and the Dynamical Simulation of Wheel-Rail Systems
1997-02-27
Techniques for Fast Instruction Cache Performance Evaluation
1994-07-26
David B. Whalley
Undecidable theories of Lyndon algebras
1998-12-07
Developing Utility Theory To Support The Formal Design Of Safety-Critical Systems
1994-08-08
C. W. Johnson
On Certificates and Lookahead in Dynamic Graph Problems
1995-08-12
Using Genetic Algorithms to Explore Pattern Recognition in the Immune System
1994-08-12
Analysis of Decision Boundaries Generated by Constructive Neural Network Learning Algorithms
1995-09-06
Quality of Service Provision in Noncooperative Network Environments
1997-08-01
The Impact of Data Communication and Control Synchronization on Coarse-Grain Task Parallelism
1997-03-19
Program Evolution for Data Mining
1997-01-15
Manuela Veloso
On the role of Disjunctive Representations and Constraint Propagation in Refinement Planning
1996-08-15
Results And Status Of The Cryogenic Dark Matter Search cdms
1998-07-21
Automatic 3-Language Cross-Language Information Retrieval with Latent Semantic Indexing
1998-01-08
Random Variable Generation Using Concavity Properties of Transformed Densities
1997-11-03
Global Weak Entropy Solutions to Quasilinear Wave Equations of Klein-Gordon and Sine-Gordon Type
1996-07-02
The Gowdy T³ Cosmologies revisited
1998-05-05
Forward Integrity For Secure Audit Logs
1998-04-17
A Polytope Based Algorithm to Compute Regions of Attraction
1997-07-03
B. G. Romanchuk
Melody Language Specification
1996-06-20
Internet Commerce Authorities And Digital Cash
1998-07-07
Testing For Fault Tolerance
1999-02-24
Nonlinear Observer-Based Fault Detection
1996-03-21
A New Probabilistic LR Parsing
1997-04-17
Placing Resources on a Growing Line
1997-07-18
Petri Net Reachability Analysis meets Model-Based Diagnostic Problem Solving
1999-02-08
Luigi Portinale
Protecting the Quality of Service of Existing Information Systems
1998-08-28
Statistical Syntactic Methods for High Performance OCR
1970-01-01
Atmospheric low frequency variability and its relationship to midlatitude SST variability: studies using the NCAR Climate System Model
1997-12-03
R. Saravanan
Design And Implementation Of Multiple-Context Truth Maintenance System With Binary Decision Diagram
1996-05-27
Fast and Practical Approximate String Matching
1997-12-06
Fast Generation of Random Permutations via Networks Simulation
1996-06-21
Artur Czumaj
Partitionen einfach zusammenhangender auflosbarer Liegruppen
1995-08-21
Learning Logic Programs with Random Classification Noise
1997-01-06
Robert H. Sloan
Department of
1997-11-06
Richard Lipton
On a Spector ultrapower of the Solovay model
1995-02-09
cos. We will associate an unspecified, though presumably known,
1996-10-10
High-Performance Bidirectional Signalling in VLSI Systems
1994-12-06
Type Inference with Constrained Types
1999-03-21
An ASM Specification of the Operational Semantics of
1998-11-06
Visualization of Scalar Topology for Structural Enhancement
1998-07-21
An Asymptotically Optimal Finite Element Scheme for the Arch Problem
1995-07-19
Martin Zerner
A Program Behavior Model Based on Event Grammar and its Application for Debugging Automation
1995-10-12
Mikhail Auguston
Design Rationale of the PURE Object-Oriented Embedded Operating System
1998-11-27
Object Oriented BeNet Programming for Data-focused Bottom-up Design of Autonomous Agents
1998-05-06
Mining Optimized Support Rules for Numeric Attributes
1999-02-23
Grobner Bases, Standard Forms of Differential Equations and Symmetry Computation
1995-08-21
Tutorial on Arithmetic Coding
1995-11-07
Harry Printz
Blind Separation of Delayed and Convolved Sources.
1997-01-17
An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines
1998-02-09
Kenjiro Taura
General and Specific Models in Complex Robotics Systems - a critique and a proposal
1997-04-04
Uwe R. Zimmer
Pathological Lipschitz Functions in R N
1995-08-18
Xianfu Wang
Complexity as a Basis for Comparing Semantic Models of Concurrency
1997-11-05
Toward High-Precision Measures Of Large-Scale Structure
1998-05-15
Michael S. Vogeley
A First-Order Branching Time Logic OF MULTI-AGENT SYSTEMS
1998-07-23
A Performance Evaluation of Backtrack-Bounded Search Methods for N-ary Constraint Networks
1996-05-31
Pierre Berlandier
Determining the Idle Time of a Tiling: New Results
1997-05-07
Slow and Smooth: a Bayesian theory for the combination of local motion signals in human vision
1998-05-09
Heteroclinic Orbits of Semilinear Parabolic Equations
1998-04-21
Consciousness and Complexity: The Cognitive Quest
1998-09-05
Bibliography on the Solution of Sparse Linear Systems and Related Areas of Computation
1998-08-10
Generating Reduced Order Models via PEEC for Capturing Skin and Proximity Effects
1997-08-11
On the Torus Quantization of Two Anyons with Coulomb Interaction in a Magnetic Field
1997-04-26
Luca Salasnich
Experience with PARPC
1999-03-17
Dynamically Weighted Ensemble Neural Networks for Classification
1998-02-03
Daniel Jimenez
The CSR approach to software reliability prediction
1995-08-08
Empirical Processes Based on Pseudo-Observations II: the Multivariate Case
1999-02-16
Kilani Ghoudi
The Effect Of Correlated Variability On The Accuracy Of A Population Code
1998-08-07
Newton's Method for Quadratic Stochastic Programs with Recourse
1996-10-23
Matrix-Update for Accelerated On-line Learning in Multilayer Neural Networks
1998-03-20
ASTERIX Standard Structures and Conventions
1997-10-08
Tj Ponman
On the Structure of High-level Nets
1995-03-20
Johan Lilius
Modified Array Manifold for Signal Waveform Estimation in Wireless Communications
1996-11-19
Sémantique Dénotationnelle
1996-10-18
Roberto Di Cosmo
A more rapidly mixing Markov chain for graph colourings
1998-03-20
Formal Verification of Transformations on Dependency Graphs in Optimizing Compilers
1995-03-14
P. Sreeranga Rajan
SOLUTION OF MULTI-CHANNEL CONTINUUM STATE PROBLEMS OF MANY-ELECTRON ATOMIC SYSTEMS USING THE SPLINE-GALERKIN AND INVERSE ITERATION APPROACH By Jinhua Xi
1997-04-25
Jinhua Xi
Object-Oriented Components for High-speed Network Programming
1997-01-10
Explicit N-Best Formant Features fo Segment-Based Speech Recognition
1970-01-01
Superfast Solution of Linear Equations with Low Displacement Rank
1994-09-29
Thomas Huckle
A Comparison of OS Extension Technologies
1995-11-14
Treewidth and Minimum Fill-in on D-Trapezoid Graphs
1996-09-02
The Network Audio System - Make Your Applications Sing As Well As Dance!
1997-09-03
Low Rank Estimation of Higher Order Statistics
1996-08-23
Performance Evaluation of the Group Two-Phase Locking Protocol
1997-12-11
Scaling Violations of the Proton Structure Function
1997-12-19
H Collaboration
A Maximum Entropy Approach to Natural Language Processing
1996-07-03
Integrated Instruction Scheduling and Register Allocation Techniques
1998-07-31
SWI-Prolog 2.9 - Reference Manual
1997-11-15
State Compression in
1998-07-04
Gerard J. Holzmann
Flexible Constraint Management for Autonomous Distributed Databases
1998-07-22
Feature Extraction for Low Bit Rate Image Coding Using a Generalized Wavelet Transform
1996-07-11
An Illustration of Model Structure Identification
1998-11-04
Song S. Qian
Convergence Complexity of Optimistic Rate Based Flow Control Algorithms
1998-02-11
Mudding: Social Phenomena in Text-Based Virtual Realities
1994-11-16
Pavel Curtis
Energy Formulations of Algebraic Splines
1997-01-07
SIR-Balanced Macro Power Control for the Reverse Link of CDMA Sectorized Distributed Antenna System
1999-02-18
Modeling and Validation of the Real-Time Mach Scheduler
1996-06-14
Characteristics of WWW Client-based Traces
1995-07-18
Journal of Graph Algorithms and Applications
1998-07-03
Modeling the Belgian gas consumption
1997-03-21
Prototype Styles of Generalization
1995-07-28
D. Randall Wilson
Neural Networks
1996-11-11
Unknown
1997-08-20
Chi Keen Low
Experimentelle Unterstützung einer Beweisprogrammiersprache mit dem Isabelle-System
1996-06-30
Recognizing K-rotated Segments
1996-01-25
TOP-C: A Task-Oriented Parallel C Interface
1997-06-26
Gene Cooperman
Scalable Internet Resource Discovery: Research Problems and Approaches
1999-02-08
Efficient Multicast in All-Port Wormhole-Routed Hypercubes
1995-12-18
A Client-Server Tool for Image Retrieval Applications
1998-07-30
Parameters Identification of a Time-varying Stochastic Dynamic Systems Using Viterbi Algorithm
1997-02-05
Static and Dynamic Modelling of Materials Forging
1998-08-24
Jet production in high Q² deep-inelastic ep scattering at HERA
1998-05-15
Action Model Learning and Action Execution in a Reactive Agent
1995-03-01
Scott Benson
Density of Strings Formed At a Second-Order Cosmological Phase Transition
1998-05-15
Alexander Vilenkin
Building a Scalable and Accurate Copy Detection Mechanism
1996-06-08
An Investigation of Noise-Tolerant Relational Concept Learning Algorithms
1994-07-14
Using Local Trajectory Optimizers To Speed Up Global Optimization In Dynamic Programming
1995-09-16
Christopher G. Atkeson
Detecting Signals In Climatological Data
1998-07-20
Richard L Smith
Two-step Index Structure for Complex Multi-dimensional Objects
1998-05-11
Run-Time Correctness Checking is Algorithmically Undecidable for Pointer Data Structures
1998-01-23
Vladik Kreinovich
Inference of Aggregate Relationships through Database Reverse Engineering
1998-10-02
Christian Soutou
Optimal Stochastic Scheduling of Forest Networks with Switching Penalties
1998-07-09
Boundary Layers
1994-04-21
Square Root Singularity in Boundary Reflection Matrix
1998-05-14
The Reliability of ISO/IEC PDTR 15504 Assessments
1997-11-14
An Analogue Subthreshold Fuzzy Logic Controller
1998-06-26
Implementing Projection-based Strictness Analysis
1995-08-30
Issues in Visualization for the Comprehension of Parallel Programs
1994-11-19
How Much Memory is Needed to Win Infinite Games?
1998-03-23
Programming
1998-09-07
A Computational Science Manifesto
1998-10-03
D. E. Stevenson
Report Documentation Page
1998-08-24
Notes on Motion Planning
1996-12-30
Bill Goodwine
Metalevel Solution to Inheritance Anomaly in Concurrent Object-Oriented Languages Extended Abstract
1992-05-14
Self-Validated Numerical Methods and Applications
1997-06-02
Experimental Study of Minimum Cut Algorithms
1996-10-28
Unsupervised Clustering With Growing Cell Structures
1994-11-25
Bernd Fritzke
Genetic Algorithms and Fuzzy Logic in Control Processes
1996-02-01
Consumer Criteria for an Arm Orthosis
1995-08-18
The Design of a new Persistent Object Store for PJama
1998-11-25
Reactivity in a Logic-Based Robot Programming Framework
1998-09-15
Direction Estimation in Partially Unknown Noise Fields
1995-12-14
Adaptive Finite Volume Discretization of Density Driven Flows in Porous Media
1997-10-17
The Most Completely Sampled Rotation Curves for Galaxies
1998-05-14
Yoshiaki Sofue
A 3D paraxial migration method without lateral splitting
1996-04-22
M. Kern
Uniform Approximation of Topological Spaces
1996-01-26
Achim Jung
Online Learning versus Offline Learning
1997-10-21
Joint Source and Channel Coding for Image Transmission Over Lossy Packet Networks
1996-08-21
ASR System Comparison on New High Performance Workstations
1995-07-24
Querying ATSQL Databases with Temporal Logic
1997-05-06
Local Type Argument Synthesis with Bounded Quantification
1997-11-13
Rediscovering the FFT
1995-05-22
Matteo Frigo
DSS: A Tool for Simulation of Distributed Systems and Protocols through Communicating Finite State Machines.
1996-05-08
Clustering-Based Optimization Algorithm in Zero-Skew Routings
1993-03-15
Masato Edahiro
Some Error Estimates For The Numerical Approximation Of Surface Integrals
1994-09-16
Kurt Georg
Visualization and Manipulation of Structured Information
1996-02-12
Detecting Mutual Consistency of Shared Objects
1995-09-22
Simulating a General Purpose Mobile Computing Environment
1998-07-28
A Study of Distributed Transaction Processing in an Internetwork
1995-10-30
A New Time Contour for Equilibrium Real-Time Thermal Field Theories
1998-04-27
T. S. Evans
A stream-based mathematical model for distributed information processing systems - SysLab system mode
1997-09-29
The Shortest Single Axioms for Groups of Exponent 4
1993-04-26
Kenneth Kunen
Of Graphs and Coffi Grounds: Decompiling Java
1998-11-04
Patrick Lam
Implementation Of Elementary Geometric Database Operations For A 3d-Gis
1995-03-28
Searching Neural Network Structures with L Systems and Genetic Algorithms
1997-12-18
On The Optimality Of Kung's Convolution Algorithm In Some Classes Of Systolic Algorithms
1997-11-26
Juraj Hromkovic
Characterization Of Eigenfunctions By Boundedness Conditions
1998-06-15
Gravitational Energy Of Conical Defects
1996-04-05
Jos'e W. Maluf
Linear Soft Constraint Satisfaction
1997-09-22
Analysis of Benchmark Characteristics and Benchmark Performance Prediction
1998-12-20
Approximate Multiple String Search
1997-05-01
An Overview of Query Optimization in Relational Systems
1970-01-01
Surajit Chaudhuri
Hidden Symmetries of the Principal Chiral Model and a Nonstandard Loop Algebra
1997-11-18
C. Devchand
Category of Functors between Alternative Categories
1999-02-03
Robert Nieszczerzewski
The Classical and Quantum Theory of Relativistic p-Branes without Constraints
1998-05-12
M. Pavsic
Arquitecture Of An Expert System For The Pharmachological Treatment Of Affective Disorders
1996-10-18
Left-to-Right Constraint-based Parsing of Head-final Languages
1998-07-28
Zelal Gungordu
Monitoring and Visualization in Cluster Environments
1996-04-17
Nonuniformity Correction Using the Constant-Statistics Constraint: Analog and Digital Implementations
1997-10-12
Safe Kernel Extensions Without Run-Time Checking
1999-03-27
Formalizing Composable Software Systems - A Research Agenda
1996-04-10
Information Retrieval Course Material of the Course held in the Summer Term 1993 Chapter 6: Probabilistic Models in Information Retrieval
1996-02-22
Norbert Fuhr
Continuous Case-Based Reasoning
1993-09-17
A Demand Driven Computation Strategy for Lazy Narrowing
1998-04-27
LaboUr - Machine Learning for User Modeling
1998-08-13
Wolfgang Pohl
An Empirical Evaluation of the Convex SPP-1000 Hierarchical Shared Memory System
1998-03-17
On Reconfiguring Query Execution Plans in Distributed Object-Relational DBMS
1998-10-20
A Constant-factor Approximation Algorithm for the
1997-07-14
An Update on
1998-05-15
Issues and Approaches in the Design of Collective Autonomous Agents
1998-09-18
Maja J Matari'c
Analysis Of Defect History For A Large Commercial Software Product
1995-02-15
T. P. Rout
Virtual PAT: A Virtual Personal Aerobics Trainer
1997-09-22
Dimensions Of Active Behaviour
1999-04-01
Comparing Nonsmooth Nonconvex Bundle Methods In Solving Hemivariational Inequalities
1997-09-30
Where to Look Next and What to Look for
1997-12-17
Extending Occam's Razor
1994-09-27
Propagating Covariance in Computer Vision
1998-01-09
Robert M. Haralick
On the sequence of consecutive powers of a matrix in a Boolean algebra
1998-09-11
Second-Kind Integral Formulations of the Capacitance Problem
1997-10-25
Proof Complexity In Algebraic Systems And Bounded Depth Frege Systems With Modular Counting
1998-09-11
Parameter Value Characterization of Windows NT-based Applications
1998-11-09
Profile-Guided Context-Sensitive Program Analysis
1998-10-08
Saumya Debray
An Operational Model for Parsing Definite Clause Grammars with Infinite Terms
1999-04-13
A One-eyed Self Learning Robot Manipulator
1994-11-29
The Internet Worm Incident Eugene H. Spafford
1994-04-19
Eugene H. Spafford
A Video Conferencing Testbed on ATM: Design, Implementation and Optimizations
1996-09-18
Asymptotically Invariant Gaussianity Test ForCausal Invertible Time Series
1997-04-29
ParseTalk About Textual Ellipsis
1995-09-27
M_ijn Mutation Operator for Aerofoil Design Optimisation
1997-06-16
Symbolic Array Dataflow Analysis for Array Privatization and Program Parallelization
1997-04-03
Lie Algebra Extension Endomorphism And Derivation Coordinates
1996-10-09
A. M. Dupr E
Shaping a CBR view with XML
1999-03-29
Finite Difference Methods And Spatial A Posteriori Error Estimates For Solving Parabolic Equations In Three Space Dimensions On Grids With Irregular Nodes
1999-02-11
Peter K. Moore
An application of SOL-resolution: checking regulation consistency
1998-07-20
Laurence Cholvy
Integrating and Accessing Heterogeneous Information Sources in TSIMMIS
1996-07-02
Dynamic Policies in Selecting a Caching Set for a Distributed Mobile Computing Environment
1995-06-12
Automatic Smoothing Spline Projection Pursuit
1995-04-19
Design, Fabrication, And Characterization Of Single Crystal Silicon Latching Snap Fasteners For Micro Assembly
1996-07-28
Remarks on the existence for the one-dimensional Frémond model of shape memory alloys
1997-11-19
Dipartimento di Informatica e Sistemistica, Universit a Di Roma la Sapienza", Via Salaria 113, I-00198 Roma, Italy,
1996-09-24
A Parallel Tree Difference Algorithm
1970-01-01
D. B. Skillicorn
Compensating for Bias in the SDM Fast Activation Mechanism
1996-05-30
Roland Karlsson
On the Right Hamiltonian for Singular Perturbations: General Theory
1997-04-26
Toward the Realization of an Evolving Ecosystem on Cellular Automata
1999-01-23
Hiroki Sayama
Implicit Schemes And Parallel Computing In Unstructured Grid CFD
1995-05-17
V. Venkatakrishnan
Aspect-Oriented Programming
1996-12-18
End-To-End Design Of Distributed Real-Time Systems
1998-02-15
Optimization of Neural Network Topology and. . .
1992-10-14
Inferencing Over Incomplete Solution Spaces with Genetic Algorithms for Probabilistic Reasoning
1996-04-22
Polynomial Invariants Of Legendrian Links And Plane Fronts
1997-02-17
Tractable Disjunctive Constraints
1997-11-17
The Design and Implementation of the ScaLAPACK LU, QR and Cholesky Factorization Routines
1997-10-01
On Weighted Subspace Estimates In System Identification
1996-04-01
Uniform Asymptotics for Orthogonal Polynomials
1998-07-21
Unknown
1997-02-04
Combining Spectral Sequencing with Simulated Annealing for the MinLA Problem: Sequential and Parallel Heuristics
1997-11-03
Jordi Petit I Silvestre
Segmentation of Random Fields Via Borrowed Strength Density Estimation
1996-04-24
!<f87.03...
1998-06-05
Quadratic Optimal Control of Regular Well-Posed Linear Systems, with Applications to Parabolic Equations
1997-09-24
Olof J. Staffans
Vision-Based Behaviors for Multi-Robot Cooperation
1996-02-06
A Graphics Toolkit Based on Differential Constraints
1998-12-15
Michael Gleicher
Hypergraph Based Clustering in High-Dimensional Data Sets: A Summary of Results
1998-03-25
Bamshad Mobasher
Detecting and Reacting to Unplanned-for World States
1998-07-29
Experiments with a Gaussian Merging-Splitting Algorithm for HMM Training for Speech Recognition
1998-03-31
Ananth Sankar
The Characterisation of Predictive Accuracy and Decision Combination
1996-09-15
Kai Ming Ting
Efficient Testing for a Bitonic Column Property
1998-09-23
Paul A. Tucker
ITHACA: An Integrated Toolkit for Highly Advanced Computer Applications
1991-04-17
The Addition of Persistence to Ada95 and its Consequences
1998-05-08
Michael Oudshoorn
Detection and Estimation in the Presence of Signals with Uncalibrated Spatial Signature
1998-03-24
A. Swindlehurst
Genetic Design of Fuzzy Controllers
1994-02-23
Extending Object-Oriented Programming to Address Hard Optimization Problems
1995-03-16
Glenn Silverstein
T2D, Conpack parameter
1998-08-03
A Region-based Approach to the Estimation of Local Statistics in Adaptive Speckle Filters
1998-06-01
Finite Representation of Infinite Query Answers
1992-11-09
Stable Neighbourhoods
1998-04-01
Guo Qiang Zhang
Development of a Java based simulation module for a World Wide Web multimedia short course on health services management
1998-07-17
Lucas Godelmann
A Performance Comparison of Competitive On-line Routing and State-Dependent Routing
1996-11-02
New Results For The Minimum Weight Triangulation Problem
1995-01-30
Efficient Hardware Fault Tolerance Using Field-Programmable Gate Arrays
1998-07-09
Generalized Iteration Space and the Parallelization of Symbolic Programs Extended Abstract
1993-05-04
Routing Through Networks with Hierarchical Topology Aggregation
1998-03-20
Component Architectures for Distributed Scientific Problem Solving
1998-06-25
Guide to the CTIO Slit Spectra Reduction Task SPECPROC
1990-09-24
Francisco Valdes
A Computational Model of Spatial Hearing
1997-02-08
Population-Based Learning Of Load Balancing Policies For A Distributed Computer System
1993-08-24
A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations
1998-11-20
Arnold Neumaier
George Justo
1998-04-25
Visual Interpretation of Hand Gestures for Human-Computer Interaction: A Review
1996-01-29
Communication-Efficient Parallel Sorting
1999-03-11
Michael T. Goodrich
VCODE: A Data-Parallel Intermediate Language
1997-02-04
Automatic Selection Of Parameters For A Computer Simulation Of Extracellular Auditory Nerve Fibre Activity
1996-08-09
Simultaneous Representation of Interval and Interval-Containment Orders
1996-11-19
Paul J. Tanenbaum
A Parallel Splitting Up Method And Its Application To Navier-Stokes Equations
1996-09-26
Optimal Adaptive Equal Allocation Rules
1996-04-14
MML and Bayesianism: Similarities and Differences
1995-08-28
Visual Cryptography II: Improving the Contrast Via the Cover Base
1998-02-09
The Photogrammetric Appendage Structural Dynamics Experiment
1995-09-07
A Prefetching Prototype for the Parallel File System on the Paragon
1996-09-22
A Hierarchy of Temporal Logics with Past
1998-08-07
F. Laroussinie
Elementary Gates for Quantum Computation
1999-01-04
The Empty Space Hazard of a Spatial Pattern
1995-08-01
Conference, 1994. 109 D. Sueur. Shell h'et'ergog`ene `a parall'elisme de donn'ees. In
1995-10-09
Amalgamating Knowledge Bases, II: Algorithms, Data Structures, and Query Processing
1997-06-10
Method Transformations for Vertical Partitioning in Parallel and Distributed Object Databases
1997-09-08
Controlled Conspiracy Number Search
1996-12-10
A note on the behaviour of the process capability index C pmk with asymmetric specification limits
1998-02-24
Design of transconductance based CMOS circuits: an overview
1997-12-22
Performance Comparison Of Distributed Petri Net Simulations
1995-06-01
Worst-Case Interactive Communication I: Two Messages are Almost Optimal
1996-05-02
Alon Orlitsky
Attraction Radii in Binary Hopfield Nets are Hard to Compute
1997-04-04
Pekka Orponen
A Case Study In Representing A Model: To Z Or Not To Z?
1991-08-22
Relaxation Patterns For Competing Metastable States: A Nucleation And Growth Model
1997-12-12
Improving ASR Performance For Reverberant Speech
1998-02-20
Equilibrium Surface Distributions for Constant Energy Ensembles
1997-04-22
Dark Periods in a Single Radiating
1997-08-15
A Fully Game Semantics for General References
1998-04-22
High Performance Computing for Land Cover Dynamics
1995-02-23
The Application of Formal Methods to the Reverse Engineering of Imperative Program Code
1996-10-29
Gerald C. Gannod
Finding Genes in Human DNA with a Hidden Markov Model
1996-02-11
A Preliminary Study About Robust Speech Recognition For A Robotics Application
1998-04-02
Taking I/O Seriously: Resolution Reconsidered for Disk
1999-01-08
Set-Serializability: A Formal Theory for Partitioned Data Extended Abstract
1993-01-12
Efficient Query Processing for Information Gathering Agents
1994-11-14
A Revolute Joint With Linear Load-Displacement Response for Precision Deployable Structures
1996-06-12
Robust Stabilization of a Class of Nonlinear Systems with an Upper-triangular Structure
1999-01-15
Characterization of Parallel Paths in Arrangement Graphs
1998-10-07
Decidable and Undecidable Second-Order Unification Problems
1998-01-13
Jordi Levy
Numerical Linear Algebra Techniques for Large Scale Matrix Problems in Systems and Control
1995-11-20
Paul Van Dooren
Diffracting Trees
1996-08-15
The Call-by-Need Lambda Calculus
1998-11-11
A Comparison of Models for VBR Video Traffic Sources in B-ISDN
1995-03-02
Analysis for Concurrent Objects
1970-01-01