On Rigid Tuples in Linear Groups of Odd Dimension
1999-11-19
The End-to-End Performance Effects of Parallel TCP Sockets on a Lossy WideArea Network
2001-10-22
Self-Focusing of Elliptic Beams: An Example of the Failure of the Aberrationless Approximation
2001-06-21
Computing Global Virtual Time in SharedMemory Multiprocessors
2000-10-18
Songsak Channarukul Susan W. McRoy Syed S. Ali
2001-08-05
Steady State Solutions Of A Reaction-Diffusion System Modeling Chemotaxis
2001-10-23
High-Performance Compression of Visual Information - A Tutorial Review - Part I: Still Pictures
2001-03-07
A Streaming Multi-Threaded Model Extended Abstract
2001-10-01
Information Geometry of Positive Matrices and Isospectral Flow
1998-03-14
Statistical Physics of Clustering Algorithms
2001-03-02
Thore Graepel
Capturing timing requirements formally in AMN
1999-06-21
A Component-based Architecture for Streaming Media
2001-09-10
Escort: Securing Scout Paths
1999-08-03
Anaphora Resolution in Japanese Sentences Using Surface Expressions and Examples
2000-10-27
Masaki Murata
Intersections Of Random Lines
2001-08-16
Rodney Coleman
NAG Spline Fitting Routines on a Graphics Workstation - the Story so far
2001-03-29
An Upper Bound for the Size of the Largest Antichain in the Poset of Partitions of an Integer
1999-12-13
A Classification of Interdomain Actions
2000-02-14
Winfried E. Kuhnhauser
Variance Analysis of Sensitivity Information for Pruning Multilayer Feedforward Neural Networks
2000-03-13
VLSI CAD Conferences
2000-02-28
Combinatorial Properties of RNA Secondary Structures
2001-10-01
Effects of Swarm Size on Cooperative Particle Swarm Optimisers
2001-06-01
Responsive Television
2000-09-14
Radiosity for Dynamic Scenes in Flatland With the Visibility Complex
1996-05-20
Naturalistic Approaches to Musical Semiotics and the Study of Causal Musical Signification
2001-05-11
Marc Leman
Representing SGML Documents in Description Logics
1996-09-27
A Logarithmic-time Updating Algorithm for TDlambda Learning
2001-01-18
Susumu Katayama
A Combined BIT and TIMESTAMP Algorithm for the List Update Problem
2000-06-08
Compression of Polynomial Texture Maps
2001-10-11
The Quark-Hadron Phase Transition in Protoneutron Stars
1999-03-04
A Real-Time Execution Performance Agent Interface for Confidence-Based Scheduling
2000-10-12
Sam Siewert
Real-Time Measurement of Long-Range Dependence in ATM Networks
2000-03-29
A Comparative Study Of Large-Scale Nonlinear Optimization Algorithms
2001-12-14
Fast Algorithms for Estimating Aerosol Optical Depth and Correcting Thematic Mapper Imagery
2001-02-27
Population and Quantitative Genetics of Regulatory Networks
2001-01-20
Kerberos Authentication in Sun RPC
1994-09-28
Carl Smith
Remarks to the Tabular Aspects of XML
2001-12-06
Placing Structuring Elements In A Word Sequence For Generating New Statistical Language Models
2000-11-24
Using Neural Networks And Genetic
2001-09-25
Efstathios Kalyvas
Learning Belief Networks for Language Understanding
2001-06-03
Using Eutrophication Modeling to Predict the Effectiveness of River Restoration Efforts
1998-03-09
James D. Bowen
Existence And Nonexistence Of Positive Singular Solutions For Semilinear Elliptic Problems With Applications In Astrophysics.
2001-04-20
A Simulation Study of Three Related Causal Data Mining Algorithms
2001-11-01
Plausibility and Belief Measures Induced by Kripke Models
1999-05-21
FPGA Clock Management for Low Power
1999-10-07
Efficient Representation and Abstractions for Quantifying and Exploiting Data Reference Locality
2001-04-10
Molecular photoionisation cross sections by moment theory. An introduction
1997-08-22
Traffic Control Systems Case Study: Problem Description and a Note on . . .
2000-05-19
A Performance Comparison of Multi-Hop Wireless Ad Hoc Network Routing Protocols
2001-09-02
Object Specification and Testing using VTL
2001-11-26
A Review of Data Mining Techniques
2001-09-24
How Dynamic E-journals can Interconnect Open Access Archives
2001-05-02
Approximation Algorithms for Maximization Problems arising in Graph Partitioning
2000-02-22
Distributed Object Management Systems
2000-07-28
John Scourias
A Combinatorial Characterization of Properties Preserved by Antitokens
2001-09-08
Facilitating the Rapid Development of Language Understanding Interfaces for Tutoring Systems
2001-02-16
Carolyn Penstein Ros'e
Homeomorphism Between
2001-12-10
Artur Kornilowicz
On Model Checking for Non-Deterministic Infinite-State Systems
2001-08-01
Model-Driven Simulation Of World-Wide-Web Cache Policies
2000-04-22
Self-Adjointness Of Schrödinger Operators
2001-10-25
Andreas M. Hinz
A Mode System for Flexible Alias Protection
1998-07-28
Application of real-time streaming audio to Web-based courses
1998-05-26
TMR PHYSTA Report
2000-01-14
By Tim Hopkins and David Morse
2001-03-29
Melodic Resolution in Music Retrieval
2001-11-09
A Pattern Based Browsing Model
2001-06-06
A Platform-Independent API for Quality of Service Management
2001-06-19
Ideal Atmosphere-Ocean Coupling and Multi-linear Stochastic Models
2001-02-27
White Paper: Frequency Domain Equalization for Single-Carrier Broadband Wireless Systems
2001-09-10
TURTLE: A Timed UML and RTLotos Environment
2000-09-25
A Simplified Guide to Large Antichains in the Partition Lattice
1999-12-13
Sensitivity of Climate Simulations to Radiative Effects of Tropical Anvil Structure
1998-01-08
An approach to integrating HLA federations and genetic algorithms to support automatic design evaluation for multi-agent systems
2001-12-11
Evolution by Contract
2000-08-28
Efficient Breakout Routing in Printed Circuit Boards
1998-08-03
Hiding The Hidden: A Software System For Concealing Ciphertext As Innocuous Text.
1998-08-25
Formal Verification of Multilingual Instructions
2001-01-18
Comparison Between Local Estimates for Multi-Categorical Varying-Coefficent Model
1999-09-17
Mining of Association Rules in Very Large Databases: a Structured Parallel Approach
2001-03-28
Differences between Applicant and Non-Applicant Personality Questionnaire Data: some implications for the creation and use of norm tables
1999-11-16
Hardware-Accelerated Visualization of Time-Varying 2D and 3D Vector Fields by Texture Advection via Programmable Per-Pixel Operations
2001-11-28
A Multicast-based Protocol for IP Mobility Support
2000-09-09
Ahmed Helmy
Reliability Maximization of Component-Based Software Systems
2001-11-05
A 2.5V CMOS Differential Operational Amplifier
1999-01-18
Mathematical Models for Musical Performance
2001-03-29
A Box-Constrained Optimization Algorithm With Negative Curvature Directions and Spectral Projected Gradients
2001-03-14
On explicit occupation time distributions for Brownian processes
2001-07-04
Gerard Hooghiemstra
An Overview of Test Model-Checking for Verifying Conformance to Shared Memory Models
2000-10-29
Ganesh Gopalakrishnan
A Unified Semantic Treatment of Singular NP Coordination
1997-05-26
Yoad Winter
GRASP: a data analysis package for gravitational wave detection
1998-07-01
Bruce Allen
High-fidelity Distributed Simulation of Local Area Networks
2001-04-15
Livio Ricciulli
Dynamic semantics of Java byte-code
1998-08-31
Peter Bertelsen
Automatically Proving Termination Where Simplification Orderings Fail
2000-12-18
A Semi-Discrete Problem For The Boundary Layer Of Triple Deck Type Part II
2000-07-25
Laurent Planti E
Volumetric Transformation of Brain Anatomy
2001-03-02
Australian Journal of Physics
1999-09-20
Automating The Analysis of Mammograms: A supervised learning approach to sensor movement
2001-04-12
Completely integrable curve flows on Adjoint orbits
2001-10-06
Thread Groups in L4
2000-10-02
On Designing a Language for Electronic Commerce
1997-01-22
Michael A. Covington
Experimentelle Untersuchung von Spracheingaben unter kognitiver Belastung zur Benutzermodellbildung
2001-03-21
TriMedia CPU64 Architecture
2000-05-31
Hulls For Various Kinds Of alpha-Completeness In Archimedean Lattice-Ordered Groups
1999-09-22
Numerical Comparison of Computational Methods for QBD Processes
2000-11-29
Graphing Calculator Intensive Calculus: A First Step in Calculus Reform
1999-10-28
Imperative Lambda Calculus Revisited
1997-10-22
Variance Estimation in Spatial Regression Using a Nonparametric Semivariogram Based on Residuals
2001-03-20
Teaching CS/1 Courses in a Literate Manner
1997-10-31
Remnants",
2001-11-08
Model-based Fault and Intrusion Detection in X10 Powerline Networking
2001-05-02
Recognition of Surface Reflectance Properties from a Single Image under Unknown Real-World Illumination
2001-10-15
Evolutionary Computation
2001-10-19
Performance Evaluation of H.263 and MPEG-2 Coders for Interactive TV Applications
1999-12-16
FlexRAM Architecture Design Parameters
2001-04-30
Enhancing Trust Online
2000-05-04
Stability of discretizations of the Stokes problem on anisotropic . . .
2001-10-08
Symbolically Speaking: A Connectionist Model of Sentence Production
2001-09-22
Franklin Chang
Introducing IT-Security Awareness in Schools: The Greek Case
2001-03-27
Queueing Analysis of Traffic Shaping and Scheduling Applied In The Source ATM End Point
2001-10-20
Techical Research Report
2001-11-02
AIM Advanced Informatics in Medicine Secure Environment for Information Systems in MEDicine SEISMED A2033
2001-05-30
The Submanifold Geometries associated to Grassmannian Systems
2001-10-06
Unknown
2001-11-30
Capital Structure, Wage Bargaining and Employment
2000-08-15
Analysis Techniques
1999-09-25
Lawrence M. Brown
Hari Balakrishnan, Venkata N. Padmanabhan, Srinivasan Seshan and Randy H. Katz
2001-10-04
Ozone Reactivity Analysis Of Emissions From
1995-12-20
William P. L. Carter
Censoring Technique in Studying Block-Structured Markov Chains
2001-11-08
Yiqiang Q. Zhao
On the Efficiency of Nearest Neighbor Searching with Data Clustered in Lower Dimensions
2001-05-10
Scattered Data Interpolation by C² Quintic Splines Using Energy Minimization
2001-01-10
Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs
2001-11-07
Analysis of Wake/Sleep EEG with Competing Experts
1997-07-08
DSTRIDE: Data-cache miss-address-based stride prefetching scheme for multimedia processors
2001-04-17
Tuning Synthetic Pheromones With Evolutionary Computing
2001-03-14
On-Web Encyclopedia of Genome Profiles On-Web GP for Species-Identification for All Organisms
2001-02-21
An Integrated Analysis and Database System for Full-Length cDNA
2001-02-21
From Coherent Structures to Universal Properties
2001-10-25
Claudio Hermida
A Security Framework for Online Distance Learning and Training
1998-03-31
Transformation Of Guarded Statecharts For Quantitative Evaluation Of Dependable Embedded Systems
2001-02-07
Maximal Prime Subgraph Decomposition of Bayesian Networks
1999-08-03
Extending Lambek grammars: a logical account of minimalist grammars
2001-10-09
Alain Lecomtey
Tangible Sound: Musical Instrument Using Fluid Water
2000-06-14
High-Order Spatial Discretization Methods for the Shallow Water Equations
2001-02-14
Anita W. Tam
The Second Futamura Projection for Type-Directed Partial Evaluation
2001-04-30
Implicit Quasilinear Differential Systems: A Geometrical Approach
2001-03-28
System Architectures for Structured Document Data
2000-10-05
The Role of Knowledge in Next-generation Product Development Systems
2001-10-16
Low Complexity Dynamic Region And Translational Motion Estimation For Video Indexing
2001-07-26
An Algorithm to Align Words for Historical Comparison
1997-01-22
Michael A. Covington
The Finite Capacity Dial-A-Ride Problem
1999-11-15
Moses Charikar
Decision Tree Classification of Spatial Data Streams Using Peano Count Trees
2001-11-08
Accomplishments and Research Challenges in Meta-Programming
2001-09-18
Tim Sheard
On the Logical Aspects of Argument-based Negotiation among Agents
2001-06-18
UTRA-TDD Synchronization Unit Simulator
2001-05-03
Austronesian Partitives
2001-08-24
Two Approaches To Incorporate Approximate Geometry Into Multi-View Image Coding
2001-01-29
Compiling Proof Search in Semantic Tableaux
2001-11-05
Joachim Posegga
In-vivo quantification and densitometry of the MCP joint tissue on patients with rheumatoid arthritis
2001-07-23
A Continuity Correction For Discrete Barrier Options
2001-10-03
Mark Broadie
Multi-Output Regression Using a Locally Regularised Orthogonal Least Square Algorithm
2001-11-09
S. Chen
Processing Arbitrary-Length Signals With Mdft Filter Banks
2000-09-13
Towards Inductive Constraint Solving
2001-09-13
Class Notes : Programming Parallel Algorithms
2001-11-27
On the Search for New Learning Rules for ANNs
1999-12-13
Architetture di Controllo per Reti di Nuova Generazione
2001-03-02
Measurement And Modeling Of Oh, No, And Co
2000-02-18
The Classical Solutions of Two-Dimensional Gravity
1999-05-07
Hans Jurgen Schmidt
A Network Simplex Algorithm with On Consecutive Degenerate Pivots
2001-05-10
Constraint Logic Programming for Local and Symbolic Model-checking
2001-09-17
A Local Nest Property in Granular Probabilistic Networks
2000-06-09
Continuous-Learning Weighted-Trigram Approach for Indonesian Language Distinction: A Preliminary Study
2001-06-18
Finite-Tree Analysis for Constraint Logic-Based Languages
2001-11-08
Variable Length Queries for Time Series Data
2001-04-10
Architectureand Performance Evaluation For Redundant Multicast Transmission Supporting Adaptive Qos
2001-09-25
New Approach for Automated Generation of Service Dependency Models
2001-10-09
Christian Ensel
Experiments in Predicting Biodegradability
2001-11-07
Progressive Fractal Coding
2001-05-17
Topographic Maps Based on Kohonen Self Organizing Maps An Empirical Approach
2001-10-19
Information Flow Inference for ML
2001-11-05
Vincent Simonet
A New Distributed Model to Control and Coordinate a Set of Autonomous Mobile Robots: The Corda Model
2000-08-17
Derive on a Palmtop
1999-10-28
Signal Stability based Adaptive Routing SSA for Ad-Hoc Mobile Networks
2001-11-22
Efficient composition and automatic initialization of arbitrarily structured PVM programs
2001-10-18
J. Y. Cotronis
On Cutting a Few Vertices From a Graph
2001-06-03
Ada Tasking for Sensor and Control Applications
2001-09-04
Paul R. Pukite Daina
A Rigorous Theory of Infinite Limits
2000-09-05
SADA TIK IT-Infrastructure Hands-On
2001-04-06
Lukas Ruf
Mobile Networking at IETF 45
1999-07-27
Component-Oriented Programming Languages: Messages vs. Methods,Modules vs. Types
2000-07-17
Knowledge acquisition from texts towards an ontology of French law
2000-10-23
Tomographic Reflection to Merge Ultrasound Images with Direct Vision
2001-08-07
An Empirical Analysis of Search in GSAT
1993-09-16
A Si LDMOS-Based UHF Power Amplifier
2001-05-03
Hardware Implementation of Phong Shading using Spherical Interpolation
2001-09-15
Termination Proofs for Logic Programs with Tabling
2001-11-07
Eliminating Synchronization Bottlenecks in Object-Based Programs Using Adaptive Replication
1999-03-16
Mining the Network Value of Customers
2001-10-15
Answering Subcognitive Turing Test Questions: A Reply to French
2001-09-26
Peter D. Turney
Making Lexical Sense of Japanese-English Machine Translation: A Disambiguation Extravaganza
2001-04-18
Timothy Baldwin
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
2001-11-07
Volumetric Modeling Through Fusion Of Multiple Range Images With Confidence Estimate
2000-11-16
David L. Elsner
Sovereign Debt Crises and the International Financial Architecture
2001-11-24
Olivier Jeanne
On ILP Formulations for Built-In Self-Testable Data Path Synthesis
1999-03-27
An Interactive Course-Support System for Greek
2000-08-11
A MetaPhoneme Inventory
2001-10-08
Additional Sound Feedback in Man-Computer Interaction: Two Empirical Investigations
1999-07-22
A Parsimonious Model of SKU Choice: Familiarity-based Reinforcement and Response Sensitivity
2000-04-26
On p-adic L-functions for GSp4
2000-01-24
A. A. Panchishkin
An Adaptive Method for Indirect Illumination Using Light Vectors
2001-05-18
Searches at HERA for Excited Fermions, Contact Interactions, a Heavy Neutrino, and: a HERA excess?
1997-09-11
Nichol C. Brummer
UML and the Semantic Web
2001-07-26
Stephen Cranefield
An Adaptive Multiuser Power Control Algorithm for VDSL
2001-08-29
Concurrent Zero-Knowledge
2000-08-26
Producing Good Quotients by Embedding into a Toric Variety - Revised Version
2001-10-11
J Urgen Hausen
Using Meta-Model Technologies to Organize Functionalities for Active System Schemes
2001-04-23
Task Rearrangement on Partially Reconfigurable FPGAs with Restricted Buffer
2001-10-27
A Framework for Face Recognition from Video Sequences Using GWN and Eigenfeature Selection
2000-10-25
Parallel Predictive Modelling using Additive Models and Wavelets
2001-11-09
Clustering Techniques for Databases of CAD Models
2001-10-15
Novel Method for Primer/Probe Design and Sequence Analysis
2001-02-21
Providing Government Information on the Internet: Experiences with THOMAS
2001-01-11
Web-Document Prediction And Presending Using Association Rule Sequential Classifiers
2001-08-17
International News Connection: A Real-time Online News Filtering and Classification System
2001-11-05
Zhiping Zheng
Agent-based Structures, Agent Ontology Preservation and Enterprise Modeling
2001-04-23
Cyrus F. Nourani
SPIN-ning Software Architectures: A Method for Exploring Complex Systems
2001-09-19
Decidability of First-Order Logic Queries over Views
2001-03-20
James Bailey
Towards Precision Tools For ATM Network Design, Dimensioning And Management
1998-04-24
Inclusion of Optimisation Methods on a New Dynamic Channel Allocation Scheme
2001-05-03
Rounding Algorithms for a Geometric Embedding of Minimum Multiway Cut
2001-10-19
Domain Decomposition for Isotropic and Anisotropic Elliptic Problems
1999-10-25
The Task Completion Time in Degradable Systems
2001-10-20
Andrea Bobbio
Adaptive Memory Management and Optimism Control in Time Warp
1997-02-14
Balls and Bins Models with Feedback
2001-10-26
ABR Rate Control for Multimedia Traffic Using Microeconomics
1999-12-16
Computer Modeling of Photosynthesis Using the E-CELL System
2001-02-21
Challenges in Using an Economic Cost Model for Software Engineering Simulation
2001-06-01
Ontologies for Geographic Information Integration
2000-05-30
Detecting Temporal Change in Event Sequences: An Application to Demographic Data
2001-11-07
Case in German - An HPSG Analysis
2001-11-08
Locality Vs. Randomness - Dependence of Operator Quality on the Search State
2001-07-12
Evaluating the Performance of a Network Management Application Based on Mobile Agents
2001-10-31
Adaptive Security in the Threshold Setting: From Cryptosystems to Signature Schemes
2001-10-18
Realistic 3-D Scene Modeling From Uncalibrated Image Sequences
2001-10-28
Some Properties of Nonlinear MAP Estimation by Simulated Annealing
2001-10-18
A. Kehagias
Evolving Object Oriented Design to Improve Code Traceability
2000-06-22
Vision-Based User Interface for Interacting with a Virtual Environment
2000-09-05
Design Recommendations for Riparian Corridors and Vegetated Buffer Strips
2000-06-09
Matrix Modelling
2001-09-30
Analysis of a Distributed Wireless Fair Scheduling Scheme
2000-03-16
High Speed
On the Performance of GroupKey Agreement Protocols
2001-11-05
Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design Problems
2001-03-15
Access Support Tree&TextArray: A Model for Physical Storage of XML Documents
2001-11-09
A Case-Based Approach to Knowledge Acquisition for Domain-Specific Sentence Analysis
2001-01-11
Claire Cardie
FlexiFrag: A Design Pattern for Flexible File Sharing in Distributed Collaborative Applications
1997-07-27
GlaxoSmithKline Position Paper for Workshop of Ontologies in Agents Systems
2001-04-23
A Model for Scheduling andMapping DSP Applications onto Multi-DSP Platforms
2000-06-20
An Abstract Machine to Implement Functions in LIFE
1997-01-27
Seth Copen Goldstein
Measurements Of Market Power In Long Distance Telecommunications
1998-12-11
A New Inclusion Function for Optimization: Kite - The One Dimensional Case
2001-10-31
Inheritance
1998-09-10
Ethogenetics: an Evolutionary Approach to Agents Organization
2001-10-02
An Algorithm for the Eigenvalue Perturbation Problem: Reduction of a
2001-03-18
C. -p. Jeannerod
Multiple Criteria Decision Support by Evolutionary Computation
2001-10-11
Protein Structure Prediction By Threading: Force Field Philosophy, Approaches to Alignment
2001-07-31
Termination Analysis of Tabled Logic Programs using Mode and Type Information
2001-11-07
Danny De Schreye
Correction of Systematic Odometry Errors in Mobile Robots
1995-12-03
Transforming General Program Proofs: A Meta Interpreter which Expands Negative Literals
2001-09-07
Hd Dh
K-Theory And The Anti-Automorphism Of The Steenrod Algebra
2000-05-03
Vital and Health Statistics
2001-03-05
Modeling and Solving the Train Timetabling Problem
2001-11-23
Unknown
2001-04-20
Information Support of Decision Making in Pedagogy
2001-02-10
Computing Equations of State for Ionic Solids
1996-06-08
Second Order Averaging Methods for Oscillatory Control of Underactuated Mechanical Systems
2001-11-02
Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications
2001-09-06
Dynamic Join and Departure in Shared Object Middlewares
2001-12-14
Provably Secure Length-saving Public-Key Encryption Scheme under the Computational Diffie-Hellman Assumption
2001-12-13
Computation of the Folkman Number F_e3, 3; 5
2001-07-07
Implementation and Utilization of a Heterogeneous Multicomputer Cluster for the Study of Load Balancing Strategies
2000-02-02
Unknown
2001-02-20
Figure 1: Middleware Layer in Context
2001-11-24
David E. Bakken
A Note on Comprehensive Factorization
2001-10-25
Claudio Hermida
The Computational Complexity of Generating Random Fractals
1999-06-04
Solving Integer Range Constraints in Polynomial Time Extended Abstract
2001-12-13
Determining the Orientation of a Painted Sphere from a Single Image: A Graph Coloring Problem
2001-12-05
Kevin M. Lynch
Exploiting Syntactic Structure for Natural Language Modeling
2001-08-10
Ciprian Chelba
Human Exploration Ethnography of the Haughton-Mars Project 1998-99
2000-03-06
William J. Clancey
Proceedings of the International Workshop on Software Tools for Technology Transfer STTT '98
1998-06-17
A Fully Automated Object Extraction System for the World Wide Web
2001-05-25
The Undecidability of Second Order Linear Affine Logic
2000-09-04
Alexei P. Kopylov
Toward a Dialogic Theory of Learning: Bakhtin's Contribution to Understanding Learning in Settings of Collaboration
2001-02-26
Timothy Koschmann
Restructuring the BLAS Level 1 Routine for Computing the Modified Givens Transformation
2001-03-29
Stochastic Interconnect Modeling, Power Trends, and Performance Characterization of 3-Dimensional Circuits
2001-11-21
Reevaluation of Wolfcampian cyclothems in northeastern Kansas: Significance of subaerial exposure and flooding surfaces
1998-09-08
Fairness in Scheduling
2001-12-11
Up-Front Design Impacts on Operations Cost Reduction in the JPL Advanced Projects Design Team
1999-01-21
Generalized Bivariate Count Data Regression Models
2000-08-24
Codes, Designs, and Distance
1998-07-21
A General Construction Scheme for Unit Quaternion Curves with Simple High Order Derivatives
2000-12-30
Unknown
2000-10-30
Make Versus Buy in Trucking: Asset Ownership, Job Design and Information
2001-03-28
Facial Circuits of Planar Graphs and Context-Free Languages.
1998-10-08
Bruno Courcelle
Probabilistic Estimation of Local Scale
2000-10-17
J-holomorphic curves, moment maps, and invariants of Hamiltonian group actions
1999-09-22
Transforming Data-parallel Fortran90/HPF Constructs Into a Uniform Internal Representation
2000-05-12
Counting the Number of Isomorphism Classes of Elliptic Curves With a Given Number of Points Over Finite Fields
2001-04-26
Marc Skov Madsen
Stochastic Systematic Search Algorithms for Satisfiability
2001-08-22
A Note on Sparse Random Graphs and Cover Graphs
2000-04-28
Affinity Scheduling of Unbalanced Workloads
1994-12-06
Network Topology and the Efficiency of Equilibrium
2001-06-26
Hierarchical Architecture for Real-Time Adaptive Resource Management
2001-11-15
Small-Scale Parallel Implementation of Fast Wavelet Transforms
2001-02-27
On Synchronous Coding
2001-11-29
Unknown
2001-05-16
Richard H. C. Seabrook
Chemically Induced Grain Boundary Dynamics, Forced Motion By Curvature, and the Appearance of Double Seams
2001-02-11
Paul C. Fife
Exploiting Scan-Line Coherence for Front-to-Back Visible Surface Determination
2000-09-26
Tiling Problems
1998-06-30
A Scalable, Low-Overhead Rate Control Algorithm for Multirate Multicast Sessions
2001-06-12
The benchmark of the EuroBen group
1997-05-15
Aad J. Van Der Steen
Runtime and Quality Tradeoffs in FPGA Placement and Routing
2001-08-03
ENDE: An End-to-end Network Delay Emulator Tool for Multimedia Protocol Development
2001-08-09
Constrained Trajectory Generation for a Planar Missile
2001-03-28
IP Multicast Initiative IPMI IP Multicast Security
1999-08-17
Thomas Hardjono
Monadic Second Order Logic on Tree-Like Structures
2001-02-13
Igor Walukiewicz
Group Representations andHarmonic Analysis from Euler to Langlands,
2000-12-31
Communications:
2001-06-05
Anthony M. Townsend
Case Retrieval Nets in AI&Law
2000-02-29
An Interprocess Communications Design for Migrating Objects
1996-06-19
Fast Approximate Energy Minimization via Graph Cuts
2001-10-01
Model-Based Edge Reconstruction for Low Bit-Rate Wavelet-Compressed Images
2000-04-10
Metrics on RNA Secondary Structures
2001-11-27
Universal Domains For Sequential Computation
2001-08-28
A Survey of Open Problems in Symplectic Integration
1999-02-16
Collapsing Partial Combinatory Algebras
1999-11-18
Mahmoud Youssef Mohamed
2001-06-04
Mahmoud Youssef Mohamed mba
Data Caches for Multithreaded Processors
1999-12-29
Ethnography - Some Practicalities of Ethnographic Analysis
2001-12-18
Materializing Web Data for OLAP and DSS
2001-01-02
An Empirical Validation of Four Different Measures to Quantify User Interface Characteristics Based on a General Descriptive Concept for Interaction Points
1999-07-22
Matthias Rauterberg
An Analysis of the Highest-Level Selection Rule in the Pre ow-Push Max-Flow Algorithm
1999-04-13
A Key Technology Evaluation Case Study: Applying a New Middleware Architecture on the Enterprise Scale
2001-12-18
TILE-Technology Integrated Learning Environments
2000-10-15
Immediate-Head Parsing for Language Models
2001-08-29
Eugene Charniak
Fixed Priority Schedulability Analysis of a Distributed Real-Time Fault Tolerant Architecture
1998-04-29
An Analogy-Based Decision Support System for Strategic Formulation
1997-11-06
Robert Edward Hornby
Enhancements to Transformation-Based Speaker Adaptation: Principal Component and Inter-Class Maximum Likelihood Linear Regression
2000-08-18
Sam-joo Doh
Multipath Effects On Ellipsoid Height Positioning
2001-03-04
Steps towards Limb Profile Retrieval using . . .
2001-03-01
Finite Element Methods With Matching And Non-Matching Meshes For Maxwell Equations With Discontinuous Coefficients
2000-11-22
Autostat^tm: Output Statistical Analysis For Automod^tm Users
2000-04-22
John S. Carson Ii
Gram's Equation -- a Probabilistic Proof
2000-02-23
Emo Welzl
Mathematical Knowledge Management in HELM
2001-10-16
Investment, R&D and Financial Constraints in Britain and Germany
2000-02-08
IA-64 Floating-Point Operations and the IEEE Standard for Binary Floating-Point Arithmetic
2001-08-02
Periodic Stabilization Of A 1-Dof Hopping Robot On Nonlinear Compliant Surface
1997-09-26
Exploiting Fine--Grain Thread Level Parallelism on the MIT Multi-ALU Processor
1999-01-21
Fixed Point Error Analysis Of Multiuser Detection And Synchronization Algorithms For Cdma Communication Systems
1999-12-31
Relative Equilibria of Point Vortices on the Sphere
2000-04-26
Reconstruction of Reflectivity Desities by Wavelet Transforms
2001-08-30
Graph Types
1996-12-06
On the Mixed Chinese Postman Problem
2001-08-19
T. K. Ralphs
EsMS: A Database-Driven E-service Management System
2000-10-14
Generic Graph Algorithms for Sparse Matrix Ordering
1999-06-08
The Regular Element Property
1997-05-20
Fred Richman
Learning Greek with an Adaptive and Intelligent Hypermedia System
2000-09-06
An Affine Partitioning Algorithm to Maximize Parallelism and Minimize Communication
1999-04-08
Centered Pyramids
2000-10-09
Audio Restoration Using Sound Source Modeling
2001-06-06
Detection and Modeling of Fast Attack Transients
2001-11-13
The Maillard Reaction Application to Confectionery Products
2000-09-01
Sparse pseudo-random graphs are Hamiltonian
2001-07-23
Permutation Groups in O-Minimal Structures
1999-10-22
Classification of Genes Using Probabilistic Models of Microarray Expression Profiles
2001-07-19
Constructing Rings of Matrices as Quotients of Symmetric Tensor Powers of Quaternion Algebras
2001-04-04
Aharon Razon
An analysis of Web Server performance with an accelerator
2001-04-18
A New Approach to Bound States in Potential Wells
2001-11-03
J. -f
A Study of the Dynamics of Reflection Color, Helical Axis Orientation, and Domain Size in Cholesteric Liquid Crystal Displays
2001-04-20
Hierarchical Approach to Specification and Verification of Fault-tolerant Operating Systems
1998-08-31
Table Lens as a Tool for Making Sense of Data
2000-10-23
Scalability through Cultivation Using Co-ordination Theory in Design
1999-11-02
-Semantics: A Comprehensive Semantics for Functional Programs
1997-05-16
Exploring Satisability: Instance Families and Experimental Design
2001-10-12
A Lattice-Based Approach to Hierarchical Clustering
2001-05-03
Phosphoglycerate-transporter Protein B as a Most Primitive Protein Predicted by the Poly-tRNA Theory
1998-11-19
Koji Ohnishi
Towards Junking the PBX: Deploying IP Telephony
2001-05-17
Indexing Animated Objects
2001-01-11
Collaborative Distributed Virtual Sculpting
2000-11-23
Design of Low Actuation Voltage RF MEMS Switch
2001-09-23
Minimal Seifert manifolds for higher ribbon knots
1999-10-21
James Howie
Sequence Logos: A New Way to Display Consensus Sequences
2001-12-18
Bounded Degree Spanning Trees
1998-01-06
Local Improvement in Steiner Trees
2001-02-04
Architecture for Providing QoS in an IP-based Mobile Network
2001-07-31
A Persistence Library for Haskell
2001-10-31
Bruno Abdon
Design and Analysis of Algorithms: Course Notes
1996-04-19
Samir Khuller
On Coset Coverings of Solutions of Homogeneous Cubic Equations over Finite Fields
2001-06-04
Regressions, Short and Long
2000-11-14
Direct Decompositions Of Non-Algebraic Complete Lattices
2001-01-12
Friedrich Wehrung
Default Reasoning Using Maximum Entropy and Variable Strength Defaults
1999-12-02
Rachel A Bourne
New Area Based Metrics for Automatic Gait Recognition
2001-12-17
Joint Measurement and State Reduction
2001-12-16
Alan Macdonald
Verifying IP-Core based System-On-Chip Designs
2000-02-18
An Intra-Disciplinary Capstone Project in Digital Filter Design
2001-12-18
A Computer Graphic System for Rendering Gonio-Apparent Colors
2001-05-19
A Hybrid Approach to Maintain Consistency of Cooperative Software Development Activities
2000-10-23
Toward a Methodology of Rational System Design
2001-09-25
Andre Vellino
Measurements about the Quality of Controlled-Load Service
1999-02-12
Differential Equations in Positive Characteristic and Inverse Problems
2001-01-18
Scalable Interactive Volume Rendering Using Off-the-Shelf Components
2001-07-07
Some Results on Mathematical Konane
1999-08-31
Andris Ambainis
Advanced Replacement Policies for WWW Caching
2001-04-29
Shared and Distributed Implementations of Block Preconditioned Conjugate Gradient Using Domain Decomposition on a Distributed Virtual Shared Memory Computer
2000-04-11
Luc Giraud
Whole Genome Amplification of Single Cells: Mathematical Analysis of PEP and Tagged PCR
2000-12-22
Deuterium Observations in our Galaxy View A
2001-03-31
Mobility-Adaptive Protocols for Managing Large Ad Hoc Networks
2001-06-21
Correctly Implementing Value Prediction in Microprocessors that Support Multithreading or Multiprocessing
2001-09-20
Observation of Radiative Leptonic Decay of the Tau Lepton
1999-09-28
Formal Verification of Autonomous Systems NASA Intelligent Systems Program
2001-10-01
Rigid local systems, Hilbert modular forms, and Fermat's last theorem
2001-07-17
Henri Darmon
Dynamic Allocation Of Datapath Resources For Low Power
2001-09-29
Towards a Consistent Logical Framework for Ontological Analysis
2001-10-24
Aaron N. Kaplan
Partial Unit Memory Codes On The Base Of Subcodes Of Hadamard Codes
2000-01-24
Axiomatizing GSOS with termination
2001-09-14
J. C. M. Baeten
Was There a Moment When Americans Became Individualists?
2001-08-22
Claude S. Fischer
Expectations, Technological Change, Information and the Theory of Financial Markets
2000-02-28
David Nawrocki
The relationship between the formation factor and the diffusion coefficient of porous materials saturated with concentrated electrolytes: Theoretical and experimental considerations
2000-11-15
Modeling Performance of Low Level Image Processing Routines on MIMD Computers
1999-04-21
State-smartness - Why it is Evil and How to Exorcise it
2000-04-20
Systems with Exponential Eigenfunctions and Exponential-Input/Constant-Output Operators
2000-10-30
Formality and Informality in Requirements Engineering
1996-07-01
Joseph A. Goguen
On the Relationship of Software Architecture to Software Component Technology
2001-06-04
Interactive Object Registration and Recognition for Augmented Desk Interface
2001-10-29
Graph Clustering Using Multiway Ratio Cut
2001-12-04
DIPC: The Linux Way of Distributed Programming
2000-02-01
A Customized MVA Model for ILP Multiprocessors
1998-05-12
Process Algebra
2000-04-20
Model Checking Time Petri Nets using NuSMV
2001-11-05
Andrea Bobbio
Supporting Reuse by Delivering Task-Relevant and Personalized Information
2001-12-12
Free-Choice Petri Nets An Algebraic Approach
2001-04-24
Computations and Examples for Approximation of Discontinuous Functions Using Low Order Fourier Coefficients
2001-07-06
Robert K. Wright
iSCSI
2001-11-19
The Dynamics of Power System Markets
1999-04-29
A Framework for Virtual Channel onto Virtual Path Multiplexing in ATM-ABR
2000-08-30
Rigorously Automating Transformations of UML Behavior Models
2000-09-19
Non-overlapping Domain Decomposition Preconditioners with Inexact Solves
1998-10-02
Strategies to Combat Software Piracy
1999-08-12
Jayadev Misra
Accelerated Backpropagation Learning: Parallel Tangent Optimization Algorithm
2000-06-06
Distributed Static Mapping and Dynamic Load Balancing Tools under PVM
1998-04-24
Insights and Analyses of Online Auctions
2001-11-13
On Construction of Resilient Functions
2000-12-15
Chuan-kun Wu
Domain Embedding Preconditioners for Mixed Systems
1997-10-14
From Virtual to Physical Reality with Paper Folding
1999-09-06
Shaun Bangay
Flexible Policy-Directed Code Safety
2001-12-08
On the Representation Theorems of Neoclassical Utility Theory: A Comment
2000-08-21
Daniel Mahoney Phd
Growth and Saturation in Random Media
1999-11-02
Learning from Traditional Architects
2001-04-27
Lorraine Johnston
Quality of Service and Related Issues in Broadband Networks
1999-02-25
Grard Hbuterne
Learning and Extracting Primal-Sketch Features in a Log-polar Image Representation
2001-08-20
Tabled Higher-Order Logic Programming
2001-12-08
Brigitte Pientka
Battery-Driven System Design: A New Frontier in Low Power Design
2001-10-18
Visualization of Scalar Topology for Structural Enhancement
2001-02-07
A Novel Parallel Deadlock Detection Algorithm and Architecture
2001-05-31
A Scalable Content-Addressable Network
2001-12-03
Spacelift 2025 The Supporting Pillar for Space Superiority
1996-10-11
Multi-Scale Feature Tracking and Motion Estimation
2000-06-13
Modeling Non-Functional Requirements
2001-06-06
Accelerated Backpropagation Learning: Extended Dynamic Parallel Tangent Optimization Algorithm
2000-05-29
Ali A. Ghorbani
XiPi Theta GammaDelta
1997-10-02
Higher-Order Logic and Theorem Proving for Structured Specifications
2000-03-22
Tomasz Borzyszkowski
Reflection Principles for the Continuum
2001-04-27
Jonathan Stavi
A Digit-Serial Structure for Reconfigurable Multipliers
2001-09-11
Stable Homotopy of Algebraic Theories
2000-10-20
Stefan Schwede
Modulation Coding for Pixel-Matched Holographic Data Storage
2000-03-07
VFlib --- a General Font Library that Supports Multiple Font Formats
1998-06-03
Hirotsugu Kakugawa
Bi-directional Conversion Between Graphemes and Phonemes Using a Joint N-gram Model
2001-09-20
The DOP estimation method is biased and inconsistent
2001-03-15
Mark Johnson
How Much Memory is Needed to Win Infinite Games?
2001-02-13
Multiple Message Broadcasting
2001-09-24
Matthew Suderman
Fractional Lévy Motion and Its Application to Network Traffic Modeling
2001-03-09
NAIL Not Another Implementation of Logic was a prototype deductive database system developed at Stanford.
1996-11-20
Easy Money Through The Back Door - The Markets vs. the ECB
2001-08-30
Motion Control Analysis Of A Mobile Robot
1995-11-28
Delay and Resequencing Issues in Deflection Networks
1999-02-03
Collaborative Multimedia in Scientific Design
2001-02-07
Location Management in Mobile Computing
2001-05-11
A Design of Topological Predicates for Complex Crisp and Fuzzy Regions
2001-11-07
Short-term emission line and continuum variations in Mrk 110
2001-10-04
A Design Study for Thermal Control of a CVD Reactor for YBCO
2000-06-14
A Comparison of Concurrent Programming and Cooperative Multithreading
2000-05-23
Dual-Cubes: A New Interconnection Network For High-Performance Computer Clusters
2001-10-19
Experimental Evaluation of an on-line Scribble Recognizer
2001-03-06
Universal Usability: Pushing Human-Computer Interaction Research to Empower Every Citizen
2001-02-27
Ben Shneiderman
A Survey of Memory Management
1995-07-31
Robert L. Walton
Building Models From Sensor Data: An Application Shared By the Computer Vision and the Computer Graphics Community
2000-04-12
Gerhard Roth
Publications
2001-09-11
Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications
2001-01-22
Lewis Carroll
Modern AI Planning: Reading List
2001-03-13
User Interface Software Tools
2001-08-21
Brad A. Myers
The FLeXpaRT Particle Dispersion Model Version 4.0 User Guide
2001-06-04
Construction of Correlation Immune Boolean Functions
2000-12-15
Chuan-kun Wu
Soundmodem on modern Operating Systems
2001-03-22
Thomas Sailer Hbjnx/aewa
AFlexible Polygon Representation Of Multiple Overlapping Regions Of Interest For Wavelet-Based Image Coding
2000-12-21
Objectives
1999-11-04
Universal Stability of the FTG Protocol
2001-01-08
Educational Technology as a Key to Educational Innovation - State of the Art Report from Germany
2000-12-21
H, C, K-Coloring: Fast, Easy, and Hard Cases
2001-06-18
Comparing the adaptive Boltzmann selection schedule SDS to truncation selection
2001-05-16
Static Processor Assignment
1999-11-01
Shuvra S. Bhattacharyya
Draft: Not For Quotation or Use in Other Ways Without the Permission of the Author. The Importance and Subtlety of Credit Rating Migration Edward I. Altman* September 1997
1999-09-24
Edward I. Altman
Environmental Chamber Studies For Development Of An Updated Photochemical Mechanism For Voc Reactivity Assessment
1997-11-29
A Study on Rate Control Strategies for Video Coding
2001-09-19
State, Event, Time and Diagram in System Modeling
2001-08-10
Jin Song Dong
Design of Turbo Codes for Non-Equiprobable Memoryless Sources
2001-10-09
Show That If
2001-11-12
Solutions of an axisymmetric version of the minimal three-dimensional numerical model of a tropical cyclone developed by Zhu
2001-09-04
Object Reference Conversion
2001-04-24
Web-Based Visualization of Large Hierarchical Graphs Using Invisible Links in a Hyperbolic Space
2000-02-05
Communication-Efficient Bulk Synchronous Parallel Algorithms
2001-08-02
Chun-hsi Huang
A Fast and Accurate Approach to Analyze Cache Memory Behavior
2000-02-11
Private Information Retrieval - An Overview And Current Trends
2001-12-10
Dmitri Asonov
Hadamard Matrices and Strongly Regular Graphs With the 3-e.c. Adjacency Property
2001-01-05
Theory of Evidence - A Survey of its Mathematical Foundations, Applications and Computational Aspects
1996-07-18
Jurg Kohlas
A Calculus of Module Systems
2001-09-10
Reasoning about agents in the KARO framework
2001-06-28
Automated Image Rectification in Video-Endoscopy
2001-09-25
0-1 Laws for Fragments of Existential Second-Order Logic: A Survey
2001-10-06
Mechanisms For Variable Separation In Partial Differential Equations And Their Relationship To Group Theory
2001-12-07
Willard Miller Jr. Yz
.1 Classical crypto
2001-07-24
On the Performance Limits for Si MOSFET's: A Theoretical Study
2000-06-12
Convex Distance Functions in 3-Space are Different
2001-03-14
Job Costing and Pricing: Empirical Evidence from a Printing Company
2000-11-07
Choosing a Shortest Path Algorithm
2001-03-26
System And Software Visualisation
2000-11-22
Claire Knight
On Convergence of Minimization Methods: Attraction, Repulsion and Selection
2001-06-26
Scaling Replica Maintenance In Intermittently Synchronized Mobile Databases
2001-10-30
Task Planning Agents in the UMDL
1995-11-19
On Internal Organization in Compressed Random-Access Memories
2001-09-17
Research Report 1997-1999
2000-05-26
What Energy Functions can be Minimized via Graph Cuts?
2001-11-28
Design and Implementation of Pep, a Java Just-In-Time Translator
1999-12-01
Ole Agesen
Text Database Discovery Using Neural Net Agent
2001-05-09
. SSS Socket API Remote Procedure Set RPS
1999-02-23
Dynamic Routing And Wavelength Assignment In Wdm Optical Networks Using Neuro-Dynamic Programming
2001-09-18
Evaluating OASYS
2001-01-21
Ashley Ward
Requirements Process Improvement through the Phased
2001-12-18
Simplified Models for Edge Transitions in Rigorous Mask Modeling
2001-03-27
EXCALIBUR: A Program for Planning and Reasoning with Processes
2001-12-13
Brian Drabble
Modeling the Nonlinear Power System Components Using Symbolically Assisted Computational Procedure
2000-09-14
Fuzzy Adaptation Through Genetic Exploration
1998-03-02
Interoperation of Independent, Heterogeneous and Distributed Databases. Methodology and CASE Support: the InterDB Approach
1998-09-30
Speeding up SAT Based ATPG for Logic Verification by Recursive Learning
1995-06-01
Sensor-Based Exploration: Incremental Construction of the Hierarchical Generalized Voronoi Graph
2001-09-20
Combining Shared and Distributed Memory Programming Models on Clusters of Symmetric Multiprocessors: Some Basic Promising Experiments
2001-09-17
L. Giraud
A Knowledge Home - Personal knowledge structuring in a computer world
2001-11-17
Tommaso Tooli
Pac Learning, Noise, and Geometry
1995-08-28
Robert H. Sloan
Eleazar Eskin
2001-12-17
Fuzzy Reasoning Techniques fo GDSS
2001-06-17
Integrating Content and Style in Documents: A Case Study of Patient Information Leaflets
2001-10-11
An Explanation of EQP/Otter's Proof of Winker's Second Condition for Robbins Algebras
1997-02-17
An Overview of VDM-SL
2001-10-04
Derek J. Andrews
Investigating Reading Techniques for Object-Oriented Framework Learning
2001-07-09
Protecting Surface Transportation Systems And Patrons From Terrorist Activities Case Studies Of Security Practices And A Chronology Of Attacks
2001-10-05
Efficient Technology-mapping for DAGs Matching on a Mapping Graph
1998-06-12
Dirk-jan Jongeneel
Bayesian Estimation of Joint Survival Functions in Life Insurance
2001-05-09
An Adaptive Codebook Design Using the Branching Competitive Learning Network
2001-06-26
Banded Waveguides: Towards Physical Modeling Of Bowed Bar Percussion Instruments
1999-07-11
Composition of Mining Contexts for Efficient Extraction of Association Rules
2001-10-16
Primitive ideals of C_qSLn
1999-08-04
Packing Odd Circuits in Eulerian Graphs
2001-06-12
A Method for Querying Complete Genomes by Viewing Them as Structured Documents
1998-11-19
An Agent-Based Framework For Linking Distributed Simulations
2000-09-28
GMM Cheat Sheet
2000-08-22
Investigation Of The Atmospheric Ozone Formation Potentials Of Selected Mineral Spirits Samples
1997-09-15
International Standard
2001-12-04
Secondfirst Edition
DOE High-Performance Computer Science Fellowship
2001-09-17
Doe High-performance
EFFICIENT RESOURCE ALLOCATION FOR QoS CHANNELS IN MF-TDMA SATELLITE SYSTEMS
2001-11-28
RoboLog Koblenz: Spatial Agents Implemented in a Logical Expressible Language
2001-10-05
Aggregates Bandwidth Allocation: Investigation of Performance of Classical Constrained and Genetic . . .
2001-09-13
Multidimensional Membership Queries for Temporal Databases
2000-10-27
An Image Matching Model For The Registration Of Time Sequence Or Bilateral Mammogram Pairs
2000-11-21
Toric Intersection Theory for Affine Root Counting
2001-01-17
J. Maurice Rojas
Message Passing under MATLAB
2001-10-24
Javier Fernndez Baldomero
On The Approximate W-Disjoint Orthogonality Of Speech
2001-10-29
Morita Equivalences Of Ariki-Koike Algebras
2001-07-17
Richard Dipper
MLDA: A TCP-friendly Congestion Control Framework for Heterogeneous Multicast Environments
2001-07-31
Type Inference using Constraint Handling Rules
2001-07-16
Ra Alves
Spline Subdivision Schemes for Convex Compact Sets
2000-07-27
Self-Consistent Calculations of Parasitic Ion Absorption During Fast Wave Electron Current Drive
1999-09-17
Programmable Syntax Macros
1999-04-23
Visual, Object-Oriented Development of Parallel Applications
2000-08-26
Real-Time High-Dynamic Range Texture Mapping
2001-05-31
A Challenge of Modeling How to Use an Architecture
2001-12-12
Tarja Syst
Astronomy
2001-03-09
Visually Realistic Mapping of a Planar Environment with Stereo
2001-06-01
The Synergy of Multithreading and Access/Execute Decoupling
1999-01-21
Scheme Program Source Code as a Semistructured Data
2001-09-19
Kirill Lisovsky
On the Index of Dissimilarity for Lack of Fit in Log Linear Models
2001-10-19
Filter-type Algorithms for Solving Systems of Algebraic Equations and Inequalities
2001-09-20
Roger Fletcher
Improving Symbolic Reachability Analysis by means of Activity Profiles
2001-05-15
Binary Space Partitions for Axis-Parallel Segments, Rectangles, and Hyperrectangles
2001-06-27
Beyond Workflow Management: Product-Driven Case Handling
2001-05-30
Semantic Resolution for E-Commerce
2001-04-18
Mesh-Based Content Routing using XML
2001-08-08
A Channel-Hopping Protocol for Ad-Hoc Networks
2001-05-31
Convergence in historical phonetics: Stop contrasts in land and Iceland
2001-10-29
Ptur Helgason
A CORBA Commodity Grid Kit
2001-10-28
INVERSION BASED CONSTRAINED TRAJECTORY OPTIMIZATION Nicolas Petit, Mark B. Milam, Richard M. Murray
2001-05-02
Blind Multiuser Detection in W-CDMA Systems with Large Delay Spread
2001-03-05
Fault-Tolerant Repeat Pattern Mining On Biological Data
2001-08-16
Development of Virtual Environments for Training Skills and Reducing Errors in Laparoscopic Surgery
1998-08-02
Unpredictable Nearest Neighbor Processes
1999-09-08
Christopher Hoffman
A New Kind of Trivariate C¹ Spline Space
2001-01-15
Ming-jun Lai
Proof Planning in OMEGA with Semantic Guidance
2001-12-12
Improving SAT using 2SAT
2001-12-05
Genetic Tuning of Fuzzy Rule Deep Structures for Linguistic Modeling
2001-03-19
A Genetic Algorithm for Retrieving Sequence Strategies
2001-10-27
Three-Dimensional Medial Shape Representation Incorporating Object Variability
2001-09-18
On the Probability of Independent Sets in Random Graphs
2001-04-25
The Design of a GUI Paradigm based on Tablets, Two-hands, and Transparency
2000-12-15
Future Predictions For DSN Traffic
2001-04-11
Fine-Structure in 3D States of Highly Charged Ti-like Ions
2001-12-11
Fluorescent Molecular Hydrogen Line Emission in the Far--Red
1998-08-10
LIFE: a Limited Injection, Fully adaptivE, Recovery-Based Routing Algorithm
2001-03-28
Strategic Supply Chain Contracting to Stimulate Downstream Process Innovation
2000-06-29
On the interior layer appearing in the similarity solutions of the Navier-Stokes equations
2001-11-27
M. Nagayama
A Plasmodium falciparum Genefinder
2000-12-06
A Comparative Performance Analysis Of Real-Time Priority Queues
2001-12-07
Nikhil Mhatre
Pattern Recognition by Stochastic Modeling
2000-07-06
A Vector Approach for Global Illumination in Ray Tracing
2001-02-26
Dft Characterization Of Minimal Quasicyclic Codes
2001-09-18
Tight Bound for the Density of Sequence of Integers the Sum of No Two of which is a Perfect Square
2001-09-12
Problem solving in ID-logic with aggregates: some experiments
2001-11-07
Summaries of 107 Computer Vision-Based Human Motion Capture Papers
1999-03-30
Learning to Construct Knowledge Bases from the World Wide Web
2000-05-23
An architecture for linking theory in LFG
2000-07-13
A Comparative Study of Two Blind FIR Equalizers
2001-11-09
Adapting Function Points to Object Oriented Information Systems
2000-06-22
CAC Algorithm Based on Advanced Round Robin Method for QoS Networks
2001-04-10
Some Representation Results for P,Q-Superlattices
2001-10-18
Shadow Carving
2001-07-12
An Empirical Evaluation and Specification of the All-du-paths Testing Criterion Extended Version
2001-09-24
Robust Voxelization of Surfaces
2000-11-10
Nilo Stolte
Is each Mader matroid a gammoid?
2001-09-14
Alexander Schrijver
Making Specification Design More Accountable
1996-04-30
The EU Directive 90/270 on VDU-Work: a European State-of-the-Art Overview Report over the situation in
2001-08-07
Fractal analysis with Hausdorff Distance under Affine Transformations
1999-03-08
Laurent Deniau
Political Institutions and the Transparency of Monetary Policy Commitments
1999-12-14
Bidirectional Data Flow Analysis : Myths and Reality
2001-06-06
Fairness Of Congestion Avoidance Schemes In Heterogeneous Networks
2001-01-30
Srisankar Kunniyur
Recognizing Design Patterns in C++ programs with the integration of Columbus and Maisa
2001-04-20
Spar Language Specification
2001-10-23
Type-Based Hot Swapping of Running Modules
2001-11-05
Dominic Duggan
DNA Properties Specific for Protein/DNA Free Energy Changes Caused by Single Nucleotide Substitutions
2001-02-21
Deriving Concept Hierarchies From Text
2000-10-13
Visual Authentication and Identification
2000-08-26
Designing Help for Viewpoint Centered Planning of Petri Nets
1996-09-24
Pulse Switching in Nonlinear Fiber Bragg Gratings
2001-05-03
An Automatic Method for Acquiring 3D Models from Photographs: Applications to an Archaeological Site
2001-10-28
On the Informativeness of the DNA Promoter Sequences Domain Theory
1995-03-21
Visual Information Retrieval
2001-10-25
The Role of the Euro in the World: Past Developments and Future Perspectives
2000-11-22
Richard Portes
Essex Wizards'2000 Team Description
2000-05-10
Time-Consistent Protection of an Infant-Industry: The Symmetric Oligopoly Case
1996-10-31
Eugenio J. Miravete
A Reflective Framework for Configurable Workflow Processes and Tools
2000-06-25
A Snake for Model-Based Segmentation
2001-11-12
An Implementation of Narrowing Strategies
2001-07-20
Highly Excited UV H
2001-05-08
Sensetable: A Wireless Object Tracking Platform for Tangible User Interfaces
2001-03-28
Perfect Pyramids
2001-04-16
Ralph Heiner Buchholz
Computational Depth vs Average Polynomial time
2001-10-25
Generic Layered Patterns for Business Modelling
2001-07-09
On the Information Content of Semi-Structured Databases
2000-04-02
Mark Levene
A New Heuristic for the Process-Processor Mapping Problem
2000-02-05
General Convergence Results for Data Allocation in Online Unsupervised Learning Methods
2001-10-18
Top-down Induction of Logical Decision Trees
2001-11-07
Associating Addresses with Routing Table Entries using Biological Neural Networks
2001-09-16
Cengiz Gunay
A DC-Based Approach to Refinement of Real-Time Systems
2001-08-17
Decision-Theoretic Foundations of Qualitative Possibility Theory
2000-01-07
A Testbed for Configuration Management Policy Programming
2001-06-01
Zeros Of Sparse Polynomials Over Local Fields Of Characteristic p
2001-11-19
Extreme Requirements
2001-06-06
Antipodal Distance Transitive Covers of Complete Graphs
2000-12-22
On the Marginal Source of Investment Funds
2000-07-20
ICICLES: Self-tuning Samples for Approximate Query Answering
2000-09-07
Observable Sequentiality and Full Abstraction
2001-08-28
The Deduction Theorem for Quantum Logic - Some Negative Results
2001-08-16
Jacek Malinowski
The New South Pole Air Shower Experiment - SPASE-2
2001-02-23
Adaptive Intersection and t-Threshold Problems
2001-11-05
Claire Kenyon
Combining Virtual Benchmarking with Rapid System Prototyping For Real-Time Embedded Multiprocessor Signal Processing System Codesign
2000-04-27
Fixpoint 3-Valued Semantics for Autoepistemic Logic
2001-11-07
Marc Denecker
Combining Wavelet and Fractal Coding for 3-D Video Coding
2000-02-11
DMtools - Open Source Software for Database Mining
2001-11-09
Evaluating Visualizations: A Method for Comparing 2D Maps
2001-10-19
German Partial-VP Topicalization Revisited
2001-11-08
Walt Detmar Meurers
Fast Decision Tree Ensembles for Optical Character Recognition
2000-01-10
TransLib: An Ada 95 Object Oriented Framework for Building Transactional Applications
2001-07-25
Fields and Objects Algebras for GIS Operations
1998-04-03
A Statistical Analysis Method for Gene Expression Based on EM Algorithm
2001-02-21
Photonic Time-Slot and Wavelength-Grid Interchange for 10-Gb/s Packet Switching
2001-10-16
An Extensible and Interoperable Event System Architecture Using SOAP
2001-05-08
Furies: A Scalable Framework for Traffic Policing and Admission Control
2001-05-16
ALDRIN and DIELDRIN
2001-07-10
VisBench: A Framework for Remote Data Visualization and Analysis
2001-12-06
A Unified Framework for Obtaining Improved Approximation Algorithms for Maximum Graph Bisection Problems
2001-09-07
The Biological Simulator Behind "Cellular Texture Generation"
1998-09-08
Kurt Fleischer
Une Demonstration de la Conjecture de Baum-Connes pour le groupe
2000-12-12
IESEM: Integrated Environment for Software Evolution Management
2001-07-09
Gerardo Canfora
Numerical Analysis of Eddy Current Non Destructive Testing JSAEM Benchmark Problem 6- Cracks with Different Shapes
2001-12-02
COM6470 Foundations of Object-Oriented Programming
2001-08-29
Dimensionality Reduction in Unsupervised Learning of Conditional Gaussian Networks
2001-09-21
Transfer-Rule Induction for Example-Based Translation
2001-07-13
Ralf D. Brown
Localizing and Explaining Reasons for Non-Terminating Logic Programs With Failure-Slices
1999-06-28
Ulrich Neumerkel
FlyAbout: Spatially Indexed Panoramic Video
2001-10-17
Solving Multiclass Learning Problems via Error-Correcting Output Codes
1995-01-18
Delegation: Efficiently Rewriting History
2001-04-26
A New Algorithm for Reoptimizing Shortest Paths When the Arc Costs Change
2001-06-04
New Spectral Bounds on k-Partitioning of Graphs
2001-07-17
Multi-View Image Coding with DepthMaps and 3-D Geometry for Prediction
2001-01-30
A Defense Model for Games with Incomplete Information
2001-06-15
Wojciech Jamroga
Time domain analysis of NMSPN with PRI transitions
2001-10-20
Convergence of Some Two-Level Overlapping Domain Decomposition Preconditioners With Smoothed Aggregation Coarse Spaces
2001-10-19
An Integer Commitment Scheme based on Groups with Hidden Order
2001-11-05
So many WAM variations, so little time.
2001-11-07
Bart Demoen
The amplifier's CMRR is maximized by equating the right side of 18 to zero. Therefore, let
2000-03-23
Development of Data Evaluation Supporting System for Large-Scale Experimental Results
2001-02-21
Integration of Heterogeneous Information Management Systems using CORBA
2001-10-06
J. M. P'erez
Rice at the Forefront of Plant Genome Informatics
2001-02-21
AMOUR - Generalized Multi-Carrier Transceivers for Blind CDMA Regardless of Multipath
2001-09-05
The Cub-e, a Novel Virtual 3D Display Device
2001-10-07
The EC Erlang Compiler
2001-09-10
Maurice Castro
An Analytical Solution for 2nd Order Statistics Based Blind MIMO Channel Identification
2001-05-03
Formal Models of Heavy-Tailed Behavior in Combinatorial Search
2001-08-28
Channel Access Scheduling in Ad Hoc Networks with Unidirectional Links
2001-05-31
Lichun Bao
Annotation Tools Based on the Annotation Graph API
2001-05-22
Applications of Multilingual Text Retrieval
2000-10-13
Detections, Bounds, and Timelines: UMass and TDT-3
2000-10-13
A Note On The
2001-10-05
N. P. Smart
A Software Retrieval Service based on Knowledge-Driven Agents
2001-10-06
Time-Parallel Algorithms for Simulation of Multiple Access Protocols
2001-07-26
Structural Adaptation in Nonparametric Regression
2001-10-11
Homomorphic Signature Schemes
2001-10-08
A Platform for Sharing Educational Virtual Environments
2001-10-15
D. Psaltoulis
Heap Garbage Collection in XSB: Practice and Experience
2001-11-07
Bart Demoen
On the Impossibility of Obfuscating Programs
2001-09-09
Mobile Security for Internet Applications
2001-11-05
A Unifying Framework for Correct Program Construction
2001-10-09
Gilbert-Varshamov Bound for Euclidean Space Codes over Distance-Uniform Signal Sets
2001-06-21
Permutation Problems and Channelling Constraints
2001-09-30
Toby Walsh
Status Report on the First Round of the Development of the Advanced Encryption Standard
1999-11-04
Practical Issues in Modeling Large Diagnostic Systems with Multiply Sectioned Bayesian Networks
2000-04-26
Volatility Time And Properties Of Option Prices
2001-06-20
Svante Janson
Mining Visual Concepts for Image Retrieval: A Case Study
2001-10-31
D. Deng
A Mixed-Mode Simulation Technique for the Analysis of RF Circuits Driven By Modulated Signals
2001-05-03
Boostexter For Text Categorization In Spoken Language Dialogue
2001-11-08
Estimating Confidence Using Word Lattices
1997-09-30
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings
2001-11-07
On the local nature of the energy cascade, part II: Spectral evolution of a sudden increase in low wavenumber energy
1998-08-17
Adaptive Demand-Driven Multicast Routing in Multi-Hop Wireless Ad Hoc Networks
2001-10-30
ATM Networking: ATM Networking: Issues and Challenges Ahead Issues and Challenges Ahead
2001-09-23
Raj Jain
Local Mapping for Multispectral Image Visualization
2001-09-19
Lecture 14: Search and Evaluation
2001-10-20
Kevin B. Korb
Assessing Exploratory Theory Formation Programs
2000-04-10
Simon Colton
Algebraic Structures on Modules of Diagrams
1999-09-23
P. Vogel
Metamodeling Architecture of Web Ontology Languages
2001-07-26
Improved Approximation Algorithms for the Vertex Cover Problem in Graphs and Hypergraphs
2001-10-19
Eran Halperin
Multiple Faults: Modeling, Simulation and Test
2001-12-03
Sufficient Conditions For Two Tree Reconstruction Techniques To Succeed On Sufficiently Long Sequences
2001-01-12
Mike Steel
Programming in Standard ML
2001-06-07
Robert Harper
Multiresolution View-Dependent Splat Based Volume Rendering of Large Irregular Data
2001-07-30
Merging Project Planning and Web-Enabled Dynamic Worklflow technologies
2000-05-29
Costa Rica
A Performance Study of Adaptive Video Coding Algorithms for High Speed Networks
1995-08-01
Object-Oriented Architectural Evolution
2001-05-17
Galal Hassan Galal
How Borwein and Bradley's Hypergeometric Ugly Duckling Turned Into a Beautiful `Eulerian' Swan, thanks to Almkvist and Granville's Magic
2001-03-30
Conceptual Stage in Designing Multimedia for Tele Learning
2001-06-27
Piet Kommers
Knowledge Representation for Distributed System
2001-01-21
Jinghai Rao
Performance of ERICA and QFC for Transporting Bursty TCP Sources with Bursty Interfering Traffic
1997-08-05
Grasping and In-Hand Manipulation: Experiments with a Reconfigurable Gripper
2000-03-03
Vision-Based Speaker Detection Using Bayesian Networks
2000-12-18
Security Implications of Typical Grid Computing Scenarios
2000-12-08
Mary Thompson
One Parameter Models Of Hopf Algebras Associated With Multiple Zeta Values
2001-08-05
W. Zudilin
A Logical Account of Causal and Topological Maps
2001-08-18
$RESTAURANT re^n-visited: A KM Implementation of a Compositional Approach
2000-06-20
Phylogenetic Invariants for Metazoan Mitochondrial Genome Evolution
1998-11-19
Lower Bounds for OBDDs and Nisan's pseudorandom generator
2001-03-16
Single ions in Paul traps
1999-06-21
Multi-Resolution Modeling of Power Converter Using Waveform Reconstruction
2000-09-14
Generalized Multipartitioning
2001-11-02
Using Phase-Modulated Probe Signals to Recover Delays from Higher-Order Non-linear Systems
2001-04-12
R. G. Van Schyndel
Why Are Preferential Trade Agreements Regional? Increasing Returns, Multinationals and the Geography of Free Trade Agreements
1999-01-21
Rodney D. Ludema
Distributed Online Frequency Assignment in Cellular Networks Extended Abstract
1999-09-02
Logic Aided Lamarckian Evolution
2001-02-19
Recent Results On Jet Physics
2001-10-08
Michael Strauss
Triplet: a Clustering Scheduling Algorithm for Heterogeneous Systems
2001-11-16
98c/MFlop, Ultra-Large-Scale Neural-Network Training on a PIII Cluster
2000-05-31
A Web-Based Multiuser Operating System for Reconfigurable Computing
2001-12-18
Separating Lifted Odd-Hole Inequalities to Solve the Index Selection Problem
2000-02-16
Alberto Caprara
BERT: A Scheduler for Best Effort and Real-time Tasks
2001-02-01
On Generalized Geometric Graphs and Pseudolines
2001-10-30
Concordance Analysis of Microbial Genomes
1999-04-29
Proposed Running Head:
1995-05-19
Sequentiality in an Extensional Framework
2001-12-18
Design and Implementation of Abacus Switch: A Scalable Multicast ATM Switch
2000-04-19
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
2001-02-28
Escuela Politecnica Superior
A Neo-Rocardian Framework of Class Analysis
2001-05-01
Aage B. Srensen
Empirical Analysis of Algorithms for the Traveling Sales Problem TSP
1996-12-13
Sreenivasa Kaushal
Subbands in Carbon Nanotubes under Radial Deformation
2000-10-05
Geometric Spanner for Routing in Mobile Networks
2001-08-25
A Semantic-Head-Driven Generation Algorithm for Unification-Based Formalisms
1997-07-24
On Long-Time Evolution In General Relativity And Geometrization Of 3-Manifolds
2000-08-11
Michael T. Anderson
On the Development of EMG Control for a Prosthetic Hand
1997-08-19
Multi-Agent Systems in Hybrid Organizations. A Case Study on the Design of Information Systems in Hospitals
2000-11-15
Millimeter Observations of the TW Hya System
2001-06-14
The Point-Free Approach to Sheafification
2001-09-20
Harold Simmons
The Valid Web: it's Time to Go...
1999-12-09
Some Thoughts on Transiently Shared Dataspaces
2001-04-19
An Adjacency Criterion for Coxeter Matroids
1999-12-07
A Development Environment for Building Component-Based Open Hypermedia Systems
2001-03-30
The Complexity of Copy Constant Detection in Parallel Programs
2000-07-17
Markus Muller-olm
The Homomorphism Problem for the Free Monoid
2001-03-01
Pedro V. Silva
An Asynchronous Execution Model for Constraint Processing in Object-Oriented Software
2001-07-16
Georg Ringwelski
Vermont Business Roundtable
2000-01-31
Large-scale structure in Rayleigh-Bénard convection with impenetrable side-walls
1995-03-25
Chronicle Recognition in the WITAS UAV Project
2001-09-19
Fredrik Heintz
A Primal-Dual Method for Large-Scale Image Reconstruction in Emission Tomography
2000-07-17
Optimum Resource Allocation for Multiple Access Fading Channels
2001-04-23
Experiments with the Use of Syntactic Analysis in Information Retrieval
2001-04-27
A Graphical Class Representation for Integrated Black- and White-Box Testing
2001-07-13
Data Mining Architectures - A Comparative Study
2001-08-03
Convergence and the Limit of Complex Sequences. Serieses
2001-12-10
Controlling Garbage Collection and Heap Growth to Reduce the Execution Time of Java Applications
2000-11-06
Resource Allocation For Interactive Traffic Class Over Gprs
2001-07-05
Separating Real Motifs From Their Artifacts
2001-08-08
Safe Dynamic Binding in the Join Calculus
2001-07-18
Alan Schmitt
Scalable and Flexible Cosimulation of SoC Designs with Heterogeneous Multi-Processor Target Architectures
2001-03-30
Multilinguality in a Text Generation System For Three Slavic Languages
2000-04-18
Image Segmentation Using Markov Random Field Model in Fully Parallel . . .
2001-07-23
Simultaneous Transistor and Interconnect Sizing Using General Dominance Property
1996-01-09
Path Selection Methods for Localized Quality of Service Routing
2001-07-30
Adaptive Technology for Mail-Order Form Segmentation
2001-09-20
Motion Compensation Of Motion Vectors
2000-09-19
Graph Coloring Compactness Theorems Equivalent to BPI
2001-11-20
On Deforesting Parameters of Accumulating Maps Extended Abstract
2001-10-25
Lectures on Reasoning about Shared Mutable Data Structure
2000-09-25
Classes of Graphs with Restricted Interval Models
2001-08-13
Product Line Selection and Pricing Under the Multinomial Logit Choice Model
2000-11-09
Incremental Similarity Search in Multimedia Databases
2001-12-11
Collaborative Courseware Authoring and Publishing Based on WebDAV, XML, and XSLT
2001-04-26
Astrophysics,
1998-06-19
Efficient Java RMI for Parallel Programming
2001-11-28
Evaluation Of An Interactive Technique For Creating Site Models From
2000-11-24
Lectures on Mechanics Second Edition
2000-02-05
Jerrold E. Marsden
Choice of Tests for Logic Verification and Equivalence Checking and the Use of Fault Simulation
2000-10-14
Vishwani D. Agrawal
Bidirectional Dynamics for Protein Secondary Structure Prediction
2001-12-18
i We de ne
2001-11-15
Existence and Uniqueness of Solutions of Nonlinear Evolution Systems of N-Th Order Partial Differential Equations in the Complex Plane
2001-04-29
List Homomorphisms and Circular Arc Graphs
2001-02-14
A Two-Step Adaptive Error Recovery Scheme for Video Transmission over Wireless Networks
2001-05-11
Bandwidth Constrained Placement in a WAN
2001-05-14
MVSS: an Active Storage Architecture
2001-10-09
Execution and Proof in a Horn-Clause Temporal Logic
1998-06-05
Heavy-Traffic Asymptotic Expansions For The Asymptotic Decay Rates In The Bmap/g/1 Queue
2000-07-28
Proof-Theoretic Contributions to Explicit Mathematics
2001-07-03
Thomas Strahm
Modelling Seasonal Asymmetries using Seasonal SETAR Models
2000-11-20
Jesus Crespo Cuaresma
Audience Interaction for Virtual Reality Theater and Its Implementation
2001-08-29
The Causes of Euro Instability
2001-03-16
Modelling A Multi-Phase Plume In A Cross-Flow - An Agricultural Application
2001-02-05
On the Interconnection of Causal Memory Systems
2000-06-02
Satellite Spectrum
1998-01-12
Types for Seal Calculus
2000-10-07
Giorgio Ghelli
Axions And Other Very Light Bosons, Part III Experimental Limits
2000-06-14
Mayan Calendar
2001-04-16
What is 1,1,1-Trichloroethane?
2001-07-10
UML for the Impatient
1998-10-29
Martin Gogolla
Safeness of Make-Based Incremental Recompilation
2000-02-28
Niels Jrgensen
Ontology for Database Access
2000-10-15
Fast Multivariate Power Series Multiplication in Characteristic Zero
2001-11-27
Real-Time Rendering of Densely Populated Urban Environments
2001-12-18
Formal Verification In Hardware Design: A Survey
2001-01-03
A Comparison of Modern Hyperbolic Methods for Semiconductor Device Simulation: NTK Central Scheme vs. CLAWPACK
2001-07-30
Generalized Fair Reachability Analysis for Cyclic Protocols with Nondeterminism and Internal Transitions
2001-02-27
Interaction Modelling for Digital Libraries
2001-07-03
COPIA: A New Software for Finding Consensus Patterns in Unaligned Protein Sequences
2001-10-31
Chengzhi Liang
Graph Coloring on a Coarse Grained Multiprocessor Extended Abstract
2000-07-20
Algebraic Specification of Documents
1996-10-04
The Unfolding of Non-Finitist Arithmetic
2000-07-13
Packing Two Disks into a Polygonal Environment
2001-02-16
The Discipline of Computing
2001-02-26
Changing the Face of Social Science
2001-11-11
Geometric Neural Networks
2000-10-10
Developing A Web-Based Learning Environment For Building Energy Efficiency And Solar Design In Hong Kong
2000-07-15
Laser Beams and Resonators: Beyond the 1960s
2001-03-25
A. E. Siegman
Notions of Computability for General Datatypes
2001-04-06
All--to--all Broadcast and Applications onthe Connection Machine
1997-07-13
S. Lennart Johnsson
The Effect of Traffic Models on the Performance of Space Priority Queueing in ATM Switches
1993-09-15
The Design of an Intelligent Multimedia Tutoring System for Computer Hardware
1999-11-11
Steven Philip Shulman
Coding Tradeoffs for High-Density Holographic Data Storage
2000-10-13
Georey W. Burr
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes
2001-05-08
Colin Stirling
Regulated Coordination in Open Distributed Systems
2001-05-04
Asymptotic Approximations for the Transportation LP and Other Scalable Network Problems
2000-11-29
SMRK: A Parallel Implementation of Multistep Runge-Kutta methods for Stiff ODEs
1999-10-11
Parallel Constraint Distribution In Convex Quadratic Programming
2001-12-18
Michael C. Ferris
Error bounds for 2-regular mappings with Lipschitzian derivatives and their applications
2001-02-13
Linear Programming and the Worst-Case Analysis of Greedy Algorithms on Cubic Graphs
2001-08-24
Method Of Template Potentials To Find Space Charge Forces For High-Current Beam Dynamics Simulation*
2001-06-25
An Isometric Joystick as a Pointing Device for Handheld Information Terminals
2001-08-03
Speech Segregation Based on Sound Localization
2001-09-25
Tetra: Evaluation of Serial Program Performance on Fine-Grain Parallel Processors
2001-12-13
Investor Protection and Corporate Governance Rafael
2000-04-05
Information-Theoretic Algorithm for Feature Selection
2001-12-18
Pebbling in Diameter Two Graphs and Products of Paths
2000-09-05
Part 1|previous Research And Track Record
2001-10-24
Exploiting ILP in Page-Based Intelligent Memory
1999-09-24
Reflective Middleware Solutions for Context-Aware Applications
2001-07-06
Frequency of Gas-Stellar Counterrotation
2000-11-13
An Adaptive Logic Based on Jaskowski's
2001-08-03
Spatially and Intertemporally Ecient Waste Management: The Costs of Interstate Flow Control
1998-01-14
Artificial Life and Historical Processes
2001-10-16
Ezequiel A. Di Paolo
A Morphological Algorithm for Photomosaicking
1999-04-16
Transaction Models vers. Behavior Protocols
1999-10-26
Towards A Design Philosophy For Everyday Computational Things
2001-06-01
Further Development of a Smart-card Based Health Care Information System in Slovenia
2000-11-29
New D-optimal Designs of Order 110
2001-10-02
Systems Aspects of COBE Science Data Compression
1996-01-22
Bayesian Variable Selection and Model Averaging in High Dimensional Multinomial Nonparametric Regression
2001-05-08
Sally Wood
Sheaf Representation for Topoi
2001-10-26
S. Awodey
A Fast Multigrid Algorithm for Isotropic Transport Problems I: Pure Scattering
2001-12-18
Matrix Completion Problems
2001-02-09
Monique Laurent
Evolutionary Learning of Nearest Neighbor MLP
1998-05-25
Solution of Large-Scale Railway Crew Planning Problems: the Italian Experience
2000-01-25
A dyadic endomorphism which is Bernoulli but not standard
2001-04-10
Daniel Rudolph
A Simplified Concurrency Control Algorithm For Real Time DataBase Systems.
2001-06-07
PLANTWORLD: The Evolution of Plant Dormancy in Contrasting Environments
2001-10-02
Photonic Bandgap Materials: Towards an All-Optical Micro-Transistor
2001-11-02
Determining The Significance Of Input Parameters Using Sensitivity Analysis
2000-03-13
Dgps Signal Strength Measurements At A Gwen Site
1998-03-30
The PLANFORM-KA tool:
2001-12-05
Distance Education, Web-Resources Design, and Compliance with the Americans with Disabilities Act
2001-05-23
Axel Schmetzke
A Pliant Method forAnisotropic Mesh Generation
1998-09-08
An Information Criterion for Likelihood Selection
2001-09-07
A. Yuan
On the Number of 3-Edge Colorings of Cubic Graphs
2000-04-18
Christian Szegedy
PlatformIndependent Tactical Data Entry Devices
2001-10-23
Numerical Partial Dierential Equations in Scheme
2000-08-22
Bradley J. Lucier
A Survey of Graph Pebbling
2000-09-05
Unknown
2001-01-08
Rule-Based Constraint Programming
2001-02-05
Evaluation of the Turn Planner in
2001-10-20
Performance Optimization of TCP/IP over Asymmetric Wired and Wireless Links
2001-07-03
Convergence Of A Boundary Integral Method For 3-D Water Waves
2001-12-06
A Proof of Lassalle's Harmonic Number Conjecture
2000-06-30
Self-Focusing With Fourth-Order Dispersion
2001-11-17
Variable Binding Operators in Transition System Specifications
2000-11-22
C. A. Middelburg
Christophe Lang
2001-08-27
Historically Black Colleges And Universities
2000-12-21
Second-Order Motions Contribute Vection
2001-11-26
Design and Development of a Cooperative Shopping System with Shared Discussion Space
2000-02-09
Complications in Disassembly Line Balancing
2000-11-12
The TSP Phase Transition
1998-03-06
Stopping Rules for Turbo Decoders
2000-08-24
A Detailed Analysis Of A Cygnus Loop Shock-Cloud Interaction
2001-04-13
Implementation of the Multiclass Priority Fair Queuing MPFQ Algorithm for Extending Quality of Service in Existing Backbones to Wireless Endpoints
1999-05-13
Relational Attribute Systems
2001-03-23
Core Elements of Digital Gazetteers: Placenames, Categories, and Footprints
2000-07-03
Linda L. Hill
A New Fair Window Algorithm for ECN Capable TCP New-ECN
2000-01-16
Fitting Tester Yield Curves
2001-03-24
WebProfile or agents the other way round
1999-04-30
Shaun Saxon
Analysis Of An Associative Memory Neural Network For Pattern Identification In Gene Expression Data
2001-07-19
Some Examples Related To Colorings
1999-02-15
Effectiveness of Dynamic Prefetching in Multiple-WriterDistributed Virtual Shared Memory Systems
1997-01-16
Sari Kujala and Martti Mntyl
2001-03-27
Independent Extensibility for Aspect-Oriented Systems
2001-04-15
NIC-Based Rate Control for Proportional Bandwidth Allocation in Myrinet Clusters
2001-06-18
Digital Signatures for Flows and Multicasts
1999-06-17
The Trusted Introducer service:
2001-10-03
Transparent Replication for Fault Tolerance in Distributed Ada 95
2001-10-13
Thomas Wolf
Dynamical Solution of the On-Line Minority Game
2001-08-03
Alternating Directions Methods for the Parallel Solution of Large-Scale Block-Structured Optimization Problems
2001-12-18
Spyridon A. Kontogiorgis
Boolean Properties of Sets
2001-12-09
Zinaida Trybulec
Computation of Five and Six Dimensional Bieberbach Groups
2000-09-25
IBM Research Report
1999-01-05
Teitelbaum's Exceptional Zero Conjecture in the Anticyclotomic Setting
2001-07-17
Financial Market Integration in Europe: On the Effect of EMU on Stock Markets
2001-03-23
Balanced-Budget Mechanisms with Incomplete Information
1996-12-08
A Programmer Friendly Modular Definition of the Semantics of Java
1999-05-19
Egon Borger
Symbol Grounding in Communicative Mobile Robots
2001-09-18
Two-Stage Stochastic Integer Programming: a Survey
1999-04-22
A Complex Adaptive Notch Filter Based On The Steiglitz-McBride Method
2001-06-06
Turing Machines, Transition Systems, and Interaction
2001-08-02
Deriving Goals from a Use Case Based Requirements Specification for an Electronic Commerce System
2000-03-29
Discrete Event Dynamic Systems: Theory and Applications, 11, 97--117, 2001.
2001-11-28
Cross-Cortical Consolidation as the Core Defect in Amnesia: Prospects for Hypothesis-Testing with Neuropsychology and Neuroimaging
2001-11-09
a state-of-the-art ultra-lightweight all-Be telescope
1999-01-21
Roger A
Run-Time Detection of Communication Deadlocks in occam 2 Programs
2001-05-12
Distributed LTL Model Checking Based on Negative Cycle Detection
2001-09-18
Lubos Brim Ivana
Application of Natural Indexing to Adaptive Multilevel Methods for Linear Triangular Elements
1998-05-25
Jens Gerlach
The Impact of Signal Strength Measures on the Efficiency of Dynamic Channel Allocation Techniques
1998-08-27
A Simple But Scary Mid-Semester Evaluation Instrument
2000-03-08
Paul M. Furth
A Wide-Range Efficient Algorithm For Minimal Triangulation
2000-10-13
Anne Berry
Brilliant Force and the Expert Architecture that Supports It
1996-10-11
Update Description Language
1999-09-15
An Embedding Codec for Multiple Generations Compression based on MPEG-1, Layer III
2001-03-01
A Virtual Environment Testbed for Training Laparoscopic Surgical Skills
2001-09-01
Reality-Based Models for Vibration Feedback in Virtual Environments
2001-10-03
A 3D City Info for Mobile Users
2001-09-10
A Statistical Framework for Partial Volume Segmentation
2001-07-31
Effects of Wireless Physical Layer Modeling in Mobile Ad Hoc Networks
2001-10-22
Feature Binding and Relaxation Labeling with the Competitive Layer Model
1999-07-02
Mobility-Based Predictive Call Admission Control and Bandwidth Reservation in Wireless Cellular Networks
2001-10-12
Water resources applications of Geographic Information Systems
2001-07-31
The Virtual Consortium: Processes And Systems In The Construction Sector
2001-08-08
A Simulation Study of Token Generation Policies for a Leaky Bucket Traffic Shaper
1994-08-22
Graph Decompositions Through Prescribed Vertices Without Isolates
1997-05-29
Natural Deduction and Coherence for Weakly Distributive Categories
1997-10-03
Reliable Video Transmission over Fading Wireless Channel with . . .
2001-08-28
Decomposition Technique and UltraSAN Software Tool for Performability Evaluation
1999-07-26
A Study of Causal Discovery With Weak Links and Small Samples
1998-10-07
Developing NLP Tools for Genome Informatics: An Information Extraction Perspective
1998-11-13
Beat Extraction from Expressive Musical Performances
2001-08-28
Application Of Knowledge Based Systems For Supervision And Control Of Machining Processes.
2001-03-30
A Fast Algorithm for Two Processor Scheduling with Release Time and Deadline Constraints
2000-12-14
On the Effectiveness of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability
2001-06-09
Solving the Birkho Interpolation Problem via the Critical Point Method: an Experimental Study
2001-04-29
Evaluating the Uncertainty in Water Quality Predictions - A Case Study
1998-03-31
James D. Bowen
Working Families' Tax Credit: A Review of the Evidence, Issues and Prospects for Further Research
2001-11-15
Taxation and Human Capital Accumulation
2001-01-19
Lutz Hendricks
A Laboratory Information Management System LIMS for an Undergraduate Microchip Fabrication Facility
2001-03-15
Characterisation of a Class of Equations With Solutions Over Torsion-Free Groups
1998-12-03
Toward Improved Uses Of The Conjugate Gradient Method For Power System Applications
1999-04-29
The Monogenic Signal
2001-07-16
Nearly Exact Solution for Coupled Continuum/MD Fluid Simulation
2001-08-28
Knowledge Integration And Forgetting
1999-06-09
Mediator-Based Communication, Negotiation and Scheduling for Decentralised Production Management
2001-10-22
Simulating Binary Trees on Hypercubes
2001-07-16
Basic Analytic Combinatorics of Directed Lattice Paths
2001-09-07
Cyril Banderier
Coupling Object-Oriented and Workflow Modelling in Business and Information Process Reengineering
1999-08-25
Gregory N. Mentzas
Specific PCR Primer and Probe Design Based on Spanning Networks
2001-02-21
The Watermark Selection Game
2001-10-12
Solving Permutation Constraint Satisfaction Problems with Artificial Ants
2001-03-05
Christine Solnon
Recognition of 3-D ObjectsHaving Ambiguous Views
2001-09-04
Manfred Prantl
Maximum Packing Technique Performance Evaluation
2001-05-03
Unknown
2001-08-02
On the Categories Without Uniqueness of cod and dom . Some Properties of the Morphisms and the Functors
2001-12-10
Artur Kornilowicz
Critical Comparison of 3-d Imaging approaches
1999-06-11
Charles L. Bennett
Sun Microsystems, Inc. Java Naming and Directory
2001-11-13
An Algorithm for Finding Many Disjoint Monochromatic Edges in a Complete 2-Colored Geometric Graph
2001-01-29
A Personal Supercomputer for Climate Research
2001-08-31
James C. Hoe
Optimal Capacity Expansion for Multi-Product, Multi-Machine Manufacturing Systems with Stochastic Demand
2000-10-17
AUSTRIAN BUSINESS CYCLE THEORY or THE NATURAL UNEMPLOYMENT RATE HYPOTHESIS: THE ROLE OF MONETARY POLICY REVISITED
1999-09-24
Generating correct concurrent code from the Concurrency Factory
2001-10-11
Denis Roegel
Adaptive Line Size Cache
1999-09-16
Magic Cubes
2000-10-24
Finding Similar Regions In Many Strings
2000-09-08
A Survey of High-Rate Constrained Codes
2001-09-07
Kees A. Schouhamer Immink
Localization of Human Faces Fusing Color Segmentation and Depth from Stereo
2001-10-17
Capacity of CDMA Systems
2000-12-14
Vijaya Chandran Ramasami kuid
UCTx:A Multi-Agent system to assist a Transplant Coordination Unit
2001-04-03
Maximum Runlength-Limited Codes with Error Control Capabilities
2001-09-07
Wireless Network Interface Energy Consumption Implications of PopularStreaming Formats
2001-10-26
Surendar Chandra
Managing Multiple Information Sources through Ontologies: Relationship between Vocabulary Heterogeneity and Loss of Information
2001-10-06
Approximation Algorithms for the Covering Steiner Problem
2001-02-12
Stability in Possibilistic Linear Equality Systems Under Continuous Triangular Norms
2001-06-17
Robert Ful Er
A Framework for Evaluating Approaches to Fuzzy Quantification
2000-02-08
Limited-Range Wavelength Translation in All-Optical Networks
1999-12-06
Logic Programming in Affine Logic
1995-12-02
Cut and Paste Based Text Summarization
2001-10-25
GLUnix: a Global Layer Unix for a Network of Workstations
1998-06-27
Optimal Modular Feedfoward Neural Nets based on Functional Network Architectures
2001-12-18
Adaptive Nearest Neighbor Classification using Support Vector Machines
2001-12-13
Real-Time Input of 3D Pose and Gestures of a User's Hand and Its Applications for HCI
2001-10-29
A Neural Network-Based Image Retrieval Using Nonlinear Combination of Heterogeneous Features
2001-05-09
Design Pattern Recovery in Object-Oriented Software
2000-06-22
F_q-Linear Cyclic Codes over F_q^m: DFT Characterization
2001-09-12
B. Sundar Rajan
iLectures: A Catalyst for Teaching and Learning?
2001-05-09
Dynamical Simulations of a Phase Window Model of Relative Timing
2001-06-14
Visibility Preprocessing for Urban Scenes using Line Space Subdivision
2001-10-29
Optimized Priority Assignment for Tasks and Messages in Distributed Hard Real-Time Systems
2001-07-30
Improved Auxiliary Particle Filtering: Applications To Time-Varying Spectral Analysis
2001-09-10
Bossa: A Dsl Framework For Application-Specific . . .
2001-06-07
A QSAR Study for Modeling MHC Class-I Binding Oligo-Peptides
2001-02-21
On Classification Heuristics Of Probabilistic System-Level Fault Diagnostic Algorithms
2001-02-21
Table of
2001-09-10
An Approach to a Theory of Software Evolution
2001-07-31
On Planar Mixed Hypergraphs
2001-10-30
The Nutshell Pattern - A holistic Approach to Object-Orientation
2001-01-17
Automated Servicing of Agents
2001-10-22
An Interactive System For Kinematic Analysis Of Artificial Joint Implants
2000-11-24
MedicalMyth
2001-07-24
Secure Distributed Virtual Conferencing
1999-07-06
Regularization of Orthonormal Vector Sets using Coupled PDE's
2001-08-28
B-Spline Curves and Surfaces for Ship Hull Definition
2001-09-24
David F. Rogers
Linear Broadcast Encryption Schemes
2001-10-26
Ignacio Gracia
Identification of Faces in a 2D Line Drawing Projection of a Wireframe Object
2001-10-03
Dimensioning Server Access Bandwidth and Multicast Routing in Overlay Networks
2001-08-07
Fair Bandwidth Allocation of a Wireless Base Station
1999-04-07
High Speed
Convergence of Non-Binary Iterative Decoding
2001-09-19
Alex Grant
Performance of Route Caching Strategies in Dynamic Source Routing
2001-01-29
A Framework for Bottom Up Specialisation of Logic Programs
2001-11-07
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings
2001-11-07
Modeling biological rhythmic patterns using asymmetric Hopfield neural networks
2001-10-25
Knowledge Acquisition via Knowledge Integration
1999-06-09
Industrial Ecology, Market Processes And The Creation Of "industrial Loops": A Critical Reappraisal
1999-07-30
Pierre Desrochers
Simple Layout Algorithms To Maintain Network Connectivity Under Faults
2001-06-17
Peer-to-Peer Data Trading to Preserve Information
2001-11-08
Brian F. Cooper
Degree- and Time-Constrained Broadcast Networks
1998-04-05
Congruence Subgroups And Twisted Cohomology Of SL_nFt II: Finite Fields And Number Fields
2001-03-21
Automata-Theoretic Models for Computational Complementarity
2000-04-14
Elena Calude
The Classroom of the 21
2001-04-10
Subgraphs with a Large Cochromatic Number
2001-04-20
The Quantum Space-Time of C = -2 Gravity
1997-06-09
Micronets: A Model for Decentralising Control in Asynchronous Processor Architectures
1999-12-09
Cost-effective Hardware Acceleration of Multimedia Applications
2001-10-02
Impurity Measures and Applications to Classi cation and Clustering
2001-06-07
A Polymorphic Type System for Extensible Records and Variants
1996-12-19
Addendum to "Current approaches to handling imperfect information in data and knowledge bases"
2001-09-16
Simon Parsons
Testing Distributed Component Based Systems Using UML/OCL
2001-09-28
Towards Intelligent Organisational Information Systems
2001-08-08
Gregory Mentzas
Improving the efficiency of automated protocol implementations using a configurable FDT compiler
2001-06-29
Helping in a Multiprocessor Environment
2001-09-19
Query by Attention: Visually Searchable Information Maps
2001-06-12
Development of Bayesian Networks from Unified Modeling Language Artifacts
2001-07-05
Performance Analysis of Internet based Software Retrieval Systems using Petri Nets
2001-10-06
Byte Code Verification for Java Smart Cards Based on Model Checking
2001-11-05
A Programming Language Extension for Probabilistic Robot Programming
2001-10-04
Introduction to POS: A Protocol Operational Semantics
2001-11-07
Position Based CDMA with Multiuser Detection P-CDMA/MUD for Wireless Ad Hoc Networks
2000-06-08
Online Symbolic-Sequence Prediction with Discrete-Time Recurrent Neural Networks
2001-09-13
A Comparison of Two Algorithms for Suppressing the Low-Frequency Content of DC-free Codes
2001-11-07
Kees A. Schouhamer Immink
Internet Groupware Use in A Policy-Oriented Computer Security Course
2001-03-27
The Use of Default Unification in a System of Lexical Types
2001-11-09
Aline Villavicencio
Building Annotation Tools with the Annotation Graph Toolkit
2001-05-08
th International Symposium on DIStributed Computing
2001-10-29
The `Uniform Heterogeneous Multi-threaded' Processor Architecture
2001-10-06
Construction of DC-free Codes Using the Fast Hadamard Transform
2001-11-07
Kees A. Schouhamer Immink
Detection and Classification of Shot Transitions
2001-10-15
An Investigation Of The Properties Of The
2001-10-18
Improving Java Performance Using Hardware Translation
2001-10-02
Inference of termination conditions for numerical loops in Prolog
2001-11-07
Permutation Problems and Channelling Constraints
2001-09-30
Toby Walsh
ATTac-2000: An Adaptive Autonomous Bidding Agent
2001-09-25
Progressive Approximate Aggregate Queries with a Multi-Resolution Tree
2001-03-09
A Lower Bound on the Average Error of Vector Quantizers
2001-11-07
Reproducing Infinite Boolean Sequences: an Application of Hidden Markov Models to Connectionist Learning
2001-10-18
A. Kehagias
Mississippi Computational Web Portal
2001-10-28
A Mixture of Gaussians Front End for Speech Recognition
2001-04-02
Predicting Protein Binding Site Presence/Absence in SNP-Related Alleles by Accounting Gel Mobility Shift Assay
2001-02-21
A Wavelet Data Model For Image Databases
2001-10-04
Augmented Reality using Uncalibrated Video Sequences
2001-10-28
Subpixel Image Registration Using Circular Fiducials
2001-07-02
Mapping textures on 3D geometric model using reflectance image
2001-09-27
Termination of Well-Moded Programs
1998-08-18
Characterisation of the Indoor Mobile Radio Channel Using a Ray Tracing Technique
1992-05-31
An Architecture for Outdoor Wearable Computers to Support Augmented Reality and Multimedia Applications
2001-09-19
Quantum Information Technology using Photons
2001-08-08
Shigeki Takeuchi
Real-Time Scheduling in CORRELATE
2001-07-23
Measurement Tips from Florence Nightingale
2000-07-14
The Number of Distinct Alignments of Two Strings
1999-04-12
Symmetry derivatives of Gaussians illustrated by cross tracking
2001-09-21
IMHP: A Mobile Host Protocol for the Internet
2001-03-02
Theoretical Results on Reinforcement Learning
1998-04-17
Choice of running Luminosity for LHC-B, and Performance of Pile-up Tag
1999-03-27
Different bounds on the different Betti numbers of semi-algebraic sets
2001-06-19
Saugata Basu
Asymptotically Efficient in-Place Merging
2001-09-03
Environment
2001-12-14
The Metacognitive Implications of the Implicit-Explicit Distinction
2001-06-08
Parity Doublets from a Relativistic Quark Model
2001-10-31
Empirical Evaluation Of Innovations In Interval Branch And Bound Algorithms For Nonlinear Systems
2001-06-13
R. Baker Kearfott
Interpolation for Natural Deduction With Generalized Eliminations
2001-09-20
Ralph Matthes
On Information-Theoretic Measures of Attribute Importance
2000-06-09
Service Disciplines Performance For Best-Effort Policies In WWW Traffic Over Packet-Switched Wireless Cellular Networks
2000-08-03
Project Da CaPo++, Volume II: Implementation Documentation TIK-Report No. 29
2001-12-11
Some Error-Correcting Codes and Their Applications
2001-03-02
J. D. Key
Extending Partial Combinatory Algebras
1999-11-18
On Pricing of Discrete Barrier Options
2001-04-10
S. G. Kou
Motional Effects In The Fluorescence Spectrum Of A Single Ba
2000-03-24
Testing Theories for Asynchronous Languages
2000-05-22
Ilaria Castellani
A Visualization of OCL using Collaborations
2001-10-18
Antisymmetry, Pseudospectral Methods, Weighted Residual Discretizations, And Energy Conserving Partial Differential Equations
2000-02-23
The Justification of Logical Theories based on Data Compression
1999-04-27
Totality in Applicative Theories
2001-10-04
Compressing the Graph Structure of the Web
2001-06-14
Modeling Vehicular TrafficFlow using M/G/C/C State Dependent Queueing Models
1997-07-29
Imitation and Experimentation in a Changing Environment
2000-06-26
Properties of Left and Right Components
2001-12-10
Improved Limited Discrepancy Search
1995-09-12
Richard E. Korf
Volume-Phase Holographic Gratings and the Efficiency of Three Simple VPH Gratings
2000-02-17
Maple V release 5
1998-02-06
Maple V Release
Diffpack: Software for Partial Differential Equations
1996-05-03
BodyChat: Autonomous Communicative Behaviors in Avatars
1997-10-17
MEMS Simulation using Sugar v0.5
2001-05-05
Introducing Distribution in an OS Environment of Reflective OO
2000-11-08
Active Learning with Adaptive Grids
2001-10-03
Tiling Imperfectly-nested Loop Nests
2000-02-03
Real-Time Middleware Concepts for Automating the Development of Distributed Embedded Control Systems
2001-05-23
Algorithms For Simulating Fermions
2001-08-29
Michael Creutz
A Multiplicative Colour Watermark
1999-05-18
Hurwitz monodromy, spin separation and higher levels of a Modular Tower
2001-12-07
A Layered Architecture for Lifelike Robotic Motion
2001-05-03
Sulphur Chemistry and Evolution in Hot Cores
1999-03-01
Transformations of Timed Cooperating Automata
2000-10-30
Road Segmentation By Watersheds Algorithms
2000-06-27
Centre De Morphologie Mathmatique
Enhancements to Directional Coherence Maps
2000-11-03
Liquid state NMR Quantum Computing
2001-01-06
'hsduwphqwrirpsxwhuqjlqhhulqj
1999-08-25
Assigning Customers to Two Parallel Servers with Resequencing
1999-07-26
A Type System for JVM Threads
2001-04-23
Cosimo Laneve
Non-symmetric Score Matrices and the Detection of Homologous Transmembrane Proteins
2001-08-02
The Subjective Value of Information: An experimental comparison of willingness to purchase or sell information
2001-05-02
Vibroacoustic Frequency Sweep Analysis Using Automated Multi-Level Substructuring
2000-02-24
Jeffrey K. Bennighof
Strategies For Handpump Water Supply Programmes In Less Developed Countries
2001-02-05
Multiagent Bidding Mechanisms for Robot Qualitative Navigation
2001-04-26
Axiomatic Derivation of the Continuum Hypothesis
2001-02-26
K. K. Nambiar
A Sample Tracking Tool for Rice Genome Sequencing
1998-11-12
Coecients of Products of Powers of Eta Functions
2000-07-19
Robin Chapman
Automatic Multithreaded Parallel Program Generation For Message Passing Multiprocessors Using Parameterized Task Graphs
2001-11-16
Emmanuel Jeannot
Preemptive Routing in Ad Hoc Networks
2001-07-26
Methods for Improving Main Memory Performance
1999-09-28
Authoring Multimedia Documents using WYSIWYM Editing
2001-10-08
Reducing File System Latency using a Predictive Approach
1995-08-17
James Griffioen
Securities Regulation and Virtual Crime in Financial Markets
1999-07-27
Unknown
2001-05-21
James R. Rice
Universal Nucleation Length for Slip-Weakening Rupture Instability under Non-Uniform Fault Loading
2001-12-07
Multiprocessor Clustering for Embedded Systems
2001-05-29
Perceptual Distance of Contrast: Vowel Height and Nasality
2001-07-30
Connecting Description Systems
2001-11-01
Towards Use Case and Conceptual Models through Business Modeling
2000-07-06
Distributed Manipulation Using Discrete Actuator Arrays
2001-10-10
A Refinement Of The Gauss-Lucas Theorem
1999-02-05
Dimitar K. Dimitrov
Improved Decoding of Reed-Solomon and Algebraic-Geometric Codes
2001-08-23
Venkatesan Guruswami
Unique Fixed Points in Domain Theory
2001-06-15
Keye Martin
Implementation Experiences of Bandwidth Guarantee on a Wireless LAN
2001-11-07
Clusters of Cycles
2001-04-07
Michel Deza
Programming By Demonstration Using Version Space Algebra
2001-11-02
Dynamical Modelling Of Vowel Sounds As A Synthesis Tool
1996-05-10
A Pragmatic Documents Standard for an Experience Library: Roles, Documents,
2001-05-02
Multisection in Interval Branch-and-Bound Methods for Global Optimization II. Numerical Tests
1999-08-23
As Erik Csallner
Inplace Run-Length 2d Compressed Search
2001-01-04
New Architecture for Enforcing Multimedia Synchronisation in Videoconferencing Applications
2000-03-08
Michel Diaz
A Simple, Scalable, and Stable Explicit Rate Allocation Algorithm for MAX-MIN Flow Control with Minimum Rate Guarantee
2001-06-27
New Methods In Qualitative Calculus
2000-01-01
A Multichannel Data Acquisition and Analysis System based on off-the-shelf DSP Boards
2001-07-11
Ladislav Beran
1999-12-13
Ladislav Beran
Some Remarks on Fitzpatrick and Flynn's Gröbner Basis Technique for Padé Approximation
2000-06-08
Aug. 10-14 1998, Montreal, Quebec, Canada
1998-09-27
The FlightGear Flight Simulator History, status and future
2001-06-27
A. R. Perry
The Distance Measure for Line Spectrum Pairs Applied to Speech Recognition
2000-04-25
Object Ownership for Dynamic Alias Protection
2000-01-20
Graphical Models for Game Theory
2001-04-18
The Cahn-Hilliard Equation with Elasticity - Finite Element Approximation and Qualitative Studies
2000-07-17
Using Wg-Log Schemata To Represent Semistructured Data
2000-11-10
Extended Behavior Networks for the magmaFreiburg Team
2001-10-05
Klaus Dorer
Radio Propagation
2000-03-11
Lewis Girod
Exposure Stratified Case-Cohort Designs
2001-11-30
Sven Ove Samuelsen
Grounding Mundane Inference in Perception
2001-11-09
Simulating the Development of
2001-12-18
Reducing Delay With Dynamic Selection of Compression Formats
2001-12-11
Resource Dynamics and Endogenous Property Rights Regimes
1998-11-16
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
2000-08-03
Multihypothesis Motion-Compensated Prediction with Forward-Adaptive Hypothesis Switching
2001-12-05
Bernd Girod
Neurodynamics Research Group
2001-09-17
Direct Reconstruction of Displaced Subdivision Surface From Unorganized Points
2001-09-05
Using Spatial Sorting and Ranking in Model-Based Object Recognition
2001-12-11
On the Knowledge Complexity of ...
2001-01-29
Erez Petrank
CACTUS - Clustering Categorical Data Using Summaries
1999-12-13
Comparing SAT Encodings for Model Checking
2001-05-21
Location Uncertainty in Mobile Networks: A Theoretical Framework
2001-09-27
Minimizing Communication while Preserving Parallelism
2001-02-27
Determining Role Rights from Use Cases
2001-01-26
Great Problems of Mathematics: A Course Based on Original Sources
1998-12-13
Effective Partition-Driven Placement with Simultaneous Level Processing and Global Net Views
2001-08-31
Syntactic Analysis of Technical Drawing Dimensions
2001-04-11
A Language for Building Concurrent Engineering Design Advisors Extended Abstract
2000-05-08
Modeling and Analysis of Substrate Coupling in Integrated Circuits
1995-08-24
Ranjit Gharpurey
Block Triangular Orderings and Factors for Sparse Matrices in LP
1997-09-08
Roger Fletcher
Half Twists of Hodge Structures of CM-Type
2000-04-13
Bert Van Geemen
A Utopia? Government without Territorial Monopoly
2000-06-28
Modeling and Visualization of Biological Structures
2000-08-18
Przemyslaw Prusinkiewicz
On the Approximability of the Selection Problem
1996-12-20
Is the Quality of Numerical Subroutine Code Improving?
2001-03-29
T. R. Hopkins
Constant Bandwidth vs Proportional Share Resource Allocation
1999-10-08
Blink-Perturbed Saccades in Monkey. I. Behavioral Analysis
2000-06-12
A rigorous treatment of `experimental' observations for the two-dimensional Navier-Stokes equations
2001-03-27
C. Rob
Curriculum Vitae
2001-08-18
Juan-camilo Crdenas Campo
Part And Tool Flow Management In Multi-Cell Flexible Manufacturing System
2000-04-22
Proceedings, 1996. 95 Jean-Yves Bouguet, Markus Weber, and Pietro Perona, "What do planar shadows tell us about scene geometry?,"
1999-06-30
Broadening Input Understanding in a Language-Based Intelligent Tutoring System
1999-01-28
Monetary Policy Coordination, Monetary Integration and other essays
2001-07-07
Workload-Based Estimation of Resource Exhaustion in Software Systems
2001-08-10
Simultaneous Buffer and Wire Sizing for Performance and Power Optimization
2001-11-21
An Overlapping Schwarz Method for Spectral Element Solution of the Incompressible Navier-Stokes Equations
1998-08-24
P. F. Fischer
ECE 482 Homework 1
2000-02-08
Mohammad Mansour
Mathwise: A computer-based learning environment. Part 1: the implementation of Mathwise
1999-10-28
Compiler and Microarchitecture Mechanisms for Exploiting Registers to Improve Memory Performance
2001-05-30
Matthew Allan Postiff
Applications of a Dynamic Programming Approach to the Traveling Salesman Problem
1998-04-26
Neil Simonetti
The Addition of Explicit Congestion Notification ECN to IP
2001-09-20
Cooperative Visits to 3D Virtual Museums
2000-12-06
A Decentralized Model for Information Flow Control
1997-07-28
Playing By Searching: Two Strategies Against a Linearly Bounded Liar
2001-01-29
Alberto Pedrotti
SVL: a Scripting Language for Compositional Verification
2001-07-31
Using Blocking System Calls with KRoC/Linux
2001-01-21
Frederick R. M. Barnes
Selecting Forwarding Neighbors in Wireless Ad Hoc Networks
2001-06-07
From Stirring to Mixing of Momentum: Cascades From Balanced Flows to Dissipation in the Oceanic Interior
2001-11-03
Interactive Conceptual Tutoring in Atlas-Andes
2001-02-21
A Rearrangeable Algorithm for the Construction of Delay-Constrained Dynamic Multicast Trees
2000-12-09
Compiling Language Definitions: The ASF+SDF Compiler
2001-12-04
Shared Virtual Memory Across SMP Nodes Using Automatic Update: Protocols and Performance
2001-05-25
Quadratic Fractional Programming: Dinkelbach's Method
1998-12-08
The Physical Symbol Grounding Problem
2001-11-19
On Duality between Filtering and Interpolation
2001-02-05
I. Byrne Andandek Lindquist
Three Machine Learning Techniques for Automatic Determination of Rules to Control Locomotion
2000-12-05
Equivalent Keys of
1999-09-01
A Prototype Mobile-Agent Application
2001-03-16
Robot Formations Using Only Local Sensing and Control
2001-05-09
Coloring Random Graphs
2001-04-20