Real Spectrum
1999-01-12
Thierry Coquand
Generalizing Theorems in Real Closed Fields
1994-11-06
Unknown
1997-03-20
Organisational Perspectives of Workflow Technology
1998-11-11
Steinar Carlsen
Describing Software Architectures and Architectural Styles
1999-01-05
Scaling information infrastructure: the case of next generation IP in Internet
1997-04-07
Eric Monteiro
Avoiding Pitfalls in Case-based Planning
1996-08-16
Jana Koehler
OC1: A randomized algorithm for building oblique decision trees
1995-01-04
Contour Outlines
1998-08-25
Thomas R. Kramer
Incremental methods for computing bounds in partially observable Markov decision processes
1998-05-08
Milos Hauskrecht
right angled component C
1999-08-18
Evaluation Metrics For Language Models
1998-03-04
High Power Window Tests on a 500 MHz Planar Waveguide Window for the CESR Upgrade
1998-03-04
A Parameter-Less Genetic Algorithm
1999-09-09
Optimal Pricing Strategies in Noncooperative Networks
1999-03-04
Progress of the Heidelberg High Current Injector
1998-03-04
Placing Boxes on Shelves: A Case Study
1999-10-25
Optimal solution to a Team Problem with...
1999-09-08
Copper CMP and Process Control
1999-03-28
Rf Cavity Computer Design Codes.
1998-03-04
The Effect of Program Optimization on Trace Cache Efficiency
1999-08-06
Rupiah: An extension to Java supporting match-bounded parametric polymorphism, ThisType, and exact typing
1998-06-01
Jonathan L. Burstein
A Template for Non--Uniform Parallel Loops Based on Dynamic Scheduling and Prefetching Techniques
1999-04-10
Salvatore Orlando
Digital Systems Laboratory
1998-02-23
Tuomas Aura
AIAA Foundation Graduate Team Aircraft Design Competition RFP: Hypersonic Strike Fighter I. RULES
1999-10-06
I. Rules
A Software Architecture Reconstruction Method
1999-01-05
Agricultural Growth Linkages in Sub-Saharan Africa
1999-01-28
Fair Scheduling in Wireless Packet Networks
1997-10-31
Expressing Concurrency in Griffin
1996-05-08
Attribute-Based Feature Tracking
1999-01-28
An Event-Based Method For Microphone Array Speech Enhancement
1999-05-14
Michael S. Brandstein
Integrated Facility Design using an Evolutionary Approach with a Subordinate Network Algorithm
1999-07-29
First-class Attribute Grammars
1999-02-13
Oege De Moor
On a Partial Information Multiple Selection Problem
1999-06-14
Katsunori Ano
Mental Rotation Dykens, E. M., and R. M. Hodapp. 1997. Treatment issues in genetic mental retardation syndromes.
1998-11-16
D. L. Coulter
On a problem of E
1996-05-08
Modeling Sociality In The BDI Framework
1999-10-01
Wuji Yang -- Winter, 1997 May 14, 1997
1997-05-14
Wuji Yang Winter
DACAPO: A Distributed Computer Architecture for Safety-Critical Control Applications
1998-10-12
A Lower Bound for Schur Numbers and Multicolor Ramsey Numbers of . . .
1998-07-21
Georey Exoo
Chapter 9 Hyperbola tricks
1998-10-21
Constructing Bayesian-network Models of Software Testing and Maintenance Uncertainties
1997-05-08
T E X 2
1995-05-25
Integrating Joint Behaviour and Dialogue Description
1998-06-24
Data References for: "Branch Effect Reduction Techniques"
1997-04-29
Automated Code Generation for Integrated Layer Processing
1999-11-22
Torsten Braun
A Steady State Analysis of Diffracting Trees
1999-07-07
A Composition Theorem About Fixed Points
1994-03-07
Jayadev Misra
On Rationality Properties Of Involutions Of Reductive Groups
1999-07-15
PCUP : Pipelined Cyclic Upstream Protocol over Hybrid Fiber Coax
1997-08-23
A Minimally Informative Likelihood for Decision Analysis: Illustration and Robustness
1999-02-17
Virtual Lab for Software Engineering Education
1999-07-10
Codata and Comonads in Haskell
1999-10-01
Richard B. Kieburtz
A Graphical Look At Packet Radio Networks
1998-01-10
Richard Parry Wif
Trace Table Based Approach for Pipelined Microprocessor Verification
1997-04-11
Use of Contextual Information for Feature Ranking and Discretization
1999-09-10
Fast Generation of Random Permutations via Networks Simulation
1997-09-16
Artur Czumaj
Kinematics of Multigrid Monte Carlo
1996-06-22
OpenCorba: a Reflective Open Broker
1999-05-04
A Discriminant Function for Noisy Pattern Recognition
1999-06-15
Towards a High-Level Power Estimation Capability
1996-07-24
Intelligent Network configuration: Tools and techniques for efficient performance analysis and optimal service mapping
1996-04-26
Alexander Ost
Designing Power Efficient Hypermedia Processors
1970-01-01
ATM as a memory interconnect in a Desk Area Network
1995-02-17
Per Gunningberg Sics
The Ward Model: A Scalable Replication Architecture for Mobility
1996-10-03
A Performance/Area Workbench for Cache Memory Design
1970-01-01
Monads and Modular Term Rewriting
1997-04-06
Christoph Luth
Outbreak Agent: Intelligent Wearable Technology for Hazardous Environments
1997-10-16
Type Inference for Quasi-Static Types
1998-04-24
Alberto Oliart
Metasystems: An Approach Combining Parallel Processing and Heterogeneous Distributed Computing Systems
1999-02-16
On Minimal Words With Given Subword Complexity
1998-07-22
Ocean Drilling Program Leg 172 Preliminary Report Northwest Atlantic Sediment Drifts
1997-06-05
D BubbleUp: Managing Parallel Disks for Media Servers
1999-10-28
Semantics Of Behavioral Inheritance In Deductive Object-Oriented Databases
1999-08-27
Hasan M. Jamil
Indexing for Data Models with Constraints and Classes
1999-09-07
Simple Models for Estimating Dementia Severity Using Machine Learning
1998-11-20
On the Maximum Tolerable Noise for Reliable Computation by Formulas
1999-10-25
William Evans
Revisiting the COUNTER Algorithms for List Update
1999-03-07
Beam diagnostics for the Amsterdam pulse stretcher AmPS.
1998-03-04
Sketch-N-Make: Automated Machining Of CAD Sketches
1998-05-26
Promoting the Use of End-to-End Congestion Control in the Internet
1998-02-11
Rational Functions Certify Combinatorial Identities
1999-04-30
Context Based Multiscale Classification of Images
1999-06-24
Generalization and Exclusive Allocation of Credit in Unsupervised Category Learning
1998-06-25
Mentat User's Manual
1994-03-03
All Teststr Appl_class
A Study of the Cache and Branch Performance Issues with Running Java on Current Hardware Platforms
1997-03-12
On-line Error Monitoring for Data Structures
1997-05-06
Unknown
1999-09-09
Automatic verification of combinational and pipelined FFT circuits
1999-07-02
Video Conferencing Annotation System
1995-03-11
John L. Rutledge
Conditional Skewness in Asset Pricing Tests
1999-09-03
Relevance Feedback and Category Search in Image Databases
1999-07-27
A Theory of Diagnosis as Hypothesis Refinement
1999-10-29
Peter Lucas
Packet-oriented Communication Using aStream Protocol or Making TCP/IP on Berkeley UNIX a little more pleasant to use
1993-06-29
Don Libes
On Hybrid Systems and the Modalµ-Calculus
1999-05-26
J. M. Davoren
"Nifty Diode Circuits": Using The World Wide Web In An Electronics Class
1997-06-22
Susan M. Lord
Increasing Subsequences And The Classical Groups
1998-02-09
E. M. Rains
Coloring Non-uniform Hypergraphs: A New Algorithmic Approach to the General Lovász Local Lemma
1999-10-25
Alternative Markov Properties For Chain Graphs
1999-11-09
Using Checklists to Evaluate Software Product Quality - Measurement Concepts for Qualitative Determination of Quality Characteristics
1998-05-06
Teade Punter
Automatic Recognition of Tractability in Inference Relations
1996-11-12
David A. Mcallester
Efficient Three-Dimensional Wavelet Codecs For Networked Video Communications
1999-10-29
Designing Memory Consistency Models For Shared-Memory Multiprocessors
1999-07-28
Linear Continuations
1998-02-24
Andrzej Filinski
From Causal Theories to Successor State Axioms
1999-11-14
Fangzhen Lin
The Information Systems Ms Curriculum For The Twenty-First Century: Breadth, Depth, And Integration
1999-03-24
Instruction Fetch Energy Reduction Using Loop Caches For Embedded Applications with Small Tight Loops
1999-06-20
Strategic Challenges for Internet Banking in Japan and Singapore - Anything to learn from the U.S.?
1998-07-02
On Approximation Algorithms for Hierarchical MAX-SAT
1997-08-22
On the real roots of the Bernoulli polynomials and the Hurwitz zeta-function
1999-09-27
Parameters of the SLAC Next Linear Collider
1998-03-04
On Computing an Eigenvector of a Tridiagonal Matrix
1997-08-12
K V Fern
The m-Cost ATSP
1999-11-01
PORE: Procurement-Oriented Requirements Engineering Method for the Component-Based Systems Engineering Development Paradigm
1999-05-10
Optimal Magnification Factors in Self-Organizing Feature Maps
1999-11-09
Superblock Formation Using Static Program Analysis
1993-10-10
Benchmark Studies on Face Recognition
1999-08-17
Multigrid Methods For Nearly Singular Linear Equations And Eigenvalue Problems
1993-12-15
Inducing Agrammatic Profiles in Normals: evidence for the selective . . .
1998-08-20
Presuppositions as anaphors: Towards a full understanding of partial matches
1997-10-10
Data Mining with Decision Trees and Decision Rules
1999-09-10
Transformation of Documents and Schemas by Patterns and Contextual Conditions
1998-05-06
Parallelizable Approximate Solvers for Recursions Arising in Preconditioning
1995-10-18
Synthesis of neural networks: the case of cascaded Hebbians
1998-03-17
Comparison of JavaBeans and ActiveX - A Case Study
1999-05-26
Cryogenics Operation And On-Line Measurement Of Rf Losses In The Sc Cavities Of Lep2
1998-03-04
Fail-Stop Protocols: An Approach to Designing Secure Protocols
1999-03-18
An Efficient Multipath Forwarding Method
1998-12-04
Likelihood Ratio Derivative Estimation for Finite-Time Performance Measures in Generalized Semi-Markov Processes
1997-10-07
Parsing Real Input In Janus: A Concept-Based Approach To Spoken Language Translation
1997-01-28
Dynamic Logic
1998-05-13
SN and CR for free-style
1999-06-18
On the validity of a model for the reversals of the Earth's magnetic field
1997-11-11
Emittance And Energy Control In The Nlc Main Linacs
1998-03-04
Isoperimetric Functions of Amalgams of Finitely Generated Nilpotent Groups along a Cyclic Subgroup
1997-11-11
Prophet: Automated Scheduling of SPMD Programs in Workstation Networks
1999-02-16
Jon B. Weissman
A Topology Modifying Progressive Decimation Algorithm
1997-05-02
Bayesian-network Confirmation of Software Testing Uncertainties
1997-03-06
Opportunities for E-commerce in Networking
1999-09-20
A Queueing Theory Model that Enables Control of Loss and Delay of Traffic at a Network Switch
1999-11-19
Partition Selection Policies in Object Database Garbage Collection
1996-01-14
Res., 90, 1385-1398, 1985. McComas, D. J., H. E. Spence, C. T. Russell, and M. A. Saunders, The Average Magnetic Field Draping and Consistent Plasma Properties of the Venus Magnetotail,
1999-10-23
Sparse Filter Banks for Binary Subdivision Schemes
1997-05-19
Using a Deformable Surface Model to Obtain a Shape Representation of the Cortex
1996-08-16
Design Of The Pep-II Low-Energy Ring
1998-03-04
An Operational Semantics for the Eiffel// Language
1999-09-24
Products in the Refinement Calculus
1999-02-11
Incremental Parser Generation for Tree Adjoining Grammars
1997-03-19
Anoop Sarkar
Annotated Type Systems for Program Analysis
1995-11-20
Universal H-colorable Graphs Without A Given Configuration
1999-10-25
Communication Pipelining In Hypercubes
1995-05-10
Interactive Ray Tracing for Isosurface Rendering
1999-02-08
Reflections on Bandit Problems and Selection Methods in Uncertain Environments
1997-04-14
Gunter Rudolph
Multigame --- A Very High Level Language for Describing Board Games
1996-04-15
MINTO, a Mixed INTeger Optimizer
1997-10-24
The Effectiveness of Predicated Execution Using the Hyperblock
1996-10-12
Anthony Lee Dewitt
Toward FORTRAN 77 Performance from Object-Oriented C++ Scientific Frameworks
1999-07-22
The "Hot-Hand" Theory In Basketball: A Model Project For Statistics Students
1996-03-06
A Conversation-Based Framework For Musical Improvisation
1998-02-23
William Franklin Walker
Some Examples of Hyperbolic Groups
1997-08-08
Karhunen-Lo`eve Transform: An Exercise in Simple Image-Processing Parallel Pipelines
1997-08-12
Cut Rules and Explicit Substitutions
1999-05-21
Joe Wells
Products And Duality In Categories With Cofibrations And Weak Equivalences
1998-12-20
A New Hashing Package for UNIX
1997-08-11
Comparing RBF and Fuzzy Inference Systems on Theoretical and Practical Basis
1999-03-15
Serpent and Smartcards
1999-04-15
Scheduling Railway Traffic at a Construction Site
1999-11-24
Decomposition of Markov Decision Processes Using Directed Graphs
1999-08-13
Pierre Laroche
On the Number of Descendants and Ascendants in Random Search Trees
1997-09-26
Helmut Prodinger
Slicing Programs in the Presence of Errors
1999-07-26
An Intelligent Text Extraction and Navigation System
1999-12-10
Delegated Tuning and Forwarding With In-band Signaling for Broadcast Optical Networks
1997-10-19
Approximating
1998-09-05
Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine
1996-09-24
Report on the use of UIMs for UMTS AC095/GD/W24/DS/P/04/1 Page 1 of 56
1996-11-22
Interactive Multiresolution Mesh Editing
1997-09-11
Parametricity as Subtyping
1991-10-27
Qingming Ma
Towards a New Multimedia Synchronization Mechanism and Its Formal Specification
1995-04-27
Modeling Intra-Object Parallelism in Parallel Discrete Event Simulation
1998-09-11
Discretization of Numerical Attributes - Preprocessing For Machine Learning
1997-06-03
A Unified Approach to Parallel Space Decomposition Methods
1998-10-02
FASTEST: A Practical Low-Complexity Algorithm for Compile-Time Assignment of Parallel Programs to Multiprocessors
1999-01-15
Yu-kwong Kwok
On Polynomial Invariants of Linear Codes, Matroids, and Finite Interaction Models
1999-11-08
Alexander Barg
An Efficient Scheme for Dynamic Data Replication
1994-02-17
M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J
1999-07-19
A Distributed Implementation of a Task Pool
1994-02-10
An Implementation of Interprocedural Bounded Regular Section Analysis
1994-06-16
Adaptive and Automated Index Selection in Relational Databases
1996-05-15
Martin Robert Frank
Domain-specific Information Browsers for Man Page, File, and Font
1994-03-23
Thomas A. Phelps
The Best of Both Worlds: Guaranteeing Termination in Fast Randomized Byzantine Agreement Protocols
1997-04-24
On Convergence of Iterative Methods for a Fourth-Order Discretization Scheme
1999-05-08
Jun Zhang
Unifying Verification Paradigms
1999-05-18
Serializability of Nested Transactions in Multidatabases
1998-09-09
Unknown
1995-01-05
Translucent Sums: A Foundation for Higher-Order Module Systems
1997-05-23
Mark Lillibridge
C 2 -Fixed Points Of Topological Hochschild Homology Of The Integers At Two
1998-12-20
John Rognes
New Types of Resource Issues in Open Distributed Systems: An Agency Theory Modelling Approach
1995-10-18
OVOPS GSM BTS Implementation v1
1999-04-07
Ilkka Toivanen
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus
1995-10-18
A Unified Framework for Design Validation and Manufacturing Test
1998-01-21
Disseminating Mobile Agents for Distributed Information Filtering
1999-10-11
Laboratory Manual
1999-12-08
Monotonicity and Inert Fugitive Search Games
1999-12-02
A Framework for Management and Control of Distributed Applications using Agents and IP-multicast
1999-05-16
Process Modelling - Where Next
1999-06-28
Mm Lehman
Induced Broadcasting Algorithms in Iterated Line Digraphs
1998-03-25
Let Sleeping Files Lie: Pattern Matching in Z-compressed Files
1997-01-27
Approximability of Optimization Problems 10 - Error Correcting Code ECC
1999-10-27
Simple Garbage-Collector-Safety
1999-09-15
Hans-j. Boehm
Genetic Detumbling a Satellite
1997-04-04
Dimitri C. Dracopoulos
Migrating a Static Analysis Tool to AspectJ
1999-11-16
Geographical Reservation for Guaranteed Handover and Routing in Low Earth Orbit Constellations
1999-06-03
Jrome Galtier
Understanding Java Stack Inspection
1998-03-09
Efficient Representation of Relations over Linear Constraints
1996-07-26
Principles of Knowledge Representation and Reasoning: Reflections about Reflection
1996-06-25
Maria Simi
Bibliography
1999-11-29
An Efficient Output-size Sensitive Parallel Algorithm for Hidden-Surface Removal for Terrains
1999-11-08
The Complexity of Cardinality Restrictions
1999-12-06
Stephan Tobies
Statecharts via Process Algebra
1999-06-02
E-Free Objects and E-Locality for Completely Regular Semigroups
1996-03-05
Peter R. Jones
About Statistical-Parallax Algorithms
1998-02-22
A. Heck
Communicating with Low-Diffraction Lasers and Mirrors
1995-01-04
Richard Beigel
Formal Solutions and Factorization of Differential Operators with Power Series Coefficients
1997-02-21
Mark Van Hoeij
Topics in Survivable Systems
1998-08-25
Realizing Throughput Guarantees in a Differentiated Services Network
1998-11-12
Assessing the Usability of Parallel Programming Systems: The Cowichan Problems
1995-08-21
Gregory V. Wilson
Comparison of multispectral images across the Internet
1999-11-16
Course Outline Subject to time constraints
1999-09-14
Modelling Timed Behaviours With The Aid Of Event And Configuration Structures
1997-10-13
Limited Wavelength Conversion in All-Optical Tree Networks
1999-03-17
Knowledge Construction and Sharing in Quorum
1997-12-30
Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling
1996-07-23
Martin Adelantado
Hybrid Reasoning for Description Logics with Transitive Roles and Axioms
1999-06-08
Sergio Tessaris
A Timed Specificatioon Language for Concurrent Reactive Systems
1994-07-26
Topological Design And Routing For Low-Earth Orbit Satellite Networks
1998-04-04
On the Computational Power of Analog Neural Networks
1999-10-11
Leads-to and Program Union - Notes on UNITY: 06-89
1994-03-07
Ambuj K. Singh
New Wormhole Routing Algorithms for Multicomputers
1999-11-17
Suresh Chalasani
Bloch-Kato Conjecture And Motivic Cohomology With Finite Coefficients
1999-04-15
Virology 101
1998-07-13
M. Douglas Mcilroy
Minimizing Finite Complete Prefixes
1999-09-13
Keijo Heljanko
A Note on Accelerated High Accuracy Multigrid Solution of Convection-Diffusion Equation with High Reynolds Number
1999-07-07
High Reynolds Number
On the Pending Event Set and Binary Tournaments
1998-12-03
Formulating 3D Contact Dynamics Problems
1995-12-10
Integrating Information Systems: Linking Global Business Goals To Local Database Applications
1998-03-03
Efficient Searching with Linear Constraints
1999-03-30
French-Romanian comments regarding some proposed features for E-LOTOS data types
1995-12-11
A Reference Implementation for Extended and Mixed Precision BLAS
1999-09-04
The Monadic Quantifier Alternation Hierarchy over Grids and Pictures
1998-09-17
Nicole Schweikardt
The 1986 CODATA Recommended Values of the Fundamental Physical Constants
1999-05-18
Enforcing Deterministic Execution of Parallel Programs - Debugging Support Through the SMiLE Monitoring Approach
1998-10-04
Voyager 2 Fine-Scale Velocity Oscillations at 48 AU
1970-01-01
Verifying Invariants Using Theorem Proving
1999-02-26
Querying Spatial Databases via Topological Invariants
1999-12-07
Quantifying the Amount of Verboseness
1995-01-05
Inheritance-Based Subtyping
1999-12-10
Kathleen Fisher
A Logic for Synchronous Transitions with Dynamic Conflict Detection
1999-09-08
On Convergence and Performance of Iterative Methods with Fourth-Order Compact Schemes
1998-07-19
Jun Zhang
Laboratoire de l'Informatique du Paralllisme
1996-05-02
Mechanizing Verification of Arithmetic Circuits: SRT Division
1998-05-26
Compiler Optimizations for Media Processors
1999-11-05
Rainer Leupers
Partition Coefficients of Acyclic Graphs
1995-07-10
John L. Pfaltz
QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets
1995-11-20
Feedback in the Software Evolution Process
1999-06-28
Mm Lehman
Object-Oriented Application Frameworks
1997-11-24
Greg Butler
Reducing Escalation-Related Costs in WFMSs
1999-11-20
Superspeculative Microarchitecture for Beyond AD 2000
1998-01-15
Some Values For The Rogers-Ramanujan Continued Fraction
1998-03-04
Optimizing Amplifier Placements in a Multi-Wavelength Optical LAN/MAN: The Equally-Powered-Wavelengths Case
1998-10-15
Design Issues for Persistent Java
1996-03-29
Commutativity Analysis:
1996-05-30
Using Texture Maps to Correct for Optical Distortion in Head-Mounted Displays
1999-11-06
Roitman's Theorem for Singular Complex Projective Surfaces
1998-12-20
The semiotics of autopoiesis. A catastrophe-theoretic approach.
1998-05-13
Peter Bgh Andersen
Improved Algorithms for Placing Undesirable Facilities
1999-08-03
Integrating Structured Databases Into the Web: The MORE System
1995-03-15
Architectures for Hierarchical and other Block Matching Algorithms
1995-07-21
LAN Switching and LAN Switching and Traffic Classes
1997-07-31
Raj Jain
Function allocation: A perspective from studies of work practice
1999-09-17
A Redefinition Metric for Object-Oriented Systems
1997-04-15
An Efficient Implementation of Tree Matching
1999-05-21
The Expressive Power of Voting Polynomials
1995-01-20
Genetic Algorithm Design Of Networks Considering All-Terminal Reliability
1998-05-18
The Influence Of The Right-Hand Side On The Accuracy Of Linear System Solution
1997-03-20
Applying a Concurrent Formal Framework to Process Modelling
1995-06-16
Finding Hard Instances of the Satisfiability Problem: A Survey
1999-09-16
Achilles and the Tortoise climbing up the hyper-arithmetical hierarchy
1997-06-11
The Architecture and Performance of Security Protocols in the Ensemble Group Communication System
1999-01-07
Intelligent Information Retrieval Based on Interconnected Concepts and Classes of Retrieval Domains
1999-02-09
A Logical Notion of Conditional Independence
1997-11-06
Adnan Darwiche
Network Calculus Using Min-Plus System Theory
1999-11-23
Verb-argument structure processing: The influence of verb-specific and argument-specific constraints
1999-07-05
Access Control Model for Groupware Applications
1999-04-15
Hydrogen Bonding: From Small Clusters to Biopolymers
1999-06-16
Multiple Steady States in Coaxial Discs Flow
1996-01-04
David O. Olagunju
Evaluating Top-Down versus Bottom-Up Knowledge Acquisition Strategies for use in Rule Based Models of Emotional Common Sense.
1999-04-23
William L. Jarrold
Linear Bounds on Growth of Associated Primes
1997-01-24
Uniform Antimatroid Closure Spaces
1998-08-10
On The Number Of Negative Eigenvalues For The Two-Dimensional Magnetic Schrödinger Operator
1998-02-09
Schoof's Algorithm and Isogeny Cycles
1997-10-12
Jean-marc Couveignes
Use of Roles and Policies for Specifying, and Managing a Virtual Enterprise
1999-03-09
Finite geometry after Aschbacher's Theorem: PGLn,q form a Kleinian viewpoint
1999-09-21
Peter J. Cameron
A PVS based Tool for Developing Programs in the Refinement Calculus
1970-01-01
Christian-albrechts-universitat Zu Kiel
Elimination of Cuts in First-order Finite-valued Logics
1999-06-30
Fast Dissemination of Link States Using Bounded Sequence Numbers with no Periodic Updates or Age Fields
1997-02-21
Domain Modelling with Hierarchies of Alternative Viewpoints
1999-03-23
Steve Easterbrook
Algorithms For Problems In Matching Theory
1995-10-12
Joseph Cheriyan
A Methodology and Support Tools for Analysis of Real-Time Specifications
1997-04-07
The Arias Distributed Shared Memory: an Overview
1998-04-12
Characterizing Communication Interactions of Parallel and Sequential Jobs on ATM Networks of Workstations
1997-11-07
An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC
1999-02-04
Teaching Statistics to Biological Research Scientists
1999-03-19
Technical Report 1401, Computer Science Dept., Univ. of
1999-08-15
From Medical Images to CFD Meshes
1999-10-14
A High-Order Method Using Unstructured Grids For The Aeroacoustic Analysis Of Realistic Aircraft Configurations
1999-08-10
Harold L. Atkins
Experiences with the Webware, Interfaces and Networking Experimental Laboratory
1999-12-02
Lessons from Using Basic LOTOS - Experience Report
1999-03-25
Mark A. Ardis
Online Association Rule Mining
1998-09-25
Christian Hidber
Errata: Microeconomic Analysis
1999-08-04
Hal Varian
Surviving in a Competitive Spatial Market: The Threshold Capture Model
1999-03-03
FEAST: Feedback Evolution And Software Technology
1999-06-28
Virtual Reality Exposure for Fear of Flying Therapy
1999-11-06
Open Problems for Latency Hiding in Networks of Workstations
1997-09-23
Using Experiments to Build a Body of Knowledge
1999-06-25
Reconstruction of Geological Structures from Heterogeneous and Sparse Data
1998-10-11
A Direct Proof of the Localic Hahn-Banach Theorem
1999-01-19
Thierry Coquand
An Analysis of Some Algorithms for Distributed Sorting
1994-02-10
H. Peter Hofstee
Diagrammatic Reasoning about Actions Using Artificial Potential Fields
1998-10-28
An Evolutionary Approach to Constructing Effective Software Reuse Repositories
1999-11-23
Scott Henninger
An analogue of Jeu de taquin for Littelmann's crystal paths
1998-10-06
Marc A. A. Van Leeuwen
A fast modular RLE-based inspection scheme for PCBs
1999-02-24
Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions
1999-06-02
Norman Ramsey
The Design and Implementation of Mondrian
1997-10-03
An Architecture Verification Case Study
1999-03-30
Amarillo National Resource Center for Plutonium
1999-09-13
A Comparison of Incremental Case-Based Reasoning and Inductive Learning
1994-11-02
Fault Detection and Fault Tolerance in a Lossely Integrated Heterogeneous Database System
1998-03-26
Wanlei Zhou
Symmetric Powers of Galois Modules on Dedekind Schemes
1999-10-15
Bernhard K Ock
Marked Gibbsmeasures via cluster expansion
1970-01-01
Quantum vs. Classical Communication and Computation
1999-08-20
JNN, a Randomized Algorithm for Learning Multilayer Networks in Polynomial Time
1998-09-11
A¹-Homotopy Theory of Schemes
1998-12-20
Digital Genres and the New Burden of Fixity
1999-02-04
Modulator For Klystron 5045
1998-03-04
An RSRL Formalization of Serbo-Croatian Second Position Clitic Placement
1970-01-01
Gerald Penn
COAST in Action: An Efficient Way to Build Complex Groupware
1999-08-30
Vector Shape Optimization Of An Electrostatic Micromotor Using A Genetic Algorithm
1999-11-23
Automotive Control Revisited - Linear Inequalities as Approximation of Reachable Sets
1998-10-28
Ansgar Fehnker
Fixed-Priority Scheduling of Periodic Tasks on Multiprocessor Systems
1995-03-21
Hilbert Series of Group Representations and Grobner Bases for Generic Modules
1997-10-09
Shmuel Onn
Freeness Analysis Through Linear Refinement
1999-11-08
Patricia Hill
Randomized Algorithms for Binary Search and Load Balancing on Fixed Connection Networks With Geometric Applications
1999-09-21
John H. Reif
The Multimedia Multicast Channel
1995-10-26
A Superlinearly Convergent Infeasible-interior-point Algorithm for Degenerate LCP
1995-03-11
Super Darboux-Egoroff equations and solutions
1998-12-15
Julio Rosenblatt
1997-10-27
Julio Rosenblatt
Simulating UML Sequence Diagrams
1999-09-15
LexGram - A Practical Categorial Grammar Formalism
1995-04-24
Esther Konig
An Experimental Comparison of Edge-Triggering and Level-Clocking
1994-10-24
Residual Scaling Techniques in Multigrid, I: Equivalence Proof
1999-05-08
Jun Zhang
Unknown
1970-01-01
Performance of ARQ Go-Back-N protocol in Markov channels with unreliable feedback
1996-12-04
Algorithms for Molecular Biology - Lecture 12
1999-03-10
Multi-Hour, Multi-Traffic Class Network Design for Virtual Path-based Dynamically Reconfigurable Wide-Area ATM Networks
1998-02-20
D. Medhi
The Holomorphic Extension of
1999-09-17
Al Boggess
Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries extended abstract
1998-07-21
A Topological View on Institutions
1997-02-17
A Case Study on Protocol Design
1996-12-11
District Expenditure and Resource Allocation Reviews for Effective DHS Management
1970-01-01
Packet Filter Management for Layer 4 Switching
1998-12-10
Les Algorithmes Classiques
1996-12-09
Sujet Propos'e Par Jean-francois Genat
ProjectWise 2.2.2 Enhancements
1999-08-05
Desnakification of Mesh Sorting Algorithms
1994-05-20
Jop F. Sibeyn
Locating Input and Output Points in Facilities Design: A Comparison of Constructive, Evolutionary and Exact Methods
1999-07-27
First Order Common Knowledge Logics
1999-03-18
Frank Wolter
The product of converse PDL and polymodal K
1999-03-18
Frank Wolter
On Some Tractable Classes in Deduction and Abduction
1999-10-27
Alvaro Del Val
A Practical Monte Carlo Implementation of Bayesian Learning
1999-09-16
Carl Edward Rasmussen
Complex Aggregation at Multiple Granularities
1998-03-02
Conditional Entropy of Nonlinear Dynamical Systems
1970-01-01
A Database Approach for Modeling and Querying Video Data
1999-08-20
MaaoOTS version 2
1999-02-19
The Interactive Museum Tour-Guide Robot
1998-04-20
Logistic Response Projection Pursuit
1998-06-24
A Proper Ontology for Reasoning About Knowledge and Planning
1994-04-20
Leora Morgenstern
Reverse Queries in DATR
1994-11-15
Hagen Langer
An Object-Oriented Approach to Neural Networks
1995-11-03
Barry Kristian Ellingsen
A Testbed for Mobile Networked Computing
1998-01-29
Quantifying the Neighborhood Preservation of Self-Organizing Feature Maps
1999-11-09
On the Relation Between Intuitionistic and Classical Modal Logics
1997-12-03
The Influence of Tracheal Pressure Changes on the. . .
1970-01-01
Resume
1997-08-26
Comparing the Performance of Database Selection Algorithms
1999-05-03
Evolutionary Search under Partially Ordered Fitness Sets
1999-03-25
Gunter Rudolph
Statistical Acoustic Indications Of Coarticulation
1999-10-11
Modal Labelled Deductive Systems
1999-04-16
Alessandra Russo
A Computational Method For Simulation Of Trunk Motion: Towards A Theoretical Based Quantitative Assessment Of Trunk Performance
1999-09-08
Prosodic Morphology 1986
1970-01-01
A Behavioral Interface to Simulate Agent-Object Interactions in Real Time
1999-11-08
Generic Action Support for Distributed, Cooperative Applications
1999-07-13
Mapping Tasks into Fault Tolerant Manipulators
1999-08-18
Towards a Universal Auto-Hinting System for Typographic Shapes
1998-06-09
Disfluencies,
1999-10-11
RELIEF: Combining expressiveness and rapidity into a single system
1999-11-06
Current Losses and Equilibrium in rf Linear Accelerators
1998-03-04
Evolving Frameworks: A Pattern Language for Developing Object-Oriented Frameworks
1998-09-25
Navigation And Retro-Traverse On A Remotely Operated Vehicle
1998-01-27
Karl Murphy
The Law of the Iterated Logarithm for
1997-12-09
Yongge Wang
Algorithms for Graph Partitioning on the Planted Partition Model
1999-06-04
Active Views for Electronic Commerce
1998-11-26
A Taxonomy of Networked Virtual Environments
1999-10-28
This contribution has been prepared to assist Accredited Standards Committee T1--Telecommunications.
1999-03-17
Improved LP Lower Bounds for Difference Triangle Sets
1999-09-08
James B. Shearer
Some Independence Results for Equational Unification
1998-12-03
Reservoir Inflow Forecasting Using Neural Networks
1999-07-08
Encoded Bitmap Indexing for Data Warehouses
1998-04-16
On the Number of Descendants and Ascendants in Random Search Trees
1998-04-10
Verifying Framework-Based Applications by Establishing Conformance
1998-09-25
Peter Molin
Data Vintages and Measuring Forecast Model Performance
1999-03-10
Approximation Results for Kinetic Variants of TSP
1998-07-20
Balancing Domain Decomposition For Mixed Finite Elements
1993-12-31
The Role of Prescribed Burning in Regenerating Quercus macrocarpa and Associated Woody Plants in Stringer Woodlands in the Black Hills, South Dakota
1999-07-14
High Accuracy Multigrid Solution of the 3D Convection-Diffusion Equation
1998-08-10
Murli M. Gupta
From Latent Semantics to Spatial Hypertext: An Integrated Approach
1998-06-15
Theory of nonstationary linear filtering in the Fourier domain with application to time-variant filtering
1999-04-11
Gary F. Margrave
An extension of system F with subtyping
1998-02-24
Hausdorff Dimension Of Limit Sets For Parabolic Ifs With Overlaps
1999-11-02
Towards Modeling the Performance of a Fast Connected Components Algorithm on Parallel Machines
1998-09-09
TECHNICAL PAPER Submitted to SIAM Review
1993-10-14
Exploiting the Power of Typed Norms in Automatic Inference of Interargument Relations
1997-01-21
Verification of the Futurebus+ Cache Coherence Protocol
1999-02-08
Calculation Carrying Programs
1999-10-15
A Multi-Agent System for Emergent Process Management
1999-11-04
John Debenham
On the equation V * G = Epsilon V
1999-10-07
Context-Aware Office Assistant
1999-11-08
Form-Based User Interface - The Architectural Patterns - A Pattern Language
1999-10-14
Do You Have the Time? Composition and Linking in Time-based Hypermedia
1999-04-06
Corpus-Based Query Translation for Translingual Information Retrieval
1997-06-24
Ralf D. Brown
Response of Superconducting Cavities to High Peak Power
1998-03-04
Artificial Intelligence Techniques in the Interface to a Digital Video Library
1998-04-24
Experimenting with Power Default Reasoning
1998-04-06
The Effect of Network Total Order, Broadcast, and Remote-Write Capability on Network-Based Shared Memory Computing
1999-11-12
Efficient Recovery of Low-dimensional Structure from High-dimensional Data
1999-07-07
Phase-Coupled Mapping of Data Flow Graphs to Irregular Data Paths
1999-11-04
Exploiting Enterprise Models for the Automatic Distribution of Corporate Information
1999-07-22
Michael Wolverton
Fast Multigrid Solution of the Advection Problem with Closed Characteristics
1996-11-27
Decision Surface Modeling of Apparel Retail Operations using Neural Network Technology*
1998-11-06
Semantically Constrained Condensed Detachment is Incomplete
1999-02-05
Communication for Conflict Resolution in Multi-Agent Collaborative Planning
1999-07-26
Global Trajectory Planning for Fault Tolerant Manipulators
1999-08-18
A Legal Ontology Refinement Environmet using a General Ontology
1998-09-16
Representations Of Recursively Enumerable Array Languages By d-Dimensional Contextual Array Grammars
1999-11-04
A Singing Voice Synthesis System Based On Sinusoidal Modeling
1999-07-28
Expansion-based Removal of Semantic Partial Redundancies
1999-03-30
Jens Knoop
Wronskian solutions of the constrained KP hierarchy
1996-10-11
Memory System Support for Image Processing
1999-09-12
Ttice Tiles
1997-09-07
Mihail N. Kolountzakis
Extracting Usability Information from User Interface Events
1999-07-31
Embedding Gestalt Laws in Markov Random Fields - a theory for shape modeling and perceptual organization
1999-11-01
Song-chun Zhu
Module Based Reinforcement Learning for a Real Robot
1998-03-17
Parabolic Iterated Function Systems
1999-11-10
R. D. Mauldin
Neural Mechanisms of Orientation Selectivity in the Visual Cortex
1999-11-05
Matching Concept Descriptions with Existential Restrictions
1999-11-07
A Linear Approach to Modal Proof Theory
1995-05-09
Harold Schellinx
Generating Information-Sharing Subdialogues in Expert-User Consultation
1999-07-26
Approximate Solutions of the Nonlinear Schrödinger Equation for Ground and Excited States of Bose-Einstein Condensates
1997-02-07
The Numerical Algorithms Group Ltd, Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, UK
1997-08-12
Patrick Craig
Placing Resources on a Growing Line
1997-12-30
Enhanced Fisher Linear Discriminant Models for FaceRecognition
1999-08-17
Network Equilibrium Problems With Vector Costs And Nonlinear Scalarization Methods
1996-07-02
Lagrange Wavelets for Signal Processing
1999-09-15
KONTERM: Exploratory Data Analysis for Semi-automatic Indexation of Legal Documents
1995-06-08
Detecting Change in Categorical Data: Mining Contrast Sets
1999-08-23
Deceptive and Other Functions of Unitation as Bayesian Networks
1998-08-13
ABSOLUTE ENERGY MEASUREMENT IN e
1998-03-04
Agentsheets: Applying Grid-Based Spatial Reasoning to Human-Computer Interaction
1999-01-03
Using an Explicit Teamwork Model and Learning in RoboCup: An Extended Abstract
1998-05-01
The Viva File System
1970-01-01
Temporal Query Processing using Spatially-Partitioned Method
1999-10-28
Dsp Based Data Acquisition For Rhic*
1998-03-04
Neural Networks: A Pattern Recognition Perspective
1999-11-09
Christopher M. Bishop
M'ethodes du compl'ement de Schur preconditionn'ees dans des environnements `a m'emoire distribu'ee
1997-11-12
A Comparative Study of Automatic Vectorizing Compilers
1992-02-14
Bags: A Parallel ADT for Functional Languages
1995-02-06
Paul Roe
How to Time-stamp a Digital Document
1999-08-16
Improving the Divide-and-Conquer Approach to Sum-of-Pairs Multiple Sequence Alignment
1997-03-07
Learning From Random Text
1970-01-01
Peter Rossmanith
Robust Model Assessment for Neural Networks
1998-08-27
A Visual Interface for Scripting Virtual Behaviors
1998-12-12
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language
1997-11-10
Tim Sheard
Granularity in Structured Documents
1998-06-09
Aspects of Uncertainty Handling for Knowledge Discovery in Databases
1997-08-13
File : Amsbpr
1993-04-02
The Metadatabase Approach to Integrating and Managing Manufacturing Information Systems
1997-12-06
Software Components in Contexts and Service Negotiations
1999-05-10
Neural Network Input Representations that Produce Accurate Consensus Sequences from DNA Fragment Assemblies
1970-01-01
Allex C. F
Why Cable Telephony Will Be a Viable Option for US Residential Consumers
1999-01-11
A Shortest Paths Ranking Algorithm
1995-08-31
Use of IFSAR with Intensity Images for . . .
1999-09-22
Symplectic Runge-Kutta Schemes II: Classification Of Symmetric Methods
1998-05-29
W. Oevel
School of Computer Science
1999-09-09
The Ramsey Number R3,t has Order of Magnitude t²/log t
1997-06-16
Jeong Han Kim
Type Systems for Programming Languages
1998-02-24
Robert Harper
A Sensitivity Study Of Viscoelastic, Structural And Piezo-Electric Damping For Flutter Control
1998-08-03
On the Steinhaus tiling problem
1998-09-14
Solve the Problem of Visualizations Too Large to Fit Into One Screen, and
1994-09-02
The Role Of Respondent Debriefing Questions In Questionnaire Development
1998-02-26
Asymptotics Of The Number Of k-Words With An l-Descent
1998-03-06
Amitai Regev
Sequence-specific¹H, 15 N and¹³C assignments of the periplasmic chaperone FimC from Escherichia coli
1999-06-25
An Object-Oriented Modular Simulation Model for Integrated Gasoline Engine and Automatic Transmission Control
1999-02-11
A Weak Microwave Instability With Potential Well Distortion And Radial Mode Coupling
1998-03-04
A Distributed Computing Environment For Dynamic Traffic Operations
1999-11-13
An Algorithm for Merging and Aligning Ontologies: Automation and Tool Support
1999-05-13
Development of Computer Based Instruction in a Control Systems Curriculum
1997-06-22
Automated combined assignment of NOESY spectra and three-dimensional protein structure determination
1999-06-25
Music Content Analysis through Models of Audition
1999-04-25
Row-Major Sorting on Meshes
1999-09-26
Jop F. Sibeyn
Coordinating Planning Activity and Information Flow in a Distributed Planning System
1998-09-09
A. Administrative
1999-01-28
On Nonnegative Cosi
1996-05-08
Robust Detection of Degenerate Configurations whilst Estimating the Fundamental Matrix
1997-08-21
Parallel Computer Research in the Wisconsin Wind Tunnel Project
1999-07-28
Understanding Prioritized Recovery in Fault-Tolerant ATM Networks
1999-06-30
Selecting a Model Interchange Format - The SPOOL Case Study
1999-10-07
Automation and Testing of Character-Graphic Programs
1996-08-14
Don Libes
Genericity, Randomness, And Polynomial-Time Approximations
1998-07-07
Yongge Wang
Speech Recognition And Information Retrieval: Experiments In Retrieving Spoken Documents
1997-05-13
Methods for a Nonuniform Bose Gas
1997-02-07
Economic Coordination, Bundled Goods, and the Impact of Complementarities
1999-07-20
Wolfram Conen
Backward Perturbation Bounds For Linear Least Squares Problems
1997-08-29
Ming Gu
Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study
1998-01-15
A note on constructing large Cayley graphs of given degree and diameter by voltage assignments
1998-02-09
The Digital TV Filter and Nonlinear Denoising
1970-01-01
Towards An Intelligent Marketspace For Virtual Enterprises
1999-09-17
DESIGN OF THE 26.7 MHz RF CAVITY FOR RHIC
1998-03-04
An Experimental Evaluation of Quality Guidelines on the Maintainability of Object-Oriented Design Documents
1999-11-10
DRS: A Fault Tolerant Network Routing System For Mission Critical Distributed Applications
1998-07-15
Integrating STEP Schemata using Automatic Methods
1998-04-01
Generic Compilation Schemes for Simple Programming Constructs
1999-03-16
Transformation-Based Bottom-Up Computation of the Well-Founded Model
1997-01-23
A Minimax Algorithm Better than Alpha-Beta? No and Yes
1999-09-07
On the Sparse Set Conjecture for Sets with Low Density
1995-02-01
Harry Buhrman
An Infrastructure for Network Computing with Java Applets
1999-05-04
The Costs and Benefits of Java Bytecode Subroutines
1998-09-21
Stephen N. Freund
Competition and transformation in the learning economy - illustrated by the Danish case
1998-12-16
Web Simulation Of Brain Models
1998-11-03
Irradiated Silicon Detectors Operated At Cryogenic Temperature: The Lazarus Effect.
1999-04-12
Set Domains
1998-09-10
A Small Span Theorem for P/Poly-Turing Reductions
1995-02-01
Jack H. Lutz
Reduced Ordered Binary Decision Diagrams ROBDDs and ROBDD-based Verification
1997-07-13
Wavelet-Vaguelette Decompositions And Homogeneous Equations
1998-08-26
Namyong Lee
Multi-Hour, Multi-Traffic Class Network Design for VP-based Wide-Area Dynamically Reconfigurable ATM Networks
1998-02-20
D. Medhi
IBROW3 - An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web
1998-04-03
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics
1999-11-16
SDPA SemiDefinite Programming Algorithm User's Manual - Version 5.00
1999-11-12
A Design Methodology for Kanban-Controlled Production Lines Using Queueing Networks And Genetic Algorithms
1999-10-14
Learning monotone Boolean functions
1998-08-19
Carl Burch
Technical Report TR-ARP-12-94
1970-01-01
John Slaney
Toward a Theory of Evolution Strategies: Theµ,lambda-Theory
1998-12-16
Hans-georg Beyer
A Theorem Relating leads-to and unless
1994-03-07
Jayadev Misra
Numerical Investigation of Hydrodynamic Instabilities of the Heliopause
1970-01-01
GLR* - An Efficient Noise-skipping Parsing Algorithm For Context Free Grammars
1995-09-08
A DWT-Based Encoder Architecture For Symmetrically Extended Images
1999-07-28
Chaitali Chakrabarti
A Lattice Model for Data Display
1970-01-01
Compressing Relations and Indexes
1999-05-27
Name Matching v.s. Structure Matching in Typing Systems for the Polyadic pi-Calculus
1996-11-06
Atsushi Togashi
Inference of Stochastic Regular Grammars by Massively Parallel Genetic Algorithms
1999-05-12
Hamilton-Connected Derangement Graphs on Sn
1997-01-16
Symbolic Petri Net Analysis Using Boolean Manipulation
1998-05-10
Population Growth In U.S. Counties, 1840-1990
1999-04-15
Werner Troesken
Implementing Multiple Protection Domains in Java
1999-06-18
Term Space Mapping for DISCOUNT
1998-08-03
Stephan Schulz
A Natural Interface and Unified Skills for a Mobile Robot
1970-01-01
FAMIX 2.0: The FAMOOS Information Exchange Model
1999-09-07
Finiteness Conditions and Structural Construction of Automata for All Process Algebras
1994-09-15
Shrewd Bargaining On The Moral Frontier: Toward A Theory Of Morality In Practice
1999-12-08
Multilayer Neural Networks: One Or Two Hidden Layers ?
1996-11-29
Mark R. Swanson Leigh B. Stoller
1996-06-26
Experience
1996-10-31
Analysis And Dimensioning Of Credit-Based Flow Control For The ABR Service In Atm Networks
1998-08-13
Energy Constrained Error Control for Wireless Channels
1996-12-04
Descriptive Modeling of Software Processes
1999-11-10
Quasidiagonal Extensions And Sequentially Trivial Asymptotic Homomorphisms
1998-12-20
Homology of ...-algebras and Cyclic Homology
1998-12-20
Masoud Khalkhali
Subquadratic-Time Factoring of Polynomials over Finite Fields
1998-02-18
Erich Kaltofen
Answering Queries Using Limited External Query Processors
1996-03-14
Cubic Identities Of Theta Functions
1998-03-04
Seung Hwan Son
Matrix Market : a web resource for test matrix collections
1999-11-26
Robert Osserman
1999-02-25
Robert Osserman
Geometry Of Self-Affine Tiles II
1998-04-28
ML Type Inference for Dead Code Analysis
1997-06-12
Associative Decorrelation Dynamics in Visual Cortex
1996-09-16
Dawei W. Dong
Exemplary and Complete Object Interaction Descriptions
1997-09-29
Sensitive Radio Observations Of High Redshift Dusty Qsos
1999-08-10
Partially Connected Operation
1997-04-04
Internet Based Real-Time Multiuser Simulation: Ppong!
1999-01-11
CAPSL Intermediate Language
1999-08-03
Space-efficient Approximation Algorithms for MAXCUT and COLORING Semidefinite Programs
1999-01-05
The State Of Infosec Education In Academia: Present And Future
1999-11-25
Matt Bishop
Singular Homology of Abstract Algebraic Varieties.
1998-12-20
Andrei Suslin Vladimir Voevodsky
Improved Qssa Methods For Atmospheric Chemistry Integration
1995-03-11
A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler
1995-09-15
Mark E. Stickel
An Architecture for Active Networking
1997-05-26
Studying High Redshift Star Forming Galaxies at Centimeter and Millimeter Wavelengths
1999-08-02
An Algebraic Semantics for Hierarchical P/T Nets
1999-08-20
Verifying a Time-Triggered Protocol in a Multi-Language Environment
1999-06-30
Nonstable K-Theory For Z-Stable C*-Algebras
1998-12-20
Xinhui Jiang
Object-Oriented Business Process Modeling For The Virtual Enterprise
1998-09-10
Linear Ensemble Methods for Multiclass Discrimination
1998-12-11
Performance Monitoring in a Myrinet-Connected Shrimp Cluster
1998-11-02
Aiaa98-3264
1999-03-30
Mr. Bryce Roth
LexGram. A Practical Categorial Grammar Formalism
1999-03-02
A Compact Data Structure and Parallel Algorithms for Permutation Graphs
1999-08-18
On Regularization, Formulation and Initialization of the Active Contour Models Snakes
1970-01-01
Length-based Blocking and Local Estimations in Distributed Simulation: A Case Study
1999-02-02
Limitations of the Kerberos Authentication System+
1999-08-23
Reordered Gossip Schemes
1994-10-26
David W. Krumme
The Complexity of Set Constraints
1999-09-08
A Level-Set Approach For Inverse Problems Involving Obstacles
1996-02-26
Fadil Santosa
Cost-Benefit Analysis of ALMA Configurations
1999-05-10
Specifying Multimedia Binding Objects in Z
1970-01-01
Confidence Factor Assignment To Translation Templates
1998-10-13
Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems
1995-08-11
Molecular Computing, Bounded Nondeterminism, and Efficient Recursion
1996-11-17
Efficient Scalable Fair Cash with Off-line Extortion Prevention
1997-07-31
Balanced Media Access Methods for Wireless Networks
1999-01-15
Requirements for a Translation between Knowledge-level Messages and the Database Structure
1999-12-14
Christoph Koch
A Survey and New Results in Renegotiated Service
1997-05-26
Evolutionary Planner/Navigator: Operator Performance and Self-Tuning
1997-06-02
On Modular Properties of Higher Order Extensional Lambda Calculi
1997-03-27
Designing and Implementing Inter-Client Communication in the
1999-09-10
The Mesh with Hybrid Buses: An Efficient Parallel Architecture for Digital Geometry
1998-09-07
HSIS: A BDD-Based Environment for Formal Verification
1995-08-07
Respectful Type Converters For Mutable Types
1999-08-26
Reconstructing a 3D Model from Range Images Using Radial Flow Model
1998-06-18
TITLE: FMCT guidelines on "Test Generation Methods from Formal
1995-03-22
Clustering A Large Number Of Faces For 2-Dimensional Mesh Generation
1999-10-14
Tuples Source Avail
1998-12-03
T heta J
Modularity and Orthogonality in Object-Relational DBMS Design
1999-11-29
Can Partial Indexings Be Totalized?
1997-11-03
Optimal Fine and Medium Grain Parallelism Detection in Polyhedral Reduced Dependence Graphs
1996-04-18
A Framework to Support Structural Reuse in Simulation Environments
1999-05-14
Compiler and Run-time Support for Improving Locality in Scientific Codes extended
1999-11-09
De l'observabilité et de l'honnêteté: le cas du contrôle d'accès dans la Communication Homme-Homme Médiatisée
1999-04-15
Multiple Templates Access of Trees in Parallel Memory Systems
1997-03-26
ECN Implementations in the NS Simulator
1998-12-31
.1 The work function algorithm for the
1997-05-29
Guido Wirtz Institut fur Informatik, Westfalische Wilhelms-Universitat Einsteinstrae 62, 48149 Munster, GERMANY Telephone: +49 0251 83 33759, Fax: +49 0251 83 33755
1997-05-13
Guido Wirtz
Formulating View Update Translation as Constraint Satisfaction
1998-05-28
Hua Shu
An Alternative Proof That ArtB
1998-12-04
Joseph Marshall
Dimères Et Arbres Couvrants.
1999-05-07
Richard Kenyon
A Search for Distant Satellites of Neptune
1998-08-17
Provable Strategies for Vision-Guided Exploration in Three Dimensions
1994-03-31
A Simulation Environment for Distributed Real-Time Control Systems
1970-01-01
Decorrelated Fast Cipher: an AES Candidate Extended Abstract
1999-09-10
Capacitated Network Design - Polyhedral Structure and Computation
1999-08-19
Basic Completion with E-cycle Simplification
1998-04-29
Reference to Possible Worlds
1999-04-21
Matthew Stone
A Comparison of Model-Based and Incremental Case-Based Approaches to Electronic Fault Diagnosis
1994-11-02
An Uplink CDMA System Architecture with Diverse QoS Guarantees for Heterogeneous Traffic
1999-07-13
Parallel Tree Building on a Range of Shared Address Space Multiprocessors: Algorithms and Application Performance
1999-11-27
Organisms Replace Systems
1999-06-27
Peter Schuster
E-Marketplaces: Architecture, Trading Models, and Their Role in Bandwidth Markets
1999-04-17
The Application Of Hybrid Modelling Techniques For Business Process Performance Analysis
1999-06-03
Henk Jonkers
Minimum Duration Outages in Markov Channels
1997-07-01
Michele Zorzi
Some Remarks On Completely Vectorizing Point Gauss--Seidel While Using The Natural Ordering
1997-06-25
Craig C. Douglas
A Linear Time Algorithm to Compute a Dominating Path in an AT-free Graph
1998-01-31
A Study Of The Relationship Between The Performance And Dependability Of A Fault-Tolerant Computer
1999-11-30
Timothy K. Tsai
Unification, Understanding, and Scientific Progress
1999-09-30
Shape Modeling And Shape Analysis Based On Singularities
1998-12-17
A static semantics for Haskell
1995-11-03
Quicksort 15-451 Lecture notes, Sept 3, 1998 Algorithm
1998-12-18
Cognizers: Neural Networks and Machines that Think
1996-04-08
R. Colin Johnson
Implementation Techniques for Prolog
1999-03-08
Andreas Krall
Composition of Meta-Objects in Guaraná
1998-09-24
Continuous Conceptual Set Covering: Learning Robot Operators From Examples
1996-04-09
Carl Myers Kadie
Safe and Leakproof Resource Management using Ada83 Limited Types
1994-12-07
Henry G. Baker
Gas And Dust In Ultraluminous Galactic Nuclei
1997-11-25
The MINCMultistage Interconnection Network with Cache control mechanism chip
1998-04-15
Implementation and Analysis of IP Multicast over ATM
1997-11-14
An Architectural Approach to Performance Issues - from Experiences in the Development of Network Management Systems
1999-01-05
Automatic Generation of Ontology Editors
1999-09-10
Folded Free-Space Polarization-Controlled Multistage Interconnection Network
1998-10-23
Typed Operational Semantics for Higher Order Subtyping
1997-07-25
Performance Evaluation of ATM Switching Systems
1996-11-14
Marko Luoma
New Lower Bounds for Hopcroft's Problem
1999-11-11
Interpolation By a Game
1997-09-18
Multi-Objective Optimization Of Risk-Based In-Situ Bioremediation Design
1999-08-17
Beth Ellen Padera
Fast fraction-free triangularization of Bezoutians with applications to sub-resultant chain computation
1998-09-02
MBD Principles
1999-11-24
A JAVA ILP Machine Based on Fast Dynamic Compilation
1998-03-02
All-or Nothing Disclosure of Secrets
1998-07-15
Display of Scientific Data Structures for Algorithm Visualization
1970-01-01
Implementing the Davis-Putnam Algorithm by Tries
1995-09-14
Some More Good t,m,s-Nets
1998-01-19
Update Propagation in the Galactica Net Distributed Shared Memory Architecture
1995-11-22
Homomorphism Preserving Algebraic Specifications Require Hidden Sorts
1993-06-29
Approximating Value Trees in Structured Dynamic Programming
1996-08-13
Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors
1999-10-27
GPS The GPS paradigm 1, aka
1996-11-12
Load Sharing in Distributed Systems
1999-03-19
.5.2. WG Plenary Meetings
1999-09-27
The BoW Project
1999-07-19
Dror G. Feitelson
Supporting Results Synthesis in Heuristic Evaluation
1998-12-31
Donald Allan Cox
Deterministic State Space Planning with BDDs
1999-04-14
Stefan Edelkamp
An algorithm for computing the Weierstrass normal form
1995-04-09
Mark Van Hoeij
Nonuniform fast Fourier transform
1999-04-28
Matroid Decomposition - References
1998-03-23
An Ojej Time Algorithm
Detectors and Correctors: ATheory of Fault-Tolerance Components
1999-11-15
Transition Systems From Event Structures Revisited
1998-12-08
The Parkes Half-Jansky Flat-Spectrum Sample
1996-08-06
Complex numbers for Java
1999-10-28
Edwin Gunthner
Fast Algorithms for Uniform Semi-Unification
1999-02-25
Ontology of Tasks and Methods
1998-04-03
Finite-Temperature Calculations of Correlated Electron Systems
1999-09-06
Shiwei Zhang
An Efficient Algorithm for Processing Distributed Queries with the Existence of Partition Dependency
1999-11-07
Extended Statecharts: A Specification Formalism for High Level Design
1999-06-10
Multiple Sequence Alignment
1999-01-17
C Ron Shamir
Water Lamp and Pinwheels: Ambient Projection of Digital Information into Architectural Space
1998-08-06
Quorum Structures in Distributed Systems
1996-10-14
Using Semantic, Geographical, and Temporal Relationships to Enhance Search and Retrieval in Digital Catalogs
1999-04-29
Some Theta Function Identities Related To The Rogers-Ramanujan Continued Fraction
1998-03-04
Seung Hwan Son
Addressing in Internetwork Protocols
1998-02-12
Paul Francis
Reasoning and Rewriting with Set-Relations I: Ground Completeness
1994-12-13
Valentinas Kriauciukas
The Uncapacitated Facility Location Problem
1998-11-13
The Survey Cornuejols
Memory-System Design Considerations for Dynamically-Scheduled Processors
1997-09-26
A High Speed and Low Power VLSI Multiplier Using a Redundant Binary Booth Encoding
1999-04-29
Completeness of Two Systems of Illative Combinatory Logic for First-Order Propositional and Predicate Calculus
1997-01-29
Modeling, Simulation and Control of Event-Driven Operations in Process Systems
1996-04-10
A Statistical Theory for Quantitative Association Rules
1999-10-13
What Really Makes Some Problems Moderately Hard
1970-01-01
Alan Hutchinson
An Algorithm for the
1998-09-02
Life-Cycle Inheritance
1999-08-20
T. Basten
A Simple, Practical Distributed Multi-Path Routing Algorithm
1998-12-04
Theory Generation for Security Protocols
1999-08-18
Improved Effective Capacitance Computations for Use in Logicand Layout Optimization
1999-01-25
Contour Trees and Small Seed Sets for Isosurface Traversal
1999-03-02
Matlab Auditory Demonstrations
1999-08-04
On an Abstract Characterization of Bisimulation
1998-12-08
Reanalysis as a Last Resort?
1999-05-11
Function Materialization in Object Bases: Design, Realization and Evaluation
1999-11-10
A Formal Proof of the Rate Monotonic Scheduler
1999-11-04
Agents as Clonable Objects with Knowledge Base State
1996-09-10
The Ethernet supported large 100-nodenetworks in 1976.
1999-08-15
Fault Tolerant Task Execution through Global Trajectory Planning
1999-08-18
A Simulation and Design System for Tactical Driving Algorithms
1996-02-01
Jumps of ...-High E-Degrees and Properly
1999-07-20
Reconstructing Incomplete Signals Using Nonlinear Interpolation and Genetic Algorithms
1998-09-11
Scalable Collection Summarization and Selection
1999-05-10
Stack-Free Process-Oriented Simulation
1999-07-27
Robust IP Watermarking Methodologies for Physical Design
1998-06-29
An Optimizing Algorithm for 3D Object Surface Triangulation
1996-07-02
Heavy-Tailed ON/OFF Source Behavior and Self-Similar Traffic
1997-12-22
Graphical Representations For Ising Systems In External Fields
1999-11-08
Unsupervised Classification of 3D Objects from 2D Views
1998-10-06
SCAN - Speech Content Based Audio Navigator: A Systems Overview
1999-07-08
MCGS: A Modified Conjugate Gradient Squared Algorithm for Nonsymmetric Linear Systems
1999-06-25
The torus parametrization of quasiperiodic LI-classes
1999-11-08
Presenting to Local and Remote Audiences: Design and Use of the TELEP System
1999-09-24
Differentiable Dynamical Systems
1970-01-01
Keon-hee Lee
Querying Network Directories
1999-06-10
Multiscale Image Segmentation By Dishomogeneity Evaluation And Local Optimization
1995-11-16
Stefano Casadei
Wrapping SRS with CORBA: from Textual Data to Distributed Objects
1999-09-23
Thierry Coupaye
Multipath Data Association Tracker with Uncertain Co-ordinate Registration for Over-the-Horizon Radar - Software Specification
1999-11-04
Formal Specification and Analysis of Software Architectures Using the Chemical
1996-01-14
An Implementation Of A Soft Error Decoder In A Multipath Faded Cofdm System
1999-09-16
Name-It: Naming and Detecting Faces in News Video
1999-10-19
Left-corner Parsing and Psychological Plausibility
1997-02-13
Philip Resnik
HeNCE: A Heterogeneous Network Computing Environment
1994-02-09
Modern Map Methods for Charged Particle Optics
1997-11-09
Martin Berz
On The Divisible Parts Of Quotient Groups
1998-06-26
Andreas Blass
Http://www.cns.ed.ac.uk/people/mark.html
1999-08-24
Mark J L Orr
"Agent A, Can You Pass the Salt?" - The Role of Pragmatics in Agent Communication
1999-05-11
Comprehensive Identification of Cell Cycle-regulated Genes of the Yeast Saccharomyces cerevisiae by Microarray Hybridization
1999-08-19
A Multi-Objective Genetic Algorithm in Job-Shop Scheduling Problem to Refine an Agents' Architecture
1999-08-12
Assessing the Economics of Food Safety Activities: Studies of Beef Slaughter and Meat Processing
1999-10-26
A Study on Mobile Language Systems
1999-06-28
Tatsurou Sekiguchi
Contact Graphs of Line Segments are NP-complete
1999-11-15
Efficient Methods for Estimation in Log-Linear Models
1999-06-30
Jens Henrik Badsberg
The Dynamics Of Capital Structure
1999-09-27
Business Time in the Foreign Exchange Markets
1999-08-24
Mark J L Orr
Mixtures of Gaussian process priors
1999-08-19
Jorg C. Lemm
Adjoint Actions On Homology Mod 2 Of Exceptional Lie Groups
1970-01-01
Hiroaki Hamanaka
Hereditary History Preserving Bisimulations or What is the Power of the Future Perfect in Program Logics
1997-10-29
Experimental Progress in Computation by Self-Assembly of DNA Tilings
1999-07-14
Signal Space Diversity: a power and bandwidth efficient diversity technique for the Rayleigh fading channel
1999-10-15
Robustness Measurement: An Approach To Assessing Simulation Program Reliability
1999-10-01
Analysis of Solar Spike Events By Means of Symbolic Dynamics Methods
1997-11-11
Parallel Complexity of Iterated Morphisms and the Arithmetic of Small Numbers
1995-01-19
Correspondence Using Distinct Points Based on Image Invariants
1999-09-28
Disney comics from Italy
1999-10-10
Francesco Stajano
.3: Predicting Color Breakup on Field-Sequential Displays: Part 2
1998-08-05
A lower bound for PARITY on randomized CRCW PRAMs
1998-01-27
Crcw Prams
Generating Exception Structures for Legal Information Serving
1999-11-10
CALYPSO: A Novel Software System for Fault-Tolerant Parallel Processing on Distributed Platforms
1999-05-04
Baglets: Adding Hierarchical Scheduling to Aglets
1999-06-11
Active Names: Flexible Location and Transport of Wide-Area Resources
1999-10-05
Generating New Benchmark Designs using a Multi-terminal Net Model
1999-10-20
FASTFLO-automatic CFD system for threedimensional flow simulations
1998-11-06
Nationaal Lucht- En Ruimtevaartlaboratorium
ECMAScript Language Specification
1998-03-31
Touching Graphs of Unit Balls
1997-09-16
TRACE: A Visual Software System to Explore Properties of Reed-Muller Movement Functions
1999-05-03
Utilization
1998-03-13
Matching Conflicts: Functional Validation of Agents*
1999-08-11
Internet Credential Acceptance Policies
1997-06-06
Effects Of Molecular Structure On Macroscopic Mechanical Properties Of An Advanced Polymer larc^tm-Si
1999-05-27
Adaptive Retina with Center-Surround Receptive Field
1998-09-30
"---~le2of2gontents
1999-07-23
Iurp0lfurvriw9lvxdo%dvlf
1999-01-08
Unknown
1999-08-05
Analyzing Phase Transitions in High-Dimensional Self-Organizing Maps
1999-11-09
The Rhetorical Parsing of Natural Language Texts
1997-07-14
Daniel Marcu
INQUERY Does Battle With TREC-6
1999-03-16
A Hierarchical Fuzzy Model for Predicting Casting Time in a Slip-Casting Process
1998-06-04
Unknown
1999-06-24
Arbitrary Shape Wavelet Packet Image Processing
1999-09-15
CryptoBytes
1970-01-01
Thinking as One: Coordination of Multiple Mobile Robots by Shared Representations
1999-09-16
Challenges for NomadicComputing: Mobility Management and Wireless Communications Thomas F. La Porta, Krishan K. Sabnani, Richard D. Gitlin
1999-04-01
Capturing Articulation In Assemblies From Component Geometry
1999-09-30
The "Art of Trellis Decoding" is Computationally Hard -- for Large Fields
1998-09-17
Pushing Semantics inside Recursion: A General Framework for Semantic Optimization of Recursive Queries
1995-04-12
Neural Networks For Technical Analysis: A study on KLCI
1999-06-22
Latent Semantic Indexing: A Probabilistic Analysis
1998-03-26
Upper Bounds for Standardizations and an Application
1998-08-20
Hongwei Xi
Locality Preserving Load Balancing With Provably Small Overhead
1999-04-09
Robert Garmann
Temporalizing Description Logics
1998-04-17
Superlinear Convergence of Conjugate Gradients
1970-01-01
Three-Dimensional Scene Flow
1999-07-12
Coping with Conflicts in an Optimistically Replicated File System
1999-07-15
Puneet Kumar
Decentralized Optimal Power Pricing: The Development of a Parallel Program
1998-09-09
Modeling Processes and Workflows by Business Rules
1999-05-12
Meeting Re-use Requirements of Real-life Diagnosis Applications
1999-10-20
A Note on the Asymptotics and Computational Complexity of Graph Distinguishability
1998-04-27
Modularity in Small Distributed Robots
1999-07-14
Sequential Diagnosis Tool For System Maintenance And Repair Orodje Za Sekvenno Diagnosticiranje Namenjeno Vzdrevanju In Popravilu Sistemov
1998-09-30
An Air Interface For High Bandwidth Cellular Digital Communications On Microwave Frequencies
1999-09-16
Accelerator Archeology - The Resurrection Of The Stanford Markiii Electron Linac At Duke*
1998-03-04
Multilevel Preconditioners For Mixed Methods For Second Order Elliptic Problems
1994-12-23
Super-Key Classes for Updating Materialized Derived Classes in Object Bases
1995-03-06
Tetsuya Furukawa
"Does EK4 have the Finite Model Property?" and related open questions
1999-02-05
Timothy J. Surendonk
An Environment for Parallel Multi-Block, Multi-Resolution Reservoir Simulations
1998-09-21
Dynamic Motion Control of an Articulated Figure Using Quaternion Curves
1995-08-18
ALICE -- Topographic Exploration, Cartography and Adaptive Navigation on a Simple Mobile Robot
1996-10-07
LHIP: Extended DCGs for Configurable Robust Parsing
1994-08-04
From OMT to Beta: An Integrated Environment
1996-09-13
Blending and Other Conceptual Operations in the Interpretation of Mathematical Proofs
1999-09-22
Adrian Robert
Multigrid Methods Originated Earlier This Century, in the
1996-06-22
Craig C. Douglas
Fast algorithms for Taylor shifts and certain difference equations
1997-07-16
An Algorithm Faster than NegaScout and SSS* in Practice
1999-09-07
Rock `n' Roll: Using VRML 2.0 for Visualisation
1997-08-12
Jeremy Walton
Document Image Archive Transfer from DOS to UNIX
1995-05-28
WAAS MOPS: Practical Examples
1999-08-25
Todd Walter
Applications and Research Problems of Subgroup Mining
1999-10-14
Willi Klsgen
An Object Model for Evolutionary Configuration Management
1999-10-11
ACTranS Toolkit TxRPC Architecture.
1999-02-19
A note on the MST heuristic for bounded edge-length Steiner Trees with minimum number of Steiner Points
1999-10-26
DIDS Distributed Intrusion Detection System - Motivation, Architecture, and An Early Prototype
1998-12-08
A Model of Visual Masking for Computer Graphics
1997-06-25
Vibration Modes for Nonrigid Motion Analysis in 3D Images
1996-02-08
Chahab Nastar
Smart Materials for Visual Perception
1999-06-02
Depletion Mode MOSFETs for Monolithic Digital Integrated Circuits in 6H-SiC S.Ryu, K.T. Kornegay, J.A.Cooper, Jr.
1997-09-23
Generalized Additive Models
1997-01-26
Tooling the Lexicon Acquisition Process for Large-Scale KBMT
1998-04-01
Local Search, Multiobjective Optimization and the Pareto Archived Evolution Strategy
1999-10-20
Visual Group Normalization Using Gaussian-Lagrange Distributed Approximating Functional Wavelets
1999-09-15
Test Set Compaction Algorithms for Combinational Circuits
1999-04-11
MOBES: A Multiobjective Evolution Strategy for Constrained Optimization Problems
1999-01-29
On Syntactic Versus Computational Views of Approximability
1970-01-01
Extended Propositional Dynamic Logic for Reasoning about Actions Extended Abstract
1999-11-15
Parallelization of Continuous Verified Global Optimization
1970-01-01
Development and Implementation of an Integrated Engineering Curriculum for the Sophomore Year
1997-09-01
Hom Absorber For The Kekb Normal Conducting Cavity
1998-03-04
Representing the Semantics of Virtual Spaces
1999-05-24
Algebraic Non-Integrability of the Cohen Map
1998-04-11
Indexing for Data Models with Classes and Constraints
1999-09-07
A Dynamic Momentum Compaction Factor Lattice in the FERMILAB DEBUNCHER Ring
1998-03-04
The Design of Distributed Hyperlinked Programming Documentation
1998-09-26
Lisa Friendly
Spectral Shift Function for Trapping Energies in the Semiclassical Limit
1999-04-02
Shu Nakamura
A Cost Estimation Model For High Power FELs
1998-03-04
Experiences with User-configurable, Location-aware Scheduling
1998-04-24
Report on the Construction of an Italian Test Collection
1999-08-02
Generating and Solving Imperfect Information Games
1995-09-12
A Multilevel Feedback Scheme Using Dynamic Prediction of Network Latency for Buffer Management in a Client-Server Multimedia Presentation System
1998-07-27
Quantum Graphs: A model for Quantum Chaos
1999-11-10
A Scalable Parallel Algorithm for Sparse Cholesky Factorization
1994-10-29
A PSPACE-complete fragment of Second Order Linear Logic
1999-09-24
G. Perrier
A New Construction For Cancellative Families Of Sets
1999-08-14
James B. Shearer
Photographs Tell Us About 3D Shape?
1999-08-30
Installation And Commissioning Of The E+/e- Injector For
1998-03-04
Formal Specification and Simulation of Instruction-Level Parallelism
1994-10-11
On an optimal deterministic algorithm for SAT
1998-10-03
Zenon Sadowski
A Lower Bound For The Gradient Of ...-Harmonic Functions
1997-11-26
Edi Rosset
Improving Accuracy and Run-Time Performance for TREC-4
1999-10-16
Lateral Natural Frequency of a Shaft Rotor System by the Transfer Matrix Method
1999-09-18
Consistency Management in Deno
1999-10-08
Applying Statistical Methods to Small Corpora: Benefitting from a Limited Domain
1999-10-12
Improving the Fit of Locally Weighted Regression Models
1999-10-14
Applications Of Mev Proton And Deuteron Linear Accelerators
1998-03-04
On-Line Scheduling Using a Distributed Simulation Technique for Intelligent Manufacturing Systems*
1999-06-10
Combining Fuzzy Knowledge and Data for Neuro-Fuzzy Modeling
1997-10-16
Calculating Conditions For The Emergence Of Structure In Self-Organizing Maps
1999-11-09
Discovery Of Design Methodologies
1999-11-02
An improved ranked set two-sample Mann-Whitney-Wilcoxon test
1999-06-15
Douglas A. Wolfe
Contrastive Tense and Aspect Data
1998-07-30
Diana Santos
SchemaSQL -- A Language for Interoperability in Relational Multi-database Systems
1996-06-21
A framework for learning constraints : Preliminary Report
1999-11-11
Reconfigurability in Hand-Held Multimedia Computers
1999-10-15
Method Reuse in Typed Object-Oriented Languages
1995-09-10
The Magnet and the Butterfly:
1999-08-15
Viviane Baladi
Development Of Input Output Structures For High Power X-Band Twt Amplifiers
1998-03-04
Implementation Status of the Global and Local Beam Position Feedback Systems for the Advanced Photon Source Storage
1998-03-04
A Survey of Medical Image Registration
1999-07-06
Near-Synonymy and the Structure of Lexical Knowledge
1998-06-01
Graeme Hirst
Residential Gateway Viability
1999-01-11
Management Policy Servicefor Distributed Systems
1999-04-16
A Study of Short-Term Temporal Variations of Photon Counts Recorded by the ROSAT X-ray Satellite
1998-02-11
Ludwik Liszka
DiffMan - an object oriented MATLAB toolbox for solving differential equations on manifolds
1999-06-23
SIMON: A grammar-based transformation system for structured documents
1998-06-09
An Feng
Demographic Trends and Household Saving in China
1999-11-08
On the Decidability of Iterated Semidirect Products With Applications to Complexity
1999-10-07
A Neural Network Operated Vision-Guided Mobile Robot Arm for Docking and Reaching
1997-12-05
An Object-Oriented Testbed for the Evaluation of Checkpointing and Recovery Systems
1997-05-04
Rates of Energy Gain and Loss in the Circumstellar Envelopes of Be Stars: 1 Delphini
1998-11-05
Recent Advances in Radial Basis Function Networks
1999-06-25
Mark J. L. Orr
Is the Universe Homogeneous on Large Scales?
1970-01-01
Marc Davis
Hierarchical Image Segmentation -- Part I: Detection of Regular Curves in a Vector Graph
1997-02-12
Lattice Paths And Faber Polynomials
1999-08-29
Ira M. Gessel
Network Management
1999-08-13
Information Extraction from HTML Documents: An Approximate Tree Matching Approach
1999-01-29
Optimizing Matrix Stability
1999-09-28
On Series of Translates of Positive Functions
1999-10-28
Spatial Decomposition of Ultrasonic Echoes
1998-03-13
Magnus Sandell
Notes on the Simply Typed Lambda Calculus
1998-06-16
Peter Aczel
Perspectives on Usability
1999-05-23
Jonas Lwgren
Fuzzy Sets for the Representation of Uncertain Spatial Knowledge in Autonomous Robots
1998-06-26
Virtual Environments Special Needs And Evaluative Methods
1998-12-28
Molecular Gas and Infrared Emission in HCG 31 HCG 92 Stephan's Quintet and Tidal Interactions in Compact Group Environment
1996-11-06
A Pulsed Source Of Neutron Focus For Fundamental And Applied Research In High-Energy Electron Accelerator Centres
1998-03-04
Symbolic Schedulability Analysis of Real-time Systems
1998-10-21
Intelligent Backtracking Techniques for Job Shop Scheduling
1999-11-03
A Logical Treatment of Constructive Duality
1998-02-10
Anna Patterson
Managing safety by mobile multimedia communication MMC
1999-09-16
Automatic Test Generation Using Genetically-Engineered Distinguishing Sequences
1998-11-01
A New Heuristic for Rectilinear Steiner Trees
1999-04-11
On Retiming of Multirate DSP Algorithms
1996-12-19
Rainer Schoenen
Parallel Algebraic Algorithm Design*
1997-05-20
Erich Kaltofen
The Rogers-Ramanujan Continued Fraction
1998-03-04
A Framework For Collision Detection And Response
1999-11-05
Scheduling Techniques for Packet Routing, Load Balancing and Disk Scheduling
1997-09-23
Matthew Andrews
SSRI EXPENDITURES FOR FISCAL YEARS 1995, 1996 and 1997
1998-05-13
A Steady-Hand Robotic System for Microsurgical Augmentation
1999-11-23
Peer Groups
1970-01-01
Chris Clack
Combinatorial Motif Analysis and Hypothesis Generation on a Genomic Scale
1999-12-08
Data Engineering
1970-01-01
Towards Distributed and Dynamic Network Management
1998-12-17
RL subseteq SC
1995-03-01
Noam Nisan
Integral Homology of PGL 2 over Elliptic Curves
1998-12-20
Kevin P. Knudson
SCT92 J. Schaeffer, J. Culberson, N. Treloar, B. Knight, P. Lu and D. Szafron, "A World Championship Caliber Checkers Program,"
1994-11-15
D. Szafron
Increasing File System Availability through Second-Class Replication
1999-07-15
James Jay Kistler
Using SETHEO for Verifying a Communication Protocol in FOCUS - A Case Study
1995-08-28
Johann Schumann
A Routing Architecture for Mobile Integrated Services Networks
1998-04-10
BBibliography
1999-02-16
The Representation Of Snow In Land-Surface Schemes: Results From PILPS 2d
1999-01-05
C. A. Schlosser
Medial Node Models to Identify and Measure Objects in Real-Time 3D Echocardiography
1999-08-18
A Closed-Form Approximation to a MVA Multiprocessor Model and a New Component of Communication Overhead
1996-07-15
Communication and Transactions in V
1994-11-16
Schema Integration with Integrity Constraints
1997-08-22
Confirmation in Multimodal Systems
1999-12-08
The Associative-Skew Clock Routing Problem
1999-08-31
The Geometry of Browsing
1998-01-15
Richard Beigel
TranSID: an SGML document manipulation language - Reference manual
1999-06-04
PNNI V1.0 Errata and PICS
1997-06-04
Randomized Binary Search Trees
1998-08-20
Salvador Roura
Spetses
1998-07-20
Gunter Malle
On the Application of Measurement Theory in Software Engineering
1999-11-10
Comparing Id and Haskell in a Monte Carlo Photon Transport Code
1999-10-22
M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J
1996-10-13
Andrzej Sitarz
Satellite Double Torus Knots
1999-08-16
Equivalence of Families of Functions on the Natural Numbers
1995-09-11
Claude Laflamme
A Life Cycle Assessment Of Grid, Grid Connected Pv And Stand-Alone Pv Power Systems For Household Energy Supply
1997-07-14
Towards seamless computing and metacomputing in Java
1999-01-18
Spatial Schemata and Language
1994-05-19
Christian Balkenius
Higher-Order Pattern Complement and Strict Lambda-Calculus
1999-05-19
Alberto Momigliano
A Framework for Evaluating Specification Methods for Reactive Systems
1999-03-25
Calculating Criticalities
1970-01-01
Trends in Environmental Information Processing
1999-04-29
Scalability issues in MOOs: the role of object migration and replication
1999-10-27
Lus Rodrigues
Disposition of Weapons-Grade Plutonium in Westinghouse Reactors
1998-11-23
Extending Promela and Spin for Real Time
1998-11-10
High Performance Internetworking Protocol
1999-11-22
Multiprocessor Scheduling Of Periodic Tasks In A Hard Real-Time Environment
1997-04-04
A QoS Adaptive Mobility Prediction Scheme For Wireless Networks
1998-09-11
Program Analysis Techniques for Self-Similar Parallel Programs
1998-01-21
Network Management M4 Security Requirements and Logical MIB
1999-02-05
Analysis of Petri Nets with a Dynamic Priority Method
1997-07-04
Red+ Gateways For Identification And Discrimination Of Unfriendly Best-Effort Flows In The Internet
1999-07-21
Anonymous Class in Declarative Mathematical Modeling
1998-05-29
ON THE INTERACTION OF METONYMIES AND ANAPHORA. Katja Markert Udo Hahn
1998-03-31
Minimizing Cumulative Error in Discourse Context
1996-12-20
Incorporating User Defined Data Types into a Web-based Data Visualization Tool
1997-04-09
Recognizing Regular Expressions by means of Dataflow Networks
1997-03-26
Pascal Raymond
t o Observations of the Lunar Plasma Wake from the WIND Spacecraf n December 27, 1994
1970-01-01
Lecture Notes in Computer Science: Authors' Instructions for the Preparation of Camera-Ready Contributions to LNCS/LNAI Proceedings
1999-07-01
Levelling an Unknotting Tunnel
1999-12-02
Two-Primary Algebraic K-TheoryOf Some Quadratic And Cyclotomic Number Rings
1998-12-20
A Support Vector/Hidden Markov Model Approach to Phoneme Recognition
1999-08-20
The Software Requirements Modelling in SAREL
1999-09-03
Compositionality and the Frame Problem
1996-01-24
Adaptive CPU Scheduling Policies for Mixed Multimedia and Best-effort Workloads
1999-08-19
Hardware Performance Monitoring in Multiprocessors
1996-09-26
Guy G. F. Lemieux
A Generalized-Domain-Based Approach to Serbo-Croatian Second Position Clitic Placement
1970-01-01
Gerald Penn
Expected-Case Complexity of Approximate Nearest Neighbor Searching
1999-12-09
Building An Artificial Brain Using An Fpga Based "cam-Brain Machine"
1998-07-23
Using Simulation to Build Inspection Efficiency Benchmarks for Development Projects
1999-11-10
Tcl and the Tk Toolkit
1996-01-06
John K. Ousterhout
A 1.9-GHz Wide-Band IF Double Conversion CMOS Receiver for Cordless Telephone Applications
1999-05-13
Fair Bandwidth Allocation For Differentiated Services
1999-06-30
Brownian Sheet and Capacity
1999-06-16
Real-Time Merging of Visible Surfaces for Display and Segmentation
1996-06-18
Progress in Research on Autonomous Vehicle Motion Planning
1997-06-19
Distilling Object-Oriented Software Architecture
1999-07-13
Palle Nowack
Typhoon-Zero Implementation: The Vortex Module
1995-10-23
Robert W. Pfile
Knowledge Based Production Planning and Scheduling
1998-05-27
Evaluating the Effects of Predicated Execution on Branch Prediction
1997-02-08
Mmf Linac Upgrade Possibilities For The Pulsed Neutron Source
1998-03-04
rpartis, 72:139--158, September 1995. 32 Raymond Namyst and Jean-Franois Mhaut.
1999-12-10
How Hard Is Halfspace Range Searching?
1995-11-09
Predicting Structure In Nonsymmetric Sparse Matrix Factorizations
1996-01-09
On Grothendieck's Conjecture About Principal Homogeneous Spaces For Some Classical Algebraic Groups
1999-02-24
Kirill Zainoulline
X---A Document Preparation System---User's Guide and Reference
1996-08-12
Fast Similarity Search in the Presence of Noise, Scaling, and Translation in Time-Series Databases
1996-01-18
Ubiquitous Abstraction: A New Approach for Mechanized Formal Verification Extended Abstract
1998-12-10
The Kolmogorov Complexity of Liouville Numbers
1999-09-13
Ludwig Staiger
Detection, Tracking, and Pursuit of Humans with an Autonomous Mobile Robot
1999-12-06
Multi-Agent Model As An Extension To The Client/server Processing Paradigm
1996-02-13
An Approach to a Digital Library of Newspapers
1999-05-05
DFC Update
1999-03-30
Bandit: Context-Sensitive, Conversational Messaging
1994-11-14
A Sheaf-Theoretic Reformulation Of The Tate Conjecture
1998-12-20
Bruno Kahn
A Verification Tool Developer's Vade Mecum
1998-09-28
Perdita Stevens
Hamiltonian Cycles in Solid Grid Graphs Extended Abstract
1998-03-30
Performance Issues in WWW Servers Extended Abstract
1999-06-16
From sequential Haskell to parallel Eden: An Implementation Point of View
1999-09-27
Multicast Communication in Large Scale Networks
1999-11-22
UPML: A framework for knowledge system reuse
1999-04-15
MAPL/CMSC 666 Numerical Analysis I Fall 1999 Dianne P. O'Leary UNIT 4: The Matrix Eigenproblem Part III of notes So far:
1999-11-22
Dianne P. O'leary
The Impact of Warrant Listing on Underlying Stock's Volatility
1998-05-23
Arnat Leemakdej
Optimizing Parallel Particle-in-Cell code using both PVM and OpenMP and its Performances on Tsukuba PC Cluster
1999-02-14
A Graphical Description Technique for Communication in Software Architectures
1997-09-29
Program Verification
1998-04-15
Fsub with Recursive Types: "Types-As-Propositions" Interpretation in M. Rabin's S2S
1995-05-25
Sergei Vorobyov
Processing Definite Descriptions in Corpora
1997-11-23
Verification of ILP Speedups in the 10's for Disjoint Eager Execution
1997-07-11
Augustus K. Uht
A Partial Order Representation of Processes of Contextual Nets
1997-10-22
Theorem Proving Modulo
1999-02-09
Extraction of Significant Terrain Features from RSG and TIN: A Survey
1998-12-22
Viviana Mascardi
Avatars for Interactive Multi-User Consultations
1999-07-27
Emil M. Petriu
Distance in Anti-Matroids
1998-11-30
Semantic Enrichment: A First Step to Provide Database Interoperability
1997-08-22
Model-Driven Hypermedia Access to Weather Information
1999-07-01
Stephan Kerpedjiev
On a Semilinear Elliptic Equation in R² when the Exponent Approaches Infinity
1995-09-21
A Focus Detector Using Overall Intensity And High Frequency Emphasis
1999-05-03
GaAs VLSI Enhancement through Utilization of Global Optical Free Space "Smart" Interconnects*
1970-01-01
On 2-Coverings and 2-Packings of Laminar Families
1999-07-01
Distributed Queue Packet Scheduling Algorithms for WDM-Based Networks
1996-01-04
The COVEN project: exploring applicative, technical and usage dimensions of collaborative virtual environments
1999-11-26
Angular Momentum of Cores and Envelopes, and Magnetic Braking
1996-06-23
Shantanu Basu
Amino Acid Residues that Control pH Modulation of TransportAssociated Current in Mammalian Serotonin Transporters
1998-09-28
Task Generation and Compile-Time Scheduling for Mixed Data-Control Embedded Software
1999-12-01
. Piecewise Polynomial Spline Interpolation
1999-11-29
A Tableaux System for Gödel-Dummett Logic Based on a Hypersequential Calculus
1999-11-19
Arnon Avron
A Portable Interface Architecture for Generic Data Interchange
1997-02-17
Depth-Optimal
1998-08-24
Classical versus Quantum Communication Complexity
1999-06-25
Lane A. Hemaspaandra
Data Engineering
1970-01-01
Using Autoreducibility to Separate Complexity Classes
1995-07-21
Extended Bloch Group And The Chern-Simons Class
1999-01-15
Walter D. Neumann
Calibration For Augmented Reality Experimental Testbeds
1999-04-07
An Introduction to Reconfigurable Computing
1999-10-19
A New Strategy for Integrating Heterogeneous OO Schemas
1997-08-22
Processing Semi-Structured Data in Object Bases
1998-02-20
A Quantitative Steinitz' Theorem
1997-10-09
UG and MSc Project Suggestion: Model Checking
1999-04-22
Mateja Jamnik
User-level Checkpointing of POSIX Threads
1999-06-10
Dynamic Priorities for Modeling Real-Time
1997-07-31
On the Structure of Low Sets
1995-04-10
Working T13 Draft 1153D
1970-01-01
Low-Energy Computing for Implantable Medical Devices
1996-02-21
Michael P. Frank
Departments Of Mathematics
1999-01-05
Using UML to Derive Stochastic Petri Net Models
1999-07-19
Figure 8: Membership Functions for IDN and SK 29
1997-05-22
Mosaicing the SNR
1999-09-03
Requirements Analysis of Real-Time Control Systems using PVS
1999-06-09
Hidden Algebra and Concurrent Distributed Software
1999-11-16
Joseph Goguen
Weather Assertions For Environmental Decision-Making
1999-07-01
Stefan M. Kerpedjiev
Energy Consumption Performance of a Class of Access Protocols for Mobile Data Networks
1998-01-15
Ergonomics, Design and New Technology
1999-02-22
Roger R Hall
Reliability in Multicast Services and Protocols ; A Survey.
1970-01-01
Flexible Scheduling by Deadline Inheritance in Soft Real Time Kernels
1996-01-09
Acting Optimally in Partially Observable Stochastic Domains
1995-02-28
On The Symmetric Formulation Of Interior-Point Methods
1997-05-10
Finding Patterns in Sequences: Applying Sequence Comparison Techniques to Study Behavior Processes
1999-01-09
Mark Fichman
Capture and Retransmission Control in Mobile Radio
1996-06-13
Simplicial Rapid Decay Algebras Associated To A Discrete Group
1998-12-20
Pseudorandom generators without the XOR Lemma
1999-09-16
Planar Shape Databases With Affine Invariant Search
1997-12-19
A Quantitative Comparison of Graph-based Models for Internet Topology
1998-06-05
Constraint Qualifications And Necessary Optimality Conditions For Optimization Problems With Variational Inequality Constraints
1999-11-24
J. J. Ye
Real-Time Prediction of Incipient Congestion on Freeways from Detector Data
1998-09-10
Trade and Foreign Direct Investment in China: A Political Economy Approach
1999-04-26
On-Line Routing of Virtual Circuits with Applications to Load Balancing and Machine Scheduling
1998-03-06
Performance-driven Synthesis of Asynchronous Controllers
1996-01-22
Sinks in Acyclic Orientations of Graphs
1999-10-15
Graph-Theoretic Generation of Assembly Plans - Part II: Problem Decomposition and Optimization Algorithms
1999-07-15
SCI-Based Local-Area Shared-Memory Multiprocessor
1995-11-03
Resume
1999-03-25
Lazy Computation with Exact Real Numbers
1998-08-27
RoboCube a "universal" "special-purpose" Hardware for the RoboCup small robots league
1998-07-15
RTGEN: An Algorithm for Automatic Generation of Reservation Tables from Architectural Descriptions
1999-06-29
A Pattern of Islands: Exploring Public Information Space in a Private Vehicle
1998-10-28
John A. Waterworth
A New Presentation of the Intersection Type Discipline Through Principal Typings of Normal Forms
1996-10-16
Substitutions for Proofs and Types as Logic Programming
1997-05-31
A Survey of Web Information Systems
1999-12-03
The SimpleScalar Tool Set, Version 2.0
1998-12-23
Competitive Location and Pricing on Networks
1999-09-30
Charles Revelle
Convex Group Clustering of Large Geo-referenced Data Sets
1999-08-11
Vladimir Estivill-castro
Influence Of Zitterbewegung On Relativistic Harmonic Generation
1999-04-17
Design And Implementation Of A Portable Global Code Optimizer
1992-08-12
Scott Alan Mahlke
Outage Probability in Multiple Access Packet Radio Networks in the Presence of Fading
1996-06-13
Translation Results for Modal Logics of Reactive Systems
1995-06-28
A Continuously Adjustable Video-Frequency Current Amplifier for Filter Applications
1999-09-13
ATM Without Strings: An Overview of Wireless ATM
1999-04-19
A. S. Krishnakumar
Using Artificial Neural Networks and Image Segmentation to Assist in Mobile Robot Navigation
1994-10-05
Mark Stemm
Building Interpreters by Composing Monads
1998-05-06
Guy L. Steele
Data Engineering
1970-01-01
E3 Public UNI
1996-09-21
A Migrating-Home Protocol for Implementing Scope Consistency Model on a Cluster of Workstations
1999-06-26
A Nonlinear and Biased View of Dark Matters
1999-08-24
Ravi K. Sheth
A Parallel Fast Direct Solver With Applications
1998-02-13
Limitations of the QRQW and EREW PRAM Models
1997-09-16
Krzysztof Lorys
Converting 1-Day Volatility to h-Day Volatility: Scaling by is Worse than You Think
1999-08-27
In vitro Selection for a Max 1s DNA Genetic Algorithm
1999-05-07
The Russian Forest Sector and Legislation in Transition
1999-11-02
Sten Nilsson
Compiling Standard ML to Java
1970-01-01
Efficient Implementation of the Stable Model Semantics for Normal Logic Programs
1995-10-02
Patrik Simons
A Low Complexity Fec Scheme Based On The Intersection Of Interleaved Block Codes
1999-10-15
Graceful Degradation over Packet Erasure Channels through Forward Error Correction
1999-01-15
Programs with Quasi-Stable Channels are Effectively Recognizable Extended Abstract
1999-10-28
Code Manual
1998-09-21
Modularity and Catastrophic Fusion: A Bayesian Approach with Applications to Audiovisual Speech Recognition
1999-10-20
Comparative Performance of Different Chrominance Spaces for Color Segmentation and Detection of Human Faces in Complex Scene Images
1999-03-15
Indexing and Retrieval of Broadcast News
1999-09-24
Multi-Protocol Attacks and the Public Key Infrastructure
1998-10-28
Jim Alves-foss
Shape Preserving C² Interpolatory Subdivision Schemes
1998-10-08
Ruud Van Damme
Extending Greedy Multicast Routing to Delay Sensitive Applications
1999-07-29
A Theory Of Strict P-Completeness
1997-08-22
Anne Condon
User Interactions with Everyday Applications as Context for Just-in-time Information Access
1999-11-09
Analytical Prediction of Damage Growth in Notched Composite Panels Loaded in Axial Compression
1999-04-29
Large automorphism groups of 16-dimensional planes are Lie groups
1997-11-05
On the Hardness of Recognizing Bundlesin Time Table Graphs
1999-11-11
Acceleration of Five-point Red-Black Gauss-Seidel in Multigrid for Poisson Equation JUN ZHANG
1995-11-20
Classifying LEP Data with Support Vector Algorithms
1999-05-17
.2: Viewing Angle: A Matter of Perspective
1998-08-05
A Physically Based Approach to 2-D Shape Blending
1997-09-11
Thomas W. Sederberg
On a Classical Method for Computing Eigenvectors
1997-08-12
K V Fern
Parallel Discrete Event Simulation Of Wormhole Routing Interconnection Networks
1999-06-25
Implementation Of The Fuzzy Art Neural Network For Fast Clustering Of Radar Pulses
1998-01-02
On Takeover Times in Spatially Structured Populations: Array and Ring
1999-10-11
Gunter Rudolph
An Occupant Dependent, Self-Optimizing Home-Automation System Using Neuro-Fuzzy Control
1998-05-30
A Performance Evaluation of OID Mapping Techniques
1999-11-10
Jan Bosch
1998-09-25
Jan Bosch
Spanners and Message Distribution in Networks
1999-07-24
An Agent Architecture for On-Line Learning of Procedural and Declarative Knowledge
1997-08-08
Ron Sun
+ 1-Factor Containing A Given Hamiltonian Cycle
1998-12-30
Improved Framerate With Synthetic Transmit Aperture Imaging Using Prefocused Subapertures
1997-10-17
Emergent Patterns of Teaching/Learning in Electronic Classrooms Draft: July 5, 1998
1999-08-19
Aperiodic Ising Quantum Chains
1999-11-08
Maintaining Multiple Motion Model Hypotheses Over Many Views to Recover Matching and Structure
1997-09-15
Human Face Detection in Visual Scenes
1999-04-08
Causality as a Key to the Frame Problem
1992-07-01
Formal Specification of Telephone Systems in LOTOS: The Constraint-Oriented Style Approach
1992-10-27
Training Algorithms for Linear Text Classifiers
1999-03-16
Numeric Mutation Improves the Discovery of Numeric Constants in Genetic Programming
1998-07-08
A Three Dimensional Interface for Temporal Information Retrieval
1998-12-12
On Discontinuous Human Control Strategies
1999-08-27
Michael C. Nechyba
Measurement, Estimation, and Modeling of Wind Instruments Using DSP Techniques
1996-01-23
Routing and Sorting on Circular Arrays
1994-05-20
Jop F. Sibeyn
Vizar, A Visualization Service for Event-Based Systems
1999-09-29
The Role of Responsive Pricing in the Internet
1998-08-17
The Use of Emerging Technologies in Procurement - State of the Art and a Look into the Future
1998-03-04
Polarized Electron Sources
1998-03-04
Aligning Coding DNA in the presence of frame-shift errors.
1997-04-17
Lars Arvestad
Microsoft TerraServer: A Spatial Data Warehouse
1999-07-09
Wavelet Projections for Volume Rendering
1999-10-05
Achieving improved CFD accuracy for hyperbolic problems via matrix perturbation
1997-05-14
Subrata Roy
Recurrent Sequences and P-Adic Spectra
1998-04-28
Frits Beukers
Style Sheet Support for Hypermedia Documents
1997-03-14
Parallel Sparse Matrix Computations Using the PINEAPL Library: A Performance Study
1998-02-02
Arnold Krommer
Simplifying Spline Models
1999-09-19
IP Multicast Extensions for Mobile Internetworking
1995-04-20
Coping with Ambiguity in Knowledge-based Natural Language Analysis
1998-03-31
PESCE: a Search-based System to Automate the Generation of Visual Presentations
1999-09-15
Real-Time Scheduling of Sensor-Based Control Systems
1999-08-18
Some Domain Decomposition Methods For Indefinite Elliptic Problems On Unstructured Meshes
1994-05-03
Jian Ping Shao
Acknowledgements
1999-01-07
Prepared Rueben Taylor
A Geometric Model of Retinocortical Mechanisms
1999-10-29
Luc Florack
Similarity-Based Methods For Word-Sense Disambiguation
1999-11-14
Parenthood and the Earnings of Married Men and Women
1998-10-08
Patterns Generate Architectures
1998-09-25
Random Debaters and the Hardness of Approximating Stochastic Functions
1997-08-22
Polymer Rheology: Principles, Techniques and Applications
1999-11-01
G. C. Berry
Prerequisites for Collaborative Problem Solving
1998-07-22
Robust Permanent Income and Pricing
1999-05-04
Explaining Conceptual Models - Using Toulmin's argumentation model and RST
1998-07-13
A Revised Proposal for a Sparse BLAS Toolkit
1995-09-11
Rhic Beam Position Monitor Characterization
1998-03-04
Contributionof High Charge and Energy HZE Ions During Solar-Particle Event of September 29, 1989
1999-06-11
New Lower Bounds for Some Multicolored Ramsey Numbers
1998-12-30
Aaron Robertson
References 70
1997-12-23
Query Containment Using a DLR ABox
1999-11-10
Wood Defect Recognition: A Comparative Study
1999-10-29
Intelligent MultiMedia
1998-11-26
Numerical Integration
1999-07-06
Gordon K. Smyth
Scale-Space Properties of Nonstationary Iterative Regularization Methods
1999-11-12
Safety Checking of Machine Code
1999-11-11
Primality Testing Revisited
1997-08-12
J. H. Davenport
Securing Information Transmission by Redundancy
1999-06-11
Constrained Bipartite Edge Coloring with Applications to Wavelength Routing
1997-12-30
Adaptive Checkpointing with Storage Management for Mobile Environments
1999-11-05
Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search
1999-10-29
Nicolas Prcovic
Margin Distribution and Soft Margin
1999-10-29
Example-Based Machine Translation in the Pangloss System
1996-04-19
Ralf D. Brown
The Design of a Unicode Font
1998-06-09
Hadron Particle Therapy
1998-03-04
Msis 2000
1999-08-10
MOCSYN: Multiobjective Core-Based Single-Chip System Synthesis
1999-10-19
The pseudovariety J is hyperdecidable
1999-10-07
View Operations on Objects with Roles for a Statically Typed Database Language
1999-06-11
Studies of Intense Laser Propagation in Channels for Extended Length Plasma Accelerators
1998-03-04
Self-Organization of Behavioral Contexts in Dynamic Exploration and Learning of Robots
1999-11-08
Jun Tani
Report from the NSF Workshop on Workflow and Process Automation in Information Systems
1996-11-15
Atmospheric energetics in the wavelet domain III: Instantaneous transfers between block and local eddies
1999-08-13
E Fournier
Multicast Group Behavior in the Internet's Multicast Backbone MBone
1999-11-05
Initial Findings from the W-2 Child Support Demonstration Evaluation
1999-09-22
R²-Irreducible Universal Covering Spaces Of P²-Irreducible Open 3-Manifolds
1998-09-28
Robert Myers
Limit-quasi-periodic Point Sets as Quasicrystals With P-Adic Internal Spaces
1999-11-08
Music in Time-Based Hypermedia
1995-04-28
New Nonlinear Multigrid Analysis
1997-06-05
Dexuan Xie
Congestion Control Through Input Rate Regulation
1995-12-31
Acceleration Of Lead Ions In The Cern Ps Booster And The Cern Ps
1998-03-04
Software Configuration Management in an Object Oriented Database
1999-12-04
On the Role of Rouché's Theorem in Queueing Analysis
1995-08-16
Self-Scaling Parallel Quasi-Newton Methods
1999-06-03
_____________________________________________________________________ Effective Date
1998-02-16
Protecting Ownership Rights Of A Lossless Image Coder Through Hierarchical Watermarking
1970-01-01
Compact Model Specification of RF MOSFET with DC and AC Evaluations
1999-09-24
The Variable Selection Problem
1999-11-01
Edward I. George
Patterns of Protein-Fold Usage in Eight Microbial Genomes: A Comprehensive Structural Census
1999-03-10
Mark Gerstein
Strengthening Visual Skills by Recognising Rendering Algorithms
1999-08-19
Rosalee Wolfe
Pseudo-IP: Providing a Thin Network Layer Protocol for Semi-Intelligent Wireless Devices
1998-09-23
IPS Working Paper No. 2 The Japanese Economy and Economic Policy in Light of the East Asian Financial Crisis
1999-01-07
Ramkishen S. Rajan
Efficient Resumption of Interrupted Warehouse Loads
1999-10-18
Stipulating Versus Discovering Representations
1999-11-09
Nil and None considered Null and Void
1996-09-13
Thomas Kuhne
Quick Prototyping of Flip Chip Assembly with MEMS
1999-09-02
Invariance Signatures: Characterizing contours by their departures from invariance
1999-11-10
Designing Conversational Interfaces With Multimodal Interaction
1998-04-03
On the Size and Number of Regional Integration Arrangements: A Political Economy Model
1999-05-17
Soamiely Andriamananjara
Www Access To Astronomical Archives And Databases
1995-04-02
Business Process Modeling and Design: AI Models and Methodology
1999-04-02
Quantified Relations: A Class of Predicate Logic Design Constraints among. . .
1998-02-12
Issues in Inductive Learning of Domain-Specific Text Extraction Rules
1999-10-12
Transformed Component Analysis: Joint Estimation of Spatial Transformations and Image Components
1999-11-12
The Program Optimization Spectrum
1999-01-22
Rastislav Bodik
Balboa: A Framework for Event-Based Process Data Analysis
1998-06-18
Procurement in the Internet Age - Current Practices and Emerging Trends Results From a Field Study
1999-06-23
A Macdonald Vertex Operator and Standard Tableaux Statistics for the Two-Column q,t-Kostka Coefficients
1998-11-09
Mike Zabrocki
Improving Goldschmidt Division, Square Root and Square Root Reciprocal
1999-09-08
CAPTools Project: Evaluation and Application of the Computer Aided Parallelisation Tools
1999-10-08
A Distributed User Adaptive Neuro-Fuzzy Controller Application for Home Automation DUANCA
1998-05-14
Gregory M. Werner and Peter M. Todd
1999-07-26
High-Performance Distributed Objects over System Area Networks
1999-06-01
Transcribing Multilingual Broadcast News Using Hypothesis Driven Lexical Adaptation
1998-04-03
Feature-Based Reverse Engineering of Mechanical Parts
1999-01-13
Design of Advanced Atmospheric Water Vapor Differential Absorption Lidar DIAL Detection System
1999-07-12
Homoclinic Bifurcations for the Hénon Map
1998-11-22
Evolutionary Branching and Sympatric Speciation in Diploid Populations.
1999-11-02
TOP500 Supercomputer Sites
1995-07-19
Fast, Exact Synthesis of Gaussian and nonGaussian Long-Range-Dependent Processes
1999-10-27
Analysis Of Optical Stochastic Cooling Including Transverse Effects
1998-03-04
Highway Investment and Rural Economic Development: An Annotated Bibliography
1999-05-07
On Factors of 4-Connected Claw-Free Graphs
1999-09-28
A Defensive Approach to Certifying COTS Software
1999-03-16
Jerey Voas
Mixed Consistency: A Model for Parallel Programming
1995-08-02
WDM Burst Switching for Petabit Data Networks
1999-10-22
Jonathan S. Turner
Spark Location In Rf Cavities
1998-03-04
Contour Integration Based on Synchronization Mediated by Self-Organized Lateral Connections
1999-11-10
Attendance
1998-07-29
Piezoelectric Control Of Linear Viscoelastic Composite Columns -- Creep Buckling And Delamination
1999-03-09
General Algorithms for Permutations in Equational Inference
1998-05-11
Complete Scene Structure from Four Point Correspondences
1999-11-02
Gamma Ray Sources Based On Resonant Backscattering Of Laser Beams With Relativistic Heavy Ion Beams
1998-03-04
Kwang-je Kim
Spatio-temporal representation and reasoning based on RCC-8
1999-10-21
Reduced Sigma Point Filters for the Propagation of Means and Covariances Through Nonlinear Transformations
1999-03-09
Simon J. Julier
Language Based State Saving Extensions For Optimistic Parallel Simulation
1996-05-27
Evolution of Optimal Projection Axes OPA for Face Recognition
1999-08-17
Nonlinear Wavelet Transforms For Image Coding Via Lifting
1999-09-22
Avoiding the Braess Paradox in Noncooperative Networks
1999-03-04
Using spatial Co-location for Coordination in Ubiquitous Computing Environments
1999-09-25
Michael Beigl
What Inductive Bias Gives Good Neural Network Training Performance?
1999-11-25
A simple algorithm for constructing Szemerédi's Regularity Partition
1999-03-22
Ravi Kannan
Organization, Communication, And Control In The Galaxy-Ii Conversational System
1999-09-19
Coordinating Planning Activity and Information Flow in a Distributed Planning System
1999-11-03
Intelligent Signal Estimation Using Cosine Neural Networks with Variable Structure Systems Based Training Procedure
1999-09-19
Packet Routing via Min-Cost Circuit Routing
1996-04-15
A High Duty Factor Electron Linac for FEL*
1998-03-04
High-Performance Bit-Serial Datapath Implementation for Large-Scale Configurable Systems
1996-09-06
Equivalence Between And Multigrid Algorithms For Mixed And Nonconforming Methods For Second Order Elliptic Problems
1994-12-23
Zhangxin Chen
Using Permutations in Regenerative Simulations to Reduce Variance
1997-11-14
Semi-Explicit First-Class Polymorphism for ML
1999-10-07
Jacques Garrigue
A Design and Implementation of High Speed Routing Chips Using FPGA
1999-10-06
A Counterpart Of H Older's Inequality
1996-07-02
A STRENGTHENED SDP RELAXATION via a SECOND LIFTING for the MAX-CUT PROBLEM
1999-07-23
The Role Of Space Charge In The Performance Of The Bunching System For The Atlas Positive Ion Injector
1998-03-04
Packing, Tiling, Ortho
1999-03-20
Mihail N. Kolountzakis
A Generalized Multigrid Theory in the Style of Standard Iterative Methods
1993-07-04
Craig C. Douglas
RAMP: Rules Abstraction for Modeling and Prediction
1999-09-10
Descendants In Heap Ordered Trees Or A Triumph Of Computer Algebra
1998-08-17
Helmut Prodinger
Differential Algebraic Description of Beam Dynamics to Very High Orders
1997-11-09
M. Berz
An Examination of Probabilistic Value-Ordering Heuristics
1999-10-27
Earnings Management to Exceed Thresholds
1999-01-28
Ununfoldable Polyhedra with Triangular Faces
1999-10-14
Explaining Type Errors in Polymorphic Languages
1995-09-10
Transmutation of Nuclear Materials Can Be Carried Out By Thermal Neutron Capture Reactions, By Spallation Type Reactions Or Via Photonuclear Reactions Caused By High-Energy
1998-03-04
A Useable Collection Framework for Java
1998-07-08
Objective Quality Estimation for Digital Images and Video Streams
1999-10-19
Prediction Based Task Scheduling in Distributed Computing
1997-05-13
First-Order System Least Squares For Second-Order Partial Differential Equations: Part Ii
1995-04-24
Zhiqiang Cai
Gunther Gorz, Marcus Kesseler, Jorg Spilker, Hans Weber
1997-02-20
Automatic I/O Prefetching for Out-of-Core Applications
1998-07-10
Angela K. Demke
Masking Microdata Files
1997-08-25
Final Report
1997-11-28
On Completions of Semantic Domains
1998-12-09
Markus Roggenbach
More Statistics on Permutation Pairs
1998-07-21
Increased Flexibility and Robustness of Mars Rovers
1999-06-17
System Support for Automatic Profiling and Optimization
1997-12-11
Jang Ho Lee
1999-10-05
Logic-Based Semantic Query Optimization for Object Databases
1970-01-01
A Type-Theoretic Memory Model for Verification of Sequential Java Programs
1999-11-25
Proving Computational Ability
1995-12-10
How to Solve any Protocol Problem -- An Efficiency Improvement
1997-06-24
Diagrams in the Mind?
1998-07-22
Kolmogorov Complexity and the Second Incompleteness Theorem
1999-07-27
Makoto Kikuchi
Application of Bezier Functions to the Post-Processing Enhancement of Decompressed Images
1970-01-01
An Axiomatic Semantics for VDM++: OO Aspects
1997-01-23
Peepholes: Low Cost Awareness of One's Community
1998-05-24
Saul Greenberg
Recognition Using Region Correspondences
1995-12-03
The Mod 2 Cohomology of the Linear Groups Over the Ring of Integers
1998-12-20
Algebraic Settings for the Problem "P
1996-04-20
Dr. Factorytm And Cause-Mic: A Manufacturing Consultant Assistant And Its Modular Bayesian Belief Network Development And Execution Environment
1999-03-08
Sur Le Dénombrement Des Solutions D'un Système Linéaire En Nombres Entiers Paramétrique
1996-11-08
REQUEST FOR PROPOSAL: RFP-270 This proposal consists of this cover sheet.
1999-03-08
A Practical Application of Simulated Annealing to Clustering
1993-03-22
The Bloch-Kato Conjecture And A Theorem Of Suslin-Voevodsky
1998-12-20
Thomas Geisser
Low Power Data Format Converter Design Using Semi-Static Register Allocation
1995-07-21
Program Analysis with Presburger Integer Formulae
1999-10-01
Josh Macdonald
On the Security of some Variants of the RSA Signature Scheme
1998-12-18
Recent Trends in Networking Recent Trends in Networking Including ATM and Its Traffic Including ATM and Its Traffic Management and QoS Management and QoS
1998-12-14
Raj Jain
Data Management for Mobile Computing
1998-08-31
Evaggelia Pitoura
Counting with Automata
1999-02-01
An Efficient Output-Sensitive Hidden-Surface Removal Algorithm for Polyhedral Terrains
1999-09-21
John H. Reif
Graph Grammar Engineering with PROGRES
1998-11-03
Using Simulation for Assessing the Real Impact of Test Coverage on Defect Coverage
1999-11-10
An Overview of the MIZAR Project
1994-10-24
Piotr Rudnicki
Exploiting Program Semantics for Efficient Instrumentation of Distributed Event Recognitions
1996-08-21
Entire Homology Of Noncommutative De Rham Currents
1998-12-20
Estimating Uncaught Exceptions in Standard ML Programs from Type-based Equations
1996-06-17
Kwangkeun Yi
Rectilinear and Polygonal p-Piercing and p-Center Problems
1996-03-16
Securing the Border Gateway Routing Protocol
1999-08-24
HyperChromatic trees: a fine-grained approach to distributed algorithms on RedBlack trees
1999-01-27
Monte-Carlo Methods
1999-11-17
Designing Memory Consistency Models For Shared-Memory Multiprocessors
1993-12-16
Algebraic Geometric Codes Over Rings
1999-02-08
Judy L. Walker
Branching Bisimilarity is an Equivalence Indeed!
1999-08-20
Twan Basten
On the Integration of Functional Programming, Class-Based Object-Oriented Programming, and Multi-Methods
1999-11-24
Parametric Polymorphism in a Type-Safe, Object-Oriented Programming Language
1997-07-08
Angela Marie Schuett
Goal Oriented Dynamic Buffer Pool Management for Data Base Systems
1995-11-15
Bibliography
1999-11-17
Adh Emar
On Equators in Asynchronous Name-passing Calculi without Matching Extended Abstract
1999-09-16
Synthesizing Controllers for Hybrid Systems
1997-07-07
Deepak Kapur
Automatic Memory Layout Transformations to Optimize Spatial Locality in Parameterized Loop Nests
1999-10-20
Benot Meister
Evaluation of the On-Line Testing Features of a Fail-Safe Railway Control System
1970-01-01
The asymptotic determinant of the discrete Laplacian
1999-10-21
Richard Kenyon
Space Covering By Growing Rays
1999-03-18
P. L. Krapivsky
History of UtiLisp Hacking
1997-02-04
Eiiti Wada
On the Complexity of the Discrete Fourier Transform and Related Linear Transforms Extended Abstract
1999-11-16
Hartog's Phenomenon For Polyregular Functions And Projective Dimension Of Related Modules Over A Polynomial Ring
1996-04-18
Ian Wright
1997-01-13
Ian Wright
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
1998-11-13
Peter D. Mosses
Exponential time analysis of confluent and boundary eNCE graph languages
1997-09-23
K. Skodinis
PVM : A Framework for Parallel Distributed
1970-01-01
V. S. Sunderam
Flight Trials of the Wide-Area Augmentation System WAAS
1999-08-25
Transmogrifier C
1998-10-22
Quantum Mechanics on S n and Meron Solution
1999-05-11
"Observations of X-ray Counterparts to Gamma-ray Bursts in RXTE's All-Sky Monitor"
1997-10-27
Donald A. Smith
Some Aspects Of Streamwise Vortex Production Using Air Jets
1998-09-08
A Note on the Connectivity of Acyclic Orientation Graphs
1997-10-20
Instruction-Level Parallelism for Reconfigurable Computing
1998-10-21
Adaptive Changes Monitoring Service in Web Repositories Based on Agent Games
1999-11-04
A Software And Data Library For Experiments, Simulations, And Archiving: Narrative
1999-04-23
A Web-lab Library
Discrete-Time Priority Queues With Two-State Markov Modulated Arrivals
1995-12-31
A Framework for Defining Distances Between First-Order Logic Objects
1998-09-29
More on Nonregular PDL: Finite Models and Fibonacci-Like Programs
1998-02-17
David Harel
Constraint-based Frame Model for Workflow Management Systems
1999-10-26
Ulrich John
A Note on Knödel Graphs
1998-03-25
Nonreflecting Boundary Conditions For Maxwell's Equations
1997-10-07
The Higher K-Theory Of A Complex Surface
1999-02-05
Physical Security and Tamper-Indicating Devices
1999-01-15
Asteroidal Triple-Free Graphs
1998-01-31
Barrier Inference
1999-09-08
Alexander Aiken
Implementing Proxy Objects in a Reflective ORB
1997-05-15
Thomas Ledoux
Brownian Motion In A Brownian Crack
1999-06-16
Steps Towards Mechanizing Program Transformations Using PVS
1998-09-29
Natarajan Shankar
Integrated Semantics for Information and Communication Systems
1995-02-14
Compiling the HAL variable to Mercury
1999-10-11
Quantum Gates and Circuits
1997-10-02
Pearl's Algorithm and Multiplexer Nodes
1999-10-30
Kevin Murphy
Default Finite State Machines And Finite State Phonology
1999-04-07
Ornl/tm-13254
1997-01-06
A Unified Approach For Indexed and Non-Indexed Spatial Joins
1999-07-23
Estimating Spectral Reflectances of Digital Artwork
1999-09-14
Unknown
1999-09-23
Robert C. Allen
Departments Of Mathematics
1999-01-18
MISPC Minimum Interoperability Specification for PKI Components, Version 1
1998-02-09
NIST Special Database 18
1998-08-04
C. I. Watson
A General Practical Approach to Pattern Matching over Ziv-Lempel Compressed Text
1998-10-21
Gonzalo Navarro
Object-Oriented Constructs and Partial Differential Equations in a Continuous Simulation Language
1999-07-19
Experiences with the Hector Multiprocessor
1992-11-23
Communicators: Object-Based Multiparty Interactions for Parallel Programming
1996-11-12
Dror G. Feitelson
Noncoherent Communication in Space and Time
1999-09-15
Frame Based User-ToNetwork Interface FUNI Specification v2.0 AF-SAA-0088.000 July, 1997
1997-08-28
Performance of Mobile Radio Cellular Systems with Power Control and Diversity, in the Presence of Ricean Fading and Log-Normal Shadowing
1996-06-21
Michele Zorzi
Likelihood Centered Asymptotic Model Exponential And Location Model Versions
1999-12-01
Adaptable and Extensible Distributed Virtual Memory in the
1997-06-30
Amarillo National Resource Center for Plutonium
1999-03-15
Time-Optimal Digital Geometry Algorithms onMeshes with Multiple Broadcasting
1998-02-04
Experiments with a Layered Transmission Scheme over the Internet
1997-11-10
Bounded Query Classes and the Difference Hierarchy
1995-01-05
An Explicit Fourth-Order Compact Finite Difference Scheme for Three Dimensional Convection-Diffusion Equation
1998-07-16
Jun Zhang
Evolutionary Design of Neural Architectures
1996-02-02
Clohessy - Wiltshire Analysis
1998-10-23
Eugene M. Cli
Isotropy of 6-Dimensional Quadratic Forms over Function Fields of Quadrics
1999-03-20
An Efficient Parallel Algorithm for Mesh Smoothing
1997-11-30
Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm
1996-07-23
Combining Functional and Performance Debugging of Parallel and Distributed Systems Based on Model-driven Monitoring
1993-10-25
P. Dauphin
Design and Evaluation of Data Allocation Algorithms for Distributed Multimedia Database Systems
1998-09-11
Virtual Navigation of Complex Scenes using Clusters of Cylindrical Panoramic Images
1998-01-27
Amr Sabry
1997-09-23
Cloud Mask for the MODIS Airborne Simulator MAS: Preparation for MODIS
1998-09-03
A 143 Millisecond Radio Pulsar In The Supernova Remnant S147
1996-10-05
An Execution Profiler for Window-oriented Applications
1992-06-18
Databases with Deadline and Contingency Constraints
1999-09-17
A Study of Three Alternative Workstation-Server Architectures for Object Oriented Database Systems
1992-10-29
An Algorithm for Computing an Integral Basis in an Algebraic Function Field
1995-04-06
Mark Van Hoeij
Two layers Multi-Agent based Dynamic Request Allocation Strategies in Global Information Systems
1999-07-01
A preprocessing system of the EULASH: an environment for efficient use of multiprocessors with local memory
1999-03-19
Performance Comparison of LMS and PGM using Simulation
1998-08-13
Intelligent Data Analysis: Issues and Opportunities
1999-08-19
David J. Hand
Characterizing Parallel File-access Patterns on a Large-scale Multiprocessor
1970-01-01
Evaluating Blocking Probability in Generalized Connectors
1997-03-21
Ellen Witte Zegura
Magnetic Shear-Flow Instability in Thin Accretion Disks
1999-03-19
A Framework for Partitionable Membership Service
1996-08-19