A Heuristic Search Algorithm for Markov Decision Problems
2000-09-05
Solar Activity Studies through Coronal X-ray Observations
2000-07-25
Louise Harra-murnion
Querying Very Large Multi-dimensional Datasets in ADR
1999-11-23
A Proof of Quasi-Independence Of Sliding Window Flow Control and Go-Back-N Error Recovery Under Independent Packet Errors
2000-03-20
Amarnath Mukherjee
An Infinite Number of Monkeys
1995-06-28
David Beaver
Local, A Posteriori, Pointwise, Residual Based Estimation Of The Finite Element Error For The Poisson Problem With Smooth Data
2000-08-18
Jens Hugger
A PSF Library of Data Types
1997-03-03
RenderMan for Poets
1995-07-22
Larry Gritz
Developing a Multimedia Toolbox for the Khoros System
1995-10-02
Homogeneous Einstein--Weyl Structures On Symmetric Spaces
1999-03-01
Megan M. Kerr
On Learning Algorithms and Balancing Loads in Time Warp
1999-02-17
Myongsu Choe
Algorithms for Scheduling Real-Time Tasks with Input Error and End-to-End Deadlines
1999-09-16
Security of Biased Sources for Cryptographic Keys
2000-07-30
Robust Classification With Context-Sensitive Features
2000-06-12
Peter D. Turney
Revista de Matem'aticas Aplicadas
2000-06-08
Context Quantization and Contextual Self-Organizing Maps
2000-07-30
Thomas Voegtlin
Strategies for Positive and Negative Relevance Feedback in Image Retrieval
2000-04-03
IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
1970-01-01
Metapredicative Subsystems of Analysis
2000-08-30
Christian Ruede
Phase transition for parking blocks, Brownian excursion and coalescence
2000-08-14
Reduced Complexity Input Buffered Switches
2000-03-27
Accelerating Hindsight - Lisp as a Vehicle for Rapid Prototyping
1998-05-07
Types for Proofs and Programs
1999-07-11
Bernd Grobauer
Efficient Computation of Orthogonal Polynomials in Computer Algebra
1970-01-01
Combinators and Structurally Free Logic
1997-05-26
Comparison Of Mathematical Programming Approaches To Optical Ring Network Design
2000-01-04
The Network Desktop Of The Purdue University Network Computing Hubs
1999-01-20
Generative Power of CCGs with Generalized Type-Raised Categories
1997-08-07
Nobo Komagata
Physics potential of the three Ph2 beam designs
2000-04-06
David A. Petyt
Gaussian Hypergeometric Series And Combinatorial Congruences
2000-05-15
Scott Ahlgren
Simulation, Ramification, and Linear Logic
1999-02-09
--- A Web-Centric, Multi-Server, Computer-Assisted Testing System
1999-08-23
Relating Theories of Actions and Reactive Control
1999-07-15
Parallel Symbolic Computation in ACE
2000-01-11
Empirical Orthogonal Functions
1970-01-01
David A. Randall
Decoding Speech in the Presence of Other Sound Sources
2000-07-28
Has Our Curriculum Become Math-Phobic? an American Perspective
2000-04-26
Efficient B-rep Generation of Low Degree Sculptured Solids using Exact Arithmetic
1996-11-22
WRL Research Report 98/11
2000-01-28
Formal Methods in the Classroom: The Logic of Real-Time Software Design
1999-09-16
Locality of Reference, Patterns in Program Behavior, Memory Management, and Memory Hierarchies
1996-05-07
Paul R. Wilson
Using Multi-Context Systems to Engineer Executable Agents
1999-11-26
Deformable Models for Object Segmentation
1999-03-24
A Supersoft Variable Low Luminosity X-Ray Source In The Globular Cluster M3
1997-05-22
Combining System Properties: A Cautionary Example and Formal Examination
1995-06-27
John Rushby
MINOS Single Plane Prototype Draft Operational Safety Procedure
1999-11-01
A Metric for Positional Games
1998-11-10
J. Mark Ettinger
FSMD Functional Partitioning for Low Power Using EnergyEstimation and Bounds
1999-09-17
How Useful Are Non-blocking Loads, Stream Buffers, and Speculative Execution in Multiple Issue Processors?
1999-01-27
A Robust Algorithm for Constructing Physical Maps From Noisy Non-Unique Probes Fingerprints
1998-07-21
J. Peng, C. Roos and T. Terlaky ISSN 0922--5641 Reports of the Faculty of Technical Mathematics and Informatics 99--?? Delft January, 1999
1999-08-28
Approximation of Pathwidth of Outerplanar Graphs
2000-07-14
Meta-MEME: Motif-based Hidden Markov Models of Protein Families
1999-08-25
Comment on Isard, Laxton and Eliasson, Simple Monetary Policy Rules under Model Uncertainty
1999-04-06
Lars E. O. Svensson
Minimal Sense of Direction in Regular Networks
1999-08-30
Paola Flocchini
A Lightweight, Link-layer, Source-based Routing Protocol for LEO Satellite Networks
1999-08-13
Formulating Update Messages
1997-06-17
Jon Hallett
Efficient Collective Communication Operations in PVMe
1970-01-01
An Instruction Scheduling Library for SUIF
1997-09-02
Convergence of Reinforcement Learning With General Function Approximators
1999-07-28
On the Burnside Semigroups ...
1998-01-09
Alair Pereira Do Lago
Extracting terminologically relevant collocations from German technical texts
1999-12-20
Ulrich Heid
A Replicator Equations-Based Evolutionary Algorithm for the Maximum Clique Problem
2000-05-03
Claudio Rossi
Bounds on Average Weighted Depth of Decision Trees
2000-01-08
Capturing Evolving Visit Behavior in Clickstream Data
2000-03-14
Unawareness and Bankruptcy: A General Equilibrium Model
1970-01-01
ObjectStore PSE/PSE Pro for Java API User Guide
1999-06-01
Optimal Test Access Architectures for System-on-a-Chip
2000-08-22
Krishnendu Chakrabarty
Compiler Optimizations for High Performance Architectures
1997-09-02
Integrating DFM with CAD through Design Critiquing
1994-10-26
The Stanford FLASH Multiprocessor
1999-05-06
Shock-Based Reaction-Diffusion Bubbles for Image Segmentation
1998-07-30
Systems Research Center
1996-04-20
Safe Constraint Queries
2000-03-23
Application-Driven Automatic Subgrammar Extraction
1999-03-24
Text Enhancement in Digital Video Using Multiple Frame Integration
1999-07-14
Competitive Learning Clustering for Information Retrieval in Image Databases
1999-08-25
Bibliography for Practical Foundations of Mathematics
1999-01-27
State-Feedback Control of Rational Systems using Linear-Fractional Representations and LMIs
1999-05-25
Laurent El Ghaoui
Fast Approximation of Self-Similar Network Traffic
1999-04-08
Vern Paxson
Coordination of Active Objects by Means of Explicit Connectors
1999-04-09
Drafting Extended Entity--Relationship Schemas with QUEER
2000-01-25
Unknown
1970-01-01
Andrew U. Frank
Application programming with Quarks
1998-01-22
Dilip Khandekar
Evolutionary Computation Teaching at Birmingham
2000-07-27
Riccardo Poli
Issues in Designing the Next Generation Transport Protocol
1999-02-14
Dheeraj Sanghi
The MorphoSys Parallel Reconfigurable System
2000-03-22
A Typed Functional Language Based on Sequent Calculus
2000-02-16
Mark Tarver
Predicative Foundations of Arithmetic
1970-01-01
Production of Argument SubPrograms in the AXIOM - NAG link: examples involving nonlinear systems
1996-01-14
Virtual Spiders Guide Robotic Control Design
1999-09-15
Thiemo Krink
PRECISE, a toolbox for assessing the quality of numerical methods and software
2000-04-11
E Traviesas
Using Leases to Support Server-Driven Consistency in Large-Scale Systems
1999-02-09
Representing Knowledge within the Situation Calculus using Interval-valued Epistemic Fluents
1999-01-06
John Funge
ActivityFlow: Towards Incremental Specification and Flexible Coordination of Workflow Activities
1999-10-27
A Hybrid System Investigation of Fluid-Filled Tanks
2000-03-08
Mixed Finite Element Solution of Elliptic Boundary Value Problems; A Case Study Based on DIFFPACK
1995-10-22
Workshop on Research Directions in Situated Computing: Position papers
2000-03-09
A Space Efficient Algorithm For Group Structure Computation
2000-08-29
Edlyn Teske
Discrete Event Driven Simulator Manual
2000-09-10
Exploration in Machine Learning
1994-02-25
Michael P. Frank
Industrial Need: Production System Engineering Integration Standards
2000-01-12
GTAPinGAMS: The Dataset and Static Model
1999-04-13
Thomas F. Rutherford
Relic Neutralinos And Dark Matter
2000-01-09
Nicolao Fornengo
Cv
1999-10-17
A Numerical Study on The Solidification of Liquid Metal Droplets Impacting onto a Substrate
1997-09-18
Proposed Joint
2000-09-07
Department Of Mathematics
1994-10-13
Bidding for Business: New Evidence on the Effect of Locally Offered Economic Development Incentives in a Metropolitan Area
2000-08-27
Design Guidelines for Coordination Components
2000-04-26
Optimal Adaptive Cruise Control with Guaranteed String Stability
1999-01-18
Triangular G¹interpolation by 4-splitting domain triangles
2000-01-06
Geophysics, Statistics in
1996-02-02
P. B. Stark
Algorithms for Solving Linear Ordinary Differential Equations
1998-08-13
Winfried Fakler
Information Integration and Red Queen Dynamics in Coevolutionary Optimization
2000-04-06
Unknown
1996-11-20
Martin Feldstein
Un contre exemple `a une conjecture de Goncharov
1999-02-26
A Simple Approximation to Minimum-Delay Routing
1999-07-06
Srinivas Vutukury
K. Fukuda and T. Terlaky ISSN 0922--5641 Reports of the Faculty of Technical Mathematics and Informatics 99--?? Delft January, 1999
1999-08-28
A note on "The Limited Performance Benefits of Migrating Active Processes for Load Sharing"
1996-05-30
Tara M. Madhyastha
1998-12-16
Tara M. Madhyastha
Automata, Power Series, and Coinduction: taking input derivatives seriously Extended Abstract
1999-02-16
J. J. M. M. Rutten
Inflation Targeting: Some Extensions
1998-08-20
Lars E. O. Svensson
NiagaraCQ: A Scalable Continuous Query System for Internet Databases
2000-02-29
Simulating Facial Surgery Using Finite Element Models
1997-11-28
NIST Network Common Memory User Manual
1997-09-02
Don Libes
Public Service Motivation: A Multivariate Test
1999-10-26
David J. Houston
Layered Temporal DBMS's - Concepts and Techniques
2000-04-03
Weakly Constraining Multimedia Types Based on a Type Embedding Ordering
1998-08-14
Glish: A Software Bus for High-Level Control
1993-10-13
Vern Paxson
Invariance Signatures: Characterizing contours by their departures from invariance
1997-10-03
A Ship without a Rudder
1999-07-16
Ranulph Glanville
The Evolvability of Complex Organisms: The Quantitative Genetic Perspective.
2000-07-17
Gnter P. Wagner
Dialogue Requirements for Argumentation Systems
1999-10-28
Beyond Passive Bids and Asks: Mutual Buyer and Seller Discrimination through Integrative Negotiation in Agent Based Electronic Markets
2000-05-29
Computing with Graphs and Graph Rewriting
1997-09-08
Exploiting Process Lifetime Distributions for Dynamic Load Balancing
2000-09-08
Canonical Heights On Elliptic Curves In Characteristic
1999-10-06
Matthew A. Papanikolas
FT-ICR Study of Chemical Reaction of Silicon Clusters
1999-11-29
Transis: A Communication Sub-System for High Availability
1999-02-03
Strategies And String Operations
1997-11-08
Jurgen Koslowski
The PVR System
1999-09-22
Automatic Key Video Object Plane Selection Using the Shape Information in the MPEG-4 Compressed Domain
2000-09-04
Sophisticated EWA Learning and Strategic Teaching in Repeated Games
2000-04-26
Flexible Reasoning Using Sensible Agent-based Systems: A Case Study in Job Flow Scheduling
2000-07-31
On the Algebraic Independence of the Values of E-Functions
2000-08-08
A. B. Shidlovskii
The Emergence and Collopse of the State: A Game Theoretic Analysis with Computer Simulations
1998-12-25
An Analysis of Girard's Paradox
1999-09-10
Thierry Coquand
Irreducible Linear Differential Equations of Prime Order
2000-04-15
Felix Ulmer
Image Coding Based on a Morphological Representation of Wavelet Data
1999-12-02
Transformr: A Prototype STEP Exchange File Migration Tool
1994-02-10
Stephen Nowland Clark
Campaign Rhetoric: a model of reputation
2000-03-09
A Comparison of Equation-Based and AIMD Congestion Control
2000-05-13
Intrinsic Stabilization of Output Rates by Spike-Time Dependent Hebbian Learning
2000-09-06
How to Solve It Automatically: Selection Among Problem-Solving Methods
1998-03-04
Eugene Fink
Instructor/Teaching Assistant
1999-01-05
Optimal Availability Quorum Systems: Theory and Practice
1999-02-03
Yair Amir
Extremely Metal-Poor Stars. VII. The Most Metal-Poor Dwarf, CS 22876-032
2000-09-04
Paving the Road to Business Process Automation
2000-02-25
P. Rittgen
A Real-Time Algorithm for Medical Shape Recovery
1999-08-11
Some Puzzles of Predicate Possessives
2000-05-17
Semantics of Architectural Connectors
2000-05-04
J. L. Fiadeiro A. Lopes
Managing change within BT's operational support systems
2000-07-17
SACE - CSCW: A Synchronous/Asynchronous Common Environment for Computer Supported Cooperative Work
1999-09-15
Dynamic Scheduling of a System with Two Parallel Servers in Heavy Traffic with Resource Pooling: Asymptotic Optimality of a Threshold Policy
2000-08-03
Polynomial Prediction of Noise Shaping Rayleigh Fading
1999-12-13
Natural Language Processing Applications of Machine Learning
2000-05-24
From Peer to Service, from Service to Peer - Object-Oriented Protocol Refinement in Kannel
1996-06-11
Damage Spreading andµ-sensitivity on CA
2000-09-01
Metacomputing: An Evaluation of Emerging Systems
2000-08-23
Elastic Material Model Mismatch Effects in Deformable Motion Estimation
2000-04-17
Fast Printed Circuit Board Routing
1999-10-29
Jeremy Dion
Using Space-filling Curves for Multi-dimensional Indexing
2000-07-06
Location-Based Similarity Measures Of Regions
1970-01-01
Stephan Winter
Experience Report: Using RESOLVE/C++ for Commercial Software
2000-09-06
Real Time Mobile Robot Sonar with Interference Rejection
1970-01-01
Lindsay Kleeman
A counterexample to a conjecture of Harrison and Wein
1998-08-24
Pseudozeros Of Multivariate Polynomials
2000-05-04
Smooth Irregular Mesh Interpolation
2000-09-08
Causal Relevancy: A New Concept to Improve the Prediction Accuracy of Dynamical Systems Using Inductive Reasoning
2000-05-04
On-Line Reorganization: A Position Paper
1995-12-18
The languages of Scotland,
2000-06-02
Address Lookup Solutions For Gigabit Switch/Router
1998-10-02
Gene Expression Data Analysis and Modeling
1998-12-09
Lexicographic Pivoting Rules, LexPr
1999-12-16
Virtue: Performance Visualization of Parallel and Distributed Applications
2000-06-21
Detecting Fraud in the Real World
2000-03-29
Fine-Grained Process Modelling for Collaborative Work Support: Experiences with CPCE
1998-12-11
Tiling and Adaptive Image Compression
2000-07-03
Comparison of Modeled and Measured Second Azimuthal Harmonics of Ocean Surface Brightness Temperatures
2000-07-07
A Secure Object-Oriented Mediator: Two Challenges
1998-11-09
Analysing Financial Data using Polya trees
1999-09-14
A Win32 Programming Interface for SML/NJ
2000-04-11
Knowledge, Causality and Temporal Representation
1997-07-31
Alex Lascarides
Low Size-Complexity Inductive Logic Programming: The East-West Challenge Considered as a Problem in Cost-Sensitive Classification
2000-06-12
Peter Turney
O Conte'udo Do Presente Relat'orio 'e De 'unica Responsabilidade Dos Autores.
1997-09-28
Hausdorff Convergence and Universal Covers
2000-08-31
A Simple Framework to Calculate the Reaching Definition of Array References and Its Use in Subscript Array Analysis
1999-08-10
The Strength Of The Isomorphism Property
2000-01-28
Personalized Hypermedia Information Provision through Adaptive and Adaptable System Features: User Modeling, Privacy and Security Issues
1997-03-10
Josef Fink Alfred Kobsa
Fatigue-crack propagation in Nitinol, a shape-memory and superelastic endovascular stent material
1999-11-13
Implicit Algorithms and their Linearisation for the Transient Incompressible Navier-Stokes Equations
1996-10-14
AGuided Tour of the Coign Automatic Distributed Partitioning System
1999-06-02
Past Research into Complex Objects
2000-06-02
Meng Seet
Security Issues in Multimedia
2000-05-07
Saddlepoint Approximations for Extended Poisson Process Models
1999-03-15
Naive Physics, Event Perception, Lexical Semantics and Language Acquisition
2000-08-23
Neural Synthesis of Teleo-Reactive Programs
1999-08-19
Dpto De Computaci'on
On-line Multicasting in Directed Graphs
1998-07-08
Archipelago: An Island-Based File System For Highly Available And Scalable Internet Services
2000-07-09
Low Complexity Turbo-Equalization for Diversity Channels
1999-06-29
Automatic Camera Placement for Robot Vision Tasks
1995-02-18
Static vs. Dynamic CMIP/SNMP Network Management Using CORBA
1998-01-12
Luca Deri
Options and Futures FIN 444
2000-01-27
Dr. Yuming Li
Law-Governed Internet Communities
2000-08-17
Fixpoint 3-Valued Semantics for Autoepistemic Logic
1970-01-01
Symmetry-Folded Classified Vq
1996-12-19
Bai-ling ZHANG, Irwin K. KING
1999-08-25
A Detector Scenario for the Muon Cooling Experiment
1998-05-15
Reaching interoperability through ODP type framework
1996-02-21
Jet Propulsion Laboratory Interoffice Memorandum 334yjk-98-002
1998-10-02
An Automatic Object Inlining Optimization and its Evaluation
2000-04-18
A Formal Approach To The Presentation Of CSCW Systems
1994-09-19
C. W. Johnson
Optimality of the Karhunen-Loeve basis in nonlinear reconstruction
2000-09-04
Geometric Aspects of Quantum Spin States
1997-04-26
Michael Aizenman
The Leontovich Boundary Value Problem For The Time-Harmonic Maxwell Equations
1999-12-21
High Performance, Low-Complexity Image Compression
2000-04-24
William A. Pearlman
Bayesian Semiparametric Regression Analysis of Multicategorical Time-Space Data
1970-01-01
: A Testbed for Miniature Language Acquisition
1998-02-16
A Tree Glyph for the Fresco TM. Toolkit
1993-02-21
David M Sternlicht
Tasks Decomposition Problem in Multi-Agent Systems
2000-01-08
Model Completeness And Subanalytic Sets
1999-10-22
Theoretical Study of the Small Slope Approximation for Ocean Polarimetric Thermal Emission
2000-01-17
AsbruView: Capturing Complex, Time-oriented Plans --- Beyond Flow-Charts
1998-07-14
TEAR: TCP emulation at receivers -- flow control for multimedia streaming
2000-04-28
Ntop: beyond Ping and Traceroute
1999-07-28
Luca Deri
Numerical Computations of Connecting Orbits in Discrete and Continuous Dynamical Systems
1995-05-09
On theDista32 Tra7260 ofBina8 Ima8
2000-05-02
Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics
1995-07-06
Weidong Chen
An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors
1998-05-27
Unification Grammars and Semantics within the Berkeley Restaurant Project
1994-12-14
Background Removal in Image indexing and Retrieval
2000-05-02
The relevance of knowledge about existing information systems - Assessing the readiness for reverse engineering
1994-05-25
Homogeneous Partial Derivatives of Radial Functions
1998-01-29
Hierarchies
1998-06-03
Ron Artstein
Do Clinical Models Add Enlightment Or Confusion To The Identification Of Control Pathways?
1999-01-14
John H. J. Allum
A Generic Metadata Query Tool
1999-07-22
KADS Models Are Reusable - MoMo Allows Sharing
1994-01-07
Thomas Hemmann
Decorrelated Fast Cipher: an AES Candidate well suited for low cost smart cards applications
1999-04-09
Parallel Library Development at NAG
1994-10-26
Stefano Salvini
Run-time fusion of MPI calls in a parallel C++ library
2000-05-23
Automatic Generation Of Nc-Code For Hole Cutting With In-Process Metrology
1993-07-06
Thomas R. Kramer
Evolutionary Pursuit and Its Application to Face Recognition
2000-08-10
Action Selection for Stochastic, Delayed Reward
2000-02-11
Herbert Jaeger
Task4: Mapping and load-balancing
1998-04-24
Ntyft/ntyxt Rules Reduce to Ntree Rules
1995-04-15
Organization overviews and role management: Inspiration for future desktop environments
1997-06-13
Project Management via the Web
2000-06-06
Robert Green
Representation Design and Brute-force Induction in a Boeing Manufacturing Domain
1993-11-05
Challenges in URL Switching for Implementing Globally Distributed Web Sites
1970-01-01
Localized Bumps of Activity Sustained by Inhibition in a Two-Layer Thalamic Network
2000-06-23
Randomised Mutual Search
2000-08-10
Jaap-henk Hoepman
A Trivial but Fast Reinforcement Controller
1994-06-03
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms
2000-03-27
Runge-Kutta methods on Lie groups
1999-03-02
Hans Munthekaas
Imperative Concurrent Object-Oriented Languages
1998-02-23
Fast and Incremental Routability Check of A Topological Routing Using a Cut-based Encoding
1997-04-28
A Compilation System that Integrates High Performance Fortran and Fortran M
1994-02-05
CYES-C++: A Concurrent Extension of C++ through Compositional Mechanisms
1995-01-25
Performance Evaluation of the CM-5 Interconnection Network
1992-12-11
Testability of Product Data Management Interfaces
1999-12-29
A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction
1970-01-01
Symmetry Maps of Free-Form Curve Segments Via Wave Propagation
2000-04-11
Antimony Clustering due to High-dose Implantation
2000-08-23
Quick Simulation of ATM Buffers with On-off Multiclass Markov Fluid Sources
1999-01-17
On Japanese Definite NPs: A Reply to Portner and Yabushita
2000-05-28
MAPS - A Multi-Agent Production Planning System
1998-08-04
Chapter 7 Source Rule Design For The Abr Service
1980-02-28
Observation of Anomalous Dimuon Events in the NuTeV Decay Detector Preliminary
2000-09-04
Distribution Chain Security
2000-08-25
Key Words:
2000-05-12
R. Verf Urth
Locally Linear Time Temporal Logic
2000-08-14
R. Ramanujam
A Constrained Interface Refinement Method for Embedded System Design
1997-07-04
The Excluded Minors for GF4--Representable Matroids
1997-08-21
Productivity and Efficiency in Insurance: An Overview of the Issues
1997-05-13
Iterative Algorithms for Two-Dimensional Helioseismic Inversion
1998-10-22
Performance Debugging on the Paragon: A Case Study
1994-11-09
On the Expressive Power of CTL
1999-06-22
Reduced, Reusable Reliable Monitor Software
1997-05-15
Integrated Informal Object-Oriented and Formal Modeling Techniques
1998-10-09
Robert B. France
Predictive Closed Loop Transmitter Power Control
1999-12-13
Topological Moduli Spaces of Knots
1999-04-12
Allen Hatcher
Aspect and Quantification: An Iterative Approach
1999-10-11
Markus Egg
Content-based Retrieval of Digital Video
2000-03-14
Jolon Faichney
Modeling Web Sources for Information Integration
2000-01-27
WBCSim: A Prototype Problem Solving Environment for Wood-Based Composites Simulations
2000-03-10
Lyapunov's Stability of Large Matrices By Projection Methods
1994-07-21
Department Of Mathematics
1994-07-21
Mapping Inference Trees to Document Structure for Text Generation in Refugee Determinations
1999-10-03
Classification of Markov Processes of Matrix M/G/1 Type with a Tree Structure and its Applications to the MMAPK/GK/1 Queues
2000-08-23
Qi-ming He
Reusing Analogous Components
1996-04-15
APROCO: A Programmable Coordination Medium
1998-10-27
Command Governors for Constrained Nonlinear Systems
1999-04-28
Design Optimization Based on Diagnosis Techniques
2000-07-28
Total Ionizing Dose Effects In 12-Bit Successive-Approximation Analog-To-Digital Converters
1999-01-21
Identification of Gene Regulatory Networks by Strategic Gene Disruptions and Gene Overexpressions
1998-03-24
PerfVisS: A Performance Visualizerfor High Performance Fortran Programs on Workstation Farms
1998-08-11
Computing the estimated amino acids using a Dirichlet mixture prior
1996-01-11
Gaussian Regression and Optimal Finite Dimensional Linear Models
1997-11-06
Simderella: A Robot Simulator for Neuro-Controller Design
1994-11-28
Patrick Van Der Smagt
Using the parallel MICOM on SGI multiprocessors and the Cray T3D.
1995-02-08
Aaron Sawdey
A Sonar Sensor with Random Double Pulse Coding
1970-01-01
Twin Paradox Without One-Way Velocity Assumptions
1998-07-01
An Extension Of Hecke's Converse Theorem
1999-10-04
The Informed Traveller: A Case Study in Building Internet Brokering Services
2000-04-13
COMP523: Artificial Neural Networks
1995-11-15
Generalized Quantitative Temporal Reasoning
1996-08-06
MC-CDMA Performance in the Presence of Timing Errors
1999-07-07
Game Tree Search on Massively Parallel Systems
1998-08-06
Rainer Feldmann
Fault-tolerant Multicast Communications in an ATM LAN
2000-05-30
Private Costs and Public Benefits: Unraveling the Effects of Altruism and Noisy Behavior
2000-09-11
Implications for Relic Neutralinos of the Theoretical Uncertainties in the Neutralino--Nucleon Cross--Section
1999-09-02
A Mechanical Formalization of Several Fairness Notions
1997-06-14
David M. Goldschlag
Developing Finite Domain Constraints - A Data Model Approach
2000-08-22
Integrating Constraints in an Object-Based Knowledge Representation System
1996-07-17
Structuring Architectural Topologies for Real-Time Safety-Critical Systems
1997-07-14
Electronic Notes in Theoretical Computer Science 2 1995
1995-12-04
Incremental Constraint Satisfaction for Equational Logic Programming
1995-03-29
Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Coloured FIFO Nets
1996-12-21
Design and Implementation of a Parallel I/O Runtime System for Irregular Applications
1997-11-21
Games Played through Agents
1970-01-01
Combinatorial Design of Congestion-Free Networks
2000-08-25
Instructions for the Preparation of Paper
1997-05-23
Linux Parallel Processing HOWTO
1998-02-10
The Zip Calculus
2000-02-09
Mark Tullsen
An Enhanced ABS/OLA Sinusoidal Model For Waveform Synthesis In TTS
2000-01-07
SIGNALLING OVER RADIO AND MULTIPLEXED CHANNELS Recommendation U.20 TELEX AND GENTEX SIGNALLING ON RADIO CHANNELS SYNCHRONOUS 7-UNIT SYSTEMS AFFORDING ERROR CORRECTION BY AUTOMATIC REPETITION
1991-11-17
New Uses of Linear Arithmetic in Automated Theorem Proving by Induction
1999-02-26
Application-Level Document Caching in the Internet
1995-03-24
An "isomorphic" Version Of Dvoretzky's Theorem
1999-12-22
Section 9: Permutation routing in mesh-based networks
1999-02-21
Power-Law Distribution of the World Wide Web
2000-07-20
A Compact Encoding of a DTG Grammar
1970-01-01
Processing Boolean queries over Belief networks
2000-08-01
Nuclear Reactor Dynamic Stability Analysis Using Hybrid Symbolic-Numeric Methods
1993-10-11
E. V. Depiante
A Vision of Vision: Recognition and Imagery in a Hierarchical Model
1997-10-24
Maximilian Riesenhuber
Applications Of Submodular Functions
1999-04-15
Consistent Equivalence Relations: a Set-Theoretical Framework for Multiple Sequence Alignment
2000-09-08
Using Unicode with MIME
1994-11-18
Reserved Bandwidth and Reservationless Traffic in Rate Allocating Servers
1993-11-18
Greg M. Bernstein
Optimal Representation in Average using Kolmogorov Complexity
1997-10-24
ModGen: Theorem Proving by Model Generation
1997-01-13
An Integrated Model for the Latency and Steady State Throughput of TCP Connections
2000-04-03
Engineering of Computer-Based Systems - A Proposed Curriculum for a Degree Program at Bachelor Level
2000-03-20
Chapter 13: Sub-machine-code Genetic Programming
2000-08-08
Parsec, a Fast Combinator Parser
2000-02-23
Daan Leijen
Wavelet-Based Estimation Procedures for Seasonal Long-Memory Models
2000-05-17
Brandon Whitcher
DAG-Map: Graph Based FPGA Technology Mapping For Delay Optimization
1997-01-13
Unknown
1995-01-13
An Accurate Worst Case Timing Analysis Technique for RISC Processors
1996-04-10
Rapid-Repeat SAR Imaging of the Ocean Surface: Are Daily Observations Possible?
1999-11-30
Building Secure and Reliable Network Applications
2000-08-04
Kenneth P. Birman
The Logic of Provability
1997-04-18
Cache Replacement with Dynamic Exclusion
1999-01-27
Scott Mcfarling
Quantal Response Equilibrium and Overbidding in Private-Value Auctions
2000-01-26
I R I S a
1994-06-28
Conf.design, 1
2000-09-08
Real-Time Face Pose Estimation
1998-05-13
MZnet: Mail Service for Personal Micro-Computer Systems
1990-04-11
International Standard
1999-01-27
The Shadow Cluster Concept for Resource Allocation and Call Admission in ATM-Based Wireless Networks
1997-10-27
Know Your Supply Chain
2000-05-29
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals
2000-07-06
Uncalibrated Euclidean Reconstruction
2000-03-14
Andrea Fusiello
Discovery of Generalized Patterns
2000-01-08
Sinh Hoa Nguyen
FastSlim: Prefetch-Safe Trace Reduction for I/O Cache Simulation
2000-03-22
Optimizing Sparse Representations for Dataflow Analysis
1995-03-04
Erik Ruf
Capacity and Reliability Function per Unit Cost for WSSUS Fading Channels
1999-03-18
New code parameters from Reed-Solomon subfield codes
1998-01-19
Stateless Routing in Network Simulations
2000-06-07
Customization Of Collaborative Sessions
2000-08-15
Telecommunications Issues of Intelligent Database Management For Ground Processing Systems in the EOS Era
2000-07-31
Joseph D. Touch
Optimal Bayesian Online Learning
1997-11-06
Low Energy Beam; Full / X0.5 / X0.25 Light Yield
1999-11-01
Bias and Variance of Validation Methods for Function Approximation Neural Networks Under Conditions of Sparse Data
1999-08-04
Feature Weighting for Nearest Neighbor by Estimation of Bayesian Networks Algorithms
2000-09-13
On The Number Of Connected Components In The Space Of Closed Nondegenerate Curves On S
1997-04-23
NCL: A Common Language for Achieving Rule-Based Interoperability among Heterogeneous Systems *
1995-12-05
Homogeneous Hyper-Hermitian Metrics Which Are Conformally HyperKähler
1970-01-01
Low Frequency Behavior of Solutions to Electromagnetic Scattering Problems in Chiral Media
1999-12-21
H. Ammari
Fourier Transforms and the 2-adic Span of Periodic Binary Sequences
1998-11-10
Mark Goresky
Approximations to pi via the Dedekind eta function
1997-03-06
On Reconstructing Surfaces with Genus Greater than Zero from Range Images
2000-08-04
Mercedes Gonzales
Model Checking the Secure Electronic Transaction SET Protocol
1999-12-02
aresubsetsofR
1970-01-01
Analysis and Removal of Multiply Scattered Tube Waves
1999-09-15
Belief Reasoning in MLS Deductive Databases
1999-08-27
Hasan M. Jamil
Accuracy assessment for eigencomputations : Variety of backward errors and pseudospectra
2000-04-11
REVISE Report: An Architecture for a Diagnosis Agent
1999-03-25
Best-first search for propertymaintenance in reactive constraints systems Narendra Jussien
1999-12-07
KBUP95 Format Instructions for Authors
1995-09-04
Variable-Correction Truncated Floating Point Multipliers
2000-06-05
Interpolation As A Means Of Fast Adaptation In Case-Based Problem Solving
1997-01-31
N. Chatterjee J. A. Campbell
A Reservation And Collision-Free Media Access Protocol For Optical Star Local Area Networks
1999-04-08
Z and EVES
1994-12-09
Mark Saaltink
Rotation Sets For Some Non-Continuous Maps Of Degree One
1995-05-26
F. Esquembre
Evaluating Sequential Consistency In A Virtually Shared Memory System By Deterministic And Stochastic Petri Nets
1995-08-08
Self-Localization in Dynamic Environments
1996-08-20
Uwe R. Zimmer
Low-Frequency Electromagnetic Scattering
1999-12-21
H. Ammari
Voronoi Diagrams of Polygons: A Framework for Shape Representation
1994-06-03
Confidentiality and Integrity with Untrusted Hosts
2000-08-22
A Cell-Cell Barnes-Hut Algorithm for Fast Particle Simulation
1997-11-11
Discrete Granular Logics: A New Natural Notion of Continuity, With a Complete Description of All Continuous Granular Logics
2000-01-11
CO-OPN/2 Applied to the Modeling of Cooperative Structured Editors
1997-02-04
Finding Shortest Proofs: An Application of Linked Inference Rules
2000-05-05
Polynomial Primal-Dual Affine Scaling Algorithms in Semidefinite Programming
1999-08-28
Model Checking Probabilistic Systems - Notes to accompany ESSLLI00 tutorial
2000-08-09
Marta Kwiatkowska
Efficient Cost Measures for Motion Estimation at Low Bit Rates
1997-03-21
Processing Transactions over Optimistic Atomic Broadcast Protocols
1999-03-29
Error Bounds for Minimal Energy Bivariate Polynomial Splines
2000-08-22
Look-Ahead Value Ordering for Constraint Satisfaction Problems
1996-12-06
Partition Functions And Equilibrium Measures In Two-Dimensional And Quasi Three-Dimensional Turbulence
1997-06-10
Alexandre J. Chorin
Dynamical and Distributed Process Management based on Agent Technology
1999-07-08
Design and Implementation of Expressive Footwear
2000-07-28
Constructing 2D Curve Atlases
2000-03-02
Semantics of Communicating Agents Based on Deduction and Abduction
1999-04-09
Service Location Protocol
1998-06-19
Charles E. Perkins
A Compiler for Application-Specific Signal Processors
2000-07-13
Speaking In Shorthand - A Syllable-Centric Perspective For Understanding Pronunciation Variation
1998-10-12
Steven Greenberg
Chapter 4: Structured Language Model Parsing
1998-11-18
Relational Learning with Statistical Predicate Invention: Better Models for Hypertext
2000-07-20
Middleware
2000-08-28
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security
1970-01-01
Charmless Semileptonic Decays of B Mesons
1995-10-05
Rational Term Rewriting
1998-01-13
A. Corradini
An Object-Oriented Approach to the Implementation of OSI Management
1998-01-12
DIVA: A Dynamic Approach to Microprocessor Verification
2000-05-06
Todd M. Austin
Wave Bifurcation in Models for Heterogeneous Catalysis
1998-06-02
S. Kr Omker
The Equality S1 = D = R
2000-04-26
Departments Of Mathematics
1997-02-10
Luise Blank
Information-theoretic Interpretation of Besov Spaces
2000-08-07
Optimistic Concurrency Control in Broadcast Environments: Looking Forward at the Server and Backward at the Clients
2000-03-13
track requirements, it is selected as the lepton candidate more than 99% of the time. Next, we require the lepton candidate momentum to be approximately
1997-01-28
Visualization of And/Or-Parallel Execution of Logic Programs
2000-01-11
Focusing Non-commutative Sequent Calculus
2000-02-29
Roberto Maieli
An Improved Training Algorithm for Support Vector Machines
1998-01-19
Using Real-Time Stereo Vision for Mobile Robot Navigation
1998-11-05
Alexander Groups And Virtual Links
2000-07-28
Research Problems and Solutions for Extremely Large Datasets
1999-01-15
Dr. Raghu Machiraju
Bibliography
1999-05-20
Performance Measures for Geometric Fitting in the NIST Algorithm Testing and Evaluation Program for Coordinate Measurement Systems
2000-02-03
Mark S. Levenson
The Effects of Extended Heat Treatment on Ni Induced Lateral Crystallization of Amorphous Silicon Thin Films
2000-09-06
PAC Analogues of Perceptron and Winnow via Boosting the Margin
2000-06-15
Rocco A. Servedio
The Finite Volume Method For An Elliptic-Parabolic Equation
1998-06-02
Semantic Relations: The key to integrating and query processing in heterogeneous databases
2000-07-27
Unknown
1999-09-13
A Waveguide Model for Slapbass Synthesis
1999-02-19
Gernot Kubin
Metaphors of Movement: A Visualization and User Interface for Time-Oriented, Skeletal Plans
2000-09-01
Multiple Channel Crosstalk Removal Using Limited Connectivity Neural Networks
2000-08-17
Unknown
2000-07-08
Appendix Simulation Studies of Direct Photon Production at STAR
1998-08-25
The Scenario Approach: Gaining Acceptance Of The Forecast
1999-07-10
A Manufacturing Production Line with Service Interruptions
1998-06-16
Nigel Thomas
Software Distributed Shared Memory over Virtual Interface Architecture: Implementation and Performance
2000-08-10
Muralidharan Rangarajan
Big Ball of Mud
1999-10-26
Interference Cancellation For Pam Modulation Using Neural Networks
1996-08-06
The Interaction of Discourse Modality and User Expectations in Human-Computer Dialog
1995-04-25
Jussi Karlgren
Test set for IVP solvers
1996-09-13
A Student-Centered Feedback Control Model Of The
2000-04-05
Lazy Release Consistency for Software Distributed Shared Memory
1998-08-24
Detection Of Lead In The Carbon-Rich, Very Metal-Poor Star Lp 625-44: A Strong Constraint On
2000-08-29
Oscar Zariski
1998-08-25
J. Lipman
Finding Structure and Characteristics of Web Documents for Classification
2000-08-31
Template-Based Rendering of Run-Length Encoded Volumes
1997-07-11
Fast Blind Inverse Halftoning
1998-06-20
Scheduling Algebra
2000-07-25
Maintaining Authenticated Communication in the Presence of Break-ins
1998-07-13
The Vesta Approach to Software Configuration Management
2000-05-01
Supersingular Curves in Cryptography
2000-09-06
Steven D. Galbraith
Evaluating the Communication Performance of MPPs Using Synthetic Sparse Matrix Multiplication Workloads
1996-01-16
Linking Simulation Model Specification And Parallel Execution Through Unity
1996-10-14
Partitioning of Video Objects into Temporal Segments Using Local Motion Information
2000-09-04
Structural Embeddings: Mechanization with Method
1999-06-25
Beyond Speedup: PADS, the HLA and Web-Based Simulation
1999-02-24
Non-Linear Interpolation Of Missing Image Data Using Min-Max Functions
2000-05-29
Large-Scale Capacitance Calculation
2000-04-03
Parallel Complexity of Integer Coprimality
2000-02-07
B. Litow
Virtual Environments as Constraints on Decision-Making in Agent Models of Human Organizations
1999-09-10
Cliff Joslyn
A Learning Approach to Shallow Parsing
2000-02-01
Automaticity And Rationality
2000-07-22
Jeffrey Shallit
. Assembly Of The Detector
1999-11-01
Abelian Algebras and the Hamiltonian Property
1996-01-28
Explaining Parasitic Gap Restrictions
1999-10-22
Alan Munn
Using "test model-checking" to verify the Runway-PA8000 memory model
1999-10-18
Large Scale Data Mining: The Challenges and The Solutions
1997-03-11
Competing Software Agents Support Human Agents
1998-09-01
An Interactive Theorem Proving Assistant
2000-03-08
Ulrich Endriss
Prediction-Based Techniques for Hand-Off Prioritization in Channel Assignment Schemes
2000-05-12
View Updates in Disjunctive Deductive Databases Based on SLD-Resolution
1999-03-02
Wenjin Lu
Pc-Atomic
2000-07-31
Joseph D. Touch
Reliability Simulation of Component-Based Software Systems
1998-06-19
SKIT, An Open Architecture for Courseware Authoring
1999-03-24
Unknown
1998-09-20
Formalizing Space Shuttle Software Requirements
1996-01-29
Expression of Interest for a Long Baseline Neutrino Oscillation Experiment Using a CERN Beam and a Large Magnetic Sampling Calorimeter at Gran Sasso
1999-11-01
Formal Numerical Program Analysis
2000-07-31
NGTCP: Next Generation Transmission Control Protocol
2000-05-08
Non-deterministic Expressions and Predicate Transformers
1999-10-31
Joseph M. Morris
From Formal Verification to Silicon Compilation
1999-11-09
Unsupervised Segmentation of Images
2000-05-29
Proof Theory Since 1960
1970-01-01
Solomon Feferman
Agents that represent buyer's interests in E-commerce
2000-05-29
Primordial Lithium And Big Bang Nucleosynthesis
2000-02-03
Generating Hard Satisfiability Problems
1999-08-30
The Gent-McWilliams Theory of Mixing Along Isentropic Surfaces
1970-01-01
David A. Randall
Model-Based Conversions of L
1994-09-21
Inman Harvey
1970-01-01
Matroid 4-Connectivity: A Deletion-Contraction Theorem
1999-06-04
James Geelen
The Niagara Internet Query System
2000-08-01
Translating Dependent Type Theory into Higher Order Logic
1994-10-01
Bart Jacobs
Summary of the Main Features of HYP and HYPQ
1999-07-26
Rewriting Techniques in Finitely Presented Groups and Monoids
2000-02-17
Derek F. Holt
Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular Sets of Configurations
1997-06-13
Visually Specifying Context
1999-03-14
A Constraint-based Approach for Specification and Verification of Real-time Systems
2000-01-11
The polar decomposition on Lie groups with involutive automorphisms
2000-08-30
Robust Universal Complete Codes for Transmission and Compression
1998-05-06
Computer Science Report to the CUPM Curriculum Foundations Workshop . . .
1999-12-17
Synchronisation of Two Chaotic Delay Differential Systems
2000-08-29
Pruning Closed Itemset Lattices for Association Rules
2000-07-01
Mobile Computation
1997-02-13
Luca Cardelli
Decidability of Bisimulation Equivalence for Pushdown Processes
2000-08-31
Colin Stirling
Learning Rules Within the Framework of Environmental Sciences
1998-11-27
The Art Of Spirolaterals
2000-08-10
Robert J. Krawczyk
Heavy-traffic analysis for the /G/1$ queue with heavy-tailed distributions
1997-09-03
A Framework for the Management of Information Security
1999-11-23
Shared Health Care Networks
2000-04-03
The Argos Language: Graphical Representation of Automata and Description of Reactive Systems
1992-07-24
F. Maraninchi
T. Ill'es, J. Peng, C. Roos, T. Terlaky ISSN 0922--5641 Reports of the Faculty of Technical Mathematics and Informatics 98--15 Delft June, 1998
1999-08-28
Some Independence Results Related To The Kurepa Tree
2000-01-28
Renling Jin
Communicating Sequential Processes
1999-12-06
A Programmed Graph Rewriting System for Software Process Management
1996-07-02
Adaptive Thresholding for Proactive Network Problem Detection
2000-03-15
Smokey: Automatic Recognition of Hostile Messages
1997-09-11
Ellen Spertus
Predicting File System Actions from Prior Events
1999-01-21
On Typed Calculi with a Merge Operator
1999-09-05
Hideki Tsuiki
Combining Linear Equalization And Self-Organizing Adaptation In Dynamic Discrete-Signal Detection
1999-06-08
Illuminating Objects with Mirrors
2000-09-07
Tcl/Tk Workshop - June 10-11, 1993 - Berkeley, CA
1998-11-16
Transaction Transmission Control Protocol For Linux
1998-04-30
Mark Stacey
Parallel Skeletons for Structured Composition
1995-04-06
Flipping Your Lid
2000-08-10
Systems Studied
2000-09-06
Multiple Comparisons with the Best Using Common Random Numbers for Steady-State Simulations
1997-11-17
Marvin K. Nakayama
Data Structures for representing Graphs
1998-03-08
Stochastic Analysis of Stable Marriages in Combined Input Output Queued Switches
2000-01-18
Open Issues in Managing Inconsistencies in Human-Centered Systems
1997-05-07
Global MHD Simulation of the Inner Accretion Disk in a Pseudo-Newtonian Potential
2000-08-30
A deductive decision procedure for a restricted FTL
2000-07-17
Regimantas Pliuskevicius
Can an Operation Both Update the State and Return a Meaningful Value in the Asynchronous PRAM Model?
2000-01-13
Jaap-henk Hoepman
Host Anycast Support in IPv6
1999-05-27
A Common Library Interface to Shared-Memory Multiprocessors
1997-10-27
Lawrence A. Crowl
Automated Formula Generation and Performance Learning for the FFT
2000-04-06
Dynamic Typing as Staged Type Inference
1997-10-21
Texture Mapping as a Fundamental Drawing Primitive
1997-09-09
Methods and tricks used in an attempt to pass the Turing Test
1970-01-01
V. Bastin D. Cordier
Increasing Internet Capacity Using Local Search
2000-08-23
Reactive Scheduling System Implementations Using A Simulated Shop Floor
1998-08-13
Frank Riddick
Asymptotic Expansions of exp-log Functions
1996-03-27
.1 Natural Deduction
1999-11-12
Positivity Preserving Finite Element Approximation
2000-01-17
A Parallel Maximal Independent Set Algorithm
2000-01-30
Mark Adams
Efficient Loop-Check for Backward Proof Search in Some Non-Classical Propositional Logics
2000-09-05
Plane + Parallax, Tensors and Factorization
2000-04-03
Bill Triggs
Recognition of Partially Occluded and/or Imprecisely Localized Faces Using a Probabilistic Approach
2000-06-01
Aleix M. Mart'inez
Semantic Representations and Query Languages for Or-Sets
2000-03-23
Dynamic Representation in Britain
1998-11-22
Amdahl's Law as an Instrumentation Tool for Building Efficient Parallel Code
2000-02-04
Unknown
1999-04-08
An Improved Direct Dimension Exchange Method for Load Balancing in
2000-08-31
Performance Analysis of Four SIMD Machines
1995-01-27
Rod Fatoohi
Completeness Results for Linear Logic on Petri Nets
1993-02-23
Content-Based Query of Image Databases, Inspirations From Text Retrieval: Inverted Files, Frequency-Based Weights and Relevance Feedback
1999-03-10
Approximating the Permanent of Graphs with Large Factors
1997-03-20
ANN Programming Manual
1998-03-04
David M. Mount
Memory Consistency Models for Shared-Memory Multiprocessors
1999-01-27
Kourosh Gharachorloo
Combining Power With Tractability in Belief Models
1997-07-31
An Educational Environment for Designing and Performance Tuning of Embedded Systems
1998-07-06
The Effect of Location and Topology in Network Management Polling
1999-09-09
Congruence Proofs for Weak Bisimulation Equivalences on Higher-order Process Calculi
1998-02-09
Comparison of Defect Size Distributions Based on Electrical and Optical Measurement Procedures
1997-06-27
The Self And The Other: The Purpose Of Distinction
1999-07-16
Ranulph Glanville
Short 2-Bases for Boolean Algebra in Terms of the Sheffer Stroke
2000-06-27
Robert Vero
Antialiasing in Raycasting Digital Terrain Models
1997-04-24
Optimal Estimation of Matching Constraints
1998-07-07
Bill Triggs
Tools for Automated Support of `What-if' Analyses: Candle-Lighting Analysis, Genetic Algorithms, and CLAP-NT
1996-07-11
. Course Objectives and Outline
2000-03-24
Webcard: a Java Card Web Server
2000-03-26
The computing power of Geometry
2000-04-11
Francoise Chaitin-chatelin
Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization
1999-04-06
An Evaluation of Software-Based Release Consistent Protocols
1998-08-24
n-distributivity, dimension and Carathéodory's theorem
2000-03-24
Leonid Libkin
Parsec, a Fast Combinator Parser
2000-02-23
Daan Leijen
Alternating Automata: Checking Truth and Validity for Temporal Logics
1997-03-31
Moshe Y. Vardi
A Verification Tool for Value-Passing Processes
1994-11-15
H. Lin
Using Bitmaps for Medium Sized Information Retrieval Systems
1998-05-06
Evaluating the Impact of the First U.S. Citizens' Panel on 'Telecommunications and the Future of Democracy'
1998-08-14
David H. Guston
Fast Motion Compensated Temporal Interpolation for Video
1998-05-29
Divide and Aggregate: Caching Multidimensional Objects
2000-05-31
Spatial Switching of Quadratic Solitons in Engineered Quasi-Phase-Matched Structures
2000-05-30
Exists and That
1997-12-01
Sy D. Friedman
Further Evidence for Threefold Maximal Lepton Mixing and a Hierarchical Spectrum of Neutrino Mass-Squared Differences
1999-11-01
A Logical Approach to Portable High-level Robot Programming
1997-05-30
Next Century Challenges: Data-Centric Networking for Invisible Computing - The Portolano Project at the University of Washington
1999-05-25
Proof Nets for Controlling Ambiguity in Natural Language Processing
1999-01-08
ATT at TREC-7 SDR Track
1999-11-18
.1 Hybridization
2000-06-18
Balanced Sequences and Optimal Routing
1999-11-19
Evaluating Evaluation Measure Stability
2000-09-08
Randomised Techniques in Combinatorial Algorithmics
1999-11-21
Scannerless Generalized-LR Parsing
1998-01-19
Intrusion Detection in Real-time Database Systems Via Time Signatures
2000-03-29
Analysis of Large-Scale Social Surveys
2000-08-10
A Parallel Processing Technique for Electrical Tree Growth in Solid Insulating Materials Using Cellular Automata
2000-07-28
P2: A Lightweight DBMS Generator
1997-09-08
Symbolic Analysis of Transition Systems
2000-07-25
Natarajan Shankar
Residual Algorithms: Reinforcement Learning with Function Approximation
1995-09-16
Leemon Baird
Clustering Declustered Data for Efficient Retrieval
1999-06-30
General Short Computational Secret Sharing Schemes
1995-04-06
On the stability of large amplitude semi-discrete shock profiles by means of an Evans function in infinite dimensions
2000-07-27
Parallel Search Made Simple
2000-09-01
Christian Schulte
Robert A. Kowalski, Gerhard Wetzel, Francesca Toni
2000-09-01
Independence and Non-Interactivity in the Transferable Belief Model.
2000-08-03
Results From An Iron-Proportional Tube Calorimeter Prototype
1999-11-01
LMITOOL: a Package for LMI Optimization
1999-05-25
Paragon Parallel Programming Environment on Sun Workstations
1998-08-11
Comparing Verification Systems: Interactive Consistency in ACL2
1997-06-12
William D. Young
HyperPlex: a World of 3D Interactive Digital Movies
1996-03-30
Spatial Reasoning Using Symbolic Arrays
1995-04-11
Institutional Affiliation:
2000-08-22
Matched Multiwindow Methods For The Estimation And Filtering Of Nonstationary Processes
1994-10-06
Spert-II: A Vector Microprocessor System
1997-08-21
The Effects of MAC Protocols on Ad hoc Network Communication
2000-09-20
A Critique of the Use of t-ratios in Model Selection
1998-11-16
Fast Manipulation Path Planning for Humanoid Robots
2000-08-29
The Design and Implementation of Data-Parallel Files Extended Abstract
1996-01-19
Integrating Spatial Information And Image Analysis - One Plus One Makes Ten
1970-01-01
I R I S a
1995-11-20
Yannick Saouter
Unknown
1970-01-01
Investigation Of Three-Level Finite-Difference Time-Domain Methods For Multidimensional Acoustics And Electromagnetics
1996-08-20
Brian Thao Nguyen
Backward Error and Condition of Polynomial Eigenvalue Problems
1999-07-13
Francoise Tisseur
Fornax: Web-based Distributed Discrete Event Simulation in Java
1998-02-07
Resource Management in Wide-Area ATM Networks using Effective Bandwidths
1999-01-17
Towards Flexible and High-Level Modeling and Enacting of Processes *
1999-07-08
Feature Extraction for Very Low Bit Rate Video Coding
1998-05-14
Interrogatives and Adverbs of Quantification
1970-01-01
On Reachability, Relevance, and Resolution in the Planning as Satisfiability Approach
2000-09-26
Ronen I. Brafman
Inflation Targeting: Some Extensions
1998-08-20
Lars E. O. Svensson
Acl2-Tutorial
1997-07-24
Hierarchical Triangulation for Multiresolution Surface Description
1997-08-13
Leila De Floriani
Survey of Object-Oriented Defect Detection Approaches and Experiences in Industry
2000-08-10
Alastair Dunsmore
Domain-Driven Reconfiguration in Collaborative Virtual Environments
1998-07-25
Electromagnetic Scattering From Arbitrarily Shaped Aperture Backed by Rectangular Cavity Recessed in Infinite Ground Plane
1997-04-16
Modeling Dynamic Surfaces with Octrees
1993-06-28
Don Libes
Results on
1996-10-02
Christoph Grab
Knowledge-Based Navigation of Complex Information Spaces
2000-08-27
Robin D. Burke
Shape Transformation in Space-Time
1995-07-05
On Multiplayer Non-Cooperative Games of Incomplete Information: Part 2 - Lower Bounds
1994-07-14
Object Decomposition For Spatial Query Processing
1999-07-16
Program Checkers for Probability Generation
2000-07-11
Finite Element Approximation of the Cahn-Hilliard Equation with Degenerate Mobility
1997-12-07
Mixed Interpolation Methods With Arbitrary Nodes
1999-08-18
John P. Coleman
VIBe: A Micro-benchmark Suite for Evaluating Virtual Interface Architecture VIA Implementations
2000-01-26
The Software for Cultures and the Cultures in Software
2000-08-03
Illustrated Principles For Web-Based Course Design
1999-01-10
Robby Robson
C. S. Lee and Kwok-Wa Lam Sang H. Son Maintaining Data Consistency Using Timestamp Ordering in Real-Time Broadcast Environments*
2000-03-13
The parallelisation of the object-oriented simulation language Pearl
1994-06-06
Andrew David Pimentel
FAMIX Ada language plug-in 2.2
1999-09-07
Automatic Computation of Sparse Jacobians by Applying the Method of Newsam and Ramsdell
1970-01-01
Handling Conflicts in Distributed Assessment Situations
1999-06-14
A Subsymbolic+Symbolic Model for Learning Sequential Navigation
1999-03-29
A brief history of Kovalevskaya exponents and modern developments
1999-09-27
Alain Goriely
Bayesian CART Model Search
2000-09-04
Computable Obstructions to Wait-free Computability
1999-02-13
John Havlicek
How Receptive Field Parameters Affect Neural Learning
1998-02-16
A Plea for Common Sense Extended Abstract
1996-04-19
A Framework for Exploiting Data and Functional Parallelism on Distributed Memory Multicomputers
1999-02-01
Bounds on the Blocking Performance of Allocation Policies in Wavelength Routing Networks and a Study of the Effects of Converters
1999-01-06
The Complete Pivoting Conjecture for Gaussian Elimination is False
1970-01-01
Alan Edelman
Measurements of Coherent Tune Shifts and Head-Tail Growth Rates at the CERN SPS.
2000-07-13
Invariance, Self-Adaptation and Correlated Mutations in Evolution Strategies
2000-09-07
Nikolaus Hansen
Interior-Point Methods
1999-12-16
Paul T. Boggs
Internet2 QBone - Building a Testbed for Differentiated Services
1999-10-05
Efficient Training Methods For Maximum Entropy Language Modeling
2000-08-02
Typed Logical Variables in Haskell
2000-08-14
Large Scale Lattice-Boltzmann Simulations - Computational Methods and Applications
2000-06-08
Data Consistency In Hard Real-Time Systems+
1993-07-01
Learning the Face Space - Representation and Recognition
2000-04-16
Torus Actions on Compact Quotients
1996-10-22
Software Reliability Modeling with Imperfect Repair Actions
1998-06-19
Enhancing Reality in the Operating Room
1996-05-10
Application of Rough Sets Algorithms to Prediction of Aircraft Component Failure
1970-01-01
On a Conjugate Gradient-Type Method for Solving Complex Symmetric Linear Systems
1998-06-09
Advanced Requirements Specification: Quantifying The Qualitative
1999-09-10
Tom Gilb
I R I S a
1995-08-28
Bruno Sericola
Pathological Foliations and Removable Zero Exponents
1999-08-02
Michael Shub
I R I S a
1993-04-19
SAMBA - Systolic Accelerators For Molecular Biological Applications
1996-04-03
Dominique Lavenier
Speed Up of Near-Field Physical Optics Scattering Calculations by Use of the Sampling Theorem*
1997-06-26
MIME Multipurpose Internet Mail Extensions:
1992-02-02
Practical Programmable Packets
2000-07-06
Research Ethics Module On Responsible Authorship And Peer Review
2000-08-22
James R. Wilson
Efficient Credulous Inheritance Reasoning
1999-08-30
A Practical Methodology for Defining Histograms for Predictions and Scheduling
2000-08-08
Jennifer M. Schopf
Optimising Text Quality in Generation From Relational Databases
2000-05-21
Constructing Faithful Representations of Finitely-Generated Torsion-Free Nilpotent Groups
1999-08-03
Time-domain Identification of Dynamic Errors-in-variables Systems Using Periodic Excitation Signals
1999-04-09
Proposal for a Protocol Engineering Language
1996-06-12
On The Second Order Infinitesimal Bendings Of A Class Of Toroids
1997-09-09
Ljubica S. Velimirovi'c
Functional Programming in C++
2000-07-16
Infinitesimal Symmetries Of Hall Effect On Riemann Surfaces
1996-04-11
Description Logics and Knowledge Discovery of Data
2000-07-17
Stefan Schlobach
Efficient Simulation of Glass Cooling Processes
2000-08-18
Systems Research Center
1997-05-01
Raymie Stata
Generating Efficient Protocol Code from an Abstract Specification
1996-02-02
RandomizedOmega
1998-02-23
Performance of the World's Fastest Distributed Operating System
1995-10-17
Affective Objects
2000-04-03
The Temporal Reasoning Systems TimeGraph I-II
1994-05-24
On SDSI's Linked Local Name Spaces
1997-06-16
Martn Abadi
Towards a Fast Parallel Sparse Matrix-Vector Multiplication
2000-08-22
Topological Hulls Revisited
1997-07-18
J Urgen Koslowski
The Bas-Relief Ambiguity
1997-05-05
New method of designing LCD with optimal optical properties
2000-09-06
Representation, Reasoning and the Intermediary Metabolism of Escherichia coli
1995-09-12
Toni Kazic
Pattern recognition in the MAISA tool
2000-08-28
Large Shareholders And Market Discipline In A Regulated Industry: A Clinical Study Of Mellon Bank
1998-07-01
Substorm Associated Magnetotail Field And Plasma Fluctuations: A Case Study
2000-07-30
Approximation Algorithms for Dispersion Problems
2000-08-14
A Run-Time Linking Environment to Enable Dynamic Compilation
1998-10-16
Richard Edwin Kutter
Employing the Periphery: The Window as Interface
1999-03-11
Roy Rodenstein
Experience in Building Practical Authoring Tools for Web Authoring
2000-06-16
Fault-tolerant Transactions Using Distributed Shared Memory
1996-01-30
A Functorial Semantics for Multi-Algebras and Partial Algebras, With Applications to Syntax
2000-07-05
Building Temporal Abstractions
1995-11-11
A Timed Verification of the IEEE 1394 Leader Election Protocol
1999-09-23
Judi Romijn
Multimedia Document Models -- Sealed Fate or Setting Out for New Shores?
1999-03-05
Circumscribing Embedded Implications Without Stratifications
1994-10-04
L. Thorne Mccarty
Computing Exact Geometric Predicates Using Modular Arithmetic With Single Precision
1998-11-21
A New Approach to Visual Programming in User Interface Design
1995-10-13
Mining Multiple-Level Association Rules in Large Databases
2000-08-16
Electronic Substitution in the Household-Level Demand for Postal Delivery Services
1997-02-03
Frank A. Wolak
Inserting Ilities by Controlling Communications
1999-12-06
Applying Distributed Simulation
1998-11-13
Transfering Saturation, The Finite Cover Property, And Stability
1998-05-29
Modular Structuring of VDM Specifications in VVSL
1994-10-28
C. A. Middelburg
Multigrid And Krylov Subspace Methods For The Discrete Stokes Equations
1998-09-04
Howard C. Elman
An Integrated Framework for Text Planning and Pronominalisation
2000-05-21
Primary Data Encoding of a Bilingual Corpus
1999-12-07
A Pulsar Survey of 18 Supernova Remnants
1996-03-14
Efficiency Issues Related to Probability Density Function Comparison
1999-03-29
The NIST Design Repository Project
1998-08-06
Linear Zero-Knowledge - A Note on Efficient Zero-Knowledge Proofs and Arguments
1999-01-13
Ronald Cramer eth Zurich
Closure Induction in a Z-like Language
2000-05-26
David A. Duy
A Generalised Approach to Software Structure Metrics
1996-08-29
K. G. Van Den Berg
Efficient Nonlinear Modeling Using Wavelets and Related Compression Techniques
1998-09-09
Michael Nikolaou
Transforming Workpiece Geometriesinto Lathe-NC Programs by Qualitative Simulation
1997-05-12
MA48 - a Fortran code for direct solution of sparse unsymmetric linear systems of equations
1970-01-01
Derivations of the Balafoutis Patel Recursive Dynamics Formulation
2000-08-01
Investigation on the Magnetic Interaction between Neighboring Grains in Insulating Granular Film of Co
1999-05-03
Congruence Closure Modulo Associativity and Commutativity
2000-07-28
Finitely Presented Partially-Ordered Abelian Groups
1996-01-25
J. Mark Ettinger
Estimation Of Stationary Densities For Markov Chains
1999-08-15
Complete Term Rewrite Systems for Decimal Arithmetic and Other Total Recursive Functions
1998-09-16
Richard Kennaway
Decoupling Bandwidths for Networks: A Decomposition Approach to Resource Managment
1999-01-17
Coarse-Grained Parallel Genetic Algorithm for Solving the Timetable Problem
2000-02-17
Shisanu Tongchim
Extracting Randomness via Repeated Condensing
2000-09-11
Complex Variables - A short tutorial for students interested in signal processing
1999-09-22
Michael W. Macon
Virtual Cultural Identities
2000-04-11
Classifying Proteins By Family Using the Product of Correlated
1999-10-05
The Gesture Pendant: A Self-illuminating, Wearable, Infrared Computer Vision System for Home Automation Control and Medical Monitoring
2000-09-07
Using Restructuring Transformations to Reengineer Object-Oriented Systems - A Position Paper on the FAMOOS Project
1997-11-05
Development and Convergence Analysis of Training Algorithms with Local Learning Rate Adaptation
2000-07-07
A Compositional Approach to Statecharts Semantics
2000-08-16
Parallelizing an Unstructured Grid Generator with a Space-Filling Curve Approach
2000-02-22
A2: An Architectural Agent in a Collaborative Engineering Environment
1997-03-24
Current Tools for Assisting Intelligent Agents in Real-time Decision Making
1999-09-09
Hakan L. Younes
The Neutral Hydrogen Distribution in Merging Galaxies: Differences Between Stellar and Gaseous Tidal Morphologies
1999-12-20
Unknown
1996-05-15
Noga Alon
On the Number of Flats Spanned by a Set of Points in ...
2000-09-11
Endre Boros
SummerComputerSimulationConference SCSC'98 Reno, Nevada, July 19-22, 1998
2000-07-31
Nomadic users' support in the MAP agent platform
2000-08-29
Creating Human-like Synthetic Characters with Multiple Skill Levels: A Case Study using the Soar Quakebot
2000-08-28
A CORBA-Based Object Group Service and a Join Service Providing a Transparent Solution for Parallel Programming
2000-02-01
Metaphors Create Theories For Users
1970-01-01
Werner Kuhn
Bisimulation Equivalence is Decidable for all Context-Free Processes
1995-05-24
FreeWalk: Supporting Casual Meetings in a Network
2000-02-25
References
2000-09-08
Software Chroma Keying in an Immersive Virtual Environment
2000-01-21
V. Lalioti
Power Estimation and Minimization of Digital Signal Processing Systems
1999-02-08
Structured graph format: XML metadata for describing Web site structure
2000-04-26
Unix Programmer's Manual
1998-12-11
Stephen C. Johnson
On Minimal Imperfect Graphs with Circular Symmetry
2000-09-11
Architecture and Algorithms for Scalable Mobile QoS
2000-07-20
Bahareh Sadeghi
Evolutionary variational inequalities arising in non-isothermal Hele-Shaw flow and electro-chemical machining
1997-02-18
Recognizing Circulant Graphs of Prime Order in Polynomial Time
1997-11-26
Common Tangents to Four Unit Balls in R³
1999-11-19
A Generalized Tikhonov Regularization for Nonlinear Inverse Ill-Posed Problems
1999-02-15
Investigation of Hydrogen Bond Patterns: The Graph Set Approach. Part I: General Ideas and Their Application to Crystal Structures With Exactly One Molecule in the . . .
1999-11-22
TACO - Dynamic Distributed Collections with Templates and Topologies
2000-09-13
Representations of the Infinite Unitary Group from Constrained Quantization
1998-12-15
N. P. Landsman
Topology Design Of Multiservice Atm Networks
1970-01-01
On the Basic Parameters of Automaton-Based Image Compression
1999-03-28
Mobility, Reflection and Meta-Objects Protocols
1999-11-29
Combining Multiple Estimators of Speaking Rate
1998-03-17
ATM Traffic Management Optimization
2000-08-23
Datacom Division
Copyright Protection of Digital Images by Embedded Unperceivable Marks
1999-02-03
Convergence Of Double Obstacle Problems To The Generalized Geometric Motion Of Fronts
1998-10-12
Ricardo H. Nochetto
Implicit Parameters: Dynamic Scoping with Static Types
1999-12-01
On Decidability of Boundedness Property for Regular Path Queries
1999-09-28
On Views and XML
1999-11-15
Serge Abiteboul
B. Malheiro, N. R. Jennings and E. Oliveira ECAI 94.
1999-12-17
Exact and Approximate Aggregation in Constraint Query Languages
2000-03-23
Representation and Evaluation of Security Policies for Distributed System Services
2000-02-29
Thursday, October 24, 1996, 11:32 am
1996-10-24
Verifying Randomized Distributed Algorithms with PRISM
1970-01-01
Unknown
2000-08-18
Experience with Object-oriented Programming and Eiffel in an Introductory Programming Course
1994-02-17
Kurt Nrmark
Validation of Measurement Software as an application of Slicing and Constraint Solving
1998-01-06
Regularity Considerations in Instance-Based Locality Optimization
2000-06-07
Claudia Leopold
Providing Conceptual Framework Support for Distributed Web-Based Simulation within the High Level Architecture
1998-11-20
A Langlands classification for unitary representations
1999-07-02
Caterpillars, Context, Tree Automata And Tree Pattern Matching
2000-01-17
How Many Squares In An Infinite Chess Board Can A Knight Reach In d Moves
1998-06-02
Mordechai Katzman
New Experimental Results on Exact String-Matching
2000-09-02
Thierry Lecroq
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
1999-04-07
Jochen Renz
Evolutionary Development of Mathematically Defined Forms
2000-08-10
Robert J Krawczyk
Optimal Control Via Pole Placement
2000-08-25
Didier Henrion
A Measurement-Based Admission-Controlled Web Server
2000-06-12
A Note On Akbulut Corks
2000-07-30
Nikolai Saveliev
Evolutionary Computation Cookbook: Recipes for Designing New Algorithms
2000-07-27
A New Perspective on Algorithms for Optimizing Policies Under Uncertainty
2000-08-01
Rina Dechter
Pharmacophore Discovery using the Inductive Logic Programming System Progol
2000-08-25
Importing Mathematics from HOL into Nuprl
1998-01-05
Douglas J. Howe
A Computational View of Interior-Point Methods for Linear Programming
1999-08-28
Snowflake: Spanning administrative domains
1970-01-01
Principles Involving Marketing Policies: An Empirical Assessment
1999-07-10
A Concurrent Architecture for Serializable Production Systems
1996-07-03
Jos'e Nelson Amaral
Distributed Learning of Lane-Selection Strategies for Traffic Management
2000-03-08
Solving Bit-Vector Equations
1998-09-16
M. Oliver Moller
A Modular Approach for Programming Distributed Real-Time Systems
1996-05-20
A Spatio-Temporal Theory of Physical Objects
2000-07-25
Ensemble Learning
2000-08-03
James W. Miskin
Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits
2000-04-05
Algorithms for Position and Data Recovery in Wireless Sensor Networks
2000-07-06
Lance Doherty
Sampling HTTP Response Packets for Prediction of Web Traffic Volume Statistics
1999-03-15
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
2000-04-26
Amber C. Cagwin
2000-03-30
Abduction, Induction and Completion Policies Research Note
1998-01-16
EfficientConstruction of a Small Hitting Set for Combinatorial Rectangles in High Dimension
1997-03-20
Cyclic Scheduling on Parallel Processors: An Overview
1997-07-21
Universit'e P. Et M. Curie
Inflation Targeting as a Monetary Policy Rule
1998-08-27
Lars E. O. Svensson
Emerging Challenge: Security And Safety In Cyberspace
2000-08-18
Revista de Matem'aticas Aplicadas
2000-06-08
The Roles of FPGAs in Reprogrammable Systems
2000-02-08
Scott Hauck
Scale-Space Implementation in the UK IUE Project
1998-04-22
Building a Piece-Wise Ensemble of Decision Tree Classifiers
2000-05-30
Karthik Ramakrishnan
ROAMing Terrain: Real-time Optimally Adapting Meshes
1999-02-11
Molecular Dynamics Simulation Of Hydrogen Storage In Single-Walled Carbon Nanotubes
2000-07-10
Data Link Level Forwarding For IPv6 Packets On ATM Links
1997-12-21
Can Universal Service Survive in a Competitive Telecommunications Environment? - Evidence from the United States Consumer Expenditure Survey
1997-02-03
Frank A. Wolak
Perceptual Organization via the Symmetry Map and Symmetry Transforms
2000-04-11
Parameter Control Using the Agent Based Patchwork Model
2000-05-10
Contextual Local Analysis for Design of Distributed Systems
1996-08-06
Providing for an Open, Real-Time CORBA
1999-09-16
Random Unitaries in Non-Commutative Tori, and an Asymptotic Model for Q-Circular Systems
2000-08-28
An Industrial Case Study In Hw-Sw Co-Design Using Castle
2000-02-11
David W. Farmer
1999-11-17
David W. Farmer
Edge Localized Image Sharpening via Reassignment with Application to Computed Tomography
2000-07-26
Area-Optimized Technology Mapping for Hybrid FPGAs
2000-07-26
Utopia: A Load Sharing Facility for Large, Heterogeneous Distributed Computer Systems
2000-08-23
Small Cycles in Small Worlds
2000-09-08
Collaborative Websites Supporting Open Authoring
1999-07-20
Mark Guzdial
Regular Expressions into Finite Automata
2000-08-30
Anne Bruggemann-klein
Knowledge Representation and Reasonings Based on Graph Homomorphism
2000-09-05
M. L. Mugnier
The Open Assembly Design Environment Project: An Architecture for Design Agent Interoperability
1999-04-27
Segmentation of Carpal Bones from 3D CT Images using Skeletally Coupled Deformable Models
2000-04-11
Dynamics in the Dynamic Walk of a Quadruped Robot
1998-04-06
Numerical Solution of Partial Differential Equations Using Wavelet Approximation Space
2000-06-30
Test Generation with Autolink and TestComposer
2000-06-20
Files.doc 1
1997-02-04
Learning and Approximation Algorithms for problems motivated by Evolutionary Trees
2000-03-03
Mary Elizabeth Cryan
A Possible New Quantum Algorithm: Arithmetic with Large Integers via the Chinese Remainder Theorem
1999-11-09
S. A. Fulling
The TriMedia Instruction Scheduler
1999-11-23
Economic and Legal Aspects of Costly Recontracting
2000-02-03
Reasons not to deploy RED
1999-12-01
An Exploration Of The Dynamics Of Auxiliary Network Resources
1999-10-07
Shape-Based 3D Surface Correspondence Using Geodesics and Local Geometry
2000-07-17
A Flexible Mobility-Aware Transmission Scheme Utilizing Smart Antennas in a Wireless Cellular Network
1999-11-22
Evolving Neural Networks to Focus Minimax Search
2000-03-08
Failure of Interpolation in Combined Modal Logics
1998-05-14
Tabular Abstraction, Editing, and Formatting
2000-08-24
Xinxin Wang
End-to-End Quality of Service for High-End Applications
2000-05-09
Noisy Implementation Cycles and the Informational Role of Policy
2000-01-21
Automatic Construction of Intelligent Diagrammatic Environments
2000-01-25
Special Education: Study of Incidence of Disabilities
1998-10-28
Optimal Prediction for Hamiltonian partial differential equations
1999-10-06
Closed Queueing Networks With Finite Capacity Queues: Approximate Analysis
2000-03-28
Simonetta Balsamo
A Simple Approach to Recognise Geometric Shapes Interactively
2000-02-23
Market Split and Basis Reduction: Towards a Solution of the Cornuéjols-Dawande Instances
2000-09-08
Convergence Past Singularities For A Fully Discrete Approximation Of Curvature Driven Interfaces
1998-10-10
Ricardo H. Nochetto
Quality Adaptation for Congestion Controlled Video Playback over the Internet
1999-07-06
Analyzing and Tuning the Distributed Coordination Function in the IEEE 802.11 DFWMAC Draft Standard
1999-04-08
The Generation of Strings from a CFG using a Functional Language
1998-01-08
Bruce Mckenzie
Is Proportional to the Error on the Ratio
1999-11-01
Experiments in Distributing and Coordinating Knowledge
1999-08-26
P. Ciancarini
Users' Guide for PPFS: A High-Performance Portable Parallel File System
1970-01-01
Scalable Cluster Computing with MOSIX for LINUX
2000-06-21
Bases for Non-Homogeneous Polynomial C
2000-07-24
Process Plan Expression, Generation, And Enhancement For The Vertical Workstation Milling Machine In The Automated Manufacturing Research Facility At The National Bureau Of Standards
1993-04-16
FinalVersion Page 1 of 26
1999-06-15
Distributed Learning on Very Large Data Sets
1970-01-01
LITTLE Project
1999-04-08
Comprehensive Profiling Support in the Java Virtual Machine
1999-03-30
Analyzing xfig Using the Bauhaus Tool
2000-08-15
Fourth Order Conservative Exponential Methods for Linear Evolution Equations
1998-09-07
Ya Yan Lu
Automated Manufacturability Analysis: A Survey
1999-11-29
Identifying the Gene Regulatory Network by Real-Coded, Variable-Length, and Multiple-Stage GA
2000-08-29
Hitoshi Iba
Program Extraction in a Logical Framework Setting
1994-09-23
Penny Anderson
Minimal Sets and Varieties
1996-01-28
Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol
2000-03-07
Issues and Approaches in Parallel Multi-Component and Multi-Physics Simulations
1999-12-05
Towards a Universal Test Suite for Combinatorial Auction Algorithms
2000-05-21
More Accurate Bidiagonal Reduction For Computing The Singular Value Decomposition
1998-08-19
Jesse L. Barlow
A Navigational Analysis of Linear and Non-Linear Hypermedia Interfaces
2000-04-23
Face Cluster Radiosity
1999-06-02
TestTalk, A Test Description Language: Write Once, Test by Anyone, Anytime, Anywhere, with Anything
1999-11-04
Extendible Approach For Analysing
2000-08-28
K. W. Tindell
Action Contraction
2000-08-29
Arend Rensink
Semi-Automatic Generation of F-Structures from Treebanks
1999-09-21
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals
1995-12-21
Design and Evaluation of a Continuous Consistency Model for Replicated Services
2000-09-01
Extended Data Formatting Using Sfio
2000-06-13
Experimental Results of a Vision-Based Burn Scar Assessment Technique
1998-06-09
An Introduction to Acoustic . . .
1970-01-01
Speeding Up Short Data Transfers: Theory, Architectural Support, and Simulation Results
2000-08-21
Lectures for Taller de Verano 1999 de FENOMEC Numerical Analysis with applications in Theoretical Physics
1999-07-31
Matthew W. Choptuik
Maximum Mutual Information Based Reduction Strategies For Cross-Correlation Based Joint Distributional Modeling
1998-04-05
Jeff A. Bilmes
On the Algebraic Independence of the Values of Functions Satisfying Systems of Functional Equations
2000-08-08
V. G. Chirskii
Next Century Challenges: Scalable Coordination in Sensor Networks
2000-08-16
Formal Specification
2000-04-04
Part A -inco-copernicus
Untimed and Misrepresented: Connectionism and the Computer Metaphor
1970-01-01
Inman Harvey
Overview of the Release
1998-01-26
Knowledge and the Next State Modality
2000-08-14
R. Ramanujam
Instrumented Footwear for Interactive Dance
1999-08-18
Bottleneck Steiner Tree
2000-07-28
Empirical Tests of Whether Congressmen Adjust Their Policy Positions in Response to Third Party Threats.
1999-12-13
Shigeo Hirano
Eliminating Dummy Elimination
2000-03-29
Further Modifications to the Dexter Hypertext Reference Model: a Proposal
1994-01-12
Cobots: Robots For Collaboration With Human Operators
1999-02-20
A Hybrid Approach to Fault Diagnosis in Network and System Management
1999-11-22
Along Lin
Development of a Simulation and Data Visualisation tool to assist in Strategic Operations Management in Emergency Services
2000-01-28
Hybrid Fold Recognition: Combining Sequence Derived Properties with Evolutionary Information.
2000-03-20
Daniel Fischer
Spirolaterals, Complexity From Simplicity
2000-07-11
Robert J. Krawczyk
A Comparison Of Data-Derived And Knowledge-Based Modeling Of Pronunciation Variation
2000-08-10
A Scheme for Comparative Evaluation of Diverse Parsing Systems
2000-07-31
The Physician-Scientist: Career Issues and Challenges at the Year 2000
2000-02-09
Genetic Network Inference: From Co-Expression Clustering to Reverse Engineering
2000-03-23
Shoudan Liang
Using UML for Business Object Based Systems Modeling
1998-04-29
A. Korthaus
Programming Support for Blossoming
1998-09-29
Reachability Logic: An Efficient Fragment of Transitive Closure Logic
2000-03-21
Natasha Alechina
R-Tree Based Indexing of Now-Relative Bitemporal Data
2000-04-03
On the Complexity of Modular Model Checking
1996-07-19
Moshe Y. Vardi
Basic Problem
2000-02-08
Toying With Technology: Mobile Robots and High School Interns
1998-05-26
Probabilistic Counting of Large Digital Signature Collections
2000-09-03
Markus G. Kuhn
Gis For A Two-Million-People City In Three Years
2000-03-03
Frederico Torres Fonseca
Discontinuous groups in positive characteristic and automorphisms of Mumford curves
1999-10-28
An Algorithm for Recognising the Exterior Square of a Multiset
1999-11-18
Catherine Greenhill
There is more to Context than Location
2000-08-17
High-Speed Reciprocal Approximations
1998-01-16
Phase-Based Disparity Measurement
1998-06-07
D-Brane Conformal Field Theory and Traces on Bundles of Conformal Blocks
1999-10-30
NOTE: Eclipse Spectroscopy of Io's Atmosphere
2000-08-16
Temporal Compositional Processing by a DSOM Hierarchical Model
1996-06-24
Near/Far Differences and Similarities in the NuMI Beam
1999-11-01
Solving the C_sum Permutation Flowshop Scheduling Problem by Genetic Local Search
2000-08-11
A Numerical Study Of The Time Dependent Schrödinger Equation Coupled With Newtonian Gravity
1999-10-22
Property-Based Testing
1996-11-27
A Hybrid Manufacturing System Modeling Environment Using VRML
1998-07-08
Language-Processing Strategies and Mixed-Initiative Dialogues
1999-10-26
Robust Solutions To Uncertain Semidefinite Programs
1999-05-25
Handoff Rerouting Scheme for Multimedia Connections in ATM-based Mobile Networks
2000-09-01
A Phase Transition in Random Coin Tossing
1999-10-27
Motion Interpretation of Trochoid Paths with a Rotational Motion SensitiveNetwork and Attention Mechanism
1999-08-25
Towards Automated Code Parallelization through Program Comprehension
1970-01-01
Multiobjective Robust Control of LTI Systems Subject to Unstructured Perturbations
1999-05-25
Transis: A Communication Sub-System for High Availability
1999-02-03
What is MITMatlab?
1970-01-01
Devil: An IDL for Hardware Programming
2000-07-25
Shape Improvement of Surfaces
2000-01-18
Stefanie Hahmann
Hardness of Approximate Hypergraph Coloring
1970-01-01
Normality of Tree-Growing Search Strategies
1998-01-29
Lost in Hyperspace?
1994-05-18
Socially Rational Agents - Some Preliminary Thoughts
1999-12-17
Generic Saturation
1997-11-07
Sy D. Friedman
Rate-Control for Retransmission-Based Video Transport over Wireless Channels
1999-01-16
Query Evaluation in an Object-Oriented Multimedia Mediator
1998-01-27
Towards a Differentiated Services Support for Voice Traffic
1999-10-04
An Embedding of ConGolog in 3APL
2000-02-16
A Large ... Set, Absolute for Set Forcings
1997-11-07
Sy D. Friedman
Comparing Tax Expenditures and Direct Subsidies: The Role of Legislative Committee Structure
1999-09-23
Dhammika Dharmapala
Inter-Linker Consistency in the Manual Construction of Hypertext Documents
1999-09-23
Edge Provisioning and Fairness in VPN-DiffServ Networks
2000-08-03
Accuracy of Topographic Maps Derived from ERS-1 Interferometric Radar
1995-11-30
Producing Multiple Levels of Detail of Polygonal Geometry Models for Faster Rendering
2000-03-29
K-Loops from Matrix Groups over Ordered Fields I
1997-05-22
GIFT: A Generic Interface for reusing Filtering Algorithms
2000-09-01
An Uncertainty Principle For Hankel Transforms
1998-09-02
Exponentials of Symmetric Matrices through Tridiagonal Reductions
1998-07-07
Ya Yan Lu
Understanding Replication in Databases and Distributed Systems
2000-09-11
An Integration of Model Checking with Automated Proof Checking
1995-05-19
Generating Partial and Multiple Transversals of a Hypergraph
2000-09-11
Connecting Corporate IT and Its Mobile Clients An Intermediate Solution
1997-06-16
Supporting Social Awareness on the World Wide Web With the Handheld CyberWindow
2000-04-26
Sampling At Subexponential Times, With Queueing Applications
1999-02-25
Semidefinite Programming Approaches To The Quadratic Assignment Problem
1999-12-09
Efficient Precomputation of Quality-of-Service Routes
2000-03-29
Identification Of Parameters For Heat Conductivity Equations
1997-02-17
N. D. Botkin
Abcde Fghij Klmno
2000-02-09
Machine Learning in Automated Text Categorisation
1970-01-01
Fabrizioseoabqw Consiglionazionale Deio Ricenale
Subscale Distance and Item Clustering Effects in Surveys: A New Metric
1999-08-12
Eric Bradlowandgavan Fitzsimons
Dynamic Class Loading in the Java Virtual Machine
2000-04-11
Qualitative Reasoning beyond the Physics Domain: The Density Dependence Theory of Organizational Ecology
1998-06-10
Jaap Kamps
Particle Image Velocimetry For Vapour Bubble Growth Analysis
2000-03-21
An efficient NICE-Schnorr-type signature scheme Extended Abstract
2000-07-25
Johannes Merkle
Advantages of a Leveled Commitment Contracting Protocol
2000-01-27
Code Transformations to Improve Memory Parallelism
2000-05-06
Parallel Programming With Distributed Object Groups - The TACO Approach
2000-08-16
Analysis of Timing Based Mutual Exclusion with Random Times
1970-01-01
Secure Safe Ambients
2000-09-12
Michele Bugliesi
Correlated Shadow-Fading in Wireless Networks and its Effect on Call Dropping
2000-08-28
Dual-Bounded Generating Problems: Partial And Multiple Transversals Of A Hypergraph
2000-09-11
On the Use of Simulation and Parallelization Tools in Computer Architecture and Programming Courses
2000-03-06
On the Number of Vertices Belonging to all Maximum Stable Sets of a Graph
2000-09-11
Analysis and Reduction of Kink Effect in MILC-TFTs
2000-09-06
Thinning, Inserting, and Swapping Scattered Data
1998-07-16
Optimality Of Nested Partitions And Its Application To Cluster Analysis
2000-09-11
A Framework for Optimizing Java Using Attributes
2000-09-10
H-Factors in Dense Graphs
1995-06-01
Investment Shocks and GDP Responses
1998-08-02
Paul A. Johnson
Interactive Volume Rendering on a Multicomputer
2000-09-05
Ulrich Neumann
The Generation of TTCN Test Cases from MSCs
1999-10-08
Jens Grabowski
Lecture Notes on Logics of Knowledge in Computer Science
2000-05-16
R. Ramanujam
A Non-Homogeneous Markov Software Reliability Model with Imperfect Repair
1998-06-19
KrackPlot 3.0 User's Manual
1996-02-08
Abcde Fghij Klmno
1997-02-19
The Bivariate Contouring Problem
2000-08-01
The Tail of the Stationary Distribution of an Autoregressive Process with ARCH1 Errors
1998-09-02
Milan Borkovec
Weak Repetitions In Sturmian Strings
2000-08-10
Meet.Me@Cyberstage: towards Immersive Telepresence
2000-09-13
Injecting Ilities
1999-12-06
Robert E. Filman
Enhancing Internet Search Engines to Achieve Concept-based Retrieval
2000-07-28
Nippondenso Co. Ltd.: A Case Study Of Strategic Product Design
1995-06-28
Daniel E. Whitney
Stable Families of Coalitions and Normal Hypergraphs
2000-09-11
Evaluation of Constrained Mobility for Programmability in Network Management
2000-06-26
Evaluating the Overheads of Source-Directed Quality-of-Service Routing
2000-03-29
Abcde Fghij Klmno
2000-02-22
Algebraic Combinatorics in Mathematical Chemistry. Methods and Algorithms. I. Permutation Groups and Coherent Cellular Algebras
1999-11-29
Repeated Communication and Ramsey Graphs
1995-04-13
TTCN-3 - A new Test Specification Language for Black-Box Testing of Distributed Systems
2000-05-11
Jens Grabowski
Geombinatorics Of "smart Dust"
2000-05-02
On The Design of IEEE Compliant Floating Point Units
1998-05-21
Guy Even
Reconstructing Missing Regions In Colour Images Using Multichannel Median Models
2000-05-29
Recurrence of 0 for Sums
2000-08-18
K. Bruce Erickson
Dynamic-Agents, Workflow and XML for E-Commerce Automation
2000-08-03
Multilevel Techniques for Mixed Finite Element Discretizations of Elliptic Boundary Value Problems
1997-04-17
Barbara Wohlmuth
Rough Sets: A Tutorial
2000-01-08
A Lightweight Multi-agent Musical Beat Tracking System
2000-09-12
Simon Dixon
Sufficient Conditions for the Existence of Unique Minimal Fixpoints of Nonmonotonic Functions
2000-09-06
The Shannon Capacity of a union
1998-01-11
Noga Alon
Observations From Multidisciplinary, Internet-Based Collaboration On A Practical Design Project
2000-01-12
Combined Biological Metaphors
1999-09-23
On-line Measurement of QoS for Call Admission Control
1998-04-16
Polynomial Time Recognition Of 2-Monotonic Positive Boolean Functions Given By An Oracle
2000-09-11
Finite State Tools for Natural Language Processing
2000-09-04
Widespread Easy and Subtle Tracking with Wireless Identification Networkless Devices -- WEST WIND: an Environmental Tracking System
2000-09-08
A Time-Parallel Multigrid Method for Two-Phase Stefan Problems
1997-04-18
Modeling and simulating charge sensitive MOS circuits
1997-05-05
Algebraic Combinatorics in Mathematical Chemistry. Methods and Algorithms. II. Program Implementation of the Weisfeiler-Leman Algorithm
1997-11-26
Ambiguity in Election Games
1999-09-30
Causal Traces
1995-12-05
Models of Bitmap Generation: A Systematic Approach to Bitmap Compression
1998-05-06
Partially Blind Multiuser Detection
1999-12-20
On Copositive Programming and Standard Quadratic Optimization Problems
1999-12-16
Virtual Sculpting: An Investigation of Directly Manipulated Free-Form Deformation in a Virtual Environment
1998-03-03
James Edward Gain
Visualisation for Validation
2000-09-13
High-Performance Algorithmsfor Compile-Time Scheduling of Parallel Processors
2000-01-06
Abcde Fghij Klmno
1997-11-26
Termination
1999-10-31
Joseph M. Morris
On The Structure Of Function Spaces In Optimal Recovery Of Point Functionals For ENO-Schemes By Radial Basis Functions
1998-07-16
Armin Iske
Fractal Compression
2000-03-12
A Survey of Error-Concealment Schemes for Real-Time Audio and Video Transmissions over the Internet
2000-09-11
Integrated Link Adaptation and Power Control to Improve Error and Throughput Performance in Wireless IP Networks
2000-03-22
Compiler Optimization Techniques for OpenMP Programs
2000-09-11
Tail Exactness of Multivariate Saddlepoint Approximations
1998-02-06
Recursive Generation of Partitionable Graphs
2000-09-11
The SGF Metadata Framework and its Support for Social Awareness on the World Wide Web
2000-08-09
A Comparison of Iterative Solvers for Nonsymmetric Linear Systems in Problems from Dopant-Diffusion
1997-04-17
Application of Iterative Methods for Solving Nonsymmetric Linear Systems in the Simulation of Semiconductor Processing
1997-04-17
Dynamic ML without Dynamic Types
1998-01-23
Towards Distributed Object Design
1998-05-14
Yield Forecasting
1998-05-07
Metamorphosis: An Integrated Object Oriented Requirements Analysis and Specification Method
1997-01-23
Further investigation of a relic neutralino as a possible origin of an annual--modulation eect in WIMP direct search
2000-05-23
ASCW: An Assistant for Cooperative Work
1994-05-04
Realizing Services for Guaranteed-QoS Communication on a Microkernel Operating System
2000-03-29
Sodium Velocities and Sources in Hale-Bopp
1998-07-29
High-level Architectural Simulation of the Torus Routing Chip
1997-02-24
Lasse Natvig
Efficient Evolution of Parallel Binary Multipliers and Continuous Symbolic Regression Expressions with Sub-Machine-Code GP
1998-12-18
Riccardo Poli
EPOCH: A coherent P-stable discretization scheme for highly oscillatory ODEs
1997-05-20
Metabroker: AGeneric Broker for Electronic Commerce
2000-04-13
Domains of attraction for exponential families and asymptotic behaviour of Laplace transforms
1999-05-27
Partial Edge Visibility in Chains of Orthogonal Rectangles
1970-01-01
Logical Analysis of Binary Data with Missing Bits
2000-09-11
Zooming in One Dimension can be better than Two: an Interface for Placing Search Results in Context with a Restricted Sitemap
2000-04-26
Animation for Validation of Business System Specifications
2000-09-13
V. Lalioti
Optimal Distribution of Centers for Radial Basis Function Methods
2000-06-13
Armin Iske
Horn Minimization by Iterative Decomposition
2000-09-11
Endre Boros
Finding Small Sets of Essential Attributes in Binary Data
2000-03-26
Critical Motions in Euclidean Structure from Motion
1998-11-30
IV.8 Bidirectional Signalling Circuitry
1998-02-20
Current Cntl
A Group-Enhanced ISSI Model for Secure Interconnection of Information Systems
1999-11-23
J. Leiwo
Sheffield University CLEF 2000 Submission - Bilingual Track: German to English
2000-09-05
Aircraft Integrity and Reliability
2000-01-08
A Scalable Reference Counting Garbage Collector
1999-11-11
Powers of Circulants in Bottleneck Algebra
2000-09-11
MaCware User Manual
2000-04-20
Non-Monotone Trust-Region Methods for Bound-Constrained Semismooth Equations with Applications to Nonlinear Mixed Complementarity Problems
1999-05-20
Design for Testability: A Step-Wise Approach to Protocol Testing
2000-08-01
Diagnosing Double Regular Systems
2000-09-11
Ideal Streams
2000-04-20
Fitness Functions for Evolving Box-Pushing Behaviour
2000-09-07
The Jets In Frii Radio Galaxies With
1999-08-25
Martin Hardcastle
Uniform Circuits for Division: Consequences and Problems
1970-01-01
The Generalized Formulation for the Stefan Problem with Kinetic Undercooling
1997-04-03
Numerical and Asymptotic Results on the Linear Stability of a Thin Film Spreading down a Slope of Small Inclination
1997-03-21
On Perfect 0,±1 Matrices
2000-09-11
Endre Boros Ondrej
Abcde Fghij Klmno
2000-05-12
Armin Iske
The Polynomial Method and Restricted Sums of Congruence Classes
1995-06-01
Improving End-to-End Performance of the Web Using Server Volumes and Proxy Filters
2000-08-28
Optimal Monetary Policy Inertia
1999-10-25
Michael Woodford
Some Statistical and Logical Considerations When Rescoring Tests
1999-07-10
Automated Theorem Proving
1999-08-23
Frank Pfenning
Color Management: Principles and solutions
1999-08-31
Jon Yngve Hardeberg
Documentation of the Physical-Space Statistical Analysis System PSAS Part II: The Factored-Operator Formulation of Error Covariances
1999-07-23
Extremal behavior of the autoregressive process with ARCH1 errors
1998-09-04
Milan Borkovec
Facsimile Communication over IP Networks
1999-05-27
Generating Weighted Transversals of a Hypergraph
2000-09-11
The Management of Context-Sensitive Features: A Review of Strategies
2000-06-12
Peter Turney
Painterly Rendering for Video and Interaction
2000-03-10
Prefix Computations on Symmetric Multiprocessors
1998-07-28
David R. Helman Joseph J'aj'a
Sequential Testing of Series-Parallel Systems of Small Depth
2000-09-11
Endre Boros
Arithmetic On Superelliptic Curves
2000-05-22
Analysis and Numerical Integration of Stochastic Differential-Algebraic Equations and Applications in Electronic Circuit Simulation
1999-05-17
An Implementation of Logical Analysis of Data
2000-09-11
A Study Of Side-Effect Analyses For Java
2000-09-10
Chrislain Razafimahefa
Active Management of multi-service networks
2000-09-09
Fully Consistent Extensions of Partially Defined Boolean Functions with Missing Bits
2000-09-11
Computational Intelligence in Adaptive Educational Hypermedia
2000-07-07
Chasing The Blame
1999-07-16
Approximation Algorithms For The Orthogonal
1999-12-14
Change and Adaptive Maintenance Detection in Java Software Systems
1999-10-17
TAM: A System for Dynamic Transactional Activity Management
1999-10-27
SCAPA User Manual
1999-10-08
Christian Pape
The Equilibrium Degree of Transparency and Control in Monetary Policy
2000-05-30
On the P 4 -Structure of Line Graphs
1998-07-22
Strict Genericity
1997-11-07
Sy D. Friedman
ARMADA Middleware Suite
2000-03-29
Sensitivity Analysis of Parameters in Modelling With Delay-Differential Equations
1999-12-14
Thinning Algorithms For Scattered Data Interpolation
1998-07-16
Michael S. Floater
The Complexity of Logic-Based Abduction
1995-03-16
ProbCut: An Effective Selective Extension of the alphabeta Algorithm
2000-09-07
Michael Buro
The Statistical Description of Visual Signals
2000-08-09
David Mumford
Modelling Http Traffic Generated by Community of Users
2000-09-09
Immersive Telepresence in Responsive Virtual Environments
2000-09-13
Agreement-Related Problems: From Semi-Passive Replication To Totally Ordered Broadcast
2000-08-15
Abcde Fghij Klmno
2000-04-27
A Linear Algorithm for the Homogeneous Decomposition of Graphs
1997-11-26
The crystalline version of the modified Stefan problem in the plane and its properties
1997-07-04
Towards A Comprehensive Congestion Control Framework For Continuous Media Flows In Best Effort Networks
2000-03-07
AutoFocus on Constraint Logic Programming
2000-08-07
Er Pretschner
Developing Data-intensive Applications in the Grid
2000-08-22
Quantales And Observational Semantics
2000-03-06
Pedro Resende
Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints
2000-06-15
A PROFIL/BIAS Implementation of a Global Minimization Algorithm
1998-05-29
Parallel Matching and Sorting with TACO's Distributed Collections - A Case Study from Molecular Biology Research
2000-09-13
Mean- Eld Solution of the Small-World Network Model
1999-09-27
Maximum Renamable Horn Sub-CNFs
2000-09-11
Endre Boros
MUTUAL DIAMOND Sy D. Friedman
1998-02-02
Sy D. Friedman
Adaptative Decision-Making by Systems of Cooperating Intelligent Agents Organized on Rough Mereological Principles
2000-01-08
The Value of Public Information in Monopoly
1970-01-01
Boolean Analysis of Incomplete Examples
2000-09-11
An Empirical Analysis of Constructing Non-restrictive NP Modifiers to Express Semantic Relations
2000-05-21
Use of Scenarios for Validation of Conceptual Specifications
2000-09-13
Reachability Analysis Using Net Unfoldings
1970-01-01
Javier Esparza
Unknown
2000-09-06
C. Schoettle
Learning from Imperfect Data in Theory and Practice
1997-06-09
On a New Class of Weakly Compact Graphs
1997-11-28
Dynamics of Quality-of-Service Routing with Inaccurate Link-State Information
2000-03-29
Nested Parallel Call Optimization
2000-01-11
Modeling Mobile Agent Systems with High Level Petri Nets
2000-05-31
Adaptive Contrast Enhancement by Entropy Maximization with a 1-K-1 Constrained Network
1999-08-25
Code Compression Techniques for Embedded Systems
2000-08-15
Adaptive Optimization in the Jalapeno JVM
2000-07-27
Analysis of 100Mb/s Ethernet for the Whitney Commodity Computing Testbed
1997-10-11
Automatic Assignment of Grammatical Relations
2000-04-19
V--SAT: A Visual Specification and Analysis Tool for System-On-Chip Exploration
1999-07-06
A Denotational Semantics for OIL-Lite and Standard Oil
2000-09-06
I. Horrocks
The Effectiveness of Child Safety Seat Laws in the Fifty States
2000-08-21
Strategic Plan for The Factory Automation Systems Division
1993-08-12
M. Bloom
Rough Set Data Mining of Diabetes Mellitus Data
2000-01-08
Jaroslaw Stepaniuk
An Extension Mechanism for the Java Language
1999-05-07
Michiaki Tatsubori
Applications of Nonstandard Analysis in Additive Number Theory
2000-07-13
Renling Jin
Contrastive Function of the Japanese Particle wa
2000-07-21
Genetic algorithm-based interactive segmentation of 3D medical images
2000-08-01
Minimum Cost Traffic Shaping
2000-04-10
Domain Knowledge for Natural Language Processing
1997-07-31
Andrei Mikheev
Why the Structure Encountered in Mathematical Textbooks is Adequate also for Automated Theorem Proving
1997-05-21
Detlef Fehrer
Information Contents of Fracture Lines
2000-01-14
An Editorial Comment on the Preceding Paper
2000-09-10
Gideon Schechtman
A Simulation-Based BPR Support System For Supply Chain Management
1998-07-08
Shigeki Umeda
GSC: A Generic Source-based Congestion Control Algorithm for Reliable Multicast
2000-08-09
Siggraph 2001 online id: Papers 001 - Video not enclosed
2000-03-16
Enhancement Of A Viscous-Inviscid-Interaction Airfoil Analysis Code Using The Parallel Direct Search Algorithm
1997-05-31
Integrated Electronic Systems Program
1999-03-22
Krzysztof Kuchcinski
Service Location Protocol for Mobile Users
1998-06-16
Charles E. Perkins
Derivation of Kanade-Lucas-Tomasi Tracking Equation
1999-08-06
Stan Birchfield
Competitive Parallel Disk Prefetching and Buffer Management
1998-06-03
Automated Construction of Database Interfaces: Integrating Statistical and Relational Learning for Semantic Parsing
2000-09-04
Raymond J. Mooney
Causal Models of Mobile Service Robot Behavior
1999-11-02
IntelliClean: A Knowledge-Based Intelligent Data Cleaner
2000-08-25
The multistep methods of Martín and Ferrándiz as modified Adams methods
1998-05-28
T-Snakes: Topology Adaptive Snakes
1999-08-27
Report of HSSS Individual Visit to Daniel Sorensen
2000-06-06
Nuala Sheehan
Decision Problems For Patterns
1996-01-31
Extending Partial Automorphisms and the Profinite Topology on Free Groups
1998-03-24
Improving Fairness and Privacy of Zhou-Gollmann's Fair Non-repudiation Protocol
2000-02-24
A Crystal Structure Database for the Elements and Select Diatomic Compounds
1997-11-25
Analysis, Modeling and Generation of Self-Similar VBR Video Traffic
1999-08-17
Unknown
1998-09-14
An Algebraic Matching Algorithm
1997-07-29
James F. Geelen
Creating Simple and Effective Prerecorded Web-Based Lectures
1999-06-30
W. Timothy Holman
PSIDE Users' Guide
1998-12-22
User's Manualfor Epsilon
1994-08-08
A Source-Level Transformation Framework for RPC-Based Distributed Programs
2000-04-01
Collisional and Collapse Dynamics of a Twin Bose--Einstein Condensate with Negative Scattering Length
2000-05-02
Massively parallel knowledge representation and reasoning: Taking a cue from the brain
1996-04-25
Lokendra Shastri
Minimization of Binary Automata
1997-01-19
Old Bachelor Acceptance: A New Class of Non-Monotone Threshold Accepting Methods
1995-05-16
Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software Prototyping Productivity
1994-12-06
Active Perception in Virtual Humans
2000-04-03
REAPAR User Manual and Reference: Automatic Parallelization of Irregular Recursive Programs
1998-03-16
Implementation of an Imperative Programming Language With Backtracking
1997-09-11
Departments Of Mathematics
1996-12-19
Fine-Grain Software Distributed Shared Memory on SMP Clusters
1999-01-27
Visual programming in NUT
2000-01-12
Semiclassical Self-Consistent-Field Perturbation Theory for the Hydrogen Atom in a Magnetic Field
1997-08-05
Unknown
1970-01-01
A Quick
High-Performance Bidirectional Signalling in VLSI Systems
1994-12-06
Probabilistic analysis of column-convex and directed diagonally-convex animals II: trajectories and shapes.
2000-08-14
G. Louchard
Exploring Henk
2000-02-29
Jan-willem Roorda
Chapter 2: Workshop '98 Technical Report: Zeman's Parser
1998-11-18
Daniel Zeman
An Application of Discretization Methods in Control
2000-01-08
Mix-based Electronic Payments
1999-09-07
Markus Jakobsson
Design and Analysis of Profile-Based Optimization in Compaq's Compilation Tools for Alpha
2000-05-06
The Politics of Air Bag Safety: A Competition Among Problem Definitions
2000-08-21
Inductive Reasoning is Sometimes Deductive
1998-01-16
A Design for the Icarus Architecture
1997-04-20
Student Guidelines
1999-01-20
Approximate Query Translation across Heterogeneous Information Sources
2000-08-24
Multi-Dispatch in the Java Virtual Machine: Design and Implementation
2000-08-21
Hadronic Production Systematic Errors
2000-01-03
Criteria for Testing Exception-Handling Constructs in Java Programs
2000-01-10
Jos'e C. Cunha
1998-04-24
Robust Information Extraction From Spoken Language Data
2000-03-03
Ribbon Tile Invariants from Signed Area
2000-08-30
Extending Partial Automorphisms and the Profinite Topology on Free Groups
1998-06-22
Wormholes in Shape Space: Tracking through Discontinuous Changes in Shape
2000-07-12
QoS-sensitive routing for Real-time Multicasting
1999-06-08
CMUnited-98: RoboCup-98 Small-Robot World Champion Team
1999-07-24
Irreducible Modules For Classical And Alternating Groups
1999-11-03
William J. Husen
The Generation of Idiomatic and Collocational Expressions
1996-09-02
Johannes Matiasek
y-variations for simplicity. Eq. 7.1 can apply, for example, to small-scale gravity waves forced by flow over topography. Let
1970-01-01
Property Grammars and the Problem of Constraint Satisfaction
2000-06-19
The Problem:
1995-10-26
Jianbo Shi
Bulk Synchronous Parallelisation of Genetic Programming
1996-07-09
Meaning Extraction from a Peircean Perspective
1999-11-05
Comparing Experimental Design Strategies for Quality Improvement with Minimal Changes to Factor Levels
2000-04-12
The Complexity of a Cyclic Scheduling Problem With Identical Machines and Precedence Constraints
1997-07-21
Universit'e P. Et M. Curie
Design of a Low-Orbit to Geostationary Satellite Link for Maximal Throughput
1998-09-25
Applying Self-Organized Criticality to the Diffusion Model
2000-06-05
TARA: Actor-Based Object-Oriented Language For Efficient Distributed Software Development
1999-12-20
Yusuke Tada
Karmarkar Algorithm
1999-08-28
Information Retrieval from Annotated Texts
1999-03-25
Bases for Non-Homogeneous Polynomial C_k Splines on the Sphere
1998-01-08
Computer Productivity Initiative
1995-01-17
A Posteriori Error Estimates for Variable Time-Step Discretizations of Nonlinear Evolution Equations
1999-03-22
Toward a Rule-Based Solution of Dynamic Constraint Hierarchies Over Finite Domains
2000-06-29
Armin Wolf
A LATEXperiment of hieroglyphic typesetting
1996-12-09
Serge Rosmorduc
Compression and Genetic Sequences Analysis
1997-01-29
.1 Factoring polynomials over the integers
1995-05-04
Adaptive Control Mechanism for Cable Modem MAC Protocols
1998-03-19
A Multidisciplinary Team Project for Electrical Engineering, Computer Engineering, and Computer Science Majors
2000-05-22
Project 1 | Sorting Part A
1999-09-08
Part A
The Scalable System Administrator: via C3 M3C Tools
2000-07-27
A Framework and Testbed for Studying Manipulation Techniques for Immersive VR
2000-02-23
Coloring Spatial Graphs
2000-07-28
Application of LDA to Speaker Recognition
2000-08-03
Feature Center: Getting the Picture from Documents and Drawings
1995-09-19
Improved Consolidation Algorithms for Point-to-Multipoint ABR Service
2000-01-15
Model Theory Of Differential Fields
1995-09-28
David Marker
Enhancing Internet Medical Document Retrieval with "Medical Core Metadata"
2000-01-09
Reports In Informatics
2000-09-04
Multi-Fidelity Algorithms for Interactive Mobile Applications
1999-08-25
SICStus Prolog: una breve guida introduttiva
1998-05-22
Floriano Zini
The Relation Between Probability and Evidence Judgment: An Extension of Support Theory
2000-08-22
Lower bounds for Union-Split-Find related problems on random access machines
1998-05-14
Peter Bro Miltersen
The File System Belongs in the Kernel
1993-03-08
Brent Welch
Standard Generalized Markup Language: Mathematical and Philosophical Issues
2000-08-24
Derick Wood
Images as Embedding Maps and Minimal Surfaces: Movies, Color, and Volumetric Medical Images
1999-08-11
Performance Analysis of a Decoding Algorithm for Algebraic Geometry Codes
1998-07-31