Microchoice Bounds and Self Bounding Learning Algorithms
1999-05-13
All the Static Spherically Symmetric Black Holes of Heterotic String on a Six Torus
1998-05-25
Mirjam Cvetic
Draft of 11 September 1990
1995-06-13
Content Based Approximate Picture Retrieval
1996-07-16
Use of ParInt for Parallel Computation of Statistics Integrals
1996-05-13
On Action Algebras
1996-10-11
Dexter Kozen
Visualizing Message Patterns in Object-Oriented Program Executions
1998-10-05
An Hmm Soft-Output Decoder For QAM Signals With A Clustered Constellation
1996-11-20
User Programs: A Way To Match Computer Systems And Human Cognition
1997-04-22
Analytical Results for Random Band Matrices with Preferential Basis
1998-01-25
Klaus Frahm
Tactical Generation in a Free Constituent Order Language
1996-06-20
Protocol Independent Multicast PIM, Dense Mode Protocol Specification
1996-09-16
Molecular Computation Of Solutions To Combinatorial Problems
1994-11-22
DNA computing: the arrival of biological mathematics
1996-01-19
Unambiguous Auxiliary Pushdown Automata And Semi-Unbounded Fan-In Circuits
1995-03-23
Specifying Animated Diagram Languages
1998-11-10
Democratizing Access to Calculus: New Route to Old Roots
1997-11-06
We Continue to Investigate the Direct-Style Transformation By Extending It to Programs Requiring
1992-07-08
Weyl groups of disconnected Lie groups
1995-08-20
Karl-hermann Neeb
On the relationship between MCMC model uncertainty methods
1998-09-17
J. Godsill
Developing Monitoring and Debugging Tools for the AP1000 Array Multiprocessor
1995-12-19
A New Approach to Task Placement in Wide-Area Heterogeneous Distributed Systems
1996-08-20
An Open-Ended Finite Domain Constraint Solver
1997-09-18
Formal Specification of Beliefs in Multi-Agent Systems
1996-10-29
Processing ASN.1 specifications in a declarative language
1996-06-07
Ellemtel Utvecklings Ab
Secure Outsourcing of Some Computations
1998-02-19
Using SSA Form in a Code Optimizer
1995-03-03
On the Optimal Blocking Factor for Blocked, Non-overlapped Multiprocessor Schedules
1994-11-26
Efficient Multi-Dimensional Data Handling in Constraint Databases
1997-06-23
Luc Segoufin
An Optimal Algorithm To Compute All The Covers Of A String
1996-01-04
Applications of Evolutionary Algorithms at the Center for Applied Systems Analysis
1996-07-03
Aperture-Angle Optimization Problems in 3 Dimensions
1998-04-22
Godfried T. Toussaint
SILCS -- Specification In Logic of Concurrent Systems
1993-03-12
David Gilbert
Almost Cardinal Spline Interpolation
1995-06-19
Integrating Case-Based Learning and Cognitive Biases for Machine Learning of Natural Language
1999-03-06
Claire Cardie
Putting Hardware-Software Codesign into Practice
1998-10-01
Efficient Query Processing for Information Gathering Agents
1994-11-15
The Collapse of an Axi-Symmetric, Swirling Vortex Sheet
1970-01-01
Active Surveillance Using Dynamic Background Subtraction.
1997-01-22
Kenneth M. Dawson-howe
ZLIB Compressed Data Format Specification version 3.3
1996-06-14
Update Logging for Persistent Programming Languages: A Comparative Performance Evaluation
1993-10-26
BRST Quantization and Coadjoint Orbit Theories
1998-04-05
Theodore J. Allen
Automatic Insertion of Accents in French Text
1998-11-24
Michel Simard
A Review of two Statistical Models of Knowledge Representation, Acquisition, and Memory
1998-06-29
Rutvik Desai
On the Integrability of Radial Basis Functions
1997-12-19
A New Hybrid Genetic Algorithm For Global Optimization
1997-09-24
On Efficient Agnostic Learning of Linear Combinations of Basis Functions
1995-04-06
Distributed Programming using Object-Groups
1995-12-07
Silvano Maffeis
Preliminary Results in the Use of Dempster Shafer Theory for a Radiological Waste Characterization Expert System Susan Bridges Julia Hodges Bruce Wooley
1998-01-07
Evanescent Operators, Scheme Dependences and Double Insertions
1998-05-23
On-Line Algorithms in Machine Learning
1997-07-18
Avrim Blum
Rate of Change and other Metrics: a Live Study of the World Wide Web
1998-11-13
On Empirical Likelihood and Non-parametric Pearson's Chi-square Statistic
1996-09-02
Mai Zhou
A Simple Approach To Supporting Untagged Objects In Dynamically Typed Languages
1996-08-19
Peter A. Bigot
Inline Integration: A New Mixed Symbolic/numeric Approach For Solving Differential--Algebraic Equation Systems
1997-03-12
IDebug: An Advanced Debugging Framework for Java
1999-02-24
Joseph R. Kiniry
State Space Reconstruction: Method of Delays vs Singular Spectrum Approach
1998-10-01
The Vacuum in the Light-Cone Representation
1998-05-23
Gary Mccartor
Disjoint Paths
1998-09-18
Jens Vygen
Dynamic Program Instrumentation for Scalable Performance Tools
1994-03-20
A Game-Theoretic Classification of Interactive Complexity Classes
1995-07-20
Towards Rigorous Compiler Implementation Verification
1997-10-27
A Nitpick Analysis of Mobile IPv6
1998-04-10
A User-Adaptive Chart Editing System Based on User Modeling and Critiquing
1997-06-09
Norms of Composition Operators on the Hardy Space
1996-08-19
Knowledge-Based Assembly Simulation for Virtual Prototype Matching
1998-05-06
Formal Models of Web Queries Extended Abstract
1997-02-21
Forward Mapped Planar Mirror Reflections
1998-11-26
Rui Bastos
Leveraging Reuse Through Domain-Specific SoftwareArchitectures
1997-05-21
Krzysztof Czarnecki
Convergence Properties of Block GMRES and Matrix Polynomials
1995-12-18
Requirements Elicitation
1998-09-15
U-duality and M-theory, an algebraic approach
1999-01-04
Niels A. Obers
A Skip List Cookbook
1998-09-05
William Pugh
Connectionism - The Miracle Mind Model
1998-07-14
Optimal Commutation Laws for Torque Control of Synchronous Motors
1997-03-12
ConPlan/SIEDAplan: Personnel Assignment as a Problem of Hierarchical Constraint Satisfaction
1997-05-22
Harald Meyer Auf'm Hofe
LAPACK Working Note 95 ScaLAPACK: A Portable Linear Algebra Library for Distributed Memory Computers - Design Issues and Performance
1997-10-01
Principle Based Semantics for HPSG
1995-07-24
Type-hierarchical Analysis of Gapless Relative Clauses in Korean
1997-10-28
Jong-yul Cha
Lamarckian Evolution of Associative Memory
1996-03-10
Nonlinear Evolution Of Topology Of Large Scale Structure
1996-02-15
Takahiko Matsubara
Tangent spaces to Schubert varieties
1997-03-07
V. Lakshmibai
Dealing With Large Contexts in Formal Concept Analysis: A Case Study Using Medical Texts
1998-05-11
TriGSflow - Active Object-Oriented Workflow Management
1996-01-18
Object-Based Subband/Wavelet Video Compression
1998-05-25
Dynamical Analysis Of All-Digital Symbol Timing Recovery In Twisted Pair Broadband Receivers
1998-08-25
An Evaluation of New NAG Library Solvers for Large Sparse Symmetric Linear Systems
1997-08-12
On Intervalizing k-Colored Graphs for DNA Physical Mapping
1995-05-29
Abstraction Methods for Resource Allocation
1994-04-29
A Path-Following Cutting Plane Method for some Monotone Variational Inequalities
1997-10-07
Bounds on Tradeoffs between Randomness and Communication Complexity
1999-02-07
Mixing Metaphors
1999-03-12
Message-Passing Performance of Various Computers
1995-08-10
Cheap operating systems research and teaching with Linux
1999-01-18
Victor Yodaiken
Inductive Assertion Method For Logic Programs
1970-01-01
A Comparison of Constraint Representation Schemes
1997-06-05
Metric Semantics for True Concurrent Real Time
1998-05-20
Entanglement in Percolation
1999-03-05
A Spreadsheet-Based Snmp Scripting Environment For Battlefield Network Management
1997-07-28
Learning Open-Loop From Closed-Loop Control
1998-03-03
Closeness Metrics for System-Level Functional Partitioning
1995-06-28
The Changing Nature of Network Traffic: Scaling Phenomena
1998-07-09
Practical PAC Learning
1997-11-03
Optimal Buffering Algorithms For Client-Server Vbr Video Retrievals
1997-10-21
Algorithm-Based Diskless Checkpointing for Fault Tolerant Matrix Operations
1994-12-30
On Density and Temperature-Dependent Ground-State and Continuum Effects in the Equation of State for Stellar Interiors
1998-12-19
Construction of List Homomorphisms by Tupling and Fusion
1996-04-16
Multicriterial Fractional Optimization
1996-05-31
The ASTRAL Specifications of 8 Real-Time Systems
1999-03-04
Paul Z. Kolano
Hybrid High-Level Nets
1996-07-16
Ralf Wieting
Modularizing Codescriptive Grammars for Efficient Parsing
1996-07-17
An Update on Low Bandwidth X LBX
1993-01-16
Euclidean Reconstruction from Constant Intrinsic Parameters
1996-05-10
Newtop: A Fault-Tolerant Group Communication Protocol
1995-03-10
Santosh K Shrivastava
A Dynamical Model of Context Dependencies for the Vestibulo-Ocular Reflex
1997-07-22
Recommended C Style and Coding Standards
1995-03-04
A Detailed Analysis of Random Polling Dynamic Load Balancing
1996-02-16
Peter Sanders
The Evolutionary Design of Collective Computation in Cellular Automata
1998-09-11
Run-time Code Generation and Modal-ML
1998-05-13
Observations Involving Broadband Impedance Modelling
1996-11-27
J. Scott Berg
Analytical Beam Shaping With Application to Laser Diode Arrays
1997-09-25
Deviation of geodesics in FLRW spacetime geometries
1998-05-05
Compositional Reasoning in Model Checking
1998-02-25
Designing Broadcasting Algorithms in the Postal Model for Message-Passing Systems
1997-03-18
Recent Developments In Natural Language Text Retrieval
1998-09-24
A Case Study in Object Oriented Programming. Algebraic Structures in Eiffel
1996-02-16
Peter Sanders
On the Equivalence of Minimum Time Input Shaping with Traditional Time-Optimal Control
1995-10-09
Stochastic Simulation On Integer Constraint Sets
1970-01-01
Active Notebook: A Personal and Group Productivity Tool for Managing Information
1995-08-15
Mark C. Torrance
Approximation of Nonlinear Systems by Dynamic Selection of Linear Models
1996-07-30
A. Rueda
Spectral Distortions Of The Cosmic Microwave Radiation Due To Interaction With The Hot Gas In A Moving Cluster: Inclusion Of Relativistic Effects
1998-09-21
Reflecting on the 3x+1 Mistery. Outline of a Scenario - . . .
1998-12-21
The complexity of unobservable finite-horizon Markov decision processes
1996-12-04
Jinchao Xu
1993-01-07
Jinchao Xu
On Lower Bounds for the Matrix Chain Ordering Problem
1993-11-18
Effect of Planform and Body on Supersonic Aerodynamis of Multibody Configurations
1998-04-08
Anatomical Origin and Computational Role of Diversity in the Response Properties of Cortical Neurons
1994-08-29
Using Hypothetical Reasoning as a Method for Belief Ascription
1995-08-02
Hans Chalupsky
Integrating Constraints and Direct Manipulation
1998-12-15
Michael Gleicher
Distributed Management by Delegation
1995-06-08
Yechiam Yemini
Henk: A Typed Intermediate Language
1998-02-20
Optimal Histogram Partitioning Using a Simulated Annealing Technique.
1995-01-26
R. Brunelli
Keywords:
1996-04-21
Crowding and Preselection Revisited
1994-03-20
Yoram Last and Barry Simon
1997-04-26
Stock Movement Prediction And N-Dimensional Inter-Transaction Association Rules Extended Abstract
1998-05-22
An Extensible Query Optimizerfor an Objectbase Management System
1995-12-11
Exploring Design Options Rationally
1995-06-01
The Color Constancy Problem: An Illumination Invariant Mapping Approach
1998-04-06
Rafael Wiemker
ATM Switch Based Interconnection Networks
1997-12-01
Wei Wei
Dynamic Document Delivery: Generating Natural Language Texts on Demand
1998-10-29
A Network-Flow Technique for Finding Low-Weight Bounded-Degree Spanning Trees
1997-09-14
White-Metzner Models For Rod Climbing In A1
1999-03-04
Local Analysis of Dynamical Systems --- Concepts and Interpretation
1995-11-30
High Performance Computing for Image Classification
1995-02-17
MBone: The Multicasting Backbone
1998-01-23
Optimizing World-Wide Web for Weakly Connected Mobile Workstations: An Indirect Approach
1995-04-11
Design, Implementation and Evaluation of A Compiler-Directed Distributed Shared Virtual Memory System
1996-07-11
Computer Animation
1997-05-28
DECchip 21171 Core Logic Chipset Technical Reference Manual
1997-02-08
Preliminary---subject Change
A Unified Variational Approach to Building Algorithms of Signal and Image Processing
1998-08-05
Some Generalizations of the Pinwheel Tiling
1997-04-26
Lorenzo Sadun
Divergent Views in Goal-Driven Requirements Engineering
1999-02-10
B- Louvain-la-neuve belgium
Multi-Agent Planning as a Dynamic Search for Social Consensus
1995-02-19
Detecting Disruptive Routers: A Distributed Network Monitoring Approach
1998-03-06
Strength of Two Data Encryption Standard Implementations under Timing Attacks
1999-03-18
Boolean Similarity Measures for Resource Discovery
1996-05-11
Scheduling In Real-Time Transaction Systems
1998-11-24
Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design
1997-01-22
A Comparison of Hashing Schemes for Address Lookup in Computer Networks
1997-01-16
Raj Jain
A Representational Architecture for Nonmonotonic Inheritance Structures
1970-01-01
Ajit Narayanan
Bayesian Wavelet analysis with a model complexity prior
1998-07-02
A Simple Weight Decay Can Improve Generalization
1995-10-09
Supersymmetric Dynamical Generation of the Grand Unification Scale
1998-05-24
Hsin-chia Cheng
Church's Thesis And Hume's Problem
1998-10-26
Static and Dynamic Partitioning of Pointers as Links and Threads
1996-06-05
Analytic Variations on Quad--Trees
1998-11-24
The Maintenance of Common Data in a Distributed System
1996-10-22
Biases, Selection Effects and Image Multiplicities in the Jodrell Bank -- VLA Gravitational Lens Survey
1997-05-06
On The Energy of a Large Atom
1997-11-08
The Spectral Decomposition of Nonsymmetric Matrices on Distributed Memory Parallel Computers
1995-01-13
Recovery of Blocky Images in Electrical Impedance Tomography
1996-08-28
David C. Dobson
The Remote Enqueue Operation on Networks of Workstations
1997-12-11
Specifications for the Text Structurer
1996-11-18
Eigenheads for Reconstruction
1997-05-06
Kenneth B. Russell
Learning a Specialization for Face Recognition: The Effect of Spatial Frequency
1997-09-23
Some Open Problems on Reliability Polynomials
1996-07-07
Charles J. Colbourn
Co-operative Answering to Natural Language Email Queries
1995-04-19
Knowledge-based User Interface Migration
1994-08-11
Retaining Women in CS with Accessible Role Models
1998-01-08
Determining Average Program Execution Times and their Variance
1996-09-10
Vivek Sarkar
Finding a Pathfinder
1999-02-13
ARNICA, the Arcetri near-infrared camera: astronomical performance assessment
1997-03-19
Multiple Class G-Networks with Jumps back to Zero
1995-10-19
Content-Based Pre-Indexed Video
1997-09-05
Nuno Vasconcelos
Our Meeting With Gradual: A Good Strategy For The Iterated Prisoner's Dilemma
1996-03-30
Lisp Program-Size Complexity Ii
1998-07-21
G. J. Chaitin
Reflection in a Uniform Behavioral Object Model
1995-02-16
A General Form of the Constraints in the Path Integral Formula
1998-05-23
Taro Kashiwa
Receiver-driven Layered Multicast
1998-11-17
Automatic Recognition Of Intonation From F
1995-05-11
Paul Taylor
The Practical Application of Binary Neural Networks.
1997-03-24
Jim Austin
A Modified Fourier Descriptor for Shape Matching in MARS
1997-07-01
Using the Wavenet for function approximation
1998-03-26
Towards a High-Level Multimedia Modelling Synchronisation Environment Based on Constraint Programming
1996-04-10
George A. Papadopoulos
Efficient and Accurate Value Prediction Using Dynamic Classification
1998-07-08
Measurement of Charged and Neutral Current
1996-01-03
The Low Activity Phase of Some Dirichlet Series
1997-04-26
Modular Parsers
1970-01-01
Requirements for Data-Parallel Programming Environments
1997-01-27
Using Partial Evaluation to Enable Verification of Concurrent Software
1997-10-02
WebWatcher: Knowledge Navigation in the World Wide Web
1997-10-31
Attribute Grammars and Functional Programming Deforestation
1997-04-10
Extension of Positive Definite Functions on Lie Groups
1995-08-21
Jurgen Friedrich
Integrable Time-Discretisation of the Ruijsenaars-Schneider Model
1998-05-23
Probabilistic Learning of Three-Dimensional Object Models
1997-04-13
Non-Linear Back-propagation: Doing Back-Propagation without Derivatives of the Activation Function.
1998-09-25
An Approximate Minimum Degree Ordering Algorithm
1970-01-01
Exemplar-Based Reasoning in Geological Prospect Appraisal
1995-06-02
Peter Clark
An Analytical Treatment of Channel-induced Distortion in Run Length Coded Subbands
1998-01-28
Comparing Space Efficiency of Propositional Knowledge Representation Formalisms
1996-12-17
A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies
1998-05-04
Modular Radial Basis Neural Network for Stop Consonant Recognition
1997-11-30
Proof Theory At Work: Program Development In The Minlog System
1998-04-28
Experimental Performance of Shared RSA Modulus Generation Preliminary Report
1998-01-27
The extended emission line region of the Seyfert galaxy Markarian 573
1999-01-27
Goal-Directed Navigation for Animated Characters Using Real-Time Path Planning and Control
1998-12-08
James J. Kuffner
Recognition of Polymorphic Patterns in Parameterized Graphs for 3d Building Reconstruction
1998-07-22
A Review of "Do the right thing -- studies in limited rationality" by Stuart Russell and Eric Welfald MIT Press, 1991, 24.75 ISBN 0-262-18144-4
1995-11-22
Construction Of Self-Dual Morphological Operators And Modifications Of The Median
1994-11-25
Henk J. A. M. Heijmans
An Efficient Subsumption Algorithm for Inductive Logic Programming
1997-07-23
Equi-Calmness And Epi-Derivatives That Are Pointwise Limits
1997-03-27
R. A. Poliquin
A Sparse Matrix Approach to Abstract Multilevel Solvers on. . .
1995-11-14
On Controllability Conception For Stochastic Systems
1970-01-01
Should Your Specification Language Be Typed?
1998-04-03
Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction
1996-03-22
An ASM Macro Language for Sets TIK-Report Nr. 34, January 1998
1998-05-05
Reconstructing Strings from Substrings
1995-02-08
QCD Corrections and Non-standard Three Vector Boson Couplings in
1998-05-14
. Golub, G. H. and C. F. Van Loan,
1997-09-09
Compositional Fault-Tolerant Distributed Object Systems
1997-08-18
Jerry James
Language Models For A Spelled Letter Recognizer
1995-08-22
An optimal randomized logarithmic time connectivity algorithm for the EREW PRAM Extended Abstract
1994-04-11
What is a Recursive Module?
1999-02-19
Protocols for Integrity Constraint Checking in Federated Databases
1996-10-03
Proving Behavioural Theorems with Standard First-Order Logic
1994-09-23
Parallel Algorithms for the Interpretation of Line Drawings
1996-02-20
Antihomogeneous Conjugacy Operators in Convex Analysis
1995-10-27
Alexander Rubinov
A Closed-Form Location Estimator for Use with Room Environment Microphone Arrays
1996-02-14
Global Optimization For Molecular Clusters Using A New Smoothing Approach
1998-06-24
A Simple Reflective Interpreter
1992-11-30
Analysis of Task Assignment Policies in Scalable Distributed Web-server Systems
1999-03-26
Logistic Regression for Southern Pine Beetle Outbreaks with Spatial and Temporal Autocorrelation
1999-01-14
Designing an Efficient Resource Management for Parallel Distributed Systems by the Use of a Graph Replacement System
1997-01-16
Sascha Groh
Buffer Space Allocation For Real-Time Channels In A Packet-Switching Network
1990-11-01
Synthesis from Knowledge-Based Specifications
1998-07-03
Geometric Approach to Inverse Scattering for Hydrogen--like Systems in a Homogeneous Magnetic Field
1997-04-26
Silke Arians
An Approach to Fault-tolerant Parallel Processing on Intermittently Idle, Heterogeneous Workstations
1997-09-28
A Circumscriptive Theorem Prover
1997-01-15
Matthew L. Ginsberg
Subband Transforms
1997-07-22
Decentralised Process Enactment
1995-01-31
Classification with Learning k-Nearest Neighbors
1997-10-03
Representation Theory of Chern-Simons Observables
1997-04-11
Algebraic Operational Semantics and Occam
1997-05-08
An Automatic System for Model-Based Coding of Faces
1995-02-16
Improved Numerical Methods for the Simulation of Microwave Circuits
1998-12-22
Antichain Codes
1999-02-16
Beauty and the Beast or A Formal Semantic Description of the Control Constructs of Cobol and its Implementation
1999-02-18
A Unified Approach for Calculating Error Rates of Linearly Modulated Signals over Generalized Fading Channels
1998-01-29
High-Order Mimetic Finite Difference Methods on Nonuniform Grids
1995-09-26
HyperPATH/O2: Integrating Hypermedia Systems with Object-Oriented Database Systems
1994-10-15
Synthesis of Optimal Nonlinear Observers
1995-09-07
Optimization by hybridization of a genetic algorithm with CSP techniques
1997-08-11
Preservation And Distortion Of Area In Finitely Presented Groups
1995-08-22
S. M. Gersten
Exploiting Fine-grain Parallelism in Concurrent Constraint Languages
1998-04-16
Johan Montelius
Anawake: Signal-Based Power Management For Digital Signal Processing Systems
1997-01-12
From a File-Oriented View to an Object-Oriented View
1996-01-31
Using Quality Requirements To Systematically Develop Quality Software
1997-06-18
Rc --- A Shell for Plan 9 and UNIX Systems
1992-05-29
Tom Duff
Evolving Globally Synchronized Cellular Automata
1997-06-09
Dramatic Presence
1994-03-15
Query Representation and Management in a Multiparadigmatic Visual Query Environment
1970-01-01
Imperative Functional Programming
1995-11-02
IMAP Servers What differentiates standards-based messaging systems?
1997-07-01
Designing Integrated Engineering Environments: Blackboard-Based Integration of Design and Analysis Tools
1999-03-20
Intentions and Intelligent Screening in an Agent-based Personal Communication System
1996-12-06
A Study of User Participation in Standards Setting
1998-02-20
Optimal Preconditioners for Interval Gauss-Seidel Methods
1996-04-11
Probabilistic Exploration in Planning while Learning
1995-06-20
Grigoris I. Karakoulas
Multimodal Integration of Disparate Information Sources with Attribution
1997-11-12
Uniform PERs and Comportment Analysis
1997-09-07
A Decentralized Deadlock-free Concurrency Control Method for Multidatabase Transactions
1998-11-07
What to Infer from a Description
1996-07-19
Integrating Communication, Cooperation, and Awareness: The DIVA Virtual Office Environment
1995-03-09
Concurrent Objects in a Process Calculus
1996-08-18
Number Theoretic Solutions to Intercept Time Problems
1996-12-09
Analysis of a Very Large AltaVista Query Log
1998-10-28
An Approximation Framework for Infinite Horizon Optimization Problems in a Mathematical Programming Setting
1999-03-17
Lisa A. Korf
ON LOGIC: Inquiries into the Justification of Deduction
1997-05-18
Mechanizing Set Theory - Cardinal Arithmetic and the Axiom of Choice
1996-10-02
FORTH-ICS / TR-050 June 1992
1995-11-06
Panagiota Vatsolaki
What Makes An Optimization Problem Hard?
1996-02-08
Effects of Random Density Fluctuations on Matter-Enhanced Neutrino Flavor Transitions in Supernovae and Implications for Supernova Dynamics and Nucleosynthesis
1998-05-25
Unknown
1996-03-27
Using Electronic Facsimiles of Documents for Automatic Reconstruction of Underlying Hypertext Structures
1997-03-14
A Retargetable Debugger
1995-01-01
Optimum Time-Frequency Representations for the Classification and Detection of Signals
1994-10-20
Enabling Technologies for Web-Based Ubiquitous Supercomputing
1996-08-02
A Distributed Discrete Event Simulation Framework for Timed Petri Net Models
1994-12-20
The Role Of Commitment In Cooperative Negotiation
1994-11-08
Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction
1998-10-15
Bernhard Gramlich
Questions Under Discussion and Dialogue Moves
1998-04-28
Staoean Larsson
Mule: MULtilingual Enhancement to GNU Emacs
1993-12-03
Adaptive Importance Sampling on Discrete Markov Chains
1997-01-30
Discovery of First-Order Regularities in a Relational Database Using Offline Candidate Determination
1998-04-14
Irene Weber
Recognition and Tracking of 3D Objects by 1D Search
1998-01-15
Configuration Support for Flexible, Function-Based Communication Systems
1995-06-11
On Non-existence of Optimal Local Synchronous Bandwidth Allocation Schemes for the Timed-Token MAC Protocol
1998-09-13
Canonical Approximation of Landscapes
1998-09-25
Peter F. Stadler
Novel Reflected Light Confocal Profilometer
1997-02-11
Workflow Management and Databases
1996-02-07
The Linux Cyrillic HOWTO
1998-04-26
Verification Problems in Conceptual Workflow Specifications
1997-04-03
An Intelligent Interface for a Virtual Environment
1998-02-02
Non-Consistent Dual Register Files to Reduce Register Pressure
1996-09-10
HA-format Draft
1998-11-18
Erich Mikk
Efficient Similarity Search In Sequence Databases
1994-02-23
Directed VR-Representable Graphs have Unbounded Dimension
1994-10-28
Kathleen Romanik
Visit at CERFACS
1995-11-17
V. Simoncini
Timer Adjustment in SRM
1998-12-21
Interactive Animation of Soft Shadows
1998-06-14
Metal Implant Localisers: Frontiers and Diagnostic Feasibility
1996-10-28
Optimizing ML with Run-Time Code Generation
1997-03-14
A Fast Variant of the Gaussian Reduction Algorithm
1997-07-17
Michael Kaib
Order-Sorted Term Algebra
1997-05-13
Ee R =qamgf=j tsra
Tracking Implicit Trajectories
1996-10-10
The IPUS Blackboard Architecture as a Framework for Computational Auditory Scene Analysis
1995-07-21
Resolvent and Rational Canonical Forms of Matrices
1996-06-06
The Geometrical Approach to Multidimensional Inverse Scattering
1997-04-26
Computation of Discrete Logarithms in Prime Fields
1997-01-28
Synchronization of Multimedia Objects Using Concurrent Constraint Programming Techniques
1996-04-10
George A. Papadopoulos
High Energy Colliders
1997-02-18
Comparing Software and Hardware Schemes For Reducing the Cost of Branches
1995-12-06
Real-Time 3-D Tracking of the Human Body
1996-04-06
Automatic Extraction of Subcategorization from Corpora
1997-02-15
Sigma<...
1997-09-23
Benchmarks, Testbeds, Controlled Experimentation, and the Design of Agent Architectures
1994-06-20
Topological Reconstruction of a Smooth Manifold-Solid from its Occluding Contour
1997-08-12
Lance R. Williams
Overview
1995-07-03
Tango: a Hardware-based Data Prefetching Technique for Superscalar Processors
1997-09-18
Probing the lexicon in evaluating commercial MT systems
1997-06-05
Martin Volk
Case-Based Reasoning with Noisy Case Boundaries: An Application in Molecular Biology
1992-05-05
Jude W. Shavlik
Fast Algorithms for Routing Around Faults in Multibutterflies and Randomly-Wired Splitter Networks
1996-02-07
Dynamics of an Information-Filtering Economy
1998-03-25
On the Implementation of Some Residual Minimizing Krylov Space Methods
1997-01-08
Z. Strakos
Fast Marching The Global Minimum Of Active Contours
1997-11-13
Consistency of Minimizers and the SLLN for Stochastic Programs
1995-10-27
Zvi Artstein
TCAD-Based Analysis of Radiation-Hardness in Silicon Detectors
1998-03-11
Set Estimation via Ellipsoidal Approximations
1997-05-02
Spontaneous, Short-term Interaction with Mobile Robots
1998-10-27
Bubble-Nucleation Rates for Cosmological Phase Transitions
1999-04-22
Plan Steering and Mixed-Initiative Planning
1996-08-05
A Genetic Algorithm for Optimising Inter-Planetary Trajectories
1995-11-01
Stephen Richardson
Noise Robust Actuator Placement on Flexible Structures
1997-09-10
Magnus Andersson
Tracing Back
1993-03-25
Anthony Finkelstein
Earliest Deadline Scheduling for Real-Time Database Systems
1999-03-22
Perspective-based Reading of Code Documents at Robert Bosch GmbH
1997-06-16
Robert Bosch Gmbh
Exactness In The Wkb Approximation For Some Homogeneous Spaces
1998-05-23
Direct Coupling of Multisensor Information and Actions for Mobile Robot Behavior Acquisition
1998-03-05
Lazy Functional State Threads
1998-10-14
Efficient Use of Parallel Distributed Systems: From Theory to Practice
1997-11-26
Computational Capabilities of Restricted Two Layered Perceptrons
1993-09-16
Data Shaders
1997-10-20
Practical Reasoning in OSCAR
1997-09-04
John L. Pollock
The Economics of Networks
1996-01-30
Nicholas Economides
Correlation Length and Average Loop Length of the Fully-Packed Loop Model
1997-09-13
Anton Kast
Parallel Library for Unstructured Mesh Problems PLUMP
1996-11-19
Kalkman Localization In Generalized Equivariant Cohomology Theories
1999-01-12
David S. Metzler
Efficient Signature Schemes Based on Birational Permutations
1994-11-22
Adi Shamir
A 3D Paint Program for the Mouse Atlas and Gene Expression Database
1998-06-03
Parametric Subtypes in ABEL Revised Version
1970-01-01
The modelling process and Petri Nets: reasoning on different approaches
1970-01-01
Topology And The Non-Existence Of Magnetic Monopoles
1995-09-20
Daniel Henry Gottlieb
Asynchronous Jacobi Iterations On Local Memory Parallel Computers
1998-09-08
Jonathan Mark Bull
Sonar Mapping for Mobile Robots
1997-03-18
Loop Pipelining Algorithm for Non-Uniform Increasing Dependency Loops
1998-04-03
Dynamic Transaction Scheduling and Reallocation in Overloaded Real-Time Database Systems
1999-02-08
Formalizing Ontological Commitments
1998-04-27
Eden - The Paradise of Functional Concurrent Programming
1997-04-30
Answering Queries Using Limited External Query Processors
1996-06-27
Fast Subsequence Matching in Time-Series Databases
1998-11-18
Centralized Multicast
1998-04-07
S. Keshav
Software Development Environment Based on Object-Oriented and Logic Programming Paradigms
1995-10-22
On Longest Increasing Subsequences in Random Permutations
1998-12-23
Multicasting at the Host Interface Level in Wormhole Networks
1998-09-04
NICMOS Design Reference Mission and Command Volume Estimate
1996-12-06
Wayne E. Baggett
Learning Conditional Probabilities from Incomplete Data: An Experimental Comparison
1998-11-25
An Integrated Authoring And Presentation Environment For Interactive Multimedia Documents
1997-10-08
Population Management for Automatic Design of Algorithms through Evolution
1998-09-26
Roland Olsson
Analytic Variations On The Common Subexpression Problem
1999-03-12
A Novel Adaptive Algorithm for Sinusoidal Interference Cancellation
1998-06-19
H. C. So
Optimal Latency-Throughput Tradeoffs for Data Parallel Pipelines
1996-03-29
The two-dimensional Anderson model of localization with random hopping
1997-06-26
Prognosticating The Future Of Gravitational Lenses
1997-03-19
Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler
1993-10-25
Direct Digital Filter Synthesis
1998-12-22
Symmetry Breaking in Anonymous Networks
1995-11-21
Proton: A Media Access Control Protocol For Optical Networks With Star Topology
1997-10-27
SPGEN: An inference engine for Signal Plan GENeration
1995-01-18
Christen Krogh
A Krein Space Interpretation of the Kalman-Yakubovich-Popov Lemma
1997-10-14
Babak Hassibi
Expressing Opposition in the Object Model, First Step towards Negation
1997-09-29
Cholinergic Suppression of Transmission May Allow Combined Associative Memory Function and Self-Organization in the Neocortex.
1996-05-06
On Multimedia Repositories, Personal Computers, and Hierarchical Storage Systems
1998-12-20
Parallel Progressive Radiosity with Adaptive Meshing
1996-07-05
Speedup Limits for Tightly-Coupled Parallel Computations
1995-09-14
Reinhard Schwarz
The Workflow Activity Model WAMO
1995-04-19
File Placement in a Web Cache Server.
1998-04-02
Orthonormal Function Neural Network for Nonlinear System Modeling
1997-02-18
Approximating Value Trees in Structured Dynamic Programming
1996-04-16
Properties of Classes of Random Graphs.
1997-07-20
Neal Brand
A Taxonomy of Object-Oriented Measures - Modeling the Object-Oriented Space
1998-03-16
Nonlinear Dynamics In An Extended Neighbourhood Of The Translunar Equilibrium Point
1997-05-22
A Comprehensive and Cost-Effective Computer Infrastructure for K-12 Schools
1996-04-30
Multiresolution Modeling and Visualization of Volume Data based on Simplicial Complexes
1998-12-09
Three Results on Mixing Shapes
1997-11-04
T. Ward
Statistical Decision Theory for Mobile Robotics: Theory and Application
1996-06-19
Extending SGML to accommodate database functions:
1997-01-19
How Symbiosis Can Guide Evolution
1999-03-01
On Nonlinear Generalized Conjugate Gradient Methods
1995-07-19
O. Axelsson
The Effect Of Compiler Optimizations On Available Parallelism In Scalar Programs
1992-06-02
Scheduling Real Time Tasks: A Performance Study
1995-03-10
User Interface Description Formalisms
1995-03-13
Vipul Jain
. Programming in Timed Concurrent Constraint Languages
1996-01-31
Rumor: Mobile Data Access Through Optimistic Peer-to-Peer Replication
1999-02-23
An Overview of Genetic Algorithms : Part 1, Fundamentals
1998-06-02
What Good Are Digital Clocks?
1999-02-06
On the Relevance of Long-Range Dependence in Network Traffic
1998-11-25
Control Issues In Anaphor Resolution
1997-03-27
David M. Carter
Algorithms for Model-Based Gaussian Hierarchical Clustering
1996-11-17
C. Fraley
Similarity and Contrast Relations and Inductive Rules
1998-08-19
Alistair Knott
Andorra-I Compilation
1995-07-17
Study Of The Transfer Between Halo Orbits
1997-04-26
Finding structure in diversity: A hierarchical clustering method for the categorization of allographs in handwriting
1999-01-06
Runtime Incremental Parallel Scheduling RIPS on Distributed Memory Computers
1995-10-27
Layout-independent Fisheye Views of Nested Graphs
1993-07-14
Emanuel G. Noik
New Lower Bounds for Hopcroft's Problem
1996-01-23
Mining Association Rules between Sets of Items in Large Databases
1998-06-22
Finding Near-Replicas of Documents on the Web
1998-07-07
Quantum Phase Transitions in Random Systems
1997-11-26
Peter Young
Fast Bootstrapping Of Lvcsr Systems With Multilingual Phoneme Sets
1997-10-30
Consistency Maintenance in Multi-Resolution Simulations
1998-03-25
Decays from the CDF Experiment
1998-09-24
W. Trischuk
Fail-Awareness in Timed Asynchronous Systems
1998-12-15
Using the GCel for simulation of flow in the continental shelf region
1994-11-17
A First Step to Formally Evaluate Collaborative Work
1997-08-21
Poincaré Renormalized Forms
1997-04-26
HYWIBAS: A Hybrid Knowledge Base System for Large, SharedKnowledge Bases
1999-02-18
Arbitrage Bounds for the Term Structure of Interest Rates
1970-01-01
Stefan R. Jaschke
Multiple Approximate String Matching
1997-05-12
Damtp R95/20
1996-04-05
A Cooperative Design Environment Using an Active Repository
1998-06-29
Jessica Barros De S
Symbolic Artificial Intelligence And Numeric Artificial Neural Networks: Towards A Resolution Of The Dichotomy
1994-08-19
Vasant Honavar
Rhythm as a Cognitive Skill: Temporal Processing Deficits in Autism
1997-11-07
A Metric Time-Point and Duration-Based Temporal Model
1997-06-25
Federico A. Barber
Building Software by Deduction: Why and How
1970-01-01
An implicit formulation for exact BDD minimization of incompletely specified functions
1998-08-06
FLIP++ - A fuzzy logic inference processor library
1996-03-22
A Dynamical Systems Approach to Represent Cognition of Robots: A view of the Internal Observer
1996-11-26
Jun Tani
Scheduling in the Dark
1998-10-06
Jeff Edmonds
Digital Software and Data Repositories for Support of Scientific Computing
1995-02-28
Shape Tensors for Efficient and Learnable Indexing
1995-07-03
-- 1-- Semileptonic Decays Of
1997-09-23
Scalable Group Membership Services for Novel Applications
1998-07-15
A Robust Parser Based on Syntactic Information
1998-01-28
Adaptive Genetic Search For Optimization Of Fuzzy And Neuro-Fuzzy Systems
1996-11-01
Landscapes - Complex Optimization Problems and Biopolymer Structures
1998-09-25
Peter Schuster
The Challenge of Restructuring Engineering Curricula in Brazilian Private Universities
1998-04-03
PFSLib - Users' Guide and Reference Manual Version V1.0
1995-11-30
Stefan Lamberts
Real-time Portfolio Management and Automatic Extensions: MS Thesis
1999-05-04
Tushar M. Patel
Integrating Multiple Knowledge Sources For Detection And Correction Of Repairs In Human-Computer Dialog
1996-05-30
The Simple Holonomic Modules over Rings of Differential Operators on Surface Vladimir Bavula
1998-06-24
Vladimir Bavula
An Equivalence Between Sparse Approximation and Support Vector Machines
1998-07-17
Federico Girosi
OMEGA2D - A Tutorial for a Preprocessing Tool in FEAT2D and FEATFLOW
1998-10-01
Featd Featflow
Confidence Measures for Image Motion Estimation
1997-02-14
Making DNA Computers Error Resistant
1995-08-16
Power Estimation Techniques for the Purpose of the Architectural Synthesis of Digital Signal Processing Algorithms
1997-12-22
Efficient Algorithms for Learning to Play Repeated Games Against Computationally Bounded Adversaries
1995-08-17
High Speed and High Fidelity Visualization of Complex CSG Models
1997-06-30
X-Ray Spectra From Convective Photospheres of Neutron Stars
1996-09-10
Using Fourier-Neural Recurrent Networks to Fit Sequential Input/Output Data
1995-05-03
Eduardo D. Sontag
Building Consensual Knowledge Bases: Context and Architecture
1996-07-17
Parameterized Image Varieties: A Novel Approach to the Analysis and Synthesis of Image Sequences
1997-05-05
Computing Iceberg Queries Efficiently
1998-07-08
Student Initiatives and Tutor Responses in a Medical Tutoring System
1997-04-26
Virtual Swap Space in SunOS
1995-01-09
The Dynamic Expansion Of Class Hierarchy
1995-06-30
An Algorithmic Approach for Checking Closure Properties of
1999-03-24
A Modular Connectionist Parser for Resolution of Pronominal Anaphoric References in Multiple Sentences
1998-12-04
On Estimation of the Wavelet Variance
1996-01-20
A Smalltalk Memory Profiler and its Performance Enhancement
1997-08-14
Towards A Formal Verification Of A Secure And Distributed System And Its Applications
1995-08-25
Pre-Big-Bang In String Cosmology
1995-11-21
Estimation of Conditional Multilocus Gene Identity Among Relatives
1999-04-25
Learning with Limited Numerical Precision Using the Cascade-Correlation Algorithm
1997-01-22
NP-SPEC: An Executable Specification Language for Solving All Problems in NP
1999-02-03
Las Meninas in VR: Storytelling and the Illusion in Art
1998-04-21
Speech Enhancement in Vehicular Environment
1998-06-29
The Dynamics of Database Views
1998-09-28
hep-ph/9503444 TTP95-15
1998-05-15
Andrzej Czarnecki
Retrofitting Decision Tree Classifiers Using Kernel Density Estimation
1996-10-22
Complete Analysis of the Binary GCD Algorithm
1998-10-15
Universit'e De Caen
The Market for Motion Pictures: Rank, Revenue, and Survival
1996-10-11
Deciding Properties for Message Sequence Charts
1999-03-24
An Empirical Comparison of Selection Methods in Evolutionary Algorithms
1997-04-25
Peter J. B. Hancock
Crosstalk-Constrained Maze Routing Based on Lagrangian Relaxation
1997-11-14
Supporting Embedded System Design Capture, Analysis and Navigation
1997-09-11
Message Passing Abstractions as Elementary Bricks for Design Pattern Implementation
1998-09-25
Stphane Ducasse
Intractability of Assembly Sequencing: Unit Disks in the Plane
1997-05-15
Michael Goldwasser
Determining the Number of Dimensions Underlying Customer-choices with a Competitive Neural Network
1996-06-20
Pitfalls of Fitting Autoregressive Models for Heavy-Tailed Time Series
1996-09-27
Parallel Asynchronous Label Correcting Methods for Shortest Paths
1997-06-18
Distributed On-Line Diagnosis in the Presence of Arbitrary Faults
1997-09-05
Referential Data Structures
1994-05-02
A Class of Composable High Level Petri Nets
1997-07-02
Term Clustering of Syntactic Phrases
1996-11-26
A Comparative Evaluation of Medium- and Large-Scale Feature Selectors for Pattern Classifiers
1997-10-13
A Component-Based Architecture for Scalable Distributed Multimedia
1998-03-11
Scripting COM components in Haskell
1999-01-22
Equational Lifting Monads
1999-05-07
Towards Identifying and Monitoring Optimization Impacts
1998-08-12
Object Grammars and Random Generation
1997-04-17
The Many Functions of Discourse Particles: A Computational Model of Pragmatic Interpretation
1997-05-07
Checking Subsystem Safety Properties in Compositional Reachability Analysis
1996-08-06
MACAW: A Media Access Protocol for Wireless LAN's
1996-10-31
The NRL Protocol Analyzer: An Overview
1995-10-06
Catherine Meadows
Locally Random Reductions: Improvements and Applications
1997-02-15
A wavelet based estimator for the parameter of self-similarity of fractional Brownian motion
1997-06-06
Planned Team Activity
1996-02-20
Competition Between Feed-Forward and Lateral Information Processing in Layered Neural Networks
1997-02-18
A. C. C. Coolen
Attaching Second-Order Types to Methods in an Object-Oriented Language
1997-10-17
Laurent Perron
Protocol Composition in Horus
1997-01-27
Adding Flexibility to a Remote Memory Pager
1995-11-06
Resume
1997-10-29
Jin Q. Shao
Networks Processing Indeterminacy - an approach to modeling of intelligent systems based on neural networks implementation of associations of indeterminate phenomena
1998-02-11
Radim Blohlvek
Designing an Extensible Distributed Language with a Meta-Level Architecture
1996-07-09
On A Fourth Order Periodic Boundary Value Problem
1995-11-22
Ludov It Pinda
A Neural Network Approach to Quality Control Charts
1997-05-08
Thomas St Utzle
NASA Technical Paper 3496
1995-05-16
Process-Oriented Evaluation: The Next Step
1998-11-04
Pedro Domingos
A Posteriori Finite Element Error Estimation For Diffusion Problems
1998-10-07
Evaluating Stereo and Motion Cues for Visualizing Information Nets in Three Dimensions
1996-01-30
Causality for Time: How to Specify and Verify Distributed Algorithms
1997-12-19
Threaded Multiple Path Execution
1998-02-23
Formalisms for Multi-Agent Systems
1997-09-03
On Saeednia's Key-Exchange Protocols
1999-01-13
An Overview of Genetic Algorithms: Part 2, Research Topics
1994-09-05
Bayesian Analysis of Empirical Software Engineering Cost Models
1999-03-10
Consistency of Minimizers and the SLLN for Stochastic Programs
1995-10-27
Zvi Artstein
Quasi-Geostrophic Type Equations With Weak Initial Data
1997-04-26
Jiahong Wu
Service Models, Operational Decisions and Architecture of Digital Libraries
1997-12-07
Congestion Control in Asynchronous, High-Speed Wormhole Routing Networks
1997-06-30
Natural Deduction for Intuitionistic Non-Commutative Linear Logic
1998-12-30
Jeff Polakow
Self-Adaptive Penalties for GA-based Optimization
1999-03-16
Carlos A. Coello Coello
The Use of Vision and Touch Sensors for Dimensional Inspection Tasks
1998-04-13
Marilyn Nashman
Bayesian Analysis Of Network Flow Problems
1998-09-01
What Are Fuzzy Rules and How to Use Them
1997-06-30
Conservative Discrete-Event Simulations On Bulk Synchronous Parallel Architectures
1995-07-19
Radu Calinescu
AFEC: An Adaptive Forward Error-CorrectionProtocol for End-to-End Transport of Real-Time Traffic
1998-08-17
Verification of a Multiplier: 64 Bits and Beyond
1993-04-14
Graph Data Model Operations for Network Facilities in a GIS
1998-01-20
A Simple Formalization of Actions Using Circumscription
1995-10-13
Tor Vergata
1997-04-26
Advance Reservations for Predictive Service
1970-01-01
Hybrid Systems
1995-08-15
Frits Vaandrager
Specifying Logic Programs in Controlled Natural Language
1995-12-07
A Wavelet Packet Model of Evoked Potentials
1999-01-11
Dynamic Discontinuities for Radiosity
1998-01-20
Implementation and Evaluation of a Remote Memory Pager
1995-11-06
A New Exact Algorithm for General Orthogonal D-Dimensional Knapsack Problems
1970-01-01
Termination of Order-Sorted Rewriting
1995-01-18
Peter C. Řlveczky
Integrating Symbolic Reasoning with Neurally Represented Background Knowledge
1997-04-04
De-Noising via Wavelet Transforms Using Steerable Filters
1996-11-01
Entropy per Baryon in Strong Coupling QCD
1998-05-12
Analysis of a Class ofParallel Matrix Multiplication Algorithms
1997-09-26
Multidimensional Convolutional Codes
1998-05-08
Joachim Rosenthal Director
The Fox Project: Advanced Language Technology for Extensible Systems
1998-03-15
Multi-Agent Resource Sensitive Communication
1997-08-12
Regularized Symmetric Indefinite Systems in Interior Point Methods for Linear and Quadratic Optimization
1999-03-09
Anna Altman
Recovering Shape by Purposive Viewpoint Adjustment
1992-05-22
On Computing the Largest Fraction of Missing Information for the EM Algorithm and the Worst Linear Function for Data Augmentation
1999-02-26
Chris Fraley
Reliable Communication for Highly Mobile Agents
1999-05-10
The ENKIDU Prototype Parallel Query Optimization on Local Area Networks
1999-02-05
M. Exbrayat N. Biscondi
Vector Compaction Using Dynamic Markov Models
1998-01-13
Unknown
1998-05-23
Yoichi Kazama
Random Dynamical Systems Arising From Iterated Function Systems With Place-Dependent Probabilities
1998-08-03
Anna A. Kwieci
Comments on the Origin of Basic Color Terms
1998-06-13
Ken Shirriff
Some Notes On The Composite G--Valuations
1995-11-19
Angeliki Kontolatou
Analyse fonctionelle Un groupe `a un param`etre d'automorphismes multipliant la trace sur
1997-10-02
EPSRC Portable Software Tools for Parallel Applications Initiative Grant GR/K40468 Environment for the Design and Performance Evaluation of Portable Parallel Software EDPEPPS
1999-01-12
Multiple Regimes in Northern Hemisphere Height Fields via Mixture Model Clustering
1998-02-20
Partitioning Rectangular And Structurally Nonsymmetric Sparse Matrices For Parallel Processing
1999-02-05
Newton-Krylov-Schwarz Methods for Aerodynamics Problems: Compressible and Incompressible Flows on Unstructured Grids
1999-02-16
Identification of Linear Parameter-Varying Systems via LFTs
1996-10-07
Lawton H. Lee
UNIX A Beginner's Guide to Unix, vi and X-Windows
1998-05-30
Stephanie Wolf
Weakly Distributive Categories
1997-10-03
Inverse Optimal Design of Input-to-State Stabilizing Nonlinear Controllers
1998-05-07
Zhong-hua Li
Load Balancing, Latency Management and Separation of Concerns in a Distributed Virtual World
1995-03-02
Rick Kazman
Choosing Good Distance Metrics and Local Planners for Probabilistic Roadmap Methods
1998-03-22
One-Time Password System
1994-03-25
Neil M. Haller
Observations on Observations in Action Theories
1996-11-08
Secure Transport Protocols for High-Speed Networks
1998-01-23
ARL and PR2, reversible languages
1995-01-19
Jurriaan Hage
A Replication Architecture for FTAG
1998-04-10
A Corpus-Based Approach for Building Semantic Lexicons
1998-04-14
On the Information-Theoretic Capacity of Discrete-Time Queues
1997-03-09
S. Bedekar
What makes a word: Learning base units in Japanese for speech recognition
1997-05-20
Effective Control of Logical Discrete Event Systems in a Trace Theory Setting Using the Reflection Operator
1995-06-08
Rein Smedinga
Morphology on Convolution Lattices with Applications to the Slope Transform and Random Set Theory
1996-03-29
Tool Path Generation for Freeform Surface Models
1997-05-09
Gershon Elber
Flexible Integration and Derivation of Heterogeneous Schemata in Federated Database Systems
1997-08-22
Ingo Schmitt
Interpolative Coding Of Image Sequences Using Temporal Linking Of Motion-Based Segmentation
1996-01-25
A Nonhomogeneous Hidden Markov Model for Precipitation
1997-02-22
OPS2 deliverable APPARC ESPRIT Contract Evaluation of numerical applications running with shared virtual memory
1993-11-23
Lexical Knowledge for Natural Language Generation
1995-03-07
Philip Edmonds
On Non-Vanishing Of Twisted Symmetric And Exterior Square L-Functions For GLn
1998-02-01
PLANet: An Active Internetwork
1998-12-21
The Decidability of Simultaneous Rigid E-Unification with One Variable
1998-02-15
Adaptive Structure Processing with ANN: Is it useful for Chemical Applications?
1999-01-29
Christoph Goller
Predictive evaluation using Task Knowledge Structures
1996-03-13
Fraser Hamilton
Formal Models for Real Programs
1997-02-20
Nisse Husberg
A Noise-Robust Subspace-Based Sound-Class Detector
1996-02-08
Wolfgang Wokurek
Towards a Crystal Ball for Data Retrieval
1997-08-24
Joseph M. Hellerstein
Conditional Chromatic Numbers with Forbidden Cycles
1996-07-01
Kathryn Fraughnaugh
Least-Commitment Action Selection
1996-02-13
GEMM--Based Level 3 BLAS: High-Performance Model Implementations and Performance Evaluation Benchmark
1997-10-01
Decidability and Undecidability of Marked PCP
1998-11-20
Local Wavelet Attributes Amplitude, Phase and Scale for Geological Characterization
1998-03-14
Getting Rid of Links in Hierarchical Radiosity
1998-07-31
Impact of Switch Design on the Application Performance of Cache-Coherent Multiprocessors
1998-02-11
Tioga: A Database-Oriented Visualization Tool
1998-04-20
Simulating Wide-area Replication
1996-07-12
Sape J. Mullender
Identifying Linkage by Nonlinearity Check
1998-10-08
Shallow, Deep and Very Deep Cuts in the Analytic Center Cutting Plane Method
1997-07-09
String No-Scale Supergravity
1998-05-23
Jorge L. Lopez
A Programmable Multi-Blackboard Architecture for Dialogue Processing Systems
1997-05-21
Matthias Denecke
POPe-752, UTAP-285
1998-03-23
A Neural Network-based Associative Memory for Storing Complex-valued Patterns
1995-11-02
Two-Phase Multicast Routing Algorithms for Two-Dimensional Meshes
1997-09-09
Systematic Hypermedia Design
1998-06-04
Symbolic Weak Bisimulation for Value-passing Calculi
1998-09-17
Hyperon-rich Matter
1998-05-14
Jurgen Schaffner
ATLAS Level-1 Calorimeter Trigger System Architecture
1998-11-18
Transforming Termination by Self-Labelling
1999-03-16
Analogical Reuse of Requirements Frameworks
1999-02-10
A Performance Study of Three High Availability Data Replication Strategies
1997-07-22
David J. Dewitt
The W-Network: A Low-Cost Fault-Tolerant Multistage Interconnection Network for Fine-Grain Multiprocessing
1995-08-15
Kevin B. Theobald
Understanding Autonomous Interaction
1996-04-25
Mark D'inverno Michael Luck
Image Statistics for the British Aerospace Segmented Database
1999-03-11
Review of recent optical issues in LEP
1998-03-02
F. Ruggiero
Timed Colored Petri Net Models of Distributed Memory Multithreaded Multiprocessors
1998-08-20
Sequential Circuit Test Generation Using Dynamic State Traversal
1997-07-29
Towards Automatic Multigrid Algorithms For Spd, Nonsymmetric And Indefinite Problems
1995-10-18
Exploiting Structure in Policy Construction
1995-04-21
JavaGRID: Providing Simplified Access to Widely Distributed Computing
1999-02-12
Lower Tails of Self-Similar Stable Processes
1996-01-24
Piecewise Convex Estimation For Signal Processing
1996-03-25
Kurt S. Riedel
The Combined Effectiveness of Unimodular Transformations, Tiling, and Software Prefetching
1998-02-15
Anomalous Reflections Near a Caustic
1996-05-17
118 L. G. Valiant and G. J. Brebner, "Universal Schemes for Parallel Computations ",
1999-03-05
March 18, 1996
1996-03-20
The Cambridge Ring Distributed System
1997-12-23
Case-Based Reasoning with Noisy Case Boundaries: An Application in Molecular Biology
1992-05-05
Jude W. Shavlik
Recovery Management in Multiversion Objects
1994-10-10
Tatsuo Nakajima
Visualizing Partial Evaluation
1998-01-16
The Interference Rate of Radiation of Two Charges in Circular Motion
1998-05-15
Linear Fractional Transformations of Continued Fractions with Bounded Partial Quotients
1996-08-02
High Performance Software Coherence for Current and Future Architectures
1994-10-04
Virtual Model Control of a Bipedal Walking Robot
1997-11-04
Network control and usage-based charging : Is charging for volume adequate?
1998-07-30
Domain-Specific Knowledge Acquisition For Conceptual Sentence Analysis
1997-10-02
Automatic Discovery of Non-Compositional Compounds in Parallel Data
1997-06-11
I. Dan Melamed
Cooperating Distributed Hyperedge Replacement Grammars
1999-01-25
Sebastian Maneth
Specification and Verification of Fault-tolerance, Timing and Scheduling
1999-04-13
Genericity and Measure for Exponential Time
1996-10-16
The NICE Project: Learning Together in a Virtual World
1998-01-01
Frameless Rendering: Double Buffering Considered Harmful
1998-12-11
Process Allocation in Fault-Tolerant Multicomputers with Load Balancing
1996-11-19
Heejo Lee
New Lower Bounds for Some Multicolored Ramsey Numbers
1998-12-30
Aaron Robertson
Random Bit Recycling, PCPs and the Complexity of NP
1996-12-18
Using Discrete Event Modeling For Effective Computer Animation Control
1991-07-30
Type classes in Haskell
1994-03-02
A New Scheme for an Automatic Generation of Multi-Variable Fuzzy Systems
1998-11-08
Annealed and Quenched Propagation of Chaos for Asymmetric Spin Glass Dynamics
1995-03-30
One-Loop Induced Effective on-Shell
1999-03-23
Nuclear Centre
Graphical Development Tools for Network-Based Concurrent Supercomputing
1993-03-21
Gravity And Electromagnetism In Noncommutative Geometry
1997-04-26
Report on SIKS course on interactive and multi-agent systems, 30 november - 4 december 1998
1999-01-27
B. W. Van Schooten
Teaching Image Processing With Khoros
1998-11-24
Description Logics and Logics
1998-02-09
Enrico Franconi
Decomposition of Baseline Noise Sources in Hard Disk Position Error Signals Using the PES Pareto Method
1998-03-19
Management of Distributed Information Repositories
1998-06-19
Andreas Rauber
Computational Complexity of Planning Without Sensing, Planning With Sensing, and Approximate Planning
1999-01-14
Referral Whois Protocol RWhois
1994-12-12
ON FIELD EXPERIMENTS OF CONTINUOUS DIGIT RECOGNITIONOVER THE TELEPHONE NETWORK D. Falavigna, R. Gretter
1997-05-16
A Formal Approach to Parallelizing Compilers
1996-12-31
Multidimensional Triangulation and Interpolation for Reinforcement Learning
1996-12-31
Scott Davies
Conceptual Graphs as a Basis for Verification, Matching, and Similarity in the Context of Information System Development
1997-01-21
IARC Database of p53 gene mutations in human tumors and cell lines: updated compilation, revised formats and new visualisation tools
1997-12-16
A Note on Testing Exogeneity of Instrumental Variables
1994-05-19
Judea Pearl
Branch Prediction Architectures for 64-bit Address Space
1993-12-18
A Perceptual Colour Segmentation Algorithm
1996-11-18
O-Plan2: Choice Ordering Mechanisms in an AI Planning Architecture
1995-03-10
Cut Vertices and Semi-Inclusive Deep Inelastic Processes
1998-12-19
M. Grazzini
The Effect of Radiometric Correction on Multicamera Algorithms
1997-05-01
Divide-and-Conquer Mapping of Parallel Programs onto Hypercube Computers
1997-08-11
Planning Arguments in a Selection Task
1995-01-07
Sufficient Conditions For Multiply Constrained Extrema
1997-10-25
Thomas I. Vogel
Implementing HPSG with modular tools for fast compiling and parsing
1996-05-28
Graham Wilcock
An introduction to Neural Networks
1995-10-05
Radiative Seesaw Mechanism at Weak Scale
1998-05-25
Zhijian Tao
Transition System Semantics for Deterministic Situation Calculus.
1997-01-25
King's College Road Sf
Ruling the complexities of OS design and maintenance using object--oriented and AI technologies
1996-03-05
Lutz Wohlrab
The JSIM Web-Based Simulation Environment
1998-12-13
Description Logics in Data Management
1999-02-04
Alexander Borgida
FFT-based Methods for Nonlinear Image Restoration in Confocal Microscopy
1996-08-06
J. B. T. M. Roerdink
Elastic Electroproduction of
1997-12-19
H Collaboration
Hybrid Automatic Repeat Request Scheme With Turbo Codes
1997-10-15
Efficient Data Layout, Scheduling and Playout Control in MARS
1996-05-31
Solving the Maximum Weight Planar Subgraph Problem by Branch and Cut
1970-01-01
Home-based SVM protocols for SMP clusters: Design and Performance
1997-11-24
Spoken Language Translator: First-Year Report
1994-02-02
Program Extraction in a Logical Framework Setting
1994-05-16
How Do Read-Once Formulae Shrink?
1995-02-13
Handling Infeasible Specifications of Cryptographic Protocols
1997-10-14
Li Gong
Average Case Complexity Of Linear Multivariate Problems Part I: Theory
1992-08-12
H. Wo Zniakowski
WWW Khorosware on Digital Image Processing
1997-03-17
A Probabilistic Inference System for The Prediction of Subcellular Localization Sites of Proteins: Application to
1995-12-13
Toby Walsh
1998-09-05
Toby Walsh
Happy Couplings: Emergence and Explanatory Interlock
1997-11-15
Document Feature Recognition using a mesh of Associative Memories
1998-06-22
Operational Semantics of Visual Notations
1997-11-06
Nonexpressibility of Fairness and Signaling
1996-12-08
Overview of TREC-6 Very Large Collection Track
1998-04-14
Remarks on the Use of RSA Moduli With Prespecified Bits
1997-01-25
Spatial Representation of Economic and Financial Measures Used in Agriculture Via Wavelet Analysis
1998-09-14
Shared Mixture Distributions And Shared Mixture Classifiers
1999-03-20
Distributed Synchronization of Group Operations in Cooperative Editing Environments
1995-11-22
2D Shallow Water Equations by Composite Schemes
1997-12-05
Automating the Probing Process
1997-08-12
Tomos G. Williams
Software for Small, Communicating Computers
1997-03-11
Gary J. Nutt
Memory Sharing Predictor: The Key to a Speculative Coherent DSM
1999-03-04
Formal Requirements Analysis of an Avionics Control System
1997-05-30
Recent Activities in the MICE Conferencing Project
1999-03-01
Dario BAMBUSI* Dipartimento di Matematica dell'Universit`a Via Saldini 50, 20133 MILANO, Italy.
1997-03-07
Dario Bambusi
Polar Quantization Revisited
1998-08-08
Elastic Servers
1996-04-01
Yechiam Yemini
What is an Object, After All?
1997-04-18
A. Sernadas
Sufficient Conditions for Apparent Horizons in Spherically Symmetric Initial Data
1998-05-05
The Geometry of Graphs and Some of Its Algorithmic Applications
1996-02-01
Diagnosing Realistic Bridging Faults with Single Stuck-at Information
1998-07-13
An Authentication Service for Open Network Systems
1988-03-31
A Structured Design Method for Hard Real-time Systems
1993-05-26
Generation Of Realizable Conformance Tests Under Timing Constraints
1998-08-21
Stabilization of Stationary and Time-Varying Autoregressive Models
1998-04-02
A Provably Time-Efficient Parallel Implementation of Full Speculation
1997-02-04
A Research Agenda For Geographic Information And Analysis
1995-01-09
Bayesian Approach To Wavelet Decomposition and Shrinkage
1999-03-12
Phenomenology of Soft Terms in the Presence of Nonvanishing Hidden Sector Potential Energy
1998-05-23
Regular Lie groups and a theorem of Lie-Palais
1996-02-07
Vladimir Pestov
Optimal Compressor Functions for Multidimensional Companding of Memoryless Sources
1998-04-21
CuPit-2: A Portable Parallel Programming Language for Artificial Neural Networks
1997-04-22
Cross-linguistic Variation in the Compatibility of Negation and Imperatives
1998-04-18
Assessing Generalization Of Feedforward Neural Networks
1998-06-24
Michael J. Turmon
Analog Vlsi Motion Discontinuity Detectors For Image Segmentation
1998-10-07
PVMPI: An Integration of the PVM and MPI Systems
1997-02-22
Toward Parallel and Distributed Learning by Meta-Learning
1993-04-30
Design by Autonomous Learning: Modeling Environment for Design of Devices
1998-11-04
Approximating Good Simultaneous Diophantine Approximations is almost NP-hard
1997-11-13
Easily Adding Sound Output to Interfaces
1998-05-01
Asymptotic Normality Of Generalised Robbins-Monro Procedure
1998-07-23
An Index Implementation Supporting Fast Recovery for the POSTGRES Storage System
1994-02-18
Splitting An Ordering into a Partition to Minimize Diameter
1996-01-12
Polyhedral Techniques in Combinatorial Optimization II: Computations
1996-01-26
Interactive Multimedia Presentation Capabilities for an Object-Oriented DBMS
1996-05-09
David Wands
1970-01-01
David Wands
Parallelizing the Divide and Conquer Algorithm for the Symmetric Tridiagonal Eigenvalue Problem on Distributed Memory Architectures
1998-05-28
Jack Dongarra
The Structure Of The Pomeron
1998-05-15
Konstantin Goulianos
Clustering in Weight Space of Feedforward Nets
1997-06-19
Voting Model Based Diagnosis of Bridging Faults in Combinational Circuits
1994-02-16
Distributed Computation of Mixed Volume
1998-11-21
On Sparse Languages Such That LL= Sigma*
1995-09-05
An Uncertainty Principle For Ultraspherical Expansions
1997-03-09
Decomposing Italian clitics
1997-03-06
Paola Monachesi
Soft-Output Multiuser Estimation for Asynchronous CDMA Channels
1997-04-04
Analytic Evaluation of Shared-Memory Systems with ILP Processors
1999-01-21
Behaviour of Multiple Generalized Langton's Ants
1996-05-01
Wavelet Packet Image Coding Using Space-frequency Quantization
1998-01-29
Technical Report No. 377 Probabilistic Error Correction in Arbitrarily Large / Lukasiewicz Logic Arrays
1993-05-24
Enriched Categories as Models of Computation
1996-07-24
Boolean Expression Diagrams
1997-09-04
Distinguishing Different Roles in Normative Reasoning
1997-05-16
The RAW Benchmark Suite: Computation Structures for General Purpose Computing
1997-05-07
Ieee Transactions On Software Engineering, Vol. 23, No. 5, May 1997 1
1999-04-12
Gerard J. Holzmann
Application of non-bijective transformations to various potentials Maurice KIBLER
1998-05-23
Some Scaling Effects in Concurrent Algorithms
1995-06-15
Alan Heirich
An Application Of Petri Net Reduction For Ada Tasking Deadlock Analysis
1998-03-02
Windows on the World: 2D Windows for 3D Augmented Reality
1997-01-22
Informed Prefetching and Caching
1997-10-15
A Computational Theory of Lexical Relatedness
1993-03-11
Marc Light
Statistical Mechanics and Information Theory
1996-01-24
Jeremy Gunawardena
Beamspace Transformation Matrix Design using Numerical Optimization
1994-05-25
Oren Anderson
The Error Surface of the 2-2-1 XOR Network: Stationary Points with infinite Weights
1996-06-07
Ida G. Sprinkhuizen-kuyper
Towards A New Benchmarking Paradigm in EDA: Analysis of Equivalence Class Mutant Circuit Distributions
1997-03-31
IRs and their specification in the PAGODE back-end generator
1996-07-23
Control of Distributed Discrete Event Systems Modeled as Petri Nets
1997-03-14
A Benchmark Method for the Propositional Modal Logics K, KT, S4
1996-10-04
Large deviation and self-similarity analysis of graphs: DAX stock prices
1996-03-28
ILFA - A Project in Experimental Logic Computation
1997-07-18
Compiler Support for Maintaining Cache Coherence Using Data Prefetching Extended Abstract
1970-01-01
On Syntax in Discourse, in Language Contact Situations
1996-02-07
Ellen F. Prince
Theory of Gold-Hydrogen Complexes on Silicon
1997-09-03
School of Electronic Engineering
1999-01-09
Quantifying the Performance Differences Between PVM and TreadMarks
1996-10-01
Spatial and Temporal Pattern Analysis via Spiking Neurons
1997-12-18
Berthold Ruf
ARTSTAR: A Supervised Modular Adaptive Resonance Network Classifier
1993-09-29
Talib Sajad Hussain
Shape Similarity Matching for Query-by-Example
1997-06-05
A. Murat Tekalp
Unknown
1999-01-16
S. Floyd
The Active Longitudes of
1997-12-11
An Overview of Implicit Surfaces
1995-04-26
Contour Continuity in Region Based Image Segmentation
1998-03-17
Thunks and the Lambda-Calculus
1995-03-03
Mesh Routing Topologies For FPGA Arrays
1995-12-21
Statistical Mechanics of Simple Models of Protein Folding and Design
1997-09-03
Closing the Window of Vulnerability in Multiphase Memory Transactions
1994-07-11
Building Perceptual Textures to Visualize Multidimensional Datasets
1999-04-07
Perturbation Theory around Non-Nested Fermi Surfaces - II. Regularity of the Moving Fermi Surface: RPA Contributions
1997-04-26
A One Way Function Based on Ideal Arithmetic in Number Fields
1997-02-24
Supporting Multi-User, Multi-Applet Workspaces in CBE
1996-07-25
Cost approximation: A unified framework of descent algorithms for nonlinear programs
1997-11-26
Michael Patriksson
Limits of Generalized State Space Systems under Proportional and Derivative Feedback
1997-07-15
D. Hinrichsen
ASIC Yield Estimation At Early Design Cycle
1996-09-16
Perceptual Grouping and Attention in a Multi-Agent World
1999-04-05
Randall W. Hill
Object Interconnections
1996-04-01
GMD --- German National Research Centerfor Information Technology
1997-09-09
Jochen Liedtke
Phase transition and simulation for a penalized Ising model with applications in image analysis
1998-09-22
Rasmus Waagepetersen
Wiener Soccer And Its Generalization
1998-09-13
Yuliy Baryshnikov
Naming Guidelines for Directory Pilots
1994-11-17
P. Barker
A Criterion for Unimodality
1999-03-26
The World Wide Web and Technology Transfer at NASA Langley Research Center
1998-12-11
A Functional Interpretation Scheme for D-Tree Grammars
1999-01-15
Interpolation
1998-09-25
Theta Method Dynamics
1999-03-26
A New Approach to Open Robustness Problems Based on Probabilistic Prediction Formulae
1970-01-01
Information Retrieval Based on Word Senses
1997-08-12
With a High Probability
1998-04-01
Parallel Programming in Split-C
1996-02-21
Geometric Uncertainty in Motion Planning: Summary Report and Bibliography
1998-12-20
Solving Various Weighted Matching Problems with Constraints
1998-08-18
High-Concurrency Locking in R-Trees
1995-06-04
A Candidate Set based analysis of Subgoal Interactions in conjunctive goal planning
1996-02-08
Aspectual Shift As Type Coercion
1997-04-11
Stephen G. Pulman
On The Determination Of A Potential From Three Spectra
1997-08-21
Fritz Gesztesy
: Providing Data Management Support for Scientific Visualization Applications
1995-06-04
Cache Snooper Proc
1995-08-04
Optimization of the Nonrelativistic Potential Model for
1998-05-15
Self-reconfigurable Robots for Navigation and Manipulation
1998-12-07
Solving Geometric Constraints By Homotopy
1999-01-12
Dominique Michelucci
Nonholonomic Path Planning for Pushing a Disk Among Obstacles
1997-02-01
Model-Based Sensor Fusion for Aviation
1998-05-22
Fast and Exact Computation of Moments Using Discrete Green's Theorem
1995-03-20
Image Processing via the Beltrami Operator
1998-01-20
R. Malladi
A Fast Software Implementation for Arithmetic Operations in GF2^n
1996-10-07
The CMU Task Parallel Program Suite
1994-08-29
An Array Operation Synthesis Scheme to Optimize Fortran 90 Programs
1999-03-21
Analysis of Subtidal Coastal Sea Level Fluctuations Using Wavelets
1997-09-18
Understanding People Pointing: The Perseus System
1997-08-15
Exploiting Population Information in Evolutionary Learning
1970-01-01
Rapid Convergence of a Local Load Balancing Algorithm for Asynchronous Rings
1997-12-04
Negative Masses, Even If Isolated, Imply Self-Acceleration, Hence a Catastrophic World.
1997-02-10
On the Effect of Analog Noise in Discrete-Time Analog Computations
1997-04-04
Anonymous Atomic Transactions
1998-10-19
Feature Selection with Neural Networks
1998-03-18
Generalizing Incremental Condition Estimation
1994-10-08
Efficient Runtime Thread Management for the Nano-Threads Programming Model
1999-02-12
An Application of Boolean Complexity to Separation Problems inBounded Arithmetic
1998-09-11
Samuel R. Buss
Towards the IC Implementation of Adaptive Fuzzy Systems
1998-12-30
Gibbs-Markov Models
1995-09-11
John D. Lafferty
Planning Dextrous Operations using Physical Models
1998-04-09
Comparisons of aircraft, ship, and buoy meteorological measurements from TOGA COARE
1998-09-30
D. Wei, H. Guo, J. E. Odegard, M. Lang, and C. S. Burrus
1998-04-09
Interleaving Planning and Robot Execution for Asynchronous User Requests
1996-01-18
T Tauri Variability in the Context of the Beat Frequency Model
1998-05-14
Kester W. Smith
Coding of Still Pictures
1998-05-07
Implementing Real-time Interactive Multi-User Games with Fudgets
1998-06-30
Finding Slowly Decaying Observables
1998-06-16
Gary Froyland
Other Operators: Gene Duplication and Deletion
1997-03-21
Martin Schutz
An Analysis On The Rare Subtypes Of The Fast Solar Radio Activity
1997-03-03
Tracking Eyes and Monitoring Eye Gaze
1997-10-23
DREAM: A Distributed Shared Memory model using PVM
1997-09-01
Scheduling Interval-Ordered Tasks with Non-Uniform Deadlines
1997-11-19
Jacques Verriet
The Discrete Ordinates Method For The Neutron Transport Equation In An Infinite Cylindrical Domain
1997-03-12
Recognition Of Spelled Names Over The Telephone
1997-02-06
Constructing Interactive Network Visual Interfaces
1999-01-21
Prospectus for the Development of a Linear Algebra Library for High-Performance Computers
1994-10-08
Cohomology And Euler Characteristics Of Coxeter Groups
1997-05-23
Toshiyuki Akita
Learning Syntactic Frames with Simple Recurrent Networks
1998-06-29
Rutvik Desai
Wellposed Problems of the Calculus of Variations for Nonconvex Integrals
1995-10-27
Tullio Zolezzi
Application-Controlled
1995-07-05
Edward Felten
Performance Comparison of Real-Time Architectures using Simulation
1996-11-19
Efficient Building and Placing of Gating Functions
1994-11-11
Monopoly
1970-01-01
Object Request Management Architecture SORMA - Concepts and Examples
1996-09-27
Schwarz, Wallace, and Rissanen: Intertwining Themes in Theories of Model Order Estimation
1999-03-17
Aaron D. Lanterman
Verb Second by Lexical Rule or by Underspecification
1994-09-13
Anette Frank
Language-Level Support for Remote Object Invocations
1998-11-09
Jorg Nolte
An Introduction to the Data-Parallel Paradigm
1996-11-11
Thomas A. Henzinger Pei-Hsin Ho Howard Wong-Toi
1999-03-16
Probabilistic List Scheduling: an Algorithm for Producing Initial Schedules for Probabilistic Rotation Scheduling
1998-04-03
Shape Modeling from Multiple View Images Using GAs
1998-09-26
A Standard Library Proposal for Haskell 1.3 - Version 3
1995-09-06
Optimal Tracing and Replay for Debugging Shared-Memory Parallel Programs
1993-08-03
Robert H. B. Netzer
Learning Relations by Pathfinding
1992-05-11
Mechanics, Planning, and Control for Tapping
1998-03-28
Wesley H. Huang
Results of the Abbadingo One DFA Learning Competition and a New Evidence Driven State Merging Algorithm
1998-05-08
Notes On Surgery And
1997-05-23
John Roe
High-Performance Network Protocols and Architectures
1994-08-25
Marcos De Macedo Val'erio
Using Fractal Coding to Index Image Content for a Digital Library
1995-08-16
A Multi-Level Preconditioner with Applications to the Numerical Simulation of Coating Problems
1998-12-27
A New Approach To Inverse Spectral Theory, I. Fundamental Formalism
1997-12-23
Barry Simon
A Performability Model for Applications using Checkpointing
1998-10-16
John P. Dougherty
Esprit Iii
1995-05-16
An Accurate Instruction Cache Analysis Technique for Real-time Systems
1998-12-17
A Reflective Multi-Level Architecture for Agent Design and Control
1997-01-22
Effective Memory Use in a Media Server
1997-06-25
Robust Word Spotting In Adverse Car Environments
1995-10-31
Efficiently Generating Triangle Strips for Fast Rendering
1998-06-09
The Evolution Of Carnot's Principle
1999-04-23
E. T. Jaynes
An Efficient Implementation For Ssor And Incomplete Factorization Preconditionings
1996-07-21
Evaluating Crucial Performance Issues of Protocol Configuration in Da CaPo
1995-02-16
Thomas Plagemann
Context-Free Graph Grammars and Concatenation of Graphs
1995-11-29
Real Time Trajectory Generation For Differentially Flat Systems
1970-01-01
High Performance Segmentation of Spontaneous Speech Using Part of Speech and Trigger Word Information
1997-02-09
A Class of Stochastic Models for Invariant Recognition, Motion, and Stereo
1996-09-26
Aiding Strategic Decision-Making Among Police Departments Using An Artificial-Intelligence Software Tool
1999-01-13
Quasi-periodic Motions of a Rigid Body I
1997-05-12
Modelling The Galactic Bar Using Red Clump Stars
1995-08-01
Dynamic Simulation Methods for Animation of Legged Locomotion
1996-02-16
Daniel Nikovski
Competitive Robot Mapping with Homogeneous Markers
1998-05-05
Simulation of Schema Change using Views
1996-09-13
Hölder Regularity of Horocycle Foliations
1998-10-30
Large Object Support in POSTGRES
1994-02-18
Video Coding with R-D Constrained Hierarchical Variable Block SizeVBS Motion Estimation
1998-01-14
Iterative Detection in Code-Division Multiple-Access with Error Control Coding
1998-05-12
Preventing Denial and Forgery of Causal Relationships in Distributed Systems
1993-04-02
A Concurrent Copying Garbage Collector for Languages that Distinguish Immutable Data
1996-06-20
Word Spotting Via Spatial Point Processes
1996-06-05
Concurrent Object-Oriented Programming Using Term Graph Rewriting Techniques
1996-04-10
George A Papadopoulos
Run-Time Monitoring of Real-Time Systems
1997-03-28
Farnam Jahanian
Contact Topology and Hydrodynamics
1997-08-29
John Etnyre
Aggregate-Query Processing in Data Warehousing Environments
1995-07-07
Efficient Mining of Partial Periodic Patterns in Time Series Database
1999-01-18
Ultrafiltres et théorie de Ramsey
1996-11-06
Ecole Normale
Matrices, Monads and the Fast Fourier Transform
1998-03-11
C. Barry Jay
Efficient Infeasibility Handling in Linear MPC Subject to Prioritized Constraints
1999-04-06
Stabilization Of Stationary And Time-Varying Autoregressive Models
1998-04-02
Systematic Search for Categorical Attribute-Value . . .
1970-01-01
Measuring the Quality of Service of Optimistic Replication
1999-02-23
Guidelines for OSI NSAP Allocation in the Internet
1991-12-10
Ross Callon dec
Probabilistic Hill-Climbing
1997-11-21
Logical and Operational Methods in the Analysis of Programs and Systems
1998-12-31
The Strength of the CCITT/ISO Hash Function
1996-02-03
The Xthreads Library: Design, Implementation, and Applications
1995-01-12
Expert Systems Validation
1996-01-31
See what I mean? Using Graphics Toolkits to Visualise Numerical Data
1997-08-12
Retrieving Images by Appearance
1997-09-17
Patterns for Human-Computer Interaction Studies of Principle Aggregation and Pattern Naming
1998-01-06
CompuNet subgroup on Program Development, Analysis and Transformation
1995-11-03
Description Of Infinite Dimensional Abelian Regular Lie Groups
1970-01-01
Event-Clock Automata: A Determinizable Class of Timed Automata
1997-04-17
An Access Control Model Supporting Periodicity Constraints and Temporal Reasoning
1998-04-23
Unified Compilation Techniques for Shared and Distributed Address Space Machines
1995-11-27
Semiautomatic 3-D model extraction from uncalibrated 2-D camera views
1996-07-19
Dealing with One-Timer-Documents in Web Caching
1998-08-20
Higher-order logic programming in Prolog
1996-09-24
Lee Naish
PLANMINE: Sequence Mining for Plan Failures
1998-06-08
The effect of adding a scalar D-cache to the Cray-4 vector processor
1999-02-05
Using Java to Present Fault Tolerance in Distributed Systems
1996-06-28
Saurabh Jain
Accessibility Under Sampling
1995-07-10
DECface: An Automatic Lip-Synchronization Algorithm for Synthetic Faces
1997-09-03
Computing the Tutte Polynomial of a Graph and the Jones Polynomial of an Alternating Link of Moderate Size
1995-08-10
Storage-Efficient, Deadlock-Free Packet Routing Algorithms for Torus Networks
1996-12-06
Using the Discrete Fourier-Transform to Analyze the Convergence of Subdivision Schemes
1997-04-29
Leif Kobbelt
The Potential for Thread-Level Data Speculation in Tightly-Coupled Multiprocessors
1997-09-22
First Results From The Nomad Experiment Nomad-Memo 97--020
1997-06-19
F. F. Wilson
Performance Measurements of Automatic Prefetching
1995-10-27
James Griffioen
Another Class of Minimax Estimators of A Variance Covariance Matrix in Multivariate Normal Distribution
1998-10-09
Hisayuki Hara
Generalized Queries on Probabilistic Context-Free Grammars
1996-04-15
Formation And Signatures Of The First Stars And Quasars
1999-03-03
Solution of Large-Scale Railway Crew Planning Problems: the Italian Experience
1998-01-08
Towards Megaprogramming: A Paradigm for Component-Based Programming
1994-08-13
Random Perturbations to Hebbian Synapses of Associative Memory using a Genetic Algorithm
1997-08-21
Akira Imada
Modelling Functions From Sample Data With Classification Applications
1994-05-17
New Strategies in Learning Real Time Heuristic Search
1997-07-02
Morphological Residual Representations Of Signals
1996-01-10
Dinu Coltuc
Blackbox Optimization: Implications Of SEARCH
1997-09-29
A. Thorolfsson
1997-12-11
Distributional Asymptotic Expansions of Spectral Functions and of the Associated Green Kernels
1997-10-21
Learning Dynamics: System Identification for Perceptually Challenged Agents
1996-10-04
Visualization of Health Data
1997-05-23
Non-linear Adaptive Prediction of Speech with a Pipelined Recurrent Neural Network and a Linearised Recursive Least Squares Algorithm
1998-06-17
A Remote Robotics Laboratory on the Internet
1995-05-15
Controlling Applets' Behavior in a Browser
1998-12-17
GULP 3.1: An Extension of Prolog for Unification-Based Grammar
1994-08-01
On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System
1998-12-18
Design of a Decision Support System for Production Scheduling with Intelligent Agents
1997-06-10
Tracking the Neuro-symbolic Continuum: Learning by Explicitation
1994-06-23
Chris Thornton
Focal Values for Quadratic Systems With Four Real Singular Points
1994-08-16
L. A. Timochouk
Journal of Development
1999-02-09
Fast and Effective Procedure Inlining
1997-06-11
Fast Quasi-DCT Algorithm For Shape-Adaptive DCT Image Coding
1998-04-21
Janusz Konrad
M. Krishna
1997-04-26
M. Krishna
Array Language Support for Wavefront and Pipelined Computations
1998-11-11
Five Axioms of Alpha-Conversion
1997-11-19
Andrew D. Gordon
Unknown
1998-05-04
Timothy Robert Leek
Domains and Denotational Semantics: History, Accomplishments and Open Problems
1996-01-25
A VHDL Modeling Guide
1995-03-31
Improving Embedded Machine Translation with User Interaction
1998-10-15
Ralf D. Brown
Operational Aspects of Linear Lambda Calculus
1998-08-21
Adaptive Confidence And Adaptive Curiosity
1992-06-12
Jurgen Schmidhuber
A Locally Optimal Design Algorithm for Block-Based Multi-Hypothesis Motion-Compensated Prediction
1998-04-28
A Theory for Total Exchange in Multidimensional Interconnection Networks
1992-12-17
Optimized Timed Hardware Software Cosimulation without Roll-back
1998-01-07
iWarp: An Integrated Solution to High-Speed Parallel Computing
1994-04-18
Composing Functions to Speed up Reinforcement Learning in a Changing World
1998-02-05
Chris Drummond
MEMSY - A Modular Expandable Multiprocessor System
1998-11-08
An Incomplete Method for Solving Distributed Valued Constraint Satisfaction Problems
1970-01-01
Michel Lemaitre
Video Integration in Multimedia Applications and the Use of Various Delivery Channels
1996-09-29
Norbert Gerfelder
The Design and Implementation of Meta
1993-07-17
Customized Information Extraction as a Basis for Resource Discovery
1995-02-02
Cryptology
1998-10-28
A Verifiable Secure Distributed System
1995-02-08
Jim Alves-foss
The Fat-Pyramid and Universal Parallel Computation Independent of Wire Delay
1996-10-30
Ronald I. Greenberg
Parallel Real-Time Cryptography: Beyond Speedup II
1999-05-07
Improving Code Density Using Compression Techniques
1997-10-28
Trilinear Constraints Revisited: Generalized Trilinear Constraints and the Tensor Brightness Constraint
1996-02-19
Queue Length Distribution In A Fifo Single-Server Queue With Multiple Arrival Streams Having Different Service Time Distributions
1998-07-17
Tetsuya Takine
Screen-Parallel Calculation of Surface Intersections
1997-10-29
David C. Banks
Principles for Optimizing CORBA Internet Inter-ORB Protocol Performance
1997-11-07
Density Inequalities For Sets Of Multiples
1998-07-08
Design of Diversity Antennas for Mobile Telephones
1997-12-15
On random graph homomorphisms into Z
1998-11-09
DYNAMO: An Algorithm for Dynamic Acoustic Modeling
1998-03-31
Ozone: Integrating Structured and Semistructured Data
1999-02-23
Supporting Hysteroscopic Surgery by 3D Imaging, Modelling and Visualization
1999-01-25
Representing control: a study of the CPS transformation
1995-01-06
Specifications for Fault Tolerance: A Comedy of Failures
1998-10-26
Felix C. Gartner
RISC-CLPTreeDelta - A Constraint Logic Programming System with Parametric Domain
1995-08-03
Wireless Communication Networks over TCP, ATM and Location Update and Paging Policies
1996-07-11
Esin Haritaoglu
A Survey of Quality of Service Architectures
1995-09-29
Competencies of Exceptional and Non-Exceptional Software Engineers
1993-10-26
Approximate Symmetries in Dynamical Systems
1997-04-26
Computation in Cellular Automata: A Selected Review
1996-09-10
Melanie Mitchell
Grand Unified Model of Accretion Disks: The Sub-Keplerian Paradigm
1998-05-12
Sandip K. Chakrabarti
Strategies for Model Mixing in Generalized Linear Models
1996-12-10
Merlise Clyde
Distributed Path Reservation Algorithms for Multiplexed All-Optical Interconnection Networks
1996-10-18
Distributed Proxy: A Design Pattern for Distributed Object Communication
1997-09-15
Identifying Distinctive Subsequences in Multivariate Time Series by Clustering
1999-02-02
Tim Oates
PHOENIX-2: A New Broadband Spectrometer for Decimetric and Microwave Radio Bursts
1999-02-11
- A Customizable, Language- and Front-End independent Code Analyzer
1994-08-08
Premkumar T. Devanbu
Paralex: An Environment for Parallel Programming in Distributed Systems
1993-01-28
The Application Of A Structured Markovian Traffic Source Model To Atm Networks
1995-05-26
A Study of Single-Chip Processor/Cache Organizations for Large Numbers of Transistors
1996-02-10
A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications
1998-03-09
Masahiro Yasugi
A Selective Macro-learning Algorithm and its Application to the NxN Sliding-Tile Puzzle
1998-06-30
Correlations and the Encoding of Information in the Nervous System
1999-02-24
Performance Evaluation of Two-Shadow Speculative Concurrency Control
1996-08-16
Applications
1996-04-18
Philip Wadler
Synthesis of Unequally Spaced Arrays by Simulated Annealing
1997-04-10
Set-Driven and Rearrangement-Independent Learning of Recursive Languages
1995-04-28
Locality Preserving Load Balancing With Provably Small Overhead
1998-09-10
Robert Garmann
Evaluating Predictive Quality Models Derived from Software Measures: Lessons Learned
1996-06-26
English Main Verbs Move Never
1994-06-02
Bernhard Rohrbacher
Using SOM and LVQ for HMM training
1997-06-02
Mikko Kurimo
Protein Folding, Spin Glass and Computational Complexity
1998-09-02
Aviezri S. Fraenkel
A Linear Algorithm For Finding A Maximal Planar Subgraph
1996-07-15
Hristo N. Djidjev
A Framework for Grammar Acquisition
1998-07-27
Markus Schulze
Wigner Representation Theory of the Poincaré Group, Localization, Statistics and the S-Matrix
1997-07-17
Bert Schroer
The Multimedia Multicast Channel
1994-10-19
Property Testing and its connection to Learning and Approximation
1996-07-30
Best Probability of Activation and Performance Comparisons for Several Designs of Sparse Distributed Memory
1995-12-18
Electroweak Results from the Tevatron
1998-07-24
Mark Lancaster
Estimating Curvature By Kalman Filters
1996-10-17
Peter T. Sander
Nevin HEINTZE Bell Laboratories
1996-06-08
Goals for Computer Security Education
1996-05-29
Cynthia E. Irvine
Institut fur Mathematik, Universitat Wien
1997-07-24
N. Nadirashvili
The Hamlet Design Entry System - An overview of ADL and its environment
1995-03-15
Comparing Facial Line Drawings with Gray-Level Images: A Case Study on PHANTOMAS
1996-03-25
Wolfgang Konen
Memory-Efficient Algorithms for the Verification of Temporal Properties
1998-09-27
Distributed Termination Detection with Sticky State Indicators
1995-03-26
Friedemann Mattern
Logic without Model Theory
1993-12-01
Robert Kowalski
Code Generation For Transport Triggered Architectures
1995-11-06
Flow and Congestion Control for Internet Media Streaming Applications
1999-01-07
OnResource Management and QoS Guarantees For Long Range Dependent Traffic
1998-08-13
Packaging Knowledge into Metaobjects
1995-11-22
Seminar Sophus Lie
1995-08-20
J. Hilgert
Phase-Based Bidirectional Stereo In Coping With Discontinuity And Occlusion
1998-10-23
Learning of Constraints and Logical Implications in The Spatial Domain
1998-07-23
Experience with an Automated Hoarding System
1997-08-06
A One-Man-Year Exercise in Network Interface Engineering
1970-01-01
James C. Hoe
Constraining the Structure and Style of Object-Oriented Programs
1993-05-10
Hamiltonian Mechanics
1997-06-11
Ivar Ekeland
Logics for Digital Circuit Verification - Theory, Algorithms, and Applications
1999-03-03
Fundamental Design Issues for the Future Internet
1999-02-05
Scott Shenker
Coordination in Concurrent Object-Oriented Programming Extended Abstract
1995-05-26
Beiträge zu KORSO- und TROLL light -Fallstudien
1998-05-25
An Evaluation of Strategies for Selective Utterance Verification for Spoken Natural Language Dialog
1999-02-08
Ronnie W. Smith
Collection-Oriented Languages
1997-02-04
Uniform Convergence Estimates For Multigrid V-cycle Algorithms with Less than Full Elliptic Regularity
1995-11-06
Can Uncertainty Management Be Realized In A Finite Totally Ordered Probability Algebra?
1997-07-09
Natural Language Analysis and Generation Technologies
1996-04-01
Multichannel Noise Reduction --Algorithms And Theoretical Limits--
1998-09-25
Scale in Distributed Systems
1995-11-16
B. Clifford Neuman
Finding Optimal Material Release Times Using Simulation-Based Optimization
1998-10-20
Formalisms for Multi-Agent Systems
1998-05-26
Deductive Systems of Fuzzy Logic a Tutorial
1998-05-12
Lluis Godo
Spatio-Temporal Indexing for Large Multimedia Applications
1996-10-01
Group Communication In Amoeba And Its Applications
1994-03-21
Efficient Algorithms for Geometric Optimization
1998-06-01
Estimation and Statistical Analysis of Exponential Polynomial Signals
1970-01-01
Databases with Deadline and Contingency Constraints
1997-12-11
Virtual Shared Memory for PVM
1996-12-10
A Document-Based Approach to Software Engineering Environments
1995-09-22
Jun Han
One-Stage Models
1999-03-18
Model Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations and Experimental Results
1998-03-13
Bisimulation is not Finitely First Order Equationally Axiomatisable
1996-09-05
Peter Sewell
Future Directions in Silicon ICs for RF Personal Communications
1995-02-02
Formal Definition of a Conceptual Language for the Description and Manipulation of Information Models
1997-03-27
Unknown
1970-01-01
Bret Andrew Marsolf
Immune Networks Modeled by Replicator Equations
1998-09-24
Solving Puzzles related to Permutation Groups
1999-02-16
Missing Data In Interactive High-Dimensional Data Visualization
1998-11-19
Bayesian Inference for S-Shaped Software Reliability Growth Models
1996-02-15
Grammatical View of Constraint Logic Programs for Declarative Debugging
1970-01-01
Fundamental Limitations on Projective Invariants of Planar Curves
1996-08-05
Kalle Astrom
A Technique for Tracing Memory Leaks in C++
1997-10-19
Steven J. Beaty
A Mixed Synchronous-Asynchronous Approach For Digital Signal Processing
1996-06-11
A Simple Alternative to Neural Network Control Scheme for Robot Manipulators
1997-08-07
Priors, Posterior Odds and Lagrange Multiplier Statistics in Bayesian Analyses of Cointegration
1997-02-18
Group Membership Protocol: Specification and Verification
1996-06-24
The Dual Dynamics Design Scheme for Behavior-based Robots: A Tutorial
1996-10-04
Understanding COBOL Systems using Inferred Types
1999-05-01
A Survey on Pivot Rules for Linear Programming
1994-02-11
Polynomial Time Algorithms for Some Evacuation Problems
1995-02-28
Eva Tardos
Interconnect Layout Optimization Under Higher-Order RLC Model
1997-11-16
Design Issues for an Adaptive Mobile Group Editor
1997-11-25
Database Systems for Efficient Access to Tertiary Memory
1995-12-23
Sunita Sarawagi
Similar Classifiers and VC Error Bounds
1997-08-15
Eric Bax
Efficient Asynchronous Distributed Symmetry Breaking
1996-09-01
Multigrid Solution Of Flame Sheet Problems On Serial And Parallel Computers
1995-02-02
Neural Models for Part-Whole Hierarchies
1997-01-10
Compression of Discrete Multiresolution Models
1998-05-14
Coexistence Of Singular And Regular Solutions For The Equation Of Chipot And Weissler
1996-06-06
F. X. Voirol
End-to-end Delay of Videoconferencing over Packet Switched Networks
1998-01-18
Ergodic Control Of Switching Diffusions
1997-07-13
Total Variance, an Estimator of Long-Term Frequency Stability
1998-08-06
A Simplification of the Calculation of the Joint Genotype Distribution in Two Noninbred Individuals
1998-01-16
Anthony Almudevar
The System Architecture and the Transaction Concept of the SPIDER Information Retrieval System
1997-01-03
A Parallel Implementation of the Nonsymmetric
1997-07-30
Remote Driving With Reduced Bandwidth Communication
1995-10-13
Integrating Path and Timing Analysis using Instruction-Level Simulation Techniques
1998-05-14
New Greedy Triangulation Algorithms Extended Abstract
1997-05-13
Adaptive Enumeration of Implicit Surfaces with Affine Arithmetic
1995-02-23
Reuse Measurement with Line and Word Runs
1996-09-25
Information Retrieval Course Material of the Course held in the Summer Term 1993 Chapter 9: Fact Retrieval
1996-04-04
Norbert Fuhr
Emergence of Position-independent Detectors of Sense of Rotation and Dilation with Hebbian Learning: An Analysis
1996-04-26
Bell's Inequalities And Algebraic Structure
1997-05-13
Stephen J. Summers
Optimal Solution of Off-line and On-line Generalized Caching
1996-07-19
Bias/variance Decompositions for Likelihood-Based Estimators
1998-02-10
Tom Heskes
Some Solutions to the Missing Feature Problem in Vision
1999-03-01
Inference with Idempotent Valuations
1997-05-06
Luis D. Hern'andez
Lovelace: An Ada 95 Tutorial David A. Wheeler
1996-10-01
David A. Wheeler
Ioannis K. Argyros
1996-02-20
Ioannis K. Argyros
Speculative Parallelism Improves Search?
1995-05-03
Accurate Methods for the Statistics of Surprise and Coincidence
1995-12-07
Ted Dunning
Maximizing Agreement with a Classification by Bounded or Unbounded Number of Associated Words
1998-08-03
2-Adic Behavior Of Numbers Of Domino Tilings
1999-02-20
Time Mapping with Hypergraphs
1998-05-15
Support for the File System Security Requirements of Computational E-Mail Systems
1994-08-25
Improved Low-Density Parity-Check Codes Using Irregular Graphs and Belief Propagation
1998-07-17
A Scheduling Framework for Web Server Clusters with Intensive Dynamic Content Processing
1999-01-20
Spatio-Time Interaction with Disease Mapping
1997-10-15
Higher Derivatives and Canonical Formalism
1998-05-23
Shinji Hamamoto
Visualizing Solutions with Viewers
1998-07-22
Adaptive Surrogate Agents
1995-07-12
Switching Latency Overlap Techniques for WDM Star-Coupled Media Access Protocols
1995-03-17
Optimizing Distributed Data Structures Using Application-Specific Network Interface Software
1998-06-29
Egocentric Spatial Representation in Early Vision
1997-06-13
Instance-Based Utile Distinctions for Reinforcement Learning with Hidden State
1995-04-26
R. Andrew Mccallum
Object Test Coverage Using Finite State Machines
1995-09-07
Close-Form Solution and Parameter Selection For Convex Minimization Based Edge-Preserving Smoothing
1999-03-23
Stan Z. Li
Anytime Algorithms for Constraint Satisfaction and SAT problems
1995-10-18
Domain Decomposition Methods for Monotone Nonlinear Elliptic Problems
1994-11-14
Xiao-chuan Cai
A Constraint-Based Nurse Rostering System Using a Redundant Modeling Approach
1997-07-03
On the Kinetic Behavior and Folding Properties of an Off-Lattice Heteropolymer Model
1997-04-03
Ola Sommelius
The Distribution of Object Clitics in Koiné Greek
1995-06-07
Ann Taylor
Action Systems with Continuous Behaviour
1999-03-27
Perfect Cryptographic Security from Partially Independent Channels
1996-04-19
Ueli M. Maurer
Analytical Version Control Management in a Hypertext System
1996-03-15
Spectral stochastic processes arising in quantum mechanical models with a non-L² ground state
1997-04-26
Simulation of Artificial Neural Networks
1997-08-20
A Stochastic Model Of Polymer Translocation Dynamics Through Biomembranes
1999-01-29
P. J Park
Reconfiguration and User-driven Checkpointing in Massively Parallel Systems
1995-12-07
Communication in Processor Farms: A Case Study in Reactive Systems Refinement
1994-09-22
Kaisa Sere
Dynamics of Internal and Global Structure through Linguistic Interactions
1999-02-10
Takashi Hashimoto
Real-time Logics: Complexity and Expressiveness
1997-06-17
Integrating Data from Possibly Inconsistent Databases
1997-03-09
Phan Minh Dung
On The Darboux Transformation II
1995-11-16
Veronika Chrastinov A
Can a Relativistic Iron K Line Be Resolved in Cyg X-1 with SIXA ?
1998-03-02
P. Muhli
CSpray: A Collaborative Scientific Visualization Application
1995-07-19
Graphically Displaying Text
1999-01-21
Stephen G. Eick
Approximate Hessian Matrices and Second-order Optimality Conditions for Nonlinear Programming Problems with C^1-Data
1997-08-27
2+1-Gravity with moving particles in an instantaneous gauge
1998-05-14
J. D. Tygar and Bennet S. Yee
1998-10-06
FORTH-ICS / TR-171 July 1996
1996-08-09
Single Connection Emulation SCE: An Architecture for Providing a Reliable Multicast Transport Service
1998-08-21
G.s. Guralnik
1996-10-28
G. S. Guralnik
Applying Ockham's Razor to Back-propagation
1970-01-01
Can You Tell Apart Spontaneous and Read Speech If You Just Look At Prosody?
1995-11-03
Abstract Fuctional Dependency Structures
1995-08-15
The Role of Formal Methods in Software Engineering Education and Industry
1996-01-12
Colin J Burgess
Interrelating Interpretation and Generation in an Abductive Framework
1997-08-20
Generating F
1997-06-27
Cyclic-Cubes: A New Family of Interconnection Networks of Even Fixed-Degrees
1998-09-09
Design Specifications for Air Traffic Control Displays: 2D, 3D and VR
1994-12-13
Mark A. Brown
Use of Sensitivities and Generalized Substrate Models in Mixed-Signal IC Design
1996-07-17
Liability and Computer Security: Nine Principles
1996-10-03
Ross J Anderson
Virtual Actuator Control
1997-11-04
Accepted By the
1999-03-19
Differential Association and Operational Equivalence of Discrete Hopfield Networks
1997-12-17
Low Level Modeling of the Development of Directionally Selective Microcircuits in Cat Striate Cortex
1998-12-19
Andrew H. Fagg József Fiser
High Moments Of The Riemann Zeta-Function
1999-03-31
Learning-Based Hand Sign Recognition Using SHOSLIF-M
1996-04-27
An Equidistortion Principle Constrained SOM for Vector Quantisation
1997-02-21
Characterising The Structure Of Simulation Models In CCS
1997-01-21
Slice-Based Path Planning
1998-12-22
Michael Charles Mchenry
Quantum Rationality and Conditioning
1997-10-30
Arthur Ramer
Numerical Evaluation of Special Functions
1995-04-07
D. W. Lozier
Permuting Markov Chains to Nearly Completely Decomposable Form
1998-08-04
Tu Grul Dayar
Theoretical Comparison of the FETI and Algebraically Partitioned FETI Methods, and Performance Comparisons with a Direct Sparse Solver
1999-03-01
Practical Use of Graph Rewriting
1995-01-17
Example-Based Machine Translation in the Pangloss System
1996-04-19
Ralf D. Brown
Bayesian Methods for Cumulative, Sequential and Two-step Ordinal Data Regression Models
1997-07-21
Interference as a Tool for Designing and Evaluating Multi-Robot Controllers
1997-08-19
A Decomposition-Based Global Optimization Approach for Solving Bilevel Linear and Quadratic Programs
1999-03-08
A Subspace Network that Determines its own Output Dimension
1999-02-08
Mark D. Plumbley
Notes on the nonlinear nonlocal "Schrodinger equation" 1
1997-04-26
Alex A. Samoletov
ALECSYS and the AutonoMouse: Learning to Control a Real Robot by Distributed Classifier Systems
1999-03-17
Pipelined Disk Arrays for Digital Movie Retrieval
1999-04-21
System Test Pattern Language
1997-10-17
Forecasting Economic Processes
1970-01-01
The UK National Web Cache A State of the Art Report
1996-06-10
Neil G. Smith
Implementing Radixsort
1997-08-25
Transinformation of Object Recognition and its Application to Viewpoint Planning
1998-06-15
Lightweight Transactions on Networks of Workstations
1997-10-20
Hybrid Control Of A Planar 3-Dof Parallel Manipulator For Machining Operations
1995-05-12
Ffl Ffl Ffl
1998-06-05
Progressive Image Coding on Noisy Channels
1999-02-07
Behaviour Near the Boundary for Solutions of Elasticity Systems
1997-07-31
V. N. Domingos Cavalcanti
Optimal Superimposed Codes and Designs for Renyi's Search Model
1999-04-21
Theorem I:
1992-08-23
Neural Net Architectures for Temporal Sequence Processing
1993-02-10
Michael C. Mozer
How to Invent Functions
1999-02-09
J. Roland Olsson
Strong Self-Reducibility Precludes Strong Immunity
1995-06-05
Erroneous Truncation Selection -- A Breeder's Decision Making Perspective
1996-09-05
Hans-michael Voigt
Refinement Search as a Unifying Framework for analyzing Planning Algorithms
1994-02-28
Subbarao Kambhampati
On Quasiperiodic Perturbations of Elliptic Equilibrium Points
1996-08-14
Publishing in Wireless and Wireline Environments
1995-06-06
Planar-DME: A Single-Layer Zero-Skew Clock Tree Router
1995-07-31
Book Review: Concepts: Where Cognitive Science Went Wrong
1998-11-03
Jerry A. Fodor
Neural Learning of Chaotic Dynamics: The Error Propagation Algorithm
1997-11-13
A Theory of Networks for Approximation and Learning
1994-06-24
How Do System Questions Influence Lexical Choices In User Answers?
1997-06-02
Parallaxes for Brown Dwarfs in Clusters
1998-11-10
Node Weighted Network Upgrade Problems Extended Abstract
1998-04-06
Mixed-Signal Design Of A Fully Parallel Fuzzy Processor
1998-06-26
News about Macro Parallelism in MuPAD 1.4
1998-06-09
Efficient Implementation of High-Level Languages on User-Level Communication Architectures
1994-06-27
Solving Satisfiability Problems Using Elliptic Approximations - Effective Branching Rules
1998-07-09
On the Notion of Concept
1997-05-30
Probabilistic Proof Systems A Survey
1996-09-17
Oded Goldreich
Using Design Patterns to Evolve System Software from UNIX to Windows NT
1995-06-21
A Conceptual Framework for Text Filtering
1996-05-23
Unknown
1996-10-31
Nemo Semret
An Identification Tool to build Physical Models for Virtual Reality.
1997-01-07
S. De Bi`evre
1997-04-26
Partial Norms And The Convergence Of General Products Of Matrices
1997-12-08
Regularized Gaussian Discriminant Analysis through Eigenvalue Decomposition
1999-04-25
Towards Correct, Efficient and Reusable Transformational Developments
1998-07-03
Identifying Independencies in Causal Graphs with Feedback
1996-12-06
Rina Dechter
Optimization by Means of Genetic Algorithms
1994-09-06
Thomas Back
A Computable Error Bound For Matrix Functionals
1998-09-13
G. H. Golub L. Reichel
Multigrid Smoothing for Symmetric Nine-Point Stencils
1996-11-27
Journal of Visual Languages and Computing Special Issue on Graph Visualization -- Guest Editors' Foreword
1995-07-11
From Contour Completion to Image Schemas: A Modern Perspective on Gestalt Psychology
1970-01-01
Tools for Chimera: An Environment for Designing and Prototyping Advanced Applications in an Active DOOD Model
1997-11-26
A Geometric Criterion For Gelfand Pairs Associated With The Heisenberg Group
1996-01-02
Probabilistic Analyses and Practical Algorithms for the Vehicle Routing Problem with Time Windows
1995-07-09
Julien Bramel
and Lieve Macken
1995-08-01
Geert Adriaens
Stellar Explosions: How Big Can They Get?
1998-10-08
Eddie Baron
Not All Insertion Methods Yield Constant Approximate Tours in the Euclidean Plane
1995-01-13
Effect Of Binding In Deep Inelastic Scattering Revisited
1998-05-26
Felix M. Lev
Conceptual Module Querying for Software Reengineering
1997-12-02
Density Networks and their Application to Protein Modelling
1996-05-06
David J. C. Mackay
Methods to Evolve Legal Phenotypes
1998-06-05
Constraint Optimization using Preference Logics: A New Role for Modal Logic
1993-05-10
Towards A True Flexible Manufacturing System
1994-07-14
Jumping Champions
1998-01-28
Dynamic Modules: The Concept of Software Integration in MuPAD
1998-01-05
Andreas Sorgatz
Balanced MultiWavelets Theory and Design
1997-10-03
Martin Vetterli
Theory of Local Times
1999-03-25
Hitoshi Kitada
Hierarchically Classifying Documents Using Very Few Words
1997-10-07
Alisher S. Abdullayev
1995-08-03
Natural Language Processing with Subsymbolic Neural Networks
1997-10-23
Risto Miikkulainen
`First Come, First Served' can be unstable!
1994-11-07
Thomas I. Seidman
Journal of Graph Algorithms and Applications
1998-05-18
List Update Processing LUP - Solving The Sequence Database Update Problem
1995-11-22
Selecting Relevant Information and Delaying Irrelevant Data for Objects Recognition
1995-01-17
A Microeconomic Approach to Intelligent Resource Sharing in Multiagent Systems
1996-07-03
Unification of Kinded Infinite Trees
1997-02-17
Vasco Thudichum Vasconcelos
Fast Discrete Polynomial Transforms with Applications to Data Analysis for Distance Transitive Graphs
1997-03-20
Intelligence Without Reason
1998-04-27
Rodney A. Brooks
Well-PosednessOf A Linear Age-Dependent Population Model With Spatial Diffusion In L²
1997-06-19
Waltraud Huyer
On Construction of Cumulative Secret Sharing Schemes
1998-07-24
Effect of Sharing Supplier Capacity Information
1998-08-28
Toward More Powerful Recombinations
1995-05-06
Sami Khuri
1999-01-30
Towards the Integration of Artificial Neural Networks and Constraint Logic Programming
1997-07-03
The Formal Semantics of ISO VDM-SL
1995-10-10
Peter Gorm Larsen
Scalable Resource Reservation for the Internet
1997-12-01
Models of Software Development Environments
1998-09-09
The Rayleigh-Bénard Convection in Rarefied Gases
1998-03-18
A Tour of Trellis Graphics
1996-05-30
Investigating the Performance of Smart Antenna Systems at the Mobile and Base Stations in the Down and Uplinks
1997-12-31
The e/γ andτ/hadron Processor System for the ATLAS First-Level Trigger
1998-11-18
Document Model Issues for Hypermedia
1998-05-18
A Review Of An Algebraic Geometry Approach To A Model Quantum Field Theory On A Curve
1995-11-02
A. K. Raina
Probing Nonlinear Relations in Multivariate Time Series
1996-04-15
Milan Palus
Workshop on Applied Linear Algebra in honor of Ludwig Elsner, January 21-23, 1999, Bielefeld
1999-02-04
Hospitexte: towards a document-based Hypertextual Electronic Medical Record
1998-09-02
Filtering Left Dislocation Chains in Parsing Categorial Grammar
1997-12-18
javar: A Prototype Java Restructuring Compiler
1998-08-11
Minimum Cuts in Near-Linear Time
1998-10-08
David R. Karger
Bootstrap of Kernel Smoothing in Nonlinear Time Series
1970-01-01
Stochastic Process Algebras - Integrating Qualitative and Quantitative Modelling
1994-05-06
ASCII Phonetic Symbols for the World's Languages: Worldbet
1995-12-22
James L. Hieronymus
Tentative Prune-and-Search for Computing Fixed-Points with Applications to Geometric Computation
1994-09-07
On Decomposing One Relator Products of Cyclic Groups Into Free Products With Amalgamation
1999-04-21
Discrete Multi-Dimensional Scaling
1996-07-17
Approximation Schemes for Maximum Cardinality Matching
1995-07-17
CPU Reservations and Time Constraints: Efficient, Predictable Scheduling of Independent Activities
1997-11-27
Michael B. Jones
Compiling with Polymorphic and Polyvariant Flow Types
1997-06-04