Bayesian Inversion Of Boundary Value Data
2001-03-22
Geo Nicholls
Holon - Like Approach for Robotic Soccer
2000-05-04
Forms, Boards and Bleepers media and mobility in accident and emergency
2001-10-30
Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method
2001-12-10
Recovery Proxy for Wireless Applications
2001-11-06
From Falsification to Verification
2001-05-31
Estimating End-to-End Cell Delay Variation in ATM Networks
2001-02-27
Quality of Service in Bluetooth Networking - Part I
2001-03-16
Virtual Method Resolution with Typed Alias Graphs
2001-01-17
Modelling Objects Having Quadric Surfaces Incorporating Geometric Constraints
1999-03-18
A C++ Transformation Framework
2000-11-02
ES3852/ Monetary Theory and Policy
2001-02-28
ATMS Evaluation Procedures
1998-09-08
An example of Real-Time Group Communication System
2001-06-14
An Operational Semantics for Timed RAISE
2000-07-11
The Partitioning of the Poleward Energy Transport Between the Tropical Ocean and Atmosphere
2000-09-02
Isaac M. Held
Multi-Method Research: An Empirical Investigation of Object-Oriented Technology
2000-10-03
Design and Evaluation of MiMaze, a Multi-Player Game on the Internet
2001-03-30
The Interleaved Multichromatic Number of a Graph
2001-12-17
Valmir C. Barbosa
II. The immune system defends the body against specific invaders:
1999-11-04
Explicit M/G/1 Waiting-Time Distributions For A Class Of Long-Tail Service-Time Distributions
2000-07-07
Ward Whitt
Cooperative Computing for Distributed Embedded Systems
2001-11-16
Performance Estimation of Embedded Software with Pipeline and Cache Hazard Modeling
1999-06-07
Services for Modeling Metasystem Performance using Queueing Network Models
2000-10-26
Efficient Implementation of Adaptive Software
1994-11-27
Comments on Approximation Capability in CRn by Multilayer Feedforward Networks and Related Problems
1999-03-19
The eXtended Least Number Heuristic
2001-11-13
Algorithms for Matrix Groups and the Tits Alternative
2000-03-16
Robert Beals
Distributed and Collaborative Volume Visualization
2001-02-07
Maximum Number of Different Distance Counts
2000-12-07
Dealing with One-Timer-Documents in Web Caching
1998-08-20
The Dying Fibonacci Tree
1999-10-28
Bernhard Gittenberger
Deforestation of Functional Programs through Type Inference
2000-07-13
ISABEL Experimental Distributed Multimedia Application Experiments over Broadband Networks
1997-04-08
High Strong Order Explicit Runge-Kutta Methods for Stochastic Ordinary Differential Equations by K. Burrage and P. M. Burrage
1996-09-16
Accounting: Continuity and Transition
2001-05-30
QuickXPlain: Conflict Detection for Arbitrary Constraint Propagation Algorithms
2001-08-31
Ulrich Junker
When Is More Not Better?
2001-01-12
Karen T. Sutherland
Development of Web Interface of Image Analysis System DDGEL for 2D Gel Electrophoresis
1998-11-19
Vehicle Routing with Time Windows -- Finding optimal solutions efficiently
1999-09-15
Jesper Larsen
Perturbed Turing Machines and Hybrid Systems
2001-06-08
Experimental Model-Based Control Design Using Multibody Codes
2000-08-19
Internet Traffic Modeling: Markovian Approach to Self-Similar Traffic and Prediction of Loss Probability for Finite Queues
2001-08-20
An Extensible Index for Spatial Databases
2001-04-27
Response to the Letter by Li and Cao
2000-11-09
A Parallel Unrestricted Depth Search Algorithm
2001-11-05
Invariant Features and the Registration of Rigid Bodies
1999-12-17
A Real-Time Head Nod and Shake Detector
2001-12-05
Cuppu Et Al: High-Performance Drams In Workstation Environments 1
2001-10-10
The modularity of the Barth-Nieto quintic and its relatives
2000-10-06
Elementary Derivations Of Identities For Bilateral Basic Hypergeometric Series
2001-04-05
Michael Schlosser
The Sensitivity of Quantile Estimates to the Distribution Shape
2000-08-15
An Overview of the Visual Optimization Tools in JPEG 2000
2001-11-06
Answer Extraction Using A Dependency Grammar In Extrans
2001-06-14
Curriculum Vitæ
1999-12-30
Using a Text Planner to Model the Behavior
1996-10-14
Reva Freedman
GRALPLA Translator Internal Report
2000-04-18
Building XML Query Forms and Reports with XQForms
2001-12-03
A Cutting Plane Approach for the Single-Product Assembly System Design Problem
2000-11-01
Database Case Tool Architecture : Principles For Flexible Design Strategies
1996-04-18
Climate Change Mitigation: Case Studies from the Czech Republic
1998-03-27
On Ringel duality for Schur algebras
2001-01-25
A Fast, Accurate Method To Segment And Retrieve Object Contours In Real Images
1999-07-13
New Methods for Studying Global Virtual Teams: Towards a Multi-Faceted Approach
2001-01-19
ORB Portability Joint Submission Final, Part 1 of 2, orbos/97-05-15
1997-10-17
Towards Multiscale Dynamic Data Reconciliation
2000-09-14
Veri cation of Erlang Processes by Dependency Pairs
2001-06-25
Generation of Virtual Reality Environments using Expert Systems
2001-03-05
Segmented Cardiac Volume Reconstruction - A Novel . . .
2001-04-09
3-D ICs: Motivation, Performance Analysis, and Technology
2001-04-11
Economic Dispatch: Applying Interval-Based Dependency Analysis to an Electric Power Problem
2001-10-05
Truncation Strategies For Optimal Krylov Subspace Methods
1999-04-28
Flip Zooming: An Alternative to DistortionBased Focus+Context Views
2001-09-16
Lars Erik Holmquist
Granularity of Constraint-based Analysis for Java
2001-07-05
Building Secure Data Warehouse Schemas from Federated Information Systems
2001-11-16
Specification and Verification with References
2001-10-01
Sign-Balanced Posets
2000-02-11
A Modular Software Architecture for Real-Time Video Processing
2001-06-26
Internal Program Extraction in the Calculus of Inductive Constructions
2001-10-08
Paula Severi
Search Pathways for Secondary Metabolites Based on Genome Analysis and Chemical Knowledge on Metabolism
1998-11-12
Accurate Mobile Robot Dead-reckoning With a Precision-calibrated Fiber Optic Gyroscope
2001-04-27
Observation Of The Radio Source / X-Ray Gas Interaction In The Cooling Flow Cluster Abell 2052
2001-07-13
On the Security of Homage Group Authentication Protocol
2001-08-03
Interactive Video Streaming with Proxy Servers
2001-12-04
Extinction Eect of Parasites on Host Populations
2001-11-01
ArchitecturalSupport for Parallel Reductions in Scalable Shared-Memory Multiprocessors
2001-08-02
TransparentCommunication Management in Wireless Networks
2001-08-01
David Angus Kidston
Sampling Plausible Solutions to Multi-body Constraint Problems
2001-07-18
Selecting The Best System: A Decision-Theoretic Approach
2000-04-21
Stephen E. Chick
Abelian Groups With Contractions II: Weak O-Minimality
1998-02-28
Franz--viktor Kuhlmann
Chapter 6 The Organization of World Trade
2001-03-27
Natural Equivalences From Lattice Quasiorders To Involution Lattices Of Congruences
1999-12-14
Efficiency Of Time Segmentation Parallel Simulation Of Queueing Networks As A Function Of The Size Of The Network
2000-04-21
From States to Histories Relating State and History Views onto Systems
2001-12-05
Manfred Broy
Reading Between the Lines: Lessons from the SDMI Challenge
2001-08-15
External Memory Data Structures
2001-08-13
Lars Arge
Sideshow: Providing Peripheral Awareness of Important Information
2001-09-17
T10 Draft Project 1246D
1999-02-24
Sliced Configuration Spaces for Curved Planar Bodies
2001-02-07
Permutation Rewriting and Algorithmic Verification
2001-05-03
Nurture, Nature, Structure a Computational Approach to Learning
2001-10-17
Bas Rokers
The Context-Based Constraint Language CCL for Components
2001-12-12
Motivation, Knowledge Transfer, and Organizational Forms
2000-12-06
A Responsiveness Approach for Scheduling Fault Recovery in Real-Time Systems
1999-05-12
Satisfiability of Systems of Equations over Finite Monoids
2000-12-09
DIME - Distributed Irregular Mesh Environment
1997-12-31
Roy Williams
Highlighting pipelines offshore Norway: visualization and quantitative analysis
2001-10-17
A Minimally Informative Likelihood for Decision Analysis: Robustness and Illustration
2001-09-06
A Thread Taxonomy for MPI
1996-09-22
Augmenting the Workaday World with Elvin
2001-10-13
Combined Body Plethysmographic, Spirometric and Flow Volume Reference Values for Male and Female Children Obtained From Hospital Normals Aged 6 to 16 Years
2000-09-25
The Neutral Hydrogen Distribution In Luminous Infrared Galaxies
1995-11-04
Ftp.ecma.ch,
1998-12-06
Conformance and Mirroring for Timed System
2001-02-02
Bridging the Gap:
2001-03-12
Thomas J. Thompson
The Role of Destination, Gender, and Household Composition in Explaining Remittances: An Analysis for the Dominican Sierra
2000-09-16
Adding Time to Functional Logic Programs Extended Abstract
2001-07-16
Rachid Echahed
Combining Global Code and Data Compaction
2001-04-17
How to Write an IMVIP 2001 Paper
2001-11-14
A. N. Authortwo
Prological Language Processing
2001-05-17
For Research
2001-12-18
David Benyon
Early Practise and Integration - The Key to Teaching Difficult Subjects
1999-10-01
C Johansson
An Evolutionary Approach to Fitting Constrained Degenerate Second Order Surfaces
1999-01-20
A Maximum Entropy Approach to Text Summarization
2001-09-17
Louisa Ferrier
Automatic Pitch Contour Stylization Using a Model of Tonal Perception.
1999-02-22
Piet Mertens
Warping Techniques for Light Fields
2000-06-06
Hartmut Schirmacher
YAL2A: Yet Another LTL to Automata translator
2000-09-11
It Is A Far, Far Better Mean I Find...
2000-04-21
Susan M. Sanchez
Quantum Mechanics of Neutrino Oscillations - Hand Waving for Pedestrians
1998-12-08
Harry J. Lipkin
Application Support Architecture for a High-Performance, Programmable Secure Coprocessor
2000-05-25
On the Propagation of Long-Range Dependence in the Internet
2000-09-14
What is the Limit of Energy Saving by Dynamic Voltage Scaling?
2001-09-04
Typing Concurrent Objects and Actors
2000-10-18
Palm Game Design
2001-10-22
Pieter Spronck
SAGE and Its Application to Inter-company EC
2000-10-15
A Cross-Decomposition Scheme for Two-Stage Stochastic Linear Programming
2001-01-05
Dennis L. Bricker
Scalable Proxy Caching of Video under Storage Constraints
2001-05-13
The Case for Streaming Multimedia with TCP
2001-03-06
Weld: A Multithreading Technique Towards Latency-tolerant VLIW Processors
2001-08-13
MOOSE Crossing: Construction, Community, and Learning in a Networked Virtual World for Kids
1998-10-13
Design of a PLC Control Program for a Batch Plant - VHS Case Study 1
2001-06-05
Inga Sitzmann Peter Stuckey
2000-08-17
Combining Inclusion Polymorphism and Parametric Polymorphism
2001-02-09
Proofs of Distributed Algorithms: An Exercise
1999-04-27
A Computer-Aided Design Environment for . . .
2001-08-24
Dynamic Schedule Management: Lessons from the Air Campaign Planning Domain
2001-12-13
Fast Recovery of MPLS Paths
2001-06-23
Optimized Design of Ring-Mesh Hybrid Networks
2001-03-19
On the Verification of Coordination
2001-01-18
ANSI An Inductive Method for Software Process Improvement: Concrete Steps and Guidelines*
1999-04-03
An Exact Method for Analysis of Value-based Array Data Dependences
2001-02-27
Pseudorandom generators without the XOR Lemma
2001-05-15
Speaker Independent Audio-Visual Database For Bimodal ASR
2001-07-09
Algorithm for Drawing Fundamental Domains.
2001-02-05
H. A. Verrill
Probing the universe via an intercontinental cluster of T3Es
2000-06-05
Relevance of Molecular Similarities based on the Maximum Common Substructure
2001-07-10
The Parallel Complexity of Growth Models
1999-06-04
RDF model revisited -- or: how to make the most out of Reifications and Containers
2001-05-31
Prey Capture in the Weakly Electric Fish Apteronotus Albifrons: sensory acquisition strategies and electrosensory consequences
2001-09-19
An innovative Local Area Network architecture for native multimedia support
2001-04-20
.0 Executive Summary
2001-01-20
On a Ramsey-type problem
2001-08-15
Electronic Submission, Managing and Approval of Grant Proposals at the German Research Foundation based on Standard Internet and Office Tools
1999-09-10
Evaluation of Toxic Effects of Aeration and Trichloroethylene Oxidation on Methanotrophic Bacteria Grown with Different Nitrogen Sources
2001-02-13
A Comprehensive Framework For Testing Graphical User Interfaces
2001-11-28
Multiple Vehicle Detection and Tracking in Hard Real Time
2001-02-27
The AUC Robot Camera Head
1995-10-05
Henrik I. Christensen
Minimum-weight codewords as generators of generalized Reed-Muller codes
2000-08-24
The Design of the FALCON Framework for Application Level Communication Optimization
1997-01-15
On Low Frequency of CpG Dinucleotides in Bacterial Genomes
1998-11-19
Compiler Optimizations for Eliminating Cache Conflict Misses
2001-02-27
Encoding Nondeterministic Nite-State Tree Automata in Sigmoid Recursive Neural Networks
2001-11-05
Fast Switching Phase Correction Revisited for 64 12 m Antennas
2001-06-07
M. A. Holdaway
Superintegrability on the Two Dimensional Hyperboloid
2001-12-11
Soft Constraints Mirror Hard Constraints: Voice and Person in English and Lummi
2001-10-18
Accelerating Adobe Photoshop with Reconfigurable Logic
2001-04-12
K-Step Iterative Methods For Nonsymmetric Systems Of Linear Equations
2001-12-18
Self-maintained Folder Hierarchies as Document Repositories
2000-12-14
Approximate Association Rule Mining
2001-08-28
A Secure Human-Computer Authentication Scheme
2000-05-23
Manuel Blum
Mutually Destructive Bidding: The FCC Auction Design Problem
1999-06-21
Reengineering Object-Oriented Applications
2001-07-16
VHDL-based Fault Injection with VERIFY
2001-12-10
Lower Bagdomain As A Glueing
1999-09-17
A Model for Recursive-Parallel Programs
1999-09-06
A Computational Approach for the Ramsey Numbers RC_4,K_n
2001-07-07
Techniques for Specialized Search Engines
2001-05-07
Robert Steele
Parameter Embedding Methods for Finding DC Operating Points: Formulation and Implementation
2001-10-19
On Some Uniformity of Distribution Properties of ESIGN
2000-10-29
Real-World Modeling in UML
2001-02-27
Jakob Axelsson
Optimisation Of Distributed Exchange Control Systems
1999-02-25
Generic Description, Behavior and Animation of Visual Modeling Languages
2000-01-31
Manufacturing-Operation Planning Versus AI Planning
2001-02-27
PersonalRAID: Mobile Storage for Distributed and Disconnected Computers
2001-09-04
Effective Notification Systems Depend on User Trust
2001-02-13
Higher-Order and Reflexive Action Calculi: Their Type Theory and Models
2000-11-15
Masahito Hasegawa
An Upper Bound on Bit Error Rate for Concatenated Convolutional Code
1999-02-04
Unknown
2001-07-18
On a Machine Scheduling Problem Solving
2001-02-13
Yuri V. Orekhov
Building a High-Performance, Programmable Secure Coprocessor
2000-05-25
Gyrodometry: A New Method for Combining Data from Gyros and Odom etry in Mobile Robots
1996-06-27
The iRRAM: Exact Arithmetic in C++
2000-08-22
Generalized Context-Free Grammars
2000-11-14
AMUDP: Active Messages Over UDP
2000-12-18
Cool Star Chromospheres and the Sun
2001-03-30
Inverse Spectral Analysis With Partial Information On The Potential, III. Updating Boundary Conditions
1998-01-06
Dynamic Cluster Configuration and Management using JavaSpaces
2001-05-25
Improving Data Cleaning Quality using a Data Lineage Facility
2001-06-29
A Proof of the Full Shimura-Taniyama-Weil Conjecture Is Announced
2001-07-17
Analysis of the Postnatal Growth of Visual Cortex
2001-08-13
Demonstration of Speed and Power Enhancements through Application of Non-Zero Clock Skew Scheduling
2001-02-14
Ice Columns And Frozen Rills In A Warm Snowpack, Green Lakes Valley, Colorado, Usa
2000-10-17
Constructing Adaptive Software in Distributed Systems
2001-07-19
Multidimensional Optimization in Image Reconstruction From Projections
1999-05-11
22. This increase in the fitness of
1999-06-17
A Simple Algorithmically Reasoned Characterization of Wait-free Computations
1996-07-11
Adaptive Mesh Refinement: A Wavelet Point Of View
2001-12-18
TOF-SIMS in Cosmochemistry
2000-04-26
Allocation: A New Scheme for Hierarchical Multicast Address Allocation
2001-08-10
Design and Implementation of a Collaborative Virtual Problem-Based Learning Environment
2000-12-15
Detection of Seismic Discontinuities
1999-03-09
Facilitating Rich Acoustical Environments In Virtual Worlds
1999-01-18
Typesetting REDUCE output with T E X --- A REDUCE-T E X-Interface ---
2000-02-17
A Progressive Algorithm For Three Point Transport
2001-09-26
Learn Your Opponent's Strategyin Polynomial Time!
1995-04-25
Existence Verification For Higher Degree Singular Zeros Of Complex Nonlinear Systems
2001-06-13
IPO Work Programme 2000 IPO-1999-02 Date 10/04/00Page 1 of 3
2000-10-04
Object Interconnections
2000-01-24
Components of Instruction Toward a Theoretical Tool for Instructional Design
2001-01-17
M. David Merrill
@...'yyvtT's h...r6tr+vCh P...thv"hv'+Uur@`fy'...hv''s C'i...vqP...thv"hv'+vuvur T'pv'vp+Sr+rh...puQ...'t...h
2001-02-08
Markov Chains
2000-05-01
Obtaining the Maximum of the Minimum Distances in Little Squared Environment between Points in a Square Bounded Region
2001-09-04
List Decoding: Algorithms and Applications
2000-12-24
Exploiting Instruction-Level Parallelism for Memory System Performance
2001-05-29
Towards A Robust Digital Watermark
1999-02-25
High Resolution Simulations of the Plunging Region in a Pseudo-Newtonian Potential: Dependence on Numerical Resolution and Field Topology
2001-09-26
Coevolution in the Computer: The Necessity and Use of Distributed Code Systems
2000-11-29
George Kampis
Using Bayesian Network to aid Negotiations among Agents
2001-01-19
Building Global Surface Models By Purposive and Qualitative Viewpoint Adjustment
2001-01-19
New Tools for Disambiguation of Czech Texts
2000-09-20
Infinitely Many Solutions At a Resonance
2001-04-19
Genetic Sequence Annotation within Biological Databases
1996-12-06
Isabelle Mougenot
Performance Analysis of WWW-Traffic over Multi-Ring DQDB Networks
2001-09-25
A Priority-Based Technique for the Best-Effort Delivery of Stored Video
1999-01-18
A Conservative Approach to the Multiphase Euler Equations without Spurious Pressure Oscillations
2000-05-30
On Deleting Aggregate Objects
2001-04-01
David Clarke
Page Turning - Score Automation for Musicians
2001-12-18
John R. Mcpherson
Constraint Relationship for Reflectional Symmetry and Rotational Symmetry
2001-10-31
Optimal Power Allocation over Fading Channels with Stringent Delay Constraints
2001-09-04
The exact condition of the B-spline basis may be hard to determine
2001-04-10
Solving the Gluon Dyson--Schwinger Equation in the Mandelstam Approximation
1998-12-02
Fast Algorithm for Optimal Error Protection of Embedded Codes
2001-10-23
Mapping Crime in Its Community Setting
2000-07-24
Endpoint Admission Control: Architectural Issues and Performance
2001-11-15
Reviving Global Poverty Reduction:
2000-02-23
Data Generation using Sensitivity Analysis
2001-06-01
Ap Engelbrecht
Mere Exposure: An Unmediated Process
2001-10-09
Tornado: Maximizing Locality and Concurrency in a Shared-Memory Multiprocessor Operating System
1999-04-19
Benjamin Gamsa
A Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs
2001-12-13
Translation, Rotation, and Scale-Invariant Object Recognition
2001-08-17
Modeling Embodied Lexical Development
1998-09-16
K-InCA: Using Artificial Agents for Helping People to Learn New Behaviours
2001-11-08
Phase One Link Evaluation Report Status and Initial Findings
2000-11-27
Privacy in Multimedia Communications: Protecting Users, Not Just Data
2001-08-03
Smooth is Better than Sharp: A Random Mobility Model for Simulation of Wireless Networks
2001-12-07
Christian Bettstetter
Cactus Application: Performance Predictions in Grid Environments
2001-06-14
Size and Dependent in Colors of Asteroids
1999-01-21
A Note on Getting Started with FLBC - Towards a User Guide for FLBC
2001-08-26
Steven Orla Kimbrough
MEMSDesign Fab
2001-09-06
A Bottom-Up Approach for Integration of XML Sources
2001-06-05
The Role of the Architect in Software Development
2001-11-08
Maike Gajewsky Claudia Ermel
2000-01-06
Likelihood Ratio Sensitivity Analysis for Markovian Models of Highly Dependable Systems
2000-09-07
Measuring Visual Shape using Computer Graphics Psychophysics
2000-11-13
On Mobile Robot Localization From Landmark Bearings
2001-11-26
Ilan Shimshoni
Toward a Provably-Correct Implementation of the JVM Bytecode Verifier
2001-07-02
On Dimension in the Cube
2000-09-05
Glenn Hurlbert
What is Chlordane?
2001-07-10
On the Structure of Orthogonal Latin Hypercubes
1998-08-12
Qian Ye
A note on Goodman's theorem
2001-08-21
Ulrich Kohlenbach
Method For Aircraft Icing Diagnosis
2000-08-25
Soft Handoff Modeling In Cdma Cellular Systems
1999-10-06
Fairness and Retaliation: The Economics of Reciprocity
2001-05-02
Multilevel Finite Element Riesz Bases in Sobolev Spaces
1998-10-05
Knee cartilage topography, thickness, and contact areas from MRI: in-vitro calibration and in-vivo measurements
2001-01-02
Interpolating Functions on Lines in 3-Space
2001-03-03
THE IMPRESS PROJECT Assigning Blame to General Clausal Form Theories
2001-09-17
Fast Computation of Concept Lattices Using Data Mining Technics
2001-04-24
MOLEAS: A Module-based Software Framework for Effective Cyber Education
2001-09-01
Hilbert Modular Forms And p-Adic Hodge Theory
2001-04-03
Takeshi Saito
Typing Correspondence Assertions for Communication Protocols
2001-05-16
Andrew D. Gordon
Five Regimes of the Quasi-Cnoidal, Steadily Translating Waves of the Rotation-Modified Korteweg-deVries "Ostrovsky" Equation
2000-08-26
A Novel Cache Distribution Heuristic Algorithm for a Mesh of Caches and Its Performance Evaluation
2001-11-07
Parallel Distributed Systems group
1996-04-10
Aleta Ricciardi
A High-Level Synthesis Tool for the Assignment of Storage Values to Sequential Read-Write Memories
1996-01-02
A New Iterative Method For Systems With Batch Arrivals And Batch Departures
2000-11-29
Note on Nonsymmetric Finite Differences for Maxwell's Equations
2000-11-03
Tobin A. Driscoll
A formal semantics of patterns in XSLT
2001-09-08
Philip Wadler
Note On A Theorem Of Putnam's
1997-02-20
Place, Media and Activity
2001-11-29
Matthew Chalmers
Parallel Low-Level Image Processing on a Distributed-Memory System
2001-03-19
Modelling Reasoning and Acting Agents
1996-05-29
Curriculum 2001 Report-Back
2001-04-26
Philip Machanick
Atmospheric Impact of the 1783-1784 Laki Eruption: Part I Chemistry modelling
2000-10-09
Porting Linear Algebra Subroutines From Transputers To Clusters Of Workstations
2001-03-29
Linear Programming helps solving large multi-unit combinatorial auctions
2001-04-20
Agent Usage Patterns: Bridging the Conceptual Gap Between Agent-Based Applications and Middleware
2000-03-11
The XML Benchmark Project
2001-09-26
Optimal Control of a Deep-Towed Vehicle By Optimization Techniques
1998-06-21
Classifier Instability and Partitioning
2001-07-27
Terry Windeatt
Competitive Concurrent Distributed Queuing
2001-05-07
Average Normalizations of Elliptic Curves
2001-12-06
Electrical Characterization of MOSFET's in Terms of Backscattering Parameters
2000-06-21
Shadows of the Mind
1995-02-25
A Two-Level Approach towards Lean Proof-Checking
1999-03-23
Control Philosophy and Simulation of a Robotic Hand as a Model for Prosthetic Hands
1997-08-19
A direct proof of a theorem of Blaschke and Lebesgue
2001-09-03
Evans M. Harrell Ii
Information Cascades
1999-04-15
A DAG-Based Design Approach for Reconfigurable VLIW Processors
2001-06-05
On Characterizations of the Basic Feasible Functionals, Part I
2001-12-18
Effects of Detail in Wireless Network Simulation
2000-06-20
WR 146 - Observing the OB-type companion
2000-03-07
Marvin: A Tool for Refinement of Logic Programs
2001-07-26
David Hemer
Adaptive EM Clustering
2001-03-09
Wireless ATM
2001-04-27
TCP-friendly Internet Video Streaming employing Variable . . .
2001-08-28
DyDa: Dynamic Data Warehouse Maintenance in a Fully Concurrent Environment
2001-10-09
PSI Team: Planning Method and Main Principles of the Agents Architecture
2001-10-05
Alexander Kozhushkin
Simulation of Rare Events in Communications Networks
2000-02-01
Processor Allocation in Tightly Coupled Multiprocessors
2001-10-17
Jan Pavelka
TCP over Load-Reactive Links
2001-10-02
An Analysis And Critique Of The Bis Proposal On Capital Adequacy And Ratings
2001-01-22
Education Ph.D., Electrical and ComputerEngineering, expected spring 2002
2001-11-19
Xun Su
On Shattering, Splitting and Reaping Partitions
2000-10-30
Development *** THIS IS NOT A FINAL DRAFT ***
2001-07-27
XIG: Generating from Interchange Format using Mixed Representations
1999-07-16
Awareness in Context-Aware Information Systems
2001-03-09
Programming Languages For High Performance Computing
2001-01-22
Volume 1, Issue 2, Article 19, 2000.
2000-10-24
Robust Video Coding Algorithms and Systems
1999-02-08
MARIAN: Flexible Interoperability for Federated Digital Libraries
2001-07-24
Architecture Of The Multi-Modal Organizational Research And Production Heterogeneous Network MORPHnet
2000-09-07
Implementation and Testing of a Firewall
1999-02-24
Jens-peter Kaps
DRAFT A Surfer's Guide to Lisp-Stat
1999-10-31
Academic Self-Documentation: Which Way Forward for Computing, Library and Information Science?
2001-11-09
Dive: An Immersive Environment For Interactive Volume Data Exploration
2001-10-22
Michael Boyles
Representing Time-Dependent Information in Multidimensional XML
2001-12-13
Integrated Coastal Zone Management in Bangladesh
2001-08-14
Hierarchical Computation Of Pl Harmonic Embeddings
2001-04-21
Software Product Lines from Customer to Code
2000-04-19
On the Minimal Cooperative Attitude in Multi-Robotics Systems
2000-10-17
O Ramos
Motion-Disparity Interaction and the Scaling of Stereoscopic Disparity
2001-07-17
Optimizing Queries On Compressed Bitmaps
2000-05-30
Self-focusing in the complex Ginzburg-Landau limit of the critical nonlinear Schrödinger equation
2001-06-21
The Optimal Value of Self-connection
1999-05-15
Dmitry O. Gorodnichy
Scheduling for Parallel Supercomputing: A Historical Perspective of Achievable Utilization
2000-06-26
James Patton Jones
Studies on Oxygenated Fuel Additives: Ethers and Acetals
1999-11-04
XML-Fluent Mobile Agents
2001-10-23
Santiago M. Pericas-geertsen
Verification in the Codesign process by means of LOTOS based model-checking
2001-01-24
Weakly Hard Real-Time Systems
1999-09-01
An Institutionalist Perspective on the Role of the State - Towards an Institutionalist Political Economy
2000-03-27
Computing epsilon-Free NFA from Regular Expressions in On log²n Time
2001-03-09
APOLN: A Partial Parser Of Unrestricted Text
2000-03-31
CO2 CFCs Other CFCs Nitrogen Oxides Methane
1999-02-25
Evolving Human Figure Geometry
2000-08-25
Matthew Lewis
A Two-dimensional Viscous Model of a Wet Paper Forming Process
1999-08-24
Total Solar Eclipse of 2002 December 04
2001-10-26
A Functional Formulation of First-Order Logic "with Infinity" without Bound Variables
1998-02-02
M. Randall Holmes
Incorporating Efficient Operations Research Algorithms in Constraint-Based Scheduling
1998-03-06
Hst High-Resolution Images And Maps Of Pluto
1996-11-06
The Uncertain Fair Wage-Eort Hypothesis and Wage Secrecy
2000-10-27
Li Gan
PICSearch -- A Platform for Image Content-based Searching Algorithms
1998-07-24
An Interactive Program for Determining Junction Depths in Diffused Silicon Devices
2001-05-03
Cooperative Co-evolutionary Algorithm - How to Evaluate a Module ?
2000-05-08
The Violent Environmentof The Shapley Concentration: A Multiwavelength View
2000-09-14
Active Controlled Exploration of 3D Environmental Models Based on a Binocular Stereo System
1999-09-09
Packet-Switched Local Area Networks Using Wavelength-Selective Station Couplers
2000-09-25
Existence and Uniqueness of Density Conserving Solutions to the Coagulation-Fragmentation Equations with Strong Fragmentation
2000-02-11
A low complexity Lie group method on the Stiefel manifold
2001-08-15
Evaluation of a Novel Two-Step Server Selection Metric
2001-10-22
The TERA development group as an interface between mathematicians and computer scientists
2000-09-19
Efficient Numerical Algorithms for Balanced Stochastic Truncation
2001-03-06
Efficient BDD-based Search for Planning
2001-04-23
Competitive Execution of Sequential Programs on a Network of Shared Processors
1996-10-03
Impact of ocean dynamics on the simulation of the Neoproterozoic snowball Earth"
2001-11-19
Digitalization of Otto Encyclopdia
2001-12-10
Dependency Analysis of Recursive Data Structures Using Automatic Groups
1999-12-09
Saturation Curve Formulation of a Pulse Mode Ionization Chamber.
2001-06-28
A Framework for the Classification and Description of Multidimensional Data Models
2001-09-12
Syllabus for Computational Algebraic Geometry
2001-01-02
Susan W. McRoy Songsak Channarukul Syed S. Ali
2001-08-05
An Object Oriented Concept for Elliptic Curves
2000-10-27
Marc Conrad
tranx86 - an Optimising ETC to IA32 Translator
2001-09-19
A Novel PAT-Tree Approach to Chinese Document Clustering
2001-08-07
Stability of the collocation method applied to Volterra Integral equations with delay
2000-09-14
Luise Blank
The Homeomorphism Problem For Countable Topological Spaces
2001-03-24
Su Gao
Building a Text Adventure on Description Logic
2001-08-30
S. Mignemi
1999-05-10
S. Mignemi
Quantifying Knowledge Complexity
1996-07-19
Empirical Evidence for Information Overload In Mass Interaction
2001-02-01
Voice Command II: A DSP Implementation of Robust Speech Recognition in Real-World Noisy Environments
1999-12-30
Modeling and Solving the Cell Suppression Problem for Linearly-Constrained Tabular Data
2000-02-11
Sample Sizes For The Transmission Disequilibrium Tests: Tdt, S-Tdt And 1-Tdt
2000-12-22
Dai Wang
Securely Combining Public-Key Cryptosystems
2001-08-30
Optimisation Of Aerodynamic And Coupled Aerodynamic-Structural Design Using Parallel Genetic Algorithms
1997-09-18
Binding-time analysis for a JVM core language
1999-04-04
Peter Bertelsen lc
On the Existence of a Modal Logical Basis for Monadic Second-Order Logic
2001-08-17
Alpha 21264 Microprocessor Hardware Reference Manual
2001-07-10
Critical Path Analysis of TCP Transactions
2001-12-14
Characterization of cyclotomic schemes on a finite field and normal Schur rings over a cyclic group
2001-11-01
For Almost Every Tent-Map, The Turning Point Is Typical
2001-03-28
Henk Bruin
Recognition of 3D Objects in Aerial Images Based on Generic Models
2001-01-12
Thomas H. Kolbe
Structuring and Design of Reactive Systems using RSDS and B
2000-03-03
Designing More Interactive Interface Agents
1998-05-16
A note on Saio's estimate of second-order effects of rotation on stellar oscillation frequencies
1999-07-05
Development of an Antibacterial MAP Homologous to a Loop Region in Human Lactoferrin
1998-11-19
An Extended Fault-Tolerant Link-State Routing Protocol in the Internet
2001-02-28
Experience Operating Systems
2001-12-17
Segmentation of Perspective Textured Planes through the Ridges of Continuous Wavelet Transform
2001-08-02
On Triangles With Rational Altitudes, Angle Bisectors Or Medians
2001-07-20
Ralph H. Buchholz
A Two-Level Technique for Modeling Fault-Tolerant Systems
1998-05-28
Stack Inspection: Theory and Variants
2001-08-28
Fast Hough Transform Applications and Performances
2001-01-05
Pattern Recognition
2001-01-12
The Convergence of a Locally Conservative Eulerian-Lagrangian Finite Difference Method for a Semilinear Parabolic Equation
2001-02-14
Jim Douglas
Searching Requirements for a System to Support Cooperative Concept Design in Product Development
1999-12-14
Robust Control and Filtering of Forward-Looking Models
2000-10-25
Computationally Simple Battery Management Techniques for Wireless Nodes
2001-11-23
Maria Adamou
Organizational, Informational and Individual Determinants of Cost-Based vs. Market-Based Industrial Pricing Strategies
2001-06-05
Some Questions in Algebraic Geometry
2000-06-06
Frans Oort
On Liouvillian Solutions of Linear Differential Equations of Order 4 and 5
2001-04-03
Olivier Cormier
EKA: Efficient Keyserver using ALMI - Administrator's Reference Manual
2001-03-20
Radhesh Mohandas
The Web Generation of Software Inspection: A Process with Virtual Meetings and On-line Recording
1999-06-22
A refined conjecture of Mazur-Tate type for Heegner points
2001-07-17
Cooperation and non-linear dynamics: An ecological perspective on the evolution of sociality
1999-05-05
Leticia Avils
Voice-Enabled Mobile Middleware: The MOVE Project
1999-06-30
Prototype Based Rules - a New Way to Understand the Data.
2001-06-11
Karol Grudzinski
Pricing Multicast Communication: A Cost-Based Approach
2001-07-12
Changing Interaction Paradigms in Annotation Environments
2000-04-25
Rate of Quantal Excitation to a Retinal Ganglion Cell Evoked by Sensory Input
2000-05-17
Michael A. Freed
Rings Of Quotients Of f-Rings By Gabriel Filters of Ideals
1999-01-25
Efficient Computation of Temporal Aggregates with Range Predicates
2001-10-19
Lie Invariants of Degree Ten
1998-04-02
Murray Bremner
M'ethode De Sp'ecification Et De Preuve D'algorithmes Distribu'es Tol'erant Les Pannes
2001-09-06
What is "Registration" and Why is it so Important in CAOS?
1999-08-19
Intercepting Mobile Communications: The Insecurity of 802.11
2001-08-01
Exponential Transients in Continuous-Time Liapunov Systems
2001-08-31
Pekka Orponen
On the Optimality of Synchronous Bandwidth Allocation Schemes for the Timed Token Protocol
2001-02-07
An Optimal Bandwidth Allocation Strategy for the Delivery of Compressed Prerecorded Video
1996-09-25
The Jungle Database Search Engine
2001-07-26
Knowbot programming: System support for mobile agents
2001-08-05
Interactive Hardware-Software Partitioning and Memory Allocation Based on Data Transfer Profiling
2001-04-03
Multimedia Distance Learning Without The Wait
2001-10-01
Interactive Learning for Text Summarization
2000-09-06
Optimal Local Register Allocation for a Multiple-Issue Machine
2001-08-15
Automated Inductive Verification of Parameterized Protocols
2001-04-24
Abhik Roychoudhury
A Subthreshold CMOS Implementation of a Two-Dimensional Mechanical Cochlear Model
1998-10-23
On Digital Filters Associated with Bivariate Box Spline Wavelets
2001-01-09
Wenjie He
Reconstruction of Surfaces Behind Occlusions in Range Images
2001-03-01
Principal Typings Demystified: what they are, why you want them, and why your type system doesn't have them
2001-10-15
Discrete Event Simulation in Interactive Scientific and Technical Computing Environments
1998-05-12
Sces Matlab Gpss
An Imprecise Real-Time Magnication Algorithm
1996-03-13
On The Laguerre Method For Numerically Inverting Laplace Transforms
2000-08-02
Large-Vocabulary Audio-Visual Speech Recognition by Machines and Humans
2001-07-09
Dialogue Pragmatics and Context Specification
2001-12-18
Analogical Prediction
2000-05-08
Hierarchical Models for Estimating Herd Prevalence and Test Accuracy in the Absence of a Gold-Standard
2001-05-31
Engineering Server-Driven Consistency for Large Scale Dynamic Web Services
2001-06-16
The Influence of Browsers on Evaluators or, Continuations to Program Web Servers
2000-11-01
Using RoboCup to Teach Multiagent Systems and the Distributed Mindset
2001-11-12
Java Card or How to Cope with the New Security Issues Raised by Open Cards?
2000-12-13
Sensor-Based Motion Planning In Se2 And Se3 Via Nonsmooth Analysis
2001-09-27
Steepest Edge, Degeneracy and Conditioning in LP
1994-12-02
Molecular Hydrogen Polarization Images of OMC--1
1998-08-10
Annotating Java Class Files with Virtual Registers for Performance
2001-01-10
Automorphisms of Rational Maps
2001-09-28
Curt Mcmullen
Implementation of Onm log n Weighted Matchings in General Graphs - The Power of Data Structures
2001-01-29
Kurt Mehlhorn
Analysis of Watermark Detection Using SPOMF
1999-12-04
A Design Space for Enterprises
2000-07-21
Transmitter
1998-09-14
Drvr Z
SAP Report No. 2000-07 March 12, 2001
2001-03-15
A New Approach for Evaluating Clipping Distortion in Multicarrier Systems
2001-10-15
The Application Of Satellite Communications To The Data Link Requirement For Unmanned Ground Vehicles
1997-05-09
COMPARISON OF THREE DIFFERENT OPEN ARCHITECTURE CONTROLLERS Jnos Nacsa
2001-11-28
Jnos Nacsa
Efficient Mining Of Association Rules Using Closed Itemset Lattices
2001-05-21
Application Of Avhrr To Monitoring A Climatically Sensitive Playa. Case Study: Chott El Djerid, Southern Tunisia.
2000-10-20
The Development and Operation of Edinburgh Parallel Computing Centre's Summer Scholarship Programme
2001-01-12
Miquel Feixas
2001-05-09
Encoding Planning Constraints into Partial Order Planning Domains
1998-03-16
Polar Functions, I: The Summand-Inducing Hull of an Archimedean l-Group with Unit.
2001-11-21
The Loading Time Scheduling Problem
2001-02-27
Parallel and Fast Sequential Algorithms for Undirected Edge Connectivity Augmentation
2001-04-23
Andrs A. Benczr
Interference Effects of Deep Space Network Transmitters on IMT-2000/UMTS Receivers at S-Band
2000-08-28
A Volumetric Approach to Interactive CSG Modeling and Rendering
1999-02-25
Levels of Aggregation in Flow Switching Networks
1997-08-06
Providing Multilingual Natural Language Access To Tourism Information
2001-09-28
The Derivative of a Regular Type is its Type of One-Hole Contexts Extended Abstract
2001-02-22
Enhancing Digital Library Documents by A Posteriori Cross Linking Using XSLT
2001-11-23
JEDI: An Interactive Interpreter for
2001-10-08
Virtual Collaborative Learning: A Comparison between Face-to-Face Tutored Video Instruction TVI and Distributed Tutored Video Instruction DTVI
1999-08-31
A Method and Architecture for Building Compliance Agents
1998-05-16
Low Flicker-Noise GaN/AlGaN Heterostructure Field-Effect Transistors for Microwave Communications
2001-02-22
Investigation Of The Irregularity Strength Of Trees
2000-11-09
David Paul Kravitz
Proceedings of the Workshop on Parallelism and Implementation Technologies for Constraint Logic Programming Languages
2000-10-02
Decision Diagrams and Pass Transistor Logic Synthesis
2001-04-25
Cyclone: A safe dialect of C
2001-11-20
Parade Game: Impact Of Work Flow Variability On Trade Performance
2001-04-20
Decoupling Domain Analysis and Planning
2001-11-02
Ulrich Scholz
Speeding Up Construction of Quadtrees for Spatial Indexing
2001-12-11
Agent Description Ontology
2000-10-15
A Comparison of Presburger Engines for EFSM Reachability
2001-05-17
Probabilistic Tracking in a Metric Space
2001-06-06
Social Comparison for Failure Detection and Recovery
1998-04-10
Parallel Job Scheduling on Heterogeneous Networks of Multiprocessor Workstations
1999-07-26
Gerard Lynch
Evaluation of Algorithms Using ESTELLE
2001-06-06
Geometric Methods for Improving the Upper Bounds on the Number of Rational Points on Algebraic Curves over Finite Fields
2001-09-13
Kristin Lauter
Sensors In Object Oriented Discrete Event Simulation
1999-07-08
Kirk A. Stork
Pseudo-Projectivity: A Polynomially Parsable Non-Projective Dependency Grammar
1999-12-01
New Type Checking Rules for OCL Collection Expressions
2000-09-21
Andy Schrr
NAVAL POSTGRADUATE SCHOOL Monterey, California
1999-04-13
Big Throughput Camera: The First Year
2001-04-13
An Improved Generalization of Mesh-Connected Computers with Multiple Buses
2001-04-10
Optimum Application of Ultrasonic Peening
2000-05-24
Y. Kudryavtsev
Strategyproof Sharing of Submodular Costs: budget balance versus efficiency
2001-02-21
Scott Shenker
Bounding the Performance of Dynamic Channel Allocation with QoS Provisioning for Distributed Admission Control in Wireless Networks
2000-11-02
FX!32 - A Profile-Directed Binary Translator
1999-01-20
Robust Monte Carlo Methods for Photorealistic Rendering of Volumetric Effects
2001-04-04
Urbicande-la-Neuve: On-line web entertainment mixing synthetic and natural images
2001-02-02
Toward A Vocabulary For Classifying Research In Mechanical Design Automation
2001-10-18
Routing into Two Parallel Links: Game-Theoretic Distributed Algorithms
2000-06-22
Eitan Altman
Low Identity, Low Similarity Protein Sequences: Independent Modeling of the Ordered-Series-of-Motifs and Motif-Intervening-Regions
1998-11-13
Singularity Analysis for Articulated Object Tracking
2000-11-27
Rough Set Data Analysis
1999-05-28
CASE Tools
2001-01-17
Stable Matchings And The Small Core In Nash Equilibrium In The College Admissions Problem
1999-01-08
Jinpeng Ma
Indra: A peer-to-peer approach to network intrusion detection and prevention
2001-12-06
SPICE Assessments using the SEAL assessment tool
1999-08-10
Inter-enterprise Contract Architecture For Open Distributed Systems: Security Requirements
1996-10-03
Bifurcations Of The Randomly Perturbed Logistic Map
1999-10-20
Klaus Reiner Schenk{hopp E
Explicit Interpolation Sets Using Perfect Hash Families
2000-10-26
Xiaodong Sun
Database Systems for Structured Documents
2000-02-03
Hormone-Controlled Metamorphic Robots
2001-02-14
Comments Welcome
1999-11-18
Advanced Analysis of Algorithms
2000-08-27
William Klostermeyer
Generalized Stream X- machines and Cooperating Distributed Grammar Systems
2000-09-29
Towards an Intelligent Problem-Solving Environment for Signal Processing
1995-03-03
Tracking Volumetric Brain Deformation During Image Guided Neurosurgery
2001-09-26
Preserving Digital Information
1995-08-29
Chapter 10 Conclusion
2001-03-04
What is 2-Butanone?
2001-07-10
Proof Verification and Hardness of Approximation Problems
2000-12-26
Efficient Reorganization of Binary Search Trees
2001-06-12
A Manipulation Planner for Pick and Place Operations under Continuous Grasps and Placements
2001-10-01
Non-Vanishing Modulo
2000-01-12
Jan Hendrik Bruinier
A Non-Equilibrium Molecular Dynamics Study of the Perfectly Oriented Gay-Berne Fluid
1997-04-14
Information Transfer in Entrained Cortical Neurons
2001-11-15
Building a Tree-Bank of Modern Hebrew Text
2001-09-24
Efficient Security for Large and Dynamic Multicast Groups
2001-12-11
The Worst-Case Scenario for Transmission of Synchronous Traffic in an FDDI Network
2001-02-07
Sijing Zhang
A Monitoring Sensor Management System for Grid Environments
2001-02-19
The Torsionfree Part Of The Ziegler Spectrum Of RG When R Is A Dedekind Domain And G Is A Finite Group
2000-08-11
Petri Net Semantics of Bunched Implications
1999-10-14
Peter W. O'hearn
On-Line Construction of Symmetric Compact Directed Acyclic Word Graphs
2001-07-16
Differences Between the Use of Mathematical Entities in Mathematics and Physics and the Consequences for an Integrated Learning Environment.
2001-12-06
A Fairness Algorithm for High-speed Networks based on a Resilient Packet Ring Architecture
2001-10-31
Stein Gjessing
Yakubovich
2001-02-05
A. Yakubovich
The Practical Computation Of Areas Associated With Binary Quartic Forms
1996-11-04
Michael A. Bean
Ideals in the Integral Octaves
1998-12-10
Daniel Allcock
An Extension of the Lovász Local Lemma, and its Applications to Integer Programming
2001-02-21
Aravind Srinivasan
A Comparison of Usage Evaluation and Inspection Methods for Assessing Groupware Usability
2001-10-03
From Weak Satisfiability to n-Satisfiability on Hypergraphs
2000-12-14
Paul Wong
Asynchronous Stream Modeling For Large Vocabulary Audio-Visual Speech Recognition
2001-07-09
Arrangements, Channel Assignments and Associated Polynomials
1999-12-16
Dominic Welsh
Towards Patterns of Web Services Composition
2001-12-18
Streams, Structures, Spaces, Scenarios, Societies 5S: A Formal Model for Digital Libraries
2001-11-05
The Stability of Multi-Planet Systems
1999-08-12
Training a Selection Function for Extraction
2001-04-20
Chin-yew Lin
An Iterative Concurrent Subspace Robust Design Framework
2000-10-06
The Nearby Field Galaxy Survey - A spectrophotometric and photometric study of nearby galaxies
2000-11-13
Rolf A. Jansen
Automatic Generation of User Interfaces from Data Structure Specifications and Object-Oriented Application Models
2000-04-18
Minimum Forms of Control in Prokaryotes and their Computational Meaning
2001-05-21
Structure Of Three-Interval Exchange Transformations II: A Combinatorial Description Of The Trajectories
2001-12-10
Molecular Hydrogen Line Emission from the Reflection Nebula Parsamyan 18
1998-08-27
Unmarried Parents And Models Of Fatherhood: New Or Conventional Ideas About Paternal Involvement?
2000-11-29
Induction of One-Level Decision Trees
1998-05-11
Solving Structural Equations
2001-02-17
Michael Moortgat
Why Halley-Types Resonate but Long-Period Comets Don't:
1999-10-24
J. E. Chambers
A New Query Processing Technique for XML Based on Signature
2001-02-06
Hyoung-joo Kim
A New Efficient Large-Update Primal-Dual Interior-Point Method Based on a Finite Barrier
2001-11-15
Sampling With Connections
2000-06-18
C. C. Rodriguez
Kernel Independent Component Analysis
2001-11-21
1998-03-11
1998-03-11
The Chemistry Of Complex Molecules In Interstellar Clouds
1999-03-01
Labour taxation and employment in trade union models: A partial survey
2001-10-19
Reductions in Streaming Algorithms, with an Application to Counting Triangles in Graphs
2001-11-15
Reproducible documents and interactive graphics on the World Wide Web
1999-03-09
Matthias Schwab
Superposed Weibull Distributions for Modeling Component Lifetimes
2001-08-10
An Efficient Iterative Pose Estimation Algorithm
2000-11-04
A Hybrid Algorithm For The Point To Multipoint Routing Problem
1998-11-04
Energy-Oriented Compiler Optimizations for Partitioned Memory Architectures
2001-03-28
Inappropriate TCP Resets Considered Harmful
2001-06-26
Cycles of relatively prime length and the Road Coloring Problem
2001-05-07
Real-time Obstacle Avoidance for Fast Mobile Robots
1996-01-16
The Fourier-Series Method For Inverting Transforms Of Probability Distributions
2000-07-28
On Spectral Approximations Using Modified Legendre Rational Functions: Application to the Korteweg-de Vries Equation on the Half Line
2001-09-12
New Functional Representation for the Decomposition of Machine Learning Problems
2000-05-19
Craig M. Files
K-Band Land-Mobile Satellite Channel Characterization Using ACTS
1996-09-20
Channel Density Channel Density
2001-09-11
Prof A. Richard Newton
Babel: Application Integration through XML specification of Rules
2001-11-06
A Simple Polynomial Groundness Analysis For Logic Programs
2000-05-16
Model-Based Specification
2000-05-01
Lex Bijlsma
Uur Etintemel
2001-03-17
On the relationship between Rent's rule and Pareto points
2001-03-07
Peter Verplaetse
A Global Constraint for Parallelizing the Execution of Task Sets in Non-Preemptive Scheduling
2001-08-20
Michael Marte
Weight Quantization for Multi-Layer Perceptrons using Soft-Weight Sharing
2001-08-29
The Ratio of the Direct Photon Production Cross Section at 630 GeV and at 1800 GeV
2001-03-19
Michael Strauss
A Serendipity Family of Locally Supported Splines in ...
2001-01-09
Ming-jun Lai
EAGLES Specifications for French Morphosyntax ELM--FR
1997-12-12
French Morphosyntax
A Two Layer Paradigm Capable of Forming Arbitrary Decision Regions in Input Space
2000-07-31
Vinay Deolalikar
Heuristics for ...-OBDD Minimization
2001-07-23
Combining Classifiers with Meta Decision Trees
2001-12-04
Computational Studies on High-Stiffness, High-Damping SiC-InSn Particulate Reinforced Composites
2001-10-26
Hyungjoo Kim
Scheduling Tasks With Variable Deadlines
2001-03-28
Social Play Behaviour - Cooperation, Fairness, Trust, and the Evolution of Morality
2001-02-28
Marc Bekoff
On A Diffusive Logistic Equation
1998-05-19
Characteristic Processes and Discursive Methods in the Study of Organizational Knowledge
1999-09-02
Oscillatory Regimes for the Horizontal Thermal Convection in Solidification Problems
1998-11-25
Efficient Context-Sensitive Generation of Referring Expressions
2001-05-03
The Halloween Indicator: Sell in May and go away
1998-11-13
A new Type of Counting Derivation for Grammar Systems
2001-05-08
Rate-Distortion Unequal Error Protection For Fractal Image Codes
2001-07-20
A Framework of Node Architecture and Traffic Management Algorithms for Achieving QoS Provisioning in Integrated Services Networks
2000-08-20
Trinocular Stereo: a Real-Time Algorithm and its Evaluation
2001-09-08
Basic Approaches to Optimization Problems
2001-12-05
Simple and Efficient Photo-ionization Loading of Ions for Precision Ion Trapping Experiments
2001-09-17
Practical In-Place Mergesort
2001-04-27
Rate and State Dependent Friction and the Stability of Sliding Between Elastically Deformable Solids
2001-05-21
Querying The Software Information Base
2001-02-20
Scalable QoS Provision Through Buffer Management
1999-01-20
Decision Algorithms: a Survey of Rough Set - Theoretic Methods
2000-01-08
Analysis of a TCP hybrid model
2001-12-18
Supporting Parallelism in Engineering Databases by Nested Transactions
1998-03-03
Replay and Distributed Breakpoints in an OSF DCE Environment
2001-08-01
Yuh Ming Yong
Wireless Communication Technologies
2001-04-09
The Australian Federal Government's Clustered-Agency It Outsourcing Experiment
2001-05-11
Money and inflation in the Euro Area: A case for monetary indicators?
2001-02-09
A Survey and Taxonomy of Location Systems for Ubiquitous Computing
2001-08-27
Priority Encoding Transmission
2001-08-16
Hypertext in the Semantic Web
2001-07-31
Kernel-based Control of Persistent Web Server Connections
2001-07-04
Thiemo Voigt
GuilhermeH. Travassos
2000-10-31
A Generic Load/Extract Utility for Data Transfer Between XML Documents and Relational Databases
2000-03-17
Geospatial Positioning Accuracy Standards Part 2: Standards for Geodetic Networks
2001-01-08
Colouring Graphs whose Chromatic Number Is Almost Their Maximum Degree
2001-08-15
RATE Control for Bandwidth Allocated Services in IEEE 802.3 Ethernet
2001-12-18
Imaging the Hot Molecular Gas at the Centre of the Galaxy
1998-08-10
Comparison of Rule-based and Bayesian Network Approaches in Medical Diagnostic Systems
2001-07-23
General Purpose Interrupt Handler and Interrupt Generator for CES RIO2/LynxOS and VMIC/Linux
2000-10-20
Meta Typing is Compatible to the Typed SPO Approach
2000-11-09
Self-Stabilizing Network Orientation Algorithms In Arbitrary Rooted Networks
2001-10-16
Modeling Replica Placement in a Distributed File System: Narrowing the Gap between Analysis and Simulation
2001-08-09
Methodology for Observing Decision Making and Collaboration in MultiDimensional Synthetic Work Environments
2001-02-26
Linearization Methods For Variational Integrators And Euler-Lagrange Equations
2000-09-13
Safe and Flexible Dynamic Linking of Native Code
2001-05-01
A Compositional Real-time Semantics of STATEMATE Designs
2001-09-26
The Branching-Time Transformation Technique for Chain Datalog Programs
2001-09-07
Surface Approximation of Complex 3-D Objects
2001-12-06
A Simple Treatment of Property Preservation via Simulation
1995-03-30
Ching-tsun Chou
Ruin Problem, Operational Risk And How Fast Stochastic Processes Mix
2001-09-27
Paul Embrechts
Joint Likelihood Methods for Mitigating Visual Tracking Disturbances
2001-12-06
Christopher Rasmussen
Effect of Pricing Intervals on the Congestion-Sensitivity of Network Service Prices
2001-08-01
CMM for Small Organisations
2001-08-30
M.H. MacGregor, W.D. Grover
2001-03-19
On Syntactic versus Computational Views of Approximability
2001-08-16
Reasoning About Parameterized Automata
2000-04-26
Davy Rouillard
A Smooth Approximation On The Edge Of Chaos
1996-07-19
P. J. Potts
Wireless Adaptive Multimedia using Network Measurements
2001-08-17
Manthos Kazantzidis
Data Replication for External Searching in Static Tree Structures
2000-10-13
A Self-Similar Viscosity Approach For The Riemann Problem In Isentropic Gas Dynamics And The Structure Of The Solutions
2001-10-24
Yong-jung Kim
Portfolio Value-at-Risk with Heavy-Tailed Risk Factors
2001-07-09
Randomization and Restarts in Proof Planning
2001-12-06
Automatic Synthesis, Placement, and Routing of an Amplifier Circuit by Means of Genetic Programming
2000-04-23
Challenges in Flexible Aggregation of Pervasive Data
2001-01-24
ClusterTree: Integration of Cluster Representation and Nearest Neighbor Search for Large Datasets with High Dimensionality
2001-01-02
Automatic Generation of Implied Clauses for SAT
2001-05-21
Strategies to Delay the Evolution of Resistance in Pests: Dose Rotations and Induced Plant Defenses
2000-04-23
Trade Liberalization And Asset Markets
2001-04-16
Implementation of a pattern recognition algorithm for the Si Tracker on DECPeRLe-1
2001-01-05
NewApproaches for Calculating Safety Parameters and Estimating Hazard Severity for Cumene Hydroperoxide
2001-11-16
An Information-Theoretic External Cluster-Validity Measure
2001-10-05
Byron E. Dom
The Directed Minimum-Degree Spanning Tree Problem
2001-02-22
Balaji Raghavachari
Nonlinear Programming without a penalty function
2000-10-13
Roger Fletcher
Switching Characteristics of an Asymmetrical Complementary 4H-SiC Gate TurnOff GTO Thyristor
2000-09-14
On Securely Scheduling A Meeting
2001-07-06
Lively Linear Lisp --- 'Look Ma, No Garbage!'
1994-12-06
Henry G. Baker
TRENDS: Intelligent Model-Based Trend Analysis of Spacecraft Systems August 1996 Draft
2001-08-29
Ability, Action, and Context
2001-05-31
Richmond H. Thomason
Using Content-Derived Names for Caching and Software Distribution
2001-02-27
Homotopy Techniques for Obtaining a DC Solution of Large-Scale MOS Circuits
2001-10-19
K9F$G$O!"CHILDESChild Language Data Exchange System
2000-04-07
Meta-Learning of Rule Selection in Expert Systems
2001-12-03
Rafal Bogacz
Realizability Of Modules Over Tate Cohomology
2001-11-29
CDB - A Database of Lexical Collocations
2000-06-26
Brigitte Krenn
The Virtual Logging Meeting: A Web-Based Solution to Resource Problems in Software Inspection
1998-12-02
A Method for the 2-D Quasi-isometric Regular Grid Generation
1997-12-20
Towards an implementation of the B-H algorithm for recognizing the unknot
2001-02-07
A Formalization of Ray Casting Optimization Techniques
2001-06-07
Long Term Observations Of The Melting Layer Using Vertically Pointing Radars
2000-08-25
Keyframe Animation of Articulated Figures Using Autocollision-Free Interpolation
2000-02-18
Jean-christophe Nebel
Reducing Throughput Time during Product Design
2001-08-14
Characteristics of Women with Sexual Abuse Histories who Enter Methadone Treatment
2000-08-04
Combining Opinions About the Order of Rule Execution
1999-06-02
Jerey A. Barnett
REM Reduce Elan Machine: Core of the New ELAN Compiler
2001-10-09
Real-time Prioritized Call Admission Control in a Base Station Scheduler
2000-06-08
Parallel Computational Complexity in Statistical Physics
1999-08-03
Numerical Methods for Higher Order Sturm-Liouville Problems
2000-06-26
Computational Complexity of General Fuzzy Logic Control and Its Simplification for a Loop Controller
2001-04-21
Instructional Transaction Theory
2000-09-13
tmk - A Multi-Site, Multi-Platform System for Software Development
2000-06-08
Testing a computational model of categorisation and category combination: Identifying disease categories and new disease combinations
2001-06-13
Fintan Costello
Simulation of Mobile Robots
2000-09-06
Secure Information Flow in Mobile Bootstrapping Process
2000-04-24
Labor Unions, Unemployment, and Inequality in an OLG-Model with Heterogeneous Agents
2001-09-17
Jana Kremer
Preliminary Studies Of Dynamics Of Physical Agent Ecosystems
2001-02-13
Muoz Moreno
A Unifying Model Checking Approach for Safety Properties of Parameterized Systems
2001-10-03
Monika Maidl
On fine dierentiability properties of horizons and applications to Riemannian geometry
2001-03-02
Version Stamps - Decentralized Version Vectors
2001-11-08
Mapping OMRS to Rewriting Logic
1998-09-27
Carolyn Talcott
CSCW infrastructure
2001-10-13
Ian Maccoll
Automatically Restructuring Programs for the Web
2001-10-08
Parallel Computing in Cardiovascular Fluid Dynamics
2001-05-14
Notes on Model Predictive Control
2001-11-06
William B. Dunbar
Imitative Versus Non-Imitative Strategies in a Land Use Simulation
2000-09-18
On-Line Search in the Science Classroom: Benefits and Possibilities
2001-11-05
Raven Wallace
Centralized Conferencing using SIP
2001-03-26
Overlap-Free Symmetric D0L words
2000-09-21
Anna E. Frid
Ad-hoc On-Demand Distance Vector Routing
2001-09-02
Iterative Classification in Relational Data
2000-05-26
Efficient Revocation in Group Signatures
2001-12-06
Towards High Performance Special Purpose Architectures by Joining Paradigms
2000-05-16
A Hardware Genetic Algorithm for the Traveling Salesman Problem on Splash2
1995-11-17
Detecting and Correcting Shift Errors in Standardized Exams
2001-10-30
Classification of Membrane Proteins by Types of Transmembrane Helices Using SOSUI System
1998-11-19
An analytical model for ELDRE
2001-04-25
A Single-Query Bi-Directional Probabilistic Roadmap Planner with Lazy Collision Checking
2001-11-04
Gildardo S Anchez
Factorization and Decomposition of Relations
1998-04-16
Peter S. Faynzilberg
Probabilistically Checkable Proofs with Zero Knowledge
1997-04-10
Random Algorithms for the Loop Cutset Problem
1999-06-25
Bayesian Learning of Sparse Classifiers
2001-10-04
Potential Feedbacks Between Pacific Ocean Ecosystems and Interdecadal Climate Variations Arthur J. Miller
2001-10-25
Mobile Location Tracking in DS CDMA Networks Using Forward Link Time Difference of Arrival and Its Application to Zone-Based Billing
2001-02-19
.For example, the key problem of early evolution is how small, individual replicators formed cooperative groups of sufficient complexity to allow accurate copying of the genetic material
2001-07-10
Numerical Representations as Purely Functional Data Structures
2001-05-06
Viktor Kuncak
Constraint graph for channel of Example 1 1 1 0 s
2001-10-31
Automated Endoscope Navigation and Advisory System from medical imaging
1999-04-12
Concurrency Control For System With Data Broadcast
2001-02-08
Related Research
2001-12-10
Using Simulation To Schedule Manufacturing Resources
2000-04-22
Asymptotical Analysis and Comparison of Two Coded Modulation Schemes Using PSK Signaling - Part II
2001-04-23
Quasi-periodic and periodic solutions for coupled nonlinear Schrödinger equations of Manakov type
2000-01-17
P. L. Christiansen
Forest volume decompositions and Abel-Cayley-Hurwitz multinomial expansions
2001-10-24
Jim Pitman
Applying Quantitative Marketing Techniques to the Internet
2001-04-13
The Pool Driver: A Volume Driver for SANs
1999-12-09
Visual and Spatial Representations in Relational Reasoning
2001-09-23
Markus Knauff
Decidable Properties of Graphs of All-Optical Networks
2001-09-26
Towards a linguistically motivated computational grammar for Hebrew
2000-10-23
Shuly Wintner
A Low-Cost Storage Server for Movie on Demand Databases
2000-10-29
Segregation of Object and Background Motion in Visual Area MT: Effects of Microstimulation on Eye Movements
2000-06-30
Linear Discriminant Text Classification in High Dimension
2001-11-05
Automated Proof Construction in Type Theory using Resolution
2000-02-12
The PIER Simulator: Parallel Discrete Event-Driven Simulation of a Large-Scale Peer-to-Peer Network
2001-10-18
Modeling Of Naturally Fractured Reservoirs By Formal Homogenization Techniques
2000-11-10
Personalized Access to Distributed Learning Repositories - PADLR
2001-06-08
A Compositional Approach to Synchronize TwoDimensional Networks of Processors
2001-12-11
Quasi-Symmetry Of Conjugacies Between Interval Maps.
2001-04-04
Henk Bruin
Higher Education Subsidies and Heterogeneity - A Dynamic Analysis
2001-08-06
Analysis of Rerouting in Circuit-Switched Networks
2001-02-06
Attribute Grammars and Folds : Generic Control Operators
2000-04-12
A Coupled Scanning and Optimization Scheme for Analyzing Molecular Interactions
2000-06-17
Point-Sensitive and Point-Free Patch Constructions
2001-07-18
Modeling, Rendering, and Animating Human Hair
2001-07-24
Distributed Power Control in Ad-hoc Wireless Networks
2001-11-15
Exchanging Graphs with GXL
2001-09-21
Theoretical Justification of a Heuristic Subbox Selection Criterion for Interval Global Optimization
2001-08-02
Vladik Kreinovich
RAMP: A Reliable Adaptive Multicast Protocol
1998-08-20
Track Parametrization
1998-06-10
Yukiyoshi Ohnishi
OpenMP: A Proposed Industry Standard API for Shared Memory Programming
2000-03-22
Locales Are Not Pointless
1995-07-28
Steven Vickers
Time-Dependent Approach to High-Resolution Spectroscopy: Application to the Photoabsorption Spectrum of Classically Chaotic Hydrogen Atoms in Magnetic Fields
2001-12-11
Improving the Observability and Controllability of Datapaths for Emulation-based Debugging
2001-03-08
First-Class Synchronization Barriers
2001-08-05
Franklyn Turbak
Coherent Integration of Fringe Visibility: A Generalized Approach
2000-04-03
Jerey A. Meisner
A Fully Asynchronous Multifrontal Solver Using Distributed Dynamic Scheduling
2000-04-11
MPEG-4 Rate Control for Multiple Video Objects
2000-10-06
Complex-Weighted One-Unit `Rigid-Bodies' Learning Rule for Independent Component Analysis
2001-09-24
On the Individuality of Fingerprints
2001-10-10
Unification of Spectral and Inertial Bisection
1995-03-11
Roy Williams
Slr Inference: An Inference System For Fixed-Mode Logic Programs, Based On Slr Parsing
1998-11-02
David A. Rosenblueth
A Complete Axiomatization of a First-Order Temporal Logic Over Trace Systems
2001-07-27
Supporting the Dynamics of Knowledge Sharing Within Organizations
1997-10-10
Task-Based/representation/ in/lifelong/learning/incremental/neural/networks
1999-05-27
A PTAS for Shop Scheduling with Release Dates to Minimize the Average Weighted Completion Time
2001-11-19
On Fuzzy Reasoning Schemes
2001-06-12
Buffering of Intermediate Results in Dataflow Diagrams
2000-10-23
Quantitative Techniques and Analysis of Multidimensional Matrices
1999-11-11
.1 PAC Model
1994-09-30
Interoperability tools for the Virtual Observatory
2001-09-13
Daniel Egret
The Java Language Specification - Second Edition
2001-06-29
Quality Knowledge Capturing and Reuse in Software Inspection
2000-05-08
Place/Transition Nets with Debit Arcs
1997-05-11
P. David Stotts
Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation
1998-06-15
CZWeb: a Web-based workspace for media-rich communication and decision evolution
1999-09-25
On Resolvable 2-14,7,12 and 3-14,7,5 Designs
2001-07-09
A Foundation for Representing and Querying Moving Objects
2001-09-24
Requirements:
2000-08-17
On IDDT Testing of CMOS Circuits for Stuck-Open Faults
2001-03-26
.1 Outline
1994-12-12
On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness
2001-08-21
Ecient Complex Query Support for Multiversion XML Documents
2001-12-01
Automatic Synthesis of a Wire Antenna Using Genetic Programming
2000-06-24
Consumption Taxes and International Competitiveness in a Keynesian World
2000-04-12
Reto Schleiniger
Itai Benjamini
2000-03-09
Infinite families of links with trivial Jones polynomial
2001-07-18
Using syntactic dependency-pairs conflation to improve retrieval performance in Spanish
2001-11-05
Complexity of Colored Graph Covers I. Colored Directed Multigraphs.
2001-08-10
Jan Arne Telle
The OpenGL Utility Toolkit GLUT Programming Interface
2000-05-23
Mark J. Kilgard
A CORBA-based Middleware Architecture for Building Open and Interoperable GISs
2001-11-07
Quantum Yang-Mills Theory
2000-09-21
Jaean Edwardwitten
A generic approach to software support for linguistic annotation using XML
1999-08-30
Divisibility Properties of Fibonacci Polynomials over GF2
2000-08-27
Henry Ware
Views for the Integration of Datatypes and Control Specifications Extended Abstract
2000-02-04
Learner Centred Virtual Environments as Places
2001-04-10
The Recursive Record Semantics of Objects Revisited
2001-06-22
Graph Rewrite Systems For Program Optimization
1997-07-01
Image Analysis For Material Characterisation
1998-03-19
Using a Computer Game to Develop Advanced AI
2001-08-16
Multidimensional Scaling of Interval-Valued Dissimilarity Data
2001-03-22
An Auto-Focusing Method in a Microscopic Testbed for Optical Discs
2001-06-26
A Pan-Canadian Challenge
2001-03-07
RAPIDS Simulator Programmer's Manual
1999-05-03
The Numbers Of Spanning Trees, Hamilton Cycles And Perfect Matchings In A Random Graph
2001-11-21
Svante Janson
Refined Search Tree Technique for Dominating Set on Planar Graphs
2001-10-02
Mathematics Education Reform in the East and the West: Technology Issues
2001-06-11
On the Minimal Number of Edges in Color-Critical Graphs
2001-04-20
Michael Krivelevich
Linux on the PowerPC: Optimizing Modern Operating Systems for Modern Processors
2001-10-09
Innovation and Sustainability with Gold Cards
2001-06-27
Lecture 15
2001-11-01
Robustness as an Evolutionary Principle
2001-03-26
Stefan Bornholdt
A Thread Concept for Automatic Task Parallelization in Image Analysis
2000-10-18
Noga Alon
2001-04-23
Scheduling Real-Time Multi-Task Applications in an Open System
2001-06-08
Expressing Processes with Different Action Durations through Probabilities
2001-06-25
Treewidth and Duality for Planar Hypergraphs.
2000-03-13
The High--Level Communications Library CLIC
1997-08-26
H. Ritzdorf
Investigating the Pairing State of Cuprate Superconductors Via Quasiparticle Tunneling and Spin Injection
2001-09-06
Design Lessons for Building Agile Manufacturing Systems
2001-08-06
The Sense of Touch Provides New Computer Inteaction Techniques for Disabled People
1999-11-22
Version of: September 12,1997 Jonathan H. Whitney, Robert T. Rood, Robert W. O'Connell, Noella L. D'Cruz, Ben Dorman
1997-09-12
Automatically Generated Encyclopedia of Special Functions Extended Abstract
2001-09-12
Fast Color Transformation by Means of Hierarchical Table Lookups
2001-11-29
Perturbation Analysis of Reduced Resolvents and Generalized Inverses
2001-08-03
Analysis of Windowing Mechanisms with Infinite-State Stochastic Petri Nets
2001-05-06
Wavelets And Radial Basis Functions: A Unifying Perspective
2000-10-09
Installation of Oracle Designer 1 Overview
2001-07-02
Dynamic Coscheduling on Workstation Clusters
1998-06-01
DOLIB: Distributed Object Library
1997-11-07
A Deep Multicolor Survey I. Imaging Observations And Catalog Of Stellar Objects
2000-11-01
Salience in Dialogues
1998-03-23
Proof Mining in
2001-09-04
Investigating the Application of Web-Based Simulation Principles within the Architecture for a Next-Generation Computer Generated Forces Model
1999-07-22
The Fundamental Plane of Spiral Galaxies: Search from observational data
2001-09-18
J. Helsing
1996-09-20
J. Helsing
Internet Attacks: A Policy Framework for Rules of Engagement
2001-10-01
Intelligent Agent-Based Approach for Distance Learning
1998-07-22
Integrating Diagnosis and Treatment in a Flexible Way
2001-10-25
Signed Interval Logic
2001-09-18
Thomas Marthedal Rasmussen
A Multi-Server Queueing Model With Locking
2000-11-22
Real-Time Billboard Substitution in a Video Stream
1999-09-11
Separating Lifted Odd-Hole Inequalities to Solve the Index Selection Problem
2001-11-23
Alberto Caprara
On Borcherds Products Associated With Lattices Of Prime Discriminant
2001-12-04
A Recommendation for Content Information
2001-10-12
A New Non-Restoring Square Root Algorithm and Its VLSI Implementations
2001-10-19
Unknown
2001-04-26
Probabilistic Branching Processes for Fault Diagnosis in Concurrent Systems
2001-08-10
Multi-User Communication and Interaction in a Virtual World
2001-11-11
Ivan Bernard Marx
Object Oriented Methods using Fortran 90
1996-08-29
Brian J. Dup'ee
Fix for This Entire Paper an Algebraically Closed Field
1999-12-01
David P. Roberts
Giotto: A Time-triggered Language for Embedded Programming
2001-08-20
Virtual Integrated Planning And Execution Resource System VIPERS: The High Ground Of 2025
1996-10-11
For Techies Speeding Up
2001-02-22
The Global Calorimeter Trigger for CMS
1998-10-02
The Component-based Environment for Remote Sensing
2001-12-11
DIVA: A Self Organizing Adaptive World Model for Reinforcement Learning
2001-08-16
Visualization-Specific Compression of Large Volume Data
2001-08-24
Constraints Based Grammar Formalism for Japanese
1996-05-30
Hidetosi Sirai
Constructing
2000-11-17
Verification Kinetics-Based Model Long-Term Effects Retardants Bending Strength Elevated Temperatures
1999-03-31
A Sortation System Model
2000-04-22
Version 10.16.1
1998-08-27
A Maple Primer for Multivariable Calculus Instructor's Accompaniment
2001-10-09
Vince Ervin
A probable planetary companion to HD 39091 from the Anglo-Australian Planet Search
2001-12-11
Exponentiation in Power Series Fields
1998-02-28
SIMULATION OF A 915 MHz RECEIVER USING THE HP ADVANCED DESIGN SYSTEM
1999-02-28
Design Rationale Management in Concurrent Engineering
2000-05-08
Maximum Weight Basis Decoding Of Convolutional Codes
2000-09-01
Object System Layer
2001-12-18
Learning-Theoretic Methods in Vector Quantization
2001-10-17
Spacecraft Attitude Tracking Control
1999-06-30
Higher Order Hidden Markov Models for DNA-binding Site Identification
2001-05-07
Philip Johnson
A Fast Content-Based Multimedia Retrieval Technique Using Compressed Data
2001-11-01
Prototype-Based Approximate Nearest Neighbor Search
2001-07-12
Visual Simulation of Smoke
2001-05-23
A Continuous Spatial Index of a Triangulated Surface
2000-03-20
Scaling Symmetric Positive Definite Matrices to Prescribed Row Sums
2001-11-19
Dianne P. O'leary
Unknown
2001-11-30
Measurements of TCP Performance over Wireless Connections
1996-05-30
The EMpht-programme
2000-06-15
Marita Olsson
A User's Manual for GNU Emacs' Web-mode
2001-04-26
Fusion of Symbolic Knowledge and Uncertain Information in Robotics
2001-10-09
On the Generalized Method-of-Case Inference Rule
2001-06-14
Robert Ful Er
On Arbitrary Waksman Networks and their Vulnerability
1999-11-08
Experiments in Formalizing Basic Category Theory in Higher Order Logic and Set Theory
1996-03-22
Sten Agerholm
Mocha: A Quality Adaptive Multimedia Proxy Cache for Internet Streaming
2001-05-17
Declarative Diagnosis Revisited
1998-11-05
The Far-Ultraviolet Spectrum of NGC 4151 as Observed with the Hopkins Ultraviolet Telescope on Astro-2
1995-09-22
The Diophantine Equation
1999-11-23
3D MEMS Simulation Modeling Using Modified Nodal Analysis
2001-05-05
Equidistribution Of Integer Points On A Family Of Homogeneous Varieties: A Problem Of Linnik
2001-11-12
Grobner Bases
2001-01-02
Multilevel Adaptive Methods for Semilinear Equations with Applications to Device Modelling
1998-10-05
Experiences with MATLAB
1999-10-28
-<f11....
2001-09-28
Input and Output of Instructions
2001-12-10
Artur Kornilowicz
Beej's Guide to Network Programming
2001-10-09
Refining Infinite Stream Behaviours By Bound Functions
2000-07-17
Walter Dosch
On the Type Accuracy of Garbage Collection
2000-11-07
Unsupervised Segmentation of Poisson Data
2001-10-04
High-level Sequence Charts with Data Manipulation
2000-11-13
On Local Uniformization in Arbitrary Characteristic
1998-02-28
Franz-viktor Kuhlmann
Space-time Transmit Precoding with Imperfect Feedback
2001-08-31
Ionic Polymer-Metal Composites IPMC As Biomimetic Sensors and Actuators
2001-04-19
Diagonal Sums of Boxed Plane Partitions
2001-01-13
David B. Wilson
Analysis Of Velocity-Flux Least-Squares Principles For The Navier-Stokes Equations: Part II
2001-12-18
Objectives
1999-11-04
Generalized Inverses in Public Key Cryptosystem Design
2000-12-15
Chuan-kun Wu
The Sensitivity of a Spline Function to Perturbations of the Knots
2001-10-16
Visual Data-parallel Programming for Signal Processing Applications
2001-04-10
Self-Organizing Maps for Representing Structures
2001-04-17
Linear Pixel Shuffling for Image Processing, an Introduction
2001-10-24
The Exponential Rank of Nonarchimedean Exponential Fields
1998-02-25
Salma Kuhlmann
Image Segmentation on IRAM
1998-12-13
Combining Hidden Markov Source Models and Parallel Concatenated Codes
1997-09-20
Gradient-Enhanced Neural Network Response Surface Approximations
2000-10-17
Incentive Compatibility and Systematic Software Reuse
2001-09-12
Symplectic Matroids
1999-12-12
Virtual Prototyping of Motion Control Systems
2000-09-14
Cvtu8'qrShrDr...hvo/oory'9rp'qhiyrA@88'qr+ XvuG'8'fyr`v'hqCvtuHvv9v+hpr
2000-09-20
A New 3-Dimensional Curvature Integral Formula For PL-Manifolds Of Non-Positive Curvature
2001-11-13
The PI-FAST Method for Approximate Helical Cone-Beam Reconstruction
2001-04-09
Performance Prediction and Analysis of Parallel Out-of-Core Matrix Factorization
2000-12-19
Pooled Sample Screening with Quality Control
2001-05-08
Performance Analysis and Visualization of Parallel Systems Using SimOS and Rivet: A Case Study
2000-02-09
Design And Implementation Of Hla Time Management In The Rti Version F.0
2000-04-21
Weighted Jackknife-After-Bootstrap: A Heuristic Approach
2000-04-21
An Algorithm To Compute Blocking Probabilities In Multi-Rate Multi-Class Multi-Resource Loss Models
2000-07-28
CCHIME: A Cache Coherent Hybrid Interconnected Memory Extension
1995-05-11
Wat89 A. Watt.
2000-03-01
Unknown
2001-11-20
Generating Classifier Outputs of Fixed Accuracy and Diversity
2001-10-04
ORF Clustering Analysis of 17 Complete Genomes
1998-11-19
Dividend Behavior and Dividend Signaling
2000-03-09
PromEC: An updated database of Escherichia coli mRNA promoters with experimentally identified transcriptional start sites
2001-01-09
Two-level Hierarchical Register File Organization for VLIW Processors
2000-11-15
Riemann Problems for the Two-Dimensional Unsteady Transonic Small Disturbance Equation
2000-06-27
The Optimal Gait Pattern in Hexapods Based on Energetic Efficiency
1998-02-12
Face Recognition by Myopic Baby Neural Networks
2001-05-22
Fast Layout Methods for Timetable Graphs
2001-01-15
ASSET: A System for Supporting Extended Transactions
2000-10-29
E-Commerce, Mass Customisation and Price Discrimination
2001-04-27
Utilizing the Surrogate Dual Bound in Capacity Planning Under Economies of Scale
2000-08-21
Dennis L. Bricker
A Solution Architecture for Inventory Application Problems in the Steel Industry
1999-03-25
Quantifying And Managing The Influence Of Maintenance Actions On The Survivability Of Mesh-Restorable Networks
2001-11-26
Submission Checklist
2001-12-05
Branch Prediction using Neural Nets
2000-12-16
Analytic Word Recognition Without Segmentation Based On Markovrandom Fields
2001-04-05
Christophe Choisy
Microscopic models of ATM multiplexing
1996-06-20
Alain Dupuis
Spatial Jump Processes and Perfect Simulation
2001-10-12
Kasper K. Berthelsen
A Scalable Multi-Discipline, Multiple-Processor Scheduling Framework for IRIX
1998-11-18
A XML based Policy-Driven Information Service
2001-07-30
Partial Functions
2001-12-09
Intra-Operative Position Sensing and Tracking Devices
1999-08-19
Spatial and Temporal Variability in Bay Anchovy anchoa mitchilli, Recruitment and Biomass Production in Chesapeake Bay
2001-12-08
The TextMouse Web Executive: Software Architecture and Tutorial
2001-08-20
On the Z-Module Structure Of A Free Semialternative Ring
1998-03-04
Multi-Layer Methods and the Optimal Optimizer
2001-10-31
Michiel B. De Jong
Finite State Transducers in Haskell
2001-08-28
Markus Forsberg
Constraint-based Verification of Client-Server Protocols
2001-05-23
Defeasible Reasoning with Legal Rules in a Deontic Logic based on Preferences
2000-12-21
Frank Dignum
Floor-Planning via Orderly Spanning Trees
2001-11-08
Chien-chih Liao
Geometric Algorithms for Layered Manufacturing
2001-02-27
Michiel Smid
Optimal Gait Selection for Nonholonomic Locomotion Systems
2000-01-18
The Design of a Customizable Component to Display and Edit Mathematical Formulas
1995-09-27
Annual Language Testing Research Colloquium Theme: Language Testing and Technology
2001-11-08
Alpha/sim Simulation Software Tutorial
2000-04-22
Goodput Control for Heterogeneous Data Streams
2000-07-18
Flexible Embedded Image Communication using Levels of Detail and Regions of Interest
2001-12-13
Measuring ATM video quality of service using an objective picture quality model
2001-01-09
SCAAT: Incremental Tracking with Incomplete Information
2001-05-03
Bestvina-Brady Groups and the Plus Construction
1999-10-21
James Howie
Capturing the Behavior of Bubbles and Drops Using the Variational Level Set Approach
2001-03-01
Technology Trends and Adaptive Computing
2001-12-18
A Fully Distributed Location Management Scheme for Large PCS Networks
2001-03-09
Incrementality, Half-life, and Threshold Optimization for Adaptive Document Filtering
2001-02-06
A Hybrid Control Framework for Systems With Quantization
2001-08-08
Daniel Liberzon
Preconditioning in Hdiv and Applications
1998-10-02
Legal Expert System KONTERM - Automatic
2001-04-17
Governance Structure in the Deregulated Trucking Industry
1999-08-26
Thomas N. Hubbard
The Characterization of Data-Accumulating Algorithms
2001-05-06
Efficiently Maintaining Stock Portfolios Up-To-Date On The Web
2001-11-28
The IMB Jena Image Library of Biological Macromolecules: 2002 update
2001-09-26
Polynomial-Time Separation of Simple Comb Inequalities
2001-10-29
Mawson: A Metropolitan Area Wavelengh Switched Optical Network
1998-11-16
M. A. Summerfield
FINAL REPORT: LAURIN http://laurin.uibk.ac.at/
2000-11-22
Gnter Mhlberger iza
`Quality Jobs' and 'Real Choice' for Rural Youth: a Reassessment
2000-12-28
Group Mutual Exclusion in Token Rings
2001-05-23
Franck Petit
Design of 3-D Reinforcing in Structural FRP Composites
1998-03-19
Colby C. Swan
Interactive Multimedia Teaching Environment for History and Art Explorative Study By the Use of Historical Sources
2001-02-27
Flexibility of the murine prion protein and its Asp178Asn mutant investigated by molecular dynamics simulations
2001-12-10
Image Processing Applied To A Robotic Football Team
2000-05-04
Searching a goal on m rays within a fixed distance Extended Abstract
2001-03-14
A Robust Clustering Technique For Multi-Spectral Satellite Images
2000-01-20
Tatsuya Yamazaki
Development of a Switched Capacitor Array ASIC for the CMS Forward Muon Chamber Readout
2000-07-18
An Implementation and Analysis of the Virtual Interface Architecture
1999-08-05
The Significance of Federal Taxes as Automatic Stabilizers
2000-04-04
An Interactive Approach for Synthesizing UML Statechart Diagrams from Sequence Diagrams
2000-10-04
Erkki Mkinen
The Morphosyntax of Serbo-Croatian Quantified NP's
1997-04-30
End-to-end WAN Service Availability
2001-06-12
A Methodology for the Construction of Scheduled Systems
2001-03-16
Control of Squeezed States
2000-08-03
Constructing Optimal Trees From Quartets
2000-07-01
.8m CMOS 2.5Gbps Oversampling Receiver and
1999-01-28
CobotDS: A Spoken Dialogue System for Chat
2001-10-10
GeoSQL: A Spatial Query Language of Object-oriented GIS
2001-02-14
Automatic Generation Of Data-Flow Analyzers: A Tool For Building Optimizers
1994-08-09
Interpretation of Self-Organizing Maps with Fuzzy Rules
2001-04-17
Towards Goal-Directed Forward Reasoning in Resolution
2001-04-09
Seungyeob Choi
Visual Learning for a Mid Level Pattern Discrimination Task
2001-10-17
National Center for Physics Education NCPE
2000-06-27
An Efficient Dynamic Auction for Heterogeneous Commodities
2001-03-04
Lawrence M. Ausubel
Transferring Algebra Structures Up to Homology Equivalence
1998-09-23
A High Performance Two-Stage Packet Switch Architecture
2001-08-08
Timothy X Brown
Generalized Coincident Pulse Technique and New Addressing Schemes for Time-Division Multiplexing Optical Buses
2001-10-15
Videre: Journal of Computer Vision Research
1998-08-20
Large Scale Eigenvalue Calculations for Computing the Stability of Buoyancy Driven Flows
2001-05-04
Far Infrared and Submillimeter Emission from Galactic and Extragalactic Photo-Dissociation Regions
1999-07-19
Edge Domination on Bipartite Permutation Graphs and Cotriangulated Graphs
1998-09-14
Macroscopic Structure and Physiology of the Normal and Diseased Heart
2001-10-25
Selection of Image Features for Distribution-Map Classifiers
2000-07-06
Arbitrage and Sampling Uncertainty in Financial Stochastic Programming Models
1999-04-26
Solving Point and Plane vs. Orthogonal Polyhedra Using the Extreme Vertices Model EVM
2001-06-20
Partitioning, Automation and Error Recovery in the Control and Monitoring System of an LHC Experiment
2001-08-20
C. Gaspar cern
Improvements to the Loss-of-Potential LOP Function in the SEL-321
2000-11-08
Query Processing in Broadcasted Spatial Index Trees
2001-04-27
Logical Definability on Infinite Traces
2001-03-09
Towards an Object-Oriented Framework for Multi-Domain Management
1999-06-18
Toward The Optimal Decomposition Of Arbitrarily Shaped Structuring Elements By Means Of A Genetic Approach
1996-07-03
On Performance of Enterprise JavaBeans
2001-03-29
Near-IR Reflectance Spectroscopy of 433 Eros from the NIS Instrument on the NEAR Mission. 1. Low Phase Angle Observations
2001-07-19
The Importance to Developing Countries of Access to Distributed Knowledge
2001-01-14
George Sadowsky
Using Automatic Differentiation Tools to Solve the Continuous Sensitivity Equation
1999-01-22
Some Formal Invariants of Linear Difference Systems and Their Computations
2001-03-28
Spin-Spin Correlation Functions of Spin Systems Coupled to 2-D Quantum Gravity for 0
1996-08-06
A Set-Constraint-based analysis of Actors
1997-05-07
New Jersey Machine-Code Toolkit Reference Manual - Version 0.5a
2001-04-04
The Tenacity of Zero-One Laws
2001-02-06
Limits on Learning Machine Accuracy Imposed by Data Quality
2000-02-25
The Internet: A Business Decision
1998-04-24
John Lamp Bsc Graddipscit
Bounding Queries in the Analytic Polynomial-Time Hierarchy
1998-01-20
Schwarz-Christoffel Toolbox User's Guide
2000-03-21
Symbolic Partitioning and Scheduling of Parameterized Task Graphs
2001-03-14
Life CycleServiceSpecification
2000-04-20
Disjoint Web Document Clustering and Management in Electronic Commerce
2001-10-01
The Arithmetic
2001-07-09
Denis Xavier Charles
Structured Documents Processing Using Lex and Yacc
2001-11-14
Effective Use of Networked Reconfigurable Resources
2001-12-03
The Design of a Time Warp Synchronized VHDL Simulation Kernel
1998-05-19
Krishnan Subramani
Wavefronts and Global Stability in a Time-Delayed Population Model With Stage Structure
2001-09-10
Family Species Common name C5
2000-03-15
Achieving Target-System Independence in Event Visualisation
2001-08-01
A Case Study in Heterogeneous Implementation of Automotive Real-Time Systems
2001-02-27
Jakob Axelsson
Typechecking XML Views of Relational Databases
2001-04-17
Appendix to "Irreducibility, Brill-Noether loci, and Vojta's inequality" by Thomas J. Tucker Olivier Debarre
2001-11-28
Olivier Debarre
The Hermeneutics Of Life
2000-11-28
George Kampis
Frequency Domain Down-Conversion of HDTV Using an Optimal Motion Compensation Scheme
1999-07-09
A Formal Study of Interactions in Multi-agent Systems
2000-10-16
Elastic Modeling of Skin for Character Animation
1997-04-28
Sreenivasa Kaushal
On the rank of Picard groups of modular varieties attached to orthogonal groups
2001-08-13
Jan Hendrik Bruinier
Distances To Nearby Galaxies: Combining Fragmentary Data Using Four Different Methods
1996-02-26
Strong Versus Weak Quantum Consequence Operations
2001-08-16
Four Different Measures to Quantify Three Usability Attributes: 'feedback', 'interactive Directness' and 'flexibility'
1999-07-22
Matthias Rauterberg
Framework and results for English SENSEVAL
2001-10-09
Using Variable-MHz Microprocessors to Efficiently Handle Uncertainty in Real-Time Systems
2001-09-30
Eric Rotenberg
A Neural Network for Global Second Level Trigger - A Real-time Implementation on DecPeRLe-1
2001-01-05
Nonoscillatory High Order Accurate Self-Similar Maximum Principle Satisfying Shock Capturing Schemes I
2000-10-05
Investor Protection And Corpoerate Valuation
2000-09-07
The Getting of Macroeconomic Wisdom
2000-07-18
Adrian Pagan
Forest Ecosystem Processes At The Watershed Scale: Dynamic Coupling Of Distributed Hydrology And Canopy Growth
2001-06-22
D. Scott Mackay
Molecular Computation and Splicing Systems
2000-11-14
J. H. M. Dassen
Solving a "Hard" Problem to Approximate an "Easy" One: Heuristics for Maximum Matchings and Maximum Traveling Salesman Problems
2001-02-02
Codimension, Depth, Auslander-Buchsbaum theorem
2001-01-02
Online Time Stamped Text Indexing
2001-11-21
Monitoring Deployed Agent Teams
2001-04-23
Composing and Controlling Search in Reasoning Theories using Mappings
2000-03-18
Rochester
1998-08-04
On the Convergence of Borel Approximants
2001-10-04
On the Design of a Novel Dexterous Hand
1999-08-29
A Framework for Performance Evaluation of Parallel Discrete Event Simulators.
1998-05-19
Vijay Balakrishnan
Designing the User Interface for Multimodal Speech and Pen-based Gesture Applications: State-of-the-Art Systems and Future Research Directions
2000-08-01
Social Navigation: Modeling, Simulation, and Experimentation
2001-10-09
Multiscale Modelling Of Complex Fluids
1999-10-28
An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions
2001-11-26
Area Spectral Efficiency of Cellular Mobile Radio Systems
2001-10-19
Purpose
1996-05-06
Robert L. Walton
Here is the Knowledge - where should I put it? - Findings from a study of how . . .
2000-01-27
Protein Sequence Similarity Searches Using Patterns as Seeds
2001-12-17
On The Use Of Logical Abduction In Software Engineering
2000-12-05
Representations of First Order Function Types as Terminal Coalgebras
2000-10-31
Thorsten Altenkirch
Textual Connectors Across Languages: French EN EFFET
2000-09-11
Bluetooth: Vision, Goals, and Architecture
2001-02-23
Durable-Goods Monopoly: Laboratory Market and Bargaining Experiments
2000-07-05
Stanley S. Reynolds
New Jersey Machine-Code Toolkit Architecture Specifications
2001-02-20
A Note On "a Dual-Ascent Approach To The Fixed-Charge Capacitated Network Design Problems"
1999-11-25
Bernard Gendron
Goal Formulation based on Communicative Principles
1997-03-04
Kristiina Jokinen
The Separated Cellularity Of A Topological Space And Finite Separation Spaces
1999-01-25
The Hidden Function Question Revisited
1997-10-08
Arno Schonegge
Scalable Web Clusters with Static and Dynamic Contents
2000-12-15
Generalized Quanti ers in Declarative and Interrogative Sentences
2000-07-14
Tracking Focus of Attention for Human-Robot Communication
2001-10-19
Segmentation and Tracking of Multiple Humans in Complex Situations
2001-09-29
Dependencies in Multi-Resolution Databases
2001-03-05
David Skogan
Bayesian Ying-Yang machine, clustering and number of clusters
2001-11-03
Lei Xu
Enforcing Integrability for Surface Reconstruction Algorithms Using Belief Propagation in Graphical Models
2001-11-15
Endourethral MRI
2001-04-01
On Strong Measure Zero Subsets of ...
2001-02-26
Scalable Parallel Algorithms for Geometric Pattern Recognition
2001-09-23
Performance Evaluation of One and Two-Level Dynamic Branch Prediction Schemes over Comparable Hardware Costs
1995-09-21
Evolution of Visual Resolution Constrained By a Trade-Off
2001-02-09
Architecture Visualization With Mobile Threads
1998-11-06
Proof, Language, and Interaction: Essays in Honour of Robin Milner
2001-07-11
Appendix A Figure A
2001-08-01
Figure B
Integrating Voice, Data and Video Communications
1998-07-31
Sreenivasa Kaushal
Three Silicon Retinas for Sinple Consumer Applications
1999-04-28
Bidirectional IOHMMs and Recurrent Neural Networks for Protein Secondary Structure Prediction
2001-12-18
Simulation-Based Design Error Diagnosis and Correction in Combinational Digital Circuits
2000-08-06
An Algorithmic Approach for the Symmetric Perturbed Eigenvalue Problem - Application to the resolution of a Schrödinger equation by a kp-Perturbation
2001-04-01
Airline Intranet Architecture for Flight Crew Support and Training
2001-01-19
Kenneth G. Madden
Using C++ Class Libraries from an Interpreted Language
1998-07-31
Performance Evaluation of Conservative Algorithms in Parallel Simulation Languages
1998-07-08
2000-03-02
2000-03-02
Relations Defined on Sets
2001-12-09
Edmund Woronowicz
Model Checking Probabilistic Real Time Systems
2001-12-11
Henrik Ejersbo Jensen
On the Rank of Random Matrices
2000-06-06
C. Cooper
Experimental Validation Of Selected Results On Atm Statistical Multiplexing In The Exploit Project
1996-12-19
Robust Real-time Object Detection
2001-10-12
Adam A. Porter
2001-02-27
Adam A. Porter
WWW Khorosware on Digital Image Processing
1995-06-07
Unknown
2000-02-11
Lecture Notes for Scientific Computing I: Chapter Three - Fast Fourier Transforms, Wavelets, and their Applications
2001-12-06
A hybrid projection based and radial basis function architecture: Initial values and global optimization
2001-11-11
Parameter Dependence in the Critical Behaviour of Shell Structures: A Numerical Approach
2000-03-08
Interbank Lending And Monetary Policy Transmission: Evidence For Germany
2001-07-31
The Method of Projections as Applied to the Numerical Solution of Two Point Boundary Value Problems Using Cubic Splines
2001-11-05
Stanford Linear Accelerator Center
2001-08-01
Heron Triangles And Elliptic Curves
2001-04-16
Using Access Paths to Guide Inference with Conceptual Graphs
1999-12-03
Topics in Galois Theory
2000-01-23
Michael D. Fried
Efficient Verification of the PCI Local Bus using Boolean Satisfiability
2001-04-12
Resource Reservation Mechanisms for Distributed Multi--path Quality of Service Routing
2001-01-05
Computation of Shape Through Controlled Active Exploration
2001-03-07
Three-Dimensional, W-Band Circuits Using Si Micromachining
1999-01-29
Total and Partial Well-Founded Datalog Coincide
1997-02-12
Efficient Root-Finding Algorithm with Application to List Decoding of Algebraic-Geometric Codes
2001-04-21
Comparing Recommendations Made by Online Systems and Friends
2001-08-12
Optimum Secret Sharing Scheme Secure against Cheating
2001-10-19
Wakaha Ogata
Evidence for Stabilization of the Low-spin State of Cytochrome P450 due to Shortening of the Proximal Heme Bond.
1998-10-08
Cuts, Zonotopes and Arrangements
2001-11-05
J. -a. Ferrez
Expression Tree Based Algorithms for Code Compression on Embedded RISC Architectures
2001-09-28
Matched Design Method for Concatenated Trellis-Coded Modulation
1999-02-04
BIBT E Xing
2000-10-17
Oren Patashnik
Automated Text Summarization and the Summarist System
2001-04-20
DIPC: A Heterogeneous Distributed Programming System
2000-02-24
ISP Cost Model ICOMO Design
2000-12-21
Beyond Substance and Process:
1999-08-23
Ub Ph
Asymptotics of Stochastic Networks with Subexponential Service Times
2001-06-25
Nonparametric Entropy Estimation for Stationary Processes and Random Fields, with Applications to English Text
1999-10-12
I. Kontoyiannis
Real Hypersurfaces in Kähler Manifolds
2001-11-05
Wilhelm Klingenberg
Understanding the Potential Benefits of Cooperation among Proxies: Taxonomy and Analysis
2001-09-17
Infinite-Series Representations Of Laplace Transforms Of Probability Density Functions For Numerical Inversion
2000-07-07
Implications of Proxy Caching for Provisioning Networks and Servers
1999-11-09
Canonical Basis And Homology Of Local Systems
1998-09-17
APPENDIX A Equivalency of Metrics
1998-07-22
Implementation of the BLOOM data model on ObjectStore
1999-04-23
Conditional Existence of Variables in Generalized Constraint Networks
2000-04-27
An Overview Of Distributed Database Management
2001-03-15
Ayse Yasemin Seydim
Rothko: A Three-Dimensional FPGA
2001-08-15
The Design and Implementation of a Programming Infrastructure for the Integration and Application of Implicit Surface Research
2000-10-17
The Journal
2001-03-09
Agent-Based Document Retrieval for the European Physicists: A Project Overview
1998-08-18
On Single Interior Spike Solutions Of Gierer-Meinhardt System: Uniqueness And Spectrum Estimates
1998-12-31
Juncheng Wei
Operating System Support for Mobile Active Objects and Replication
1996-06-19
Peter Dickman
Gradient-Based Genetic Algorithms in Image Registration
2001-04-11
Isomorphic Subgraphs
1999-09-20
Sabine Bachl
PTTP+GLiDeS: Using Models to Guide Linear Deductions
2000-06-26
John Rae on the Causes of Invention
1999-10-11
Anthony Brewer
Jayadev Misra
1999-04-27
Jayadev Misra
Improving Knowledge-Based System Performance by Reordering Rule Sequences
2001-02-22
Neli P. Zlatareva
An Approach for Constructing Dynamically Adaptable Component-based Software Systems using LEAD++
1999-11-11
Functional Content and Architecture of the Demonstration Service
1999-08-16
System Analysis, Component Selection, and Testing Considerations for 1310 nm Analog Fiber-Optic CATV Applications
2001-09-04
An Approach to Polarity Sensitivity and Negative Concord by Lexical Underspecification
2000-12-15
Judith Tonhauser
Evaluation of the Single Cell Gel Electrophoresis Assay with Human Hepatoma Hep G2 Cells
2000-09-01
A game semantics of Idealized CSP
2001-12-14
J. Laird
Constructing a Residual Density Operator
2001-08-01
Jeremy Bradley
Topology, Scaling Relations and Leonardo's Rule in Root Systems from African Tree Species
2001-12-18
Using Software Engineering Concepts and Techniques to Leverage Learning: A Novel Approach
2001-02-20
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
2001-07-03
Using a Swap Instruction to Coalesce Loads and Stores
2001-05-03
Unemployment Equilibria and Input Prices: Theory and Evidence from the United States
2000-04-06
List of Publications
2001-10-22
Fully Abstract Bidomain Models of the Lambda-Calculus
2001-12-14
Jim Laird
Management
1999-04-22
Fragmentation Considered Harmful
2001-11-08
Enumeration of All Simple t-t+7,t+1,2 Designs
2001-07-08
Stanisl/aw P. Radziszowski
Recursive Function Definition over Coinductive Types
2000-06-15
John Matthews
Epistemic Logic: A Survey
2001-11-15
Rineke Verbrugge
Generalization for Calendar Attributes Using Domain Generalization Graphs
2001-03-19
D. J. Randall
Perfectly One-Way Probabilistic Hash Functions
2001-09-10
Locally Compact Linearly Lindelöf Spaces
2001-10-02
Kenneth Kunen
A Shortest Path Approach to the Multiple-Vehicle Routing Problem with Split Pick-Ups
2001-04-23
Analytic Perturbation Theory and its Applications
2001-08-03
Bulk Loading Techniques for Object Databases and an Application to Relational Data
2000-02-07
Towards a Specification Framework for Distributed Real-Time Communication
1999-05-17
Sean David Sandys
Meet Continuous Lattices Revisited
2001-12-10
Artur Kornilowicz
Book Review
2001-10-08
Reviewed Brian Blank
Detection of Viable
2000-02-01
Evolutionary Computation as a Multi-Agent Search: a $-Calculus Perspective for its Completeness and Optimality
2001-10-16
Eugene Eberbach
Monitoring Component Interaction in Jini Federations
2001-08-15
Application of a Growing Self-Organizing Map to Thinning of Binary Characters with Noise
2001-04-17
Logarithmic Asymptotics For Steady-State Tail Probabilities In A Single-Server Queue
2000-07-15
Middleware support for media streaming establishment driven by user-oriented QoS requirements
2001-08-24
Emerging Trends of Optical Interferometry in Astronomy
2001-01-17
S. K. Saha
MCAT - A Multimedia Cardiac Angiogram Tool
1997-11-25
Comments on the simulation of background for the CMS muon system
2000-07-18
TITLE : A Prolog Implementation of an Analytic Tableau Theorem Prover for the Propositional Calculus
2001-09-25
Andr Vellino
Controlling Code Growth in Genetic Programming
2001-01-30
Peter W. H. Smith
Congestion Control Techniques in Asynchronous Wormhole Routing Networks
1996-01-05
What Is a Structural Measurement Process?
2001-12-01
Using Leases to Support Server-Driven Consistency in Large-Scale Systems
1998-03-30
Factor Oracle: A New Structure for Pattern Matching
2000-08-24
Integral Homology of
1999-08-09
Kevin P. Knudson
Stability of the Thermohaline Circulation in analytical and numerical models
1998-11-13
Gerrit Lohmann
Efficient Multidimensional Searching Routines for Music Information Retrieval
2001-11-09
Notions of computability at higher types III
2001-04-06
John Longley
Toward Optimal Complete Exchange on Wormhole-Routed Tori
1997-09-25
Who Will Be the Scientists? A Review of B. Alan Wallace's `The Taboo of Subjectivity'
2001-11-08
Jack Petranker
Estimating Reachable States of Hybrid Systems via l-Complete Approximations
2001-09-14
Michael Orshansky
2001-04-22
Scalable Secure Group Communication over IP Multicast
2001-05-16
An Investigation into Fault Recovery in Guaranteed Performance Service Connections+
1999-05-24
Regular Curves in ThreeDimens Space
2000-02-27
Marc H. Mehlmg
Protein Motions through Eigenanalyses: A Set of Study Cases
2001-03-13
Molecular abundances in the Magellanic Clouds
1999-03-01
Measuring and Evaluation of ICT-supported Services in the Domestic Environment
2000-03-14
Spectroscopic Measurements of Hydrogen Ion Temperature During Divertor Recombination
1998-08-19
Parallel Evaluation of Interaction Nets with MPINE
2001-03-01
Pattern Matching for Spatial Point Sets
1999-03-19
RoGi Team Description
2000-05-26
Face-Tracking and Coding for Video Compression
2001-05-25
Course Description
1997-05-14
Teaching Recursion Before Loops In Cs1
2001-08-05
Resource Sharing for Replicated Synchronous Groupware
2000-12-22
Catarina Varela Selada
2000-02-02
An Optimized Interaction Strategy for Bayesian Relevance Feedback
2001-08-30
Substrate-Aware Placement and Routing
2000-01-20
Achie Lin
On the Search for a Finitizable Algebraization of First Order Logic
2000-05-18
Paired Gang Scheduling
2001-10-22
Image Mosaicing for Tele-Reality Applications
2000-09-19
Improving Collective I/O Performance Using Threads
1999-01-31
XML Declarative Description: A Language for the Semantic Web
2001-09-25
Java Bytecode Compression for Low-End Embedded Systems
2001-08-24
Equilibrium Distribution of Agents by Types in a Market, and Existence of Power Laws
1999-12-08
Masanao Aoki
Lift-and-Project for Mixed 0-1 Programming: Recent Progress
2001-09-07
Research Prospects on Cognition and Behavior
1995-06-26
The Neural Path to Dialogue Acts
2000-04-10
The Stellar Temperature Scale From Angular Diameters And Flux Distributions
1997-05-28
Design Methodology for Development of Behavioral Synthesis Generic and Synthetic Benchmarks
1997-01-16
Scalings in Linear Programming: Necessary and Sufficient Conditions for Invariance
1996-12-15
Tailoring Training Courses Using XML-based Metadata
2001-11-27
The Estimation of Switchpoints in Multi--path Linear Regression
2001-05-08
Piet C. N. Groenewald
User-defined Music Sequence Retrieval
2000-10-11
Evolving Patterns of International Trade
1998-07-28
ELPIF: An E-Logistics Processes Integration Framework Based on Web Services
2001-11-19
Optimal Properties and Adaptive Tuning of Standard and Nonstandard Support Vector Machines
2001-11-07
Laser Computer-Aided Systems for GTE Gas-Air Track Elements Inspection
2001-02-19
Triangle Factors in Random Graphs
2001-04-20
Michael Krivelevich
The UltraC2K: A Wire-Intensive Superscalar Processor
2001-09-07
Guards, Preconditions and Refinement in Z
2000-09-05
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking
1999-08-08
Incentive Pricing in Multi-Class Systems
2000-06-21
An Architecture and Two New Research Problems in ARCS Databases
1996-12-21
JavaSet -- extending Java by persistent sets
2001-01-17
Random intersection graphs when m = wn: an equivalence theorem relating the evolution of the Gn, m, p and Gn, p models
1998-12-18
Mobile-End Transport Protocol: An Alternative to TCP/IP Over Wireless Links
1998-05-06
The Representation of Context in a Face-to-Face Speech Translation System
2000-04-10
Elisabeth Maier
Image and Watermark Registration for Monochrome and Coloured Images
1999-02-25
Virtual Reality for the Participatory Design of Work Environments
2000-05-07
The Cracker Patch Choice: An Analysis of
2001-04-27
Towards a Representation Format for Sharable Clinical Guidelines
2001-06-08
Explicit Construction of the Hilbert Class Fields of Imaginary Quadratic . . .
2001-11-16
Quality of Service Guarantee on 802.11 Networks
2001-11-07
Competitive Concurrent Distributed Queuing
2001-06-15
Metamodelling and Conformance Checking with PVS
2001-07-04
A Real-Time Simulation Environment for Evaluating Traffic Signal Systems
1997-11-20
Darcy Bullock
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs
2001-02-27
Bandwidth Efficient And Error Resilient Image Coding For Rayleigh Fading Channels
1999-09-12
Parallel Implementation of the Steepest Descent Fast Multipole Method SDFMM On a Beowulf Cluster for Subsurface Sensing Applications
2001-10-08
All-Uses versus Mutation Testing: An Experimental Comparison of Effectiveness
2000-07-26
Equalization for Discrete Multitone Transceivers
2001-03-27
On-Demand, Link-State, Multi-Path QoS Routing in a Wireless Mobile Ad-Hoc Network
2001-12-14
C-Mix: Making Easily Maintainable C-Programs run FAST
2001-07-24
On Grasping And Manipulating Polygonal Objects With Disc-Shaped Robots In The Plane
2000-03-03
Hecke eigenforms in the Cuspidal Cohomology of Congruence Subgroups of ...
1999-12-21
A Method and Apparatus for Measuring Media Synchronization
1995-05-03
Protecting Services with Smartcard-Based Access Control: A Case Study at Technical University Berlin
2001-06-26
The Existence of Absolutely Continuous Invariant Measures is Not a Topological Invariant for Unimodal Maps
2001-03-28
Henk Bruin
On the Representation of Unity By Binary Cubic Forms
1999-11-23
Michael A. Bennett
Using the Gravity Model to Estimate the Costs of Protection
1999-12-13
Howard J. Wall
Dynamic Congestion Control and Error Recovery over a Heterogeneous Internet
2001-08-31
Upamanyu Madhow
When are Non-Anonymous Players Negligible?
1996-12-08
Automating the Metamodeling Process
2000-04-22
Sequential Innovation, Patents, And Imitation
2000-05-08
HOUSEHOLD PORTFOLIOS: AN INTERNATIONAL COMPARISON Luigi Guiso, Michael Haliassos and Tullio Jappelli
2001-07-29
Methods for Sampling Pages Uniformly from the World Wide Web
2001-11-30
A VLBI and MERLIN Survey of faint, compact radio sources
1999-06-09
Analysis of Optimal Filter Banks for Multiple Description Coding
2001-11-28
Symmetry Breaking And Fault Tolerance In Boolean Satisfiability
2001-07-31
Amitabha Roy
A Statistical Atlas of Prostate Cancer for Optimal Biopsy
2001-10-19
Short Kloosterman Sums for Polynomials over Finite Fields
2001-12-06
Processing Transactions On Grip, A Parallel Graph Reducer
1993-03-18
Object Oriented Compiler Technology
1994-09-09
Communicative Intentions and Conversational Processes in Human-Human and Human-Computer Dialogue
2001-10-04
Matthew Stone
Written submission to the "AG Neue Medien und Bibliotheken" of the Wissenschaftsrat
2000-12-21
Thomas Krichel
Towards Parallelization of an Image Processing Library
2001-03-19
Lattice Gas Modeling of Scour Formation Under Submarine Pipeline
2001-05-17
Tight Bounds for Worst-Case Equilibria
2001-10-24
Event-based debugging for distributed Internet applications
2001-08-01
Working in the Academics
2001-11-30
Peng Gong
Gene Classification using Expression Profiles: A Feasibility Study
2001-08-08
Distributed Scheduling with Decomposed Optimization Criterion: Genetic Programming Approach
2000-06-22
Interconnecting Distributed Legacy Systems: Virtual Environment Domain Example
2000-01-24
Balanced k-Colorings
2001-09-28
A Family Of Resource-Bound Realtime Process Algebras
2001-10-14
Measuring Experimental Error in Microprocessor Simulation
2001-08-22
Analysis of Accuracy of Data Reduction Techniques
2001-02-01
KONTERM: Exploratory Data Analysis for Semi-automatic Indexation of Legal Documents
2001-04-17
An Online Implementation of the Generalized Profile Search Using BigSky
2001-03-16
Eddie Benowitz
Representation of Document Design Know-How as Transformed XML DTD
2000-02-16
Copyright 2000 by the Association for Computing Machinery, Inc.
2000-08-02
View Integration : A Step Forward in Solving Structural Conflicts
1999-08-27
Making Sense of the Abstraction Hierarchy
2001-10-08
Morten Lind
The Proposed Dedicated Ion Beam Facility for Cancer Therapy at the Clinic in Heidelberg
2000-07-05
A Gap Between the Appearances of a k-core and a k + 1-chromatic Graph.
2001-08-15
Michael Molloy
Cyclic Lambda Calculi
2000-10-26
A Note on the Numerical Solution of Complex Hamiltonian and Skew-Hamiltonian Eigenvalue Problems
1999-07-08
An Empirical Methodology for Introducing Software Processes
2001-06-12
Decremental Biconnectivity on Planar Graphs
1997-07-01
Formal Methods For High-Performance Linear Algebra
2000-09-25
Using A Likelihood Perspective To Sharpen Econometric Discourse: Three Examples
1999-08-04
Christopher A. Sims
The Ziegler and Zariski spectra of some domestic string algebras
2001-01-05
Towards Distributed Configuration
2001-09-29
A Parsing Methodology For Error Detection
2000-09-06