Cv
2001-11-13
Ravi Montenegro
Altruism, the Prisoners Dilemma, and the Components of Selection
2001-10-06
Philips Research Laboratory Brussels Av. E. Van Becelaere 2, Box 8 B-1170 Brussels, Belgium Working Document WD59
1997-12-12
C. Ronse
Dealing with Temporal Uncertainty and Reactivity in a space mission plan
2000-04-13
Thierry Vidal
Relative Clauses, Left-Periphery Effects, and the Dynamics of Language Processing
2001-04-04
Functions Computable with Nonadaptive Queries to NP
1997-02-28
Evolution of Standardized Procedures for Adjusting Lumber Properties for Change in Moisture Content
2001-10-12
Juvenile Hormone and Aggression in Honey Bees
2001-10-15
CIDER: An Integrated Development Environment for Curry
2001-07-16
Discussion on Kolmogorov Complexity and Statistical Analysis
1999-09-17
Optimal Call Admission Control in Generalized Processor Sharing GPS Schedulers
2000-07-02
Motion Planning on a Graph
2001-08-16
Reinhard Oppermann
2001-04-03
Parameterized Reachability Analysis of the IEEE 1394 Root Contention Protocol using TReX
2001-08-13
Bijective proofs for Schur function identities which imply Dodgson's condensation formula and Plücker relations
2001-03-11
The Riemann-Hilbert approach to strong asymptotics for orthogonal polynomials on ...
2001-11-23
On the performance of various adaptive preconditioned GMRES strategies
1997-06-24
Kevin Burrage
Perception of 3-D Objects from an Intensity Image Using Simple Geometric Models
2001-12-06
Duality and Anaphora
2001-11-14
Antnio Branco
A Mechanically Checked Proof of a Comparator Sort Algorithm
1999-03-07
Some Two-Cardinal Results for O-Minimal Theories
2001-07-10
Timothy Bays
On the Windowed Cholesky Factorisation of the Time-Varying Asynchronous CDMA Channel
1998-09-03
Fractional Power Damping Model of Joint Motion
2000-11-09
Putting the Geographical Analysis Machine on the Internet
2001-06-20
Using Pathfinder Networks to Examine Structural Knowledge
2001-08-20
Smart TCT: An Efficient Algorithm for Supervisory Control Design
2001-06-28
Polling Based Media Access Protocols for use with Smart Adaptive Array Antennas
2001-03-05
Fast Lines: a Span by Span Method
2000-08-12
Hardware-Assisted Networking Using Scheduled Transfer Protocol On Linux
2001-12-07
Evolution Strategies for Parameter Optimization in Jet Flow Control
2001-08-15
Oriental Character Font Design by a Structured Composition of Stroke Elements
2000-12-30
Reachability Analysis of Probabilistic Systems by Successive Refinements
2001-09-06
Building Negative Reduced Cost Paths Using Constraint Programming.
2001-05-21
Toward a Formal Theory of Extensible Software
2001-08-28
A Fast Algorithm to Achieve Perceptually Acceptable Views during Multi--Node Panoramic Walk--through
2000-08-25
n-Dimensional Sequences. I
2001-07-19
Graham Norton
Compensation Modeling for QoS Support on a Wireless Network
2000-04-05
Stability of Quasi-Static Slip in a Single Degree of Freedom Elastic System With Rate and State Dependent Friction
1999-12-01
Unifying Unitary and Hyperbolic Transformations
2001-02-08
The Regular Spaces With Countably Based Models
2002-01-03
Keye Martin
Application Specific Unicast Congestion Control
2001-12-10
The New Directions Statement and the Tasmanian Electronic Commerce Centre
1998-04-24
UMIACS-TR-94-40 December, 1992 CS-TR-3250 Revised March, 1994
2001-02-27
Laser Beams and Resonators: The 1960s
2001-03-25
A. E. Siegman
Voice Command Generation for Teleoperated Robot Systems
1998-08-05
Creating Semantic Web Contents with Protege-2000
2001-04-18
Weaknesses in the Key Scheduling Algorithm of RC4
2001-07-25
Fourier Optical Limits of Coherent Acousto-Optic Matrix-Vector Processor
2000-08-23
Thomas J. Naughton
Mod-2 Independence And Domination In Graphs
2001-08-10
Jan Arne Telle
Monoid-Labeled Transition Systems
2002-01-31
Constraints and Mechanisms in Theories of Anaphor Processing
2001-11-27
Mathematics on-Line
2001-06-18
Complexes of Directed Trees
1999-11-04
Dmitry N. Kozlov
Algorithms for Efficient Runtime Fault Recovery on Diverse FPGA Architectures
2001-06-28
Asynchronous Collaboration Around Multimedia Applied to On-Demand Education
2001-10-02
Truth-Makers
1999-09-28
Herbig Haro Objects in the Orion Nebula
1998-08-27
ATM High Performance Distributed Computing Laboratory
2000-11-08
uber einem quadratisch abgeschlossenen Korper
2000-05-10
Ecient Calculation of Jacobian and Adjoint Vector Products in Wave Propagational Inverse Problem Using Automatic Dierentiation
1999-06-18
Narrative Prose Generation
2001-04-09
Lower bounds for Minimum Interference Frequency Assignment Problems
1999-12-10
Iterated ranGACV: a Computational Proxy for the Comparative Kullback-Leibler Distance
1999-11-05
Fangyu Gao
Robust Solutions To Linear Approximation Problems Under Ellipsoidal Uncertainty
2001-09-11
G. Alistair Watson
Asymptotic Rates Of The Information Transfer Ratio
2001-10-25
Architecting a Network Query Engine for Producing Partial Results
2000-10-07
Derivation of Glue Code for Agent Interoperation
2001-10-19
Evolution of Overlapping Genes: Comparative Genomics of
1998-11-12
Impact of Resource Reservation on Distributed Multi-Path Quality of Service Routing Schemes
2000-02-18
Holomorphic Disks And Three-Manifold Invariants: Properties And Applications
2001-10-19
Peter Ozsv Ath
The Directed Steiner Network problem is tractable for a constant number of terminals
2000-02-10
An Inductive Method For Discovering Design Patterns From Object-Oriented Software Systems
2001-02-27
Tree Lifting Orderings for Termination Transformations of Term Rewriting Systems
1998-12-02
Biased Skip Lists for Highly Skewed Access Patterns
2001-07-17
Tailorable Domain Objects as Meeting Tools for an Electronic Whiteboard
1999-07-13
Cache-Conscious Data Structures
2000-03-08
Data Mining in the Bioinformatics Domain
2001-11-12
Shalom Tsur
An Environment for Content-Based Image Retrieval From Large Spatial Databases
2001-03-02
Bandwidth Allocation by Pricing in ATM Networks
2001-04-11
John Murphy
Object Calculi in Linear Logic
2001-12-17
Comparing methods for 3D microscopy
1998-02-26
Using Handheld Devices in Synchronous Collaborative Scenarios
2001-12-13
Determining Maximum
1999-06-10
Log-Based Receiver-Reliable Multicast Distributed Interactive Simulation
1998-08-20
Iterative learning control based on quasi-Newton methods
2001-08-03
Konstantin E. Avrachenkov
Transient Behavior Of The M/g/1 Workload Process
2000-07-28
The Specification of Conditional Expectations
2001-09-05
Campbell R. Harvey
Linear programming performance bounds for Markov chains with polyhedrally translation invariant transition probabilities and applications to unreliable manufacturing systems and enhanced . . .
2001-10-23
Data Mining Criteria for Tree-Based Regression and Classification
2001-10-12
X,andY,be-finite measure spaces. We denote by
1998-09-25
Anton R. Schep
Optimal Reward-Based Scheduling of Periodic Real-Time Tasks
1999-09-08
Verification Tools for Embedded Systems
2001-09-10
Length-constrained Path-matchings in Graphs
2001-09-01
Job Scheduling Strategies for Networks of Workstations
1998-06-01
The Fronts and Atlantic Storm-Track Experiment FASTEX: Scientific Objectives and Experimental Design
2001-05-14
Effects of Detail in Wireless Network Simulation
2000-09-27
Multipoint Linear Approximations for Stochastic Chance Constrained Optimization Problems With Integer Design Variables
2000-05-23
Corrigendum To: Semi-Simplicity Of Invariant Holonomic Systems On A Reductive Lie Algebra
1999-08-06
HEC-FDA sensitivity and uncertainty analysis
2001-03-06
Mary J. Briant
Three-Dimensional Part-Based Descriptions from a Real . . .
1994-08-11
Fault Tolerant K-Center Problems
2001-02-27
Automatic support to mobile systems specification in Mob
2000-07-19
2D TSA-tree: A Wavelet-Based Approach to Improve the Efficiency of Multi-Level Spatial Data Mining
2002-01-16
Font Subsetting and Downloading in the PostScript Printer Driver of Qt/X11
2001-09-25
Basics of Molecular Biology continued
2000-05-01
Notes Tory Mcgrath
Tuthill,1,2
2000-06-05
Joint Transmitter and Receiver Beamforming for Maximum Capacity in Spatial Division Multiaccess
1999-12-22
Dual Footprint Configuration For The Fdc37n958fr And The Fdc37n972
2001-08-09
Simultaneous Buffer and Wire Sizing for Performance and Power Optimization
1996-06-20
Multiplicative Adaptive Algorithms for User Preference Retrieval
2001-12-06
Zhixiang Chen
Minimal Models And Boundedness Of Stable Varieties Preliminary Version
1998-04-13
Kalle Karu
Detection, Visualization and Animation of Abnormal Anatomic Structure With a Deformable Probabilistic Brain Atlas Based on Random Vector Field Transformations
1999-11-07
Tradeoff's in Modeling Epidemic Disease in Slaughter Pig Production.
2001-06-22
Acquisition and Visualization of Colored 3D Objects
2001-04-21
A System for Collaborative Web Resource Categorization and Ranking
2001-10-11
Synthetic Spectra and Color-Temperature Relations of M Giants
1999-11-26
Monadic Programming
2000-05-17
THEORETICAL AND EXPERIMENTAL STUDY OF DEPENDENCE-BASED COMPLEXITY METRICS FOR DISTRIBUTED PROGRAMS Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima
2001-05-12
Scalable Hardware-Algorithms for Binary Prefix Sums
1999-05-25
A Probabilistic Cooperative-Competitive Hierarchical Search Model
2001-08-15
Forecasting for Policy
2000-07-18
Keynoteaddress: Simulationinresearchandresearchinsimulation: Atelecommunicationsperspective
2000-04-20
An Experimental Study of SBH with Gapped Probes
1999-04-26
Benoit Hudson
Formation of Tethered Supported Bilayers Via Membrane-Inserting Reactive Lipids
2001-08-04
Markus Seitz Joyce Y. Wong
SpaceTag: An Overlaid Virtual System and its Applications
1999-03-12
Program Modules, Separate Compilation, and Intermodule Optimisation
1999-07-29
A Padé-based algorithm for overcoming the Gibbs phenomenon
2001-08-28
Tobin A. Driscoll
Sampling From a Moving Window Over Streaming Data
2001-10-17
Writing Guidelines for Assignments in Laboratory and Design Courses
2000-01-16
2-Lattice Polyhedra: Duality
1999-01-04
Incremental Construction and Maintenance of Morphological Analysers Based on Augmented Letter Transducers
2002-01-24
Generating Decision Rules By Reinforcement Learning For A Class Of Crop Management Problems
2001-10-17
Introducing Patterns or any new idea into Organizations
2002-01-09
Dynamic Animation Synthesis with Free-Form Deformations
1997-01-28
Static and Dynamic Evaluation of QoS Properties
2001-09-14
An Eigenfilter Approach to Design Two-Dimensional Zero-Phase FIR Filters via McClellan Transform
2001-01-30
An Analysis of Synchronous and Asynchronous Parallel Distributed Genetic Algorithms with Structured and Panmictic Islands
2000-06-22
Comparison of CMACs and Radial Basis Functions for Local Function Approximators in Reinforcement Learning
2000-08-23
Modelling Competitive Co-operation of Agents in a Compositional Multi-Agent Framework
2000-05-01
Lefschetz Numbers Of Iterates Of The Monodromy And Truncated Arcs
2001-09-03
Improving Partial Order Reductions for Universal Branching Time Properties
2001-07-27
Receiver Operating Characteristic analysis for Intelligent Medical Systems - a new approach for finding non-parametric confidence intervals
1999-12-02
Bayesian generalized additive mixed models. A simulation study
2001-04-17
The Properties of Product of Relational Structures
2002-01-09
Artur Kornilowicz
Capability Representations for Brokering: A Survey
1999-03-25
Usability Designers Improve the User-Centred Design Process
1999-09-06
Bengt Gransson
Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems
2001-03-26
Douglas J. Howe
Swedish SENSEVAL, a Developer's Perspective
2001-05-07
Compiler-Directed Dynamic Voltage Scaling Based on Program Regions
2001-12-12
On the Modeling of Voice Packet Loss in FIFO Switches
1999-05-18
Structure and Function in the Lexical System: Insights from Distributed Models of Word Reading and Lexical Decision
2001-10-23
Experiences with Specification-based Intrusion Detection
2001-11-26
R. Sekar
Using Human Observers' Eye Movements in Automatic Image Classifiers
2001-11-13
Vector Balancing Games with Aging Extended Abstract
2001-12-01
Design of Modular Digital Circuits for Testability
2001-08-13
A Procedural Model of Dynamic Adaptability and Its Description Language
1998-04-24
An Evaluation of Some Measures of Core Inflation for . . .
2001-04-12
Towards Measuring the Searching Complexity of Metric Spaces
2001-04-27
Gonzalo Navarro
On Determining the Consistency of Partial Descriptions Of Trees
1996-07-19
Thomas L. Cornell
Discovery and Application of Check Constraints in DB2
2001-02-19
Strengthening Chvatal-Gomory Cuts and Gomory fractional cuts
2001-07-26
Learning Of Inexact Rules By The Fish-Net Algorithm From Low Quality Data
1998-02-10
Content-based Language Models for Spoken Document Retrieval
2000-12-27
Real-time Performance Monitoring, Adaptive Control, and Interactive Steering of Computational Grids
2001-10-24
Three-Dimensional Grid Partitioning for Network Parallel Processing
1994-12-17
Equicardinality on Linearly Ordered Structures
2001-08-23
Kerkko Luosto
Molecular Gas in Dwarf Galaxies
2001-09-21
U. Klein
Fourier Analysis and Synthesis for a Mildly Non-Linear Quantizer
1999-12-04
Src2tex Version 2.12
1997-10-31
A Primer of Simple Theories
2001-06-01
When Two Case Bases Are Better Than One: Exploiting Multiple Case Bases
2001-09-24
David B. Leake
Levo: IPC in the 10's via Resource Flow Computing
2001-10-22
Cost- and Quality-of-Service-Aware Network-Service Deployment
2001-10-08
What I Need is What I Get: Downloadable User Interfaces via Jini and Java
2001-06-20
Observer Motion Estimation And Control From Optical Flow
2001-09-05
Stable Leader Election
2001-06-14
Assembling Dynamic Components For Metacomputing Using Corba
2001-06-29
Parallelizing Description Logics
2001-09-06
Analysis of Contention Tree-Algorithms
1999-11-30
TINA or TASA?
1999-07-17
Constraint-Lambda Calculi
2002-01-10
John N. Crossley
Detecting Gene Symbols and Names in Biological Texts: A First Step toward Pertinent Information Extraction
1998-11-13
Disadvantage:
2001-02-08
Susan Cozzens
A Software Process for an Integrated Electronic Commerce Portal System
2001-03-22
Efficient Simple Groups
2001-01-16
Hypermedia Use in Group Work: Changing the Product, Process, and Strategy
2002-01-23
Performance of a Medium Access Control Protocol for a WDMA/TDMA Photonic Ring Network
1998-11-16
Understanding Software Process Redesign using Modeling, Analysis and Simulation
2001-02-28
Walt Scacchi
Three-tier Clustering: an Online Citation Clustering System
2001-06-29
A. Maurits van der Veen
2001-02-16
A. Maurits Van Der Veen
Convergence of Monetary Transmission in EMU: New Evidence
2002-01-16
Evaluation of a Teamwork Model: A Case Study
2002-01-16
Decoupling Capacitance Allocation for Power Supply Noise Suppression
2001-11-21
The dSPIN User Manual
2001-03-16
Tidal forcing of basal seismicity of ice stream C, West Antarctica, observed far inland
1999-04-28
Knowledge-based Automatic Topic Identification
2001-04-20
Chin-yew Lin
Strategic Directions in Software Engineering and Programming Languages
1997-09-08
Robust Wireless Video Transmission Employing Byte-aligned Variable-length Turbo Code
2002-01-02
Extending Mobile IP with Adaptive Individual Paging: A Performance Analysis
2001-09-17
Claude Castelluccia
ad-Nilpotent b-Ideals In sln Having A Fixed Class Of Nilpotence: Combinatorics And Enumeration
2000-08-17
Task Models in Interactive Software Systems
2000-12-16
Intonation and Dialogue Context as Constraints for Speech Recognition
2000-03-01
Strategies for Parallel and Numerical Scalability of CFD Codes
1998-06-02
Classification of Meronymy by Methods of Relational Concept Analysis
1997-04-23
Uta E. Priss
Accurate Approximation of Functions with Discontinuities, Using Low Order Fourier Coefficients
1970-02-01
R. K. Wright
ADN and ARN Domain Decomposition Methods for Advection-Diffusion Equations
1998-10-05
Theoretical and Experimental Analysis of Weithtless Artificial Neural Networks for 3-Dimensional Pattern Recognition
2000-09-30
A. centro De Inteiigencia Artificial
A Precision Infrastructure for Active Probing
2001-07-13
Darryl Veitch
CS 158B-01 Management of Computer Networks Dr. Moh, Fall 2001 Project Part III -- Broadband Network Management System Design and Development
2001-11-06
-9162/99/$10.00 1999 Ieee
1999-01-20
Set-Constraint based Program Analysis: A survey
2001-01-22
Sumit Gulwani
Performance Analysis of Blind Carrier Frequency Offset Estimators for Noncircular Transmissions Through Frequency-Selective Channels
2002-01-16
The Deep Blue Calculus
2001-12-17
Luigi Liquori
C-XSC: A C++ Class Library for Extended Scientific Computing
1997-10-29
Symmetries between two Ramsey properties
2000-10-30
Dynamic Simulation of the Human Red Blood Cell Metabolic Network
2001-09-03
A Mathematical Look at the Torah Codes
2001-11-19
Pieter Trapman
A Senior Course on Logic Process Control based on Petri Nets
1999-12-02
The Chatterbox
2001-06-01
Informp Display
Governing Competitive Supplier Relations: New Autoindustry Evidence
1995-07-21
Toshihiro Nishiguchi
Primitive Illumination Systems for Families of Convex Bodies in the Plane
2001-06-26
Valeriu Soltan
Structural Classi cation for Retrospective Conversion of Documents
2001-03-27
Derived p-Adic Heights
2001-07-17
Improving a Family of Approximation Algorithms to Edge Color Multigraphs
2001-11-23
Alberto Caprara
Why Johnny Won't Visualize
2001-12-04
Scaleable Parallel Algorithms for Lower Envelopes with Applications
2001-10-01
Ejournalist
2001-02-02
Curry--Howard terms for Linear Logic
1998-10-07
Piecewise Self-Similar Solutions And A Numerical Scheme For Scalar Conservation Laws
2001-10-24
Yong-jung Kim
Computer Analysis of Base Pairing Free-Energy between Shine-Dalgarno Sequence and 16S rRNA in Various Procaryotes
1998-11-12
Unknown
2001-12-06
Designing User-Adaptive Systems - Description of an IUI 2001 Tutorial
2001-03-21
Anthony Jameson
Regional budgets for nitrogen oxides from continental sources: Variations of rates for oxidation and deposition with season and distance from source regions
1998-03-17
Modeling and Simulating Terrorist Decision-making: A "Performance Moderator Function" Approach to Generating Virtual Opponents
2001-04-18
Rigidity Of Multi-Dimensional Conformal Iterated Function Systems
2001-02-04
Mariusz Urba Nski
Intersection Multiplicities and Hilbert Polynomials
2001-09-18
Dynamic Control Of Compile Time Using Vertical Region-Based Compilation
1999-07-24
Jaymie Lynn Braun
Source And Channel Coding Of Images For Noisy Channels
2000-04-19
SNR Scalability with Matching Pursuits
1999-12-29
C. De Vleeschouwer
A short proof of Mader's S-paths theorem
2001-01-14
Alexander Schrijver
Runtime Coupling of Data-parallel Programs
2001-02-27
Creating an Electromagnetic Transients Program in MATLAB: MatEMTP
1999-04-29
Jean Mahseredjian ieee Member
Rendering Light Dispersion With A Composite Spectral Model
2001-10-17
Provably Fast Training Algorithms for Support Vector Machines
2001-11-09
Vickrey Pricing in Network Routing: Fast Payment Computation
2001-05-08
Compiler Construction Assignment
2001-09-02
Integrable Evolution Equations in Time-Dependent Domains
2001-01-16
Predicting Financial Distress Of Companies: Revisiting The Z-Score And Zeta
2000-08-29
Edward I. Altman
Classification And Volume Morphing For Performance-Driven Facial Animation
2000-04-28
Very rapidly mixing Markov Chains for 2-colourings and for independent sets in a graph with maximum degree 4.
2001-08-15
Michael Molloy
Renewable Resources in an Overlapping Generations Economy without Capital
2001-02-05
On Linear Interdependences in MOP
2001-06-09
Automatic Text Recognition in Digital Videos
2000-08-08
On-the-Job Signalling and Self-Confidence.
2000-06-26
Francesco Squintani
Learning Recursive Phrase Structure: Combining the Strengths of PDP and X-Bar Syntax
2001-10-05
George Berg
*** Information ***
2001-10-23
Dvd Devices
Searching in Metric Spaces
2001-03-09
Minimal vs. non Minimal Adaptive Routing on k-ary n-cubes
2001-03-28
A Certified Compiler for an Imperative Language
1998-09-22
Scatternet Structure and Inter-Piconet Communication in the Bluetooth System
2000-11-30
Perceptually Optimal Restoration Of Images With Stack Filters
1997-11-12
Extension of WAM for a linear-logic-based logic programming language
2001-01-21
Agents for Mobility with a Java-enabled Orbiter
2001-09-25
Andr Vellino
Wireless Hierarchical Routing Protocol with Group Mobility WHIRL
1999-01-26
The DO to DOALL transformation
1997-12-04
On the Harmonic Means of Branching Processes
2001-08-30
Didier Piau
A Family of Reading Techniques for OO Design Inspections
2000-10-31
Aircraft Ground Traffic Optimization
2001-07-05
Networking Foundations for Collaborative Computing at Internet Scope
2000-10-07
Data Parallel Programming in An Adaptive Environment
2001-02-27
Research Statement
1997-01-19
Thomas Haynes
On Free Partially Associative Triple Systems
1999-01-20
Murray Bremner
CSE 470 Objectives
2001-02-26
Morehigherorderprogramminginobj
2000-04-28
Network Usage Patterns and the Substitution and Complementarity Effects Between Telecommunications and Transportation: A Demand Side Approach
2000-05-19
EVALUATION OF A R,s,Q,c MULTI-ITEM INVENTORY REPLENISHMENT POLICY THROUGH SIMULATION
2000-04-22
Piron's and Bell's Geometric Lemmas and Gleason's Theorem
2001-03-27
Large-Amplitude High-Rate Roll Experiments on a Delta and Double Delta Wing
2001-09-17
High-Speed Cell-Level Path Allocation in a Three-Stage ATM Switch.
1998-06-18
Martin Collier
Models of Q-Algebra Representations: The Group of Plane Motions
2001-12-13
A Probabilistic Algorithm to Test Local Algebraic Observability in Polynomial Time
2002-01-15
Alexandre Sedoglavic
Overcoming Limitations of Sampling for Aggregation Queries
2001-09-12
A Tachy TAK
1994-12-06
Henry G. Baker
Seignorage Wealth In The Eurosystem: Eurowinners And Eurolosers Revisited
2002-01-16
Generating Individualized Curricula
2000-04-05
Experimental Evaluation Of Ozone Forming Potentials Of Motor Vehicle Emissions
1999-05-17
Between MDPs and Semi-MDPs: A Framework for Temporal Abstraction in Reinforcement Learning
1999-04-03
Time-Shifted Modules: Exploiting Code Modularity for Fine Grain Parallelization
2001-10-08
Generic Compiler Prototyping System
1999-03-18
Thilo Ernst
The Tertiary Level in a Functional Cluster-based Hierarchical VoD Server
2001-05-24
High Current Effects in Silicide Films for Sub-0.25
2000-11-28
A Stereo Vision System For Real-Time Automotive Obstacle Detection
1996-07-03
Vicious Strategies for Vickrey Auctions
2001-03-22
Emotions and Action Selection in an Artificial Life Model of Social Behavior in Non-Human Primates
2001-04-20
SiGe Heterojunction pMOSFETs
1999-12-01
From Polyline to Polygon via XOR tree
2001-07-19
Open-Ended Configurations Of Radio Telescopes: Towards Optimal Design
2002-01-02
The Inverse Satisfiability Problem
2000-02-25
-740 Basic Computer Systems Fall 1998 Syllabus
1998-09-16
SyMP: The Hacker's Manual
2001-06-20
An Overview of Design and Operational Issues of Kanban Systems
2000-07-14
Safe Approximation of Data Dependencies in Pointer-Based Structures
2000-10-02
A Flexible and Extendible Communications Architecture to Support Agent-Based Design of Autonomous Robots
1998-05-16
Adaptive QoS Management for Collaboration in Heterogeneous Environments
2002-01-19
Integrated Admission Control for Streaming and Elastic Traffic
2001-08-22
Bifurcations of Periodic Solutions in a Coupled Oscillator with Voltage Ports
2000-12-11
Fiber Channel Over TCP/IP FCIP
2001-08-17
Chapter 2 A Model of Menu Dependence in Voter Behavior
2001-11-04
What's needed for lexical databases? Experiences with Kirrkirr
2001-12-03
Additive Structure Of Free Left-Symmetric And Assosymmetric Rings
2001-02-21
Murray Bremner
Every Monotone Graph Property Has A Sharp Threshold
1999-05-04
Ehud Friedgut
On the Error in Multivariate Polynomial Interpolation
2001-11-05
POLAP: A Fast Wavelet-based Technique for Progressive Evaluation of OLAP Queries
2002-01-15
A computer system to perform structure comparison using TOPS representations of protein structure
2001-11-09
Topology Optimization of an Overlay ATM Network in an SDH Infrastructure
2000-11-16
Generalizations of the stroke-Operation
2001-03-01
Klaus Benecke
Are Bilinear Quadrilaterals Better Than Linear Triangles?
1997-12-09
E. F. D'azevedo
Cycle-Time Properties of the Timed Token Medium Access Control Protocol
2001-02-07
Sijing Zhang
Randomized Parallel List Ranking For Distributed Memory Multiprocessors
1999-06-10
Bi-directional ABR mechanism Decreasing feedback delays
2001-12-10
Fully Symmetric Nulling Beam Combiners
2001-03-26
Verification, Washington DC, October 23, 1998.
1998-10-12
Controlling High Bandwidth Aggregates in the Network Extended Version
2001-07-13
Optimization Problems in Congestion Control
2001-12-09
The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property
2000-10-16
Hiroshi Nakano
Investigation Of Lagrangian Heuristics For Set Covering Problems
1998-04-09
Recognizing String Graphs in NP
2001-10-08
Le Probléme Du Logarithme Discret Elliptique : Index Et Xedni
2001-11-21
Ad-hoc Constructs for Non Functional Aspects
2000-07-19
Mattia Monga
The Cactus Approach to Building Configurable Middleware Services
2000-12-21
Hotspots Connect the dots for a Wireless Future
2001-09-17
Graph Embeddings And Laplacian Eigenvalues
2000-08-30
IP over Optical Networks: Architectural Aspects
2001-05-31
Literate-Programming Can Be Simple and Extensible
2001-04-26
Norman Ramsey
Hidden Software Capabilities
2001-03-06
Extended Bit-Filling and LDPC Code Design
2001-08-28
Department of Molecular Information Processing
1996-07-10
Influence of Viscosity Laws on the Transition to the Self-Gravitating Part of Accretion Disks
1998-11-09
Parabolic Kazhdan-Lusztig polynomials and Schubert varieties
2001-04-06
Methodology for Distributed Usability Evaluation in Collaborative Virtual Environments
2001-08-01
Jolanda G. Tromp
On The Structure Of The Stable Norm Of Periodic Metrics
1998-12-02
Schedulability Analysis for Real-Time Processes with Age Constraints
1999-04-09
Dieter Zobel
An Internet Multicast System for the Stock Market
2001-06-22
A Reliable Multicast Framework for Light-weight Sessions and Application Level Framing
1998-08-20
Emergence of Un-Correlated Common-Mode Oscillations in the . . .
2001-03-08
Walter J. Freeman
Instructional Transaction Theory:
2002-01-07
Groups in Allegories
2001-09-07
Yasuo Kawahara
A Packaging System For Heterogeneous Execution Environments
2001-02-27
Machine Learning
2001-11-16
Real-Time H.263+ Frame Rate Control Algorithm For Low Vbr Video
2002-01-02
Updates in Disjunctive Deductive Databases: AMinimal Model Based Approach
2001-05-29
Adnan H. Yahya
Version 1.30 June 15, 1993
2001-04-26
John A. Krommes
Grand Challenge Problems on Cross Cultural Communication - Toward Socially Intelligent Agents
2000-10-05
Takashi Kido
Paola Merlo and Suzanne Stevenson DRAFT: DO NOT QUOTE OR CIRCULATE
2000-09-20
A Universal Self-Stabilizing Mutual Exclusion Algorithm
2001-11-26
EAC - Execution Access Control Model
2001-03-07
J Orgen Sigvardsson
Urbi et Orbi: Unusual Design and Implementation Choices for Distributed Virtual Environments
2000-12-20
Multi-Document Summarization and Visualization in the Informedia Digital Video Library
2001-06-19
Howard D. Wactlar
Unknown
2000-04-08
Blind Symbol Learning Algorithms for CDMA System
1998-09-18
Scalable Kernel Systems
2002-01-28
Volker Tresp
Low Entropy Image Pyramids for Efficient Lossless Coding
2001-03-27
Comparing Decision Problems For Various Paradigms Of Algebraic Logic
2001-09-24
Agnes Kurucz
A Private Name Space system for Unix and its uses for Distributed and Cluster Computing
2001-11-26
Ron Minnich
A Program Dependence Model for Concurrent Logic Programs and Its Applications
2001-08-11
On a Logic of Induction
2001-07-19
Diderik Batens
A High-Speed Processor For Rectangular-To-Polar Conversion With Applications In Digital Communications
2001-05-02
and Eugene Garfield
2001-09-18
Propagation Simulation for the Prediction of LMCS/LMDS Coverage
1998-07-02
Routines and Conversations
1997-10-10
Ecient Secure Multi-Party Computation
2000-11-20
Simulating The Endcap Muon Csc System In Orca
2001-04-18
Discrete Choice Models as Structural Models of Demand: Some Economic Implications of Common Approaches
2001-10-18
Prototype Internet consultation system for radiologists
2000-02-17
A Codesign Experiment in Acoustic Echo Cancellation: GMDFa
2000-03-29
Remote Consultation and Diagnosis in a Global PACS Environment
1996-11-05
An Enhanced Model for Component Interfaces to Support Automatic and Dynamic Adaption
2000-05-09
Ralf H. Reussner
The MOLEN rm-Coded Processor
2001-10-04
Generation of Isospectral Graphs
2000-10-30
A Regular Query for Context-Sensitive Relations
2001-12-03
The Economics of the Microsoft Case Timothy F. Bresnahan
2001-10-25
Timothy F. Bresnahan
Learner-Formulated Questions in Technology-Supported Learning Applications
2001-07-03
Foda/ibea-Tdma: A Flexible Fade Countermeasure System For Integrated Services In User Oriented Networks
2001-11-06
Highly reactive decision making: a game with Time
2000-04-13
Infant-like Social Interactions between a Robot and a Human Caretaker
1998-06-05
Learning, from a Logical Point of View
2000-04-04
STIGMA: a 4-dimensional modeller for animation
1999-10-08
Selection and Presentation of Commercially Available Electronic Resources: Issues and Practices
2001-08-20
Timothy D. Jewell
An Exploration into Supporting Artwork Orientation in the User Interface
2000-12-15
ATheoretical and Empirical Investigation of Multi-item On-line Auctions
2001-11-13
Subsidies in Irish Fisheries: Saving Rural Ireland?
1999-01-26
Vilhjalmur Wiium
HERWIG 6: an event generator for Hadron Emission Reactions With Interfering Gluons including supersymmetric processes
2000-11-29
A Model for Stochastic Resonance-Type Behavior in Sensory Perception
2001-12-07
Rajat Mukherjee John K. Bennett Jay A. Greenwood
2001-01-16
Matrix Multiplication on Hypercubes Using Full Bandwidth and Constant Storage
1997-07-13
A Method for Fast Database Search for All k-nucleotide Repeats
2001-01-17
Choice logic programs and Nash equilibria in strategic games
2001-12-08
Dynamics of the Multiple Merger Cluster of Galaxies Abell 85
2001-07-25
A Message Sequence Chart-Profile for Graphical Test Specification, Development and Tracing - Graphical Presentation Format for TTCN-3
2001-07-03
Individual Equilibrium and Learning in Processor Sharing Systems
2000-06-21
Output Sensitive Construction Of The Delaunay Triangulation Of Points Lying In Two Planes
1996-09-12
Stochastic Attribute-Value Grammars
2001-06-11
Steven P. Abney
On time delay estimation using an FIR filter
2001-07-30
A Method of Moments Model for VHF Propagation
2001-11-13
Quantum Field Theories on an Algebraic Curve
2000-08-24
Leon A. Takhtajan
Kinematic Asymmetries in a Broad Galaxy Sample
2000-11-13
Queueing analysis of simple FEC schemes for IP Telephony
2001-01-12
edited by Patrick Blackburn and Maarten de Rijke
1996-05-20
Computer, 1997, Vol. 30, No. 10, 1997, pg 47-59.
2001-09-12
Multicolor Discrepancy Of Arithmetic Progressions Extended Abstract
2001-05-03
Scheduling for ReMove and other partially connected architectures
2001-07-27
Steven Roos
Professor Chjan C. Lim May 18, 2001
2001-06-12
Bluetooth voice and data performance in 802.11 DS WLAN environment
1999-11-12
Algorithms for the Set Covering Problem
2000-01-25
Thesis Advisor: Arnold H. Buss, Department of Operations Analysis Second Reader: Charles H. Shaw, III, Operations Analysis
1999-04-13
On The Eigenstates Of The Elliptic Calogero-Moser Model
2000-02-14
EAGLES LE3-4244: Preliminary Recommendations on Lexical Semantic Encoding Final Report
1999-09-01
Improved Discretization Error Estimates for First-Order System Least Squares FOSLS
2002-01-16
Understanding Code For Reuse
1999-11-11
Stuart Marshall
Storing Multi-Rate Smoothed Vbr Objects To Mzr Disk Array
2001-04-24
An Online Algorithm for Segmenting Time Series
2001-12-30
Nonlinear Wave Packets of Equatorial Kelvin Waves
2000-09-29
An Empirical Study of Genetic Operators in Genetic Algorithms
2002-01-15
Xin Yao
An Adaptive and Efficient Algorithm for Detecting Approximately Duplicate Database Records
2001-09-08
Alvaro E. Monge
A Uniform analysis of the Lyman alpha forest at z = 0-5: III. HST FOS Spectral Atlas.
2001-07-21
Hypercomplex Signals - A Novel Extension of the Analytic Signal to the Multidimensional Case
2001-12-14
Keep It Simple, Hybrid! - A Case Study in Autonomous Office Courier Robot Control
2001-05-09
Joachim Hertzberg
Social Translucence: Designing Social Infrastructures that Make Collective Activity Visible
2001-11-29
A Sufficiently Fast Algorithm for Finding Close to Optimal Junction Trees
1997-02-24
The Triangle: Roles Of The Go-Between
1998-12-15
Bart Nooteboom
Linear Algebra with PC-MATLAB
1999-10-28
Bells, Motels, and Permutation Groups
2001-08-24
Gary Mcguire
Recovery of the Metric Structure of a Pattern of Points Using Minimal Information
2001-03-22
Applying Evolutionary Algorithms to Combinatorial Optimization Problems
2001-03-23
Parallel Machine Scheduling With Nonsimultaneous Machine Available Time to Maximize the Minimum Machine Completion Time
2000-01-24
Jiawei Zhang
Analysis Of Velocity-Flux First-Order System Least-Squares Principles For The Navier-Stokes Equations: Part I
2002-01-16
A Framework for Optimal Battery Management for Wireless Nodes
2001-08-14
Maria Adamou
Mixing Angle Revisited
1999-01-14
Audience-driven Web Design
2001-10-23
Olga De Troyer
MEF: Malicious Email Filter
2001-05-14
Applying Neural Network to Combining the Heterogeneous Features in Content-Based Image Retrieval
2001-05-09
Parallelizing Navier-Stokes Computations on a Variety of Architectural Platforms
1995-10-05
The Rubico Rules Engine
1999-11-11
C T R J Chalmers
Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors
2001-04-08
On Wave Equations with Boundary Dissipation of Memory Type
1995-10-17
The DIMACS library of semidefinite-quadratic-linear programs
2000-12-18
Stefan Schmieta
Unknown
2002-02-04
Leo Breiman
Conservative Generalized Quantifiers and Presupposition
2001-09-09
Tim Fernando
Hölder Estimates And Regularity For Holomorphic And Harmonic Functions
2001-11-20
Peter Li
Secrecy for Mobile Implementations of Security Protocols
2001-11-07
Pablo Giambiagi
Universal Algebra in Type Theory
2000-09-19
Venanzio Capretta
Restclk: A Communication Paradigm For Observation And Control Of Object Interaction
2001-10-02
Graduate School---new Brunswick
Strategies for Parallelizing a Navier-Stokes Code on the Intel TouchstoneMachines
1995-03-11
Jochem Huser
Distribution of eigenvalues in gaps of the essential spectrum of Sturm-Liouville operators - a numerical approach
2001-07-17
Enhancing Synchronous Distance Education with Pervasive Devices
2001-07-16
Preparation of Papers for the Proceedings of IEEE ICC 2002
2001-10-11
J. Q.
Classroom Games - Understanding Bayes' Rule
1999-04-08
Comparison Between Distributed And Centralised Demand Assignment Tdma Satellite Access Schemes
2000-10-25
MobileML: A Programming Language for Mobile Computation
2000-10-18
A Model-based Approach to Object-Oriented Software Metrics
2001-11-30
On Value-Based Identification in Object-Oriented Data Models
2000-11-14
Jochen Rasch
Managing Populations While Managing Diseases
2001-01-10
Simulations of EUPHORE and field experiments using a master chemical mechanism
1999-11-08
Mining Massively Incomplete Data Sets by Conceptual Reconstruction
2001-10-19
An Implicit Finite Element Method for Elastic Solids in Contact
2001-09-03
Recursive Filtering and Smoothing for Reciprocal Gaussian Processes with Dirichelet Boundary Conditions
2002-01-07
Construction Of Ferrero Pairs Of All Possible Orders
2001-07-27
Tim Boykett
Transparent Orthogonal Checkpointing Through User-Level Pagers
2001-04-10
Objectives
1999-11-04
Exponential Sums: The estimate of Hasse-Davenport-Weil.
2001-01-04
Peter Roquette heidelberg
Expert System for Automatic Analysis of Facial Expressions
2000-09-15
Associative and Spatial Relationships in Thesaurus-based Retrieval
2002-01-16
An Advanced Compiler Framework for Noncache-coherent Multiprocessors
2002-01-06
COMPUTATIONAL MAGNETOHYDRODYNAMICS Notes for an introductory level course
1998-10-06
A hybrid tool for the performance evaluation of NUMA Architectures
2000-04-22
Colavita,1
1999-12-16
The Transport of Nuclear Contamination in Fractured Porous Media
2000-11-02
A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Machines
2000-12-14
An XML/SVG platform for document analysis
2001-09-20
Object-Oriented
2001-11-16
Debugging Support for Deterministic Re-Execution and Interactive Program Analysis
1998-04-24
NYU: Description of the MENE Named Entity System as Used in MUC-7
2001-12-12
Grammar Systems with Counting Derivation and Dynamical Priorities
2001-05-08
Volcanoes and Climate Effects of Aerosols
2000-08-17
Testability With Unbounded Testing Strategies
2000-08-24
Improved Spill Code Generation for Software Pipelined Loops
2000-04-18
The making of Linux/ia64
1999-09-22
A Challenge for Statistical Instructors: Teaching Bayesian Inference Without Discarding the "Official" Significance Tests
2001-05-08
`CLIMATE' for MULTIVIEW - An Add-On Framework for use in the analysis and development of CMC based Virtual Environments
2001-06-15
Tina Mary Conkar
Effect of Reusable Rate Variation on the Performance of Remanufacturing Systems
2000-11-12
Study of Two-Body
2000-01-12
Lessons Learned about Structuring and Describing Experience for Three Experience Bases
2001-08-07
To design a Memory Board to attach to SCI
2001-05-11
Declan Flood
Managing Resolution in Multi-Resolution Databases
2001-03-05
David Skogan
The PASSENGER Approach to Conduct a Software-Engineering Lab via Telecooperation over the Internet
2000-01-27
Communication Patterns in Domestic Life:
2000-11-11
Action Languages, Temporal Action Logics and the Situation Calculus
1999-07-07
Measurement-Based Admission Control for Elastic Traffic
2001-06-14
Hierarchical SIR and Rate Control on the Forward Link for CDMA Data Users under Delay and Error Constraints
2001-06-13
Requirements For a Knowledge Representation System
1999-01-27
Peter Clark
Unknown
2001-12-13
On the Nature of the Superconducting Gap in the Cuprates
2001-10-29
Efficient Strong Sequentiality Using Replacement Restrictions
2001-11-30
Salvador Lucas
Structured Objects: Modeling and Reasoning
1996-01-11
Intelligent Transportation Systems
2001-04-03
An Agent-based Platform for Federated Information Systems: Some Design Issues
2000-08-03
Wire Routing and Satisfiability Planning
2001-12-30
An Improved Rounding Method and Semidefinite Programming Relaxation for Graph Partition
2001-10-30
Analysis and Design of an Adaptive Virtual Queue AVQ Algorithm for Active Queue Management
2001-04-30
High Quality Imaging in Museum: from Theory to Practice Henri MAITRE, Francis J.M. SCHMITT, Jean-Pierre CRETTEZ,
1999-07-19
A Logical Extension of Parser Generators - Gathering Parse-Tree Information Efficiently
2001-09-23
On Optimality in Probability and Almost Surely for Controlled Stochastic Processes with a Communication Property
2001-10-29
Tatiana A. Belkina
Asymptotic Normality Of b-Additive Functions On Polynomial Sequences In The Gaussian Number Field
1999-10-28
Bernhard Gittenberger
Construction and classification of complex simple Lie algebras via projective geometry
2001-09-28
Laurent Manivel
The Updated Zwicky Catalog UZC
1999-03-11
Noncoherent Receivers for Differential Space-Time Modulation
2002-01-31
Transparent Mobility with Minimal Infrastructure
2001-08-01
Combinatorial Algorithms for Inverse Network Flow Problems
2000-08-08
The Synthesis of a Java Card Tokenisation Algorithm
2001-10-02
Ewen Denney
Real Representations
1996-10-31
Evaluation of the OneChip Reconfigurable Processor
2001-08-31
A Note on Circular Decomposable Metrics
2000-05-04
Victor Chepoi
Book Review
2001-08-10
Combinatorics, Computation, and Cohomology in Algebraic Geometry
2001-11-08
Gauss, Statistics, and Gaussian Elimination
2001-02-27
G. W. Stewart
How to Use Several Noisy Channels with Unknown Error Probabilities
2000-06-28
First-Order System Least Squares For The Stokes Equations, With Application To Linear Elasticity
2002-01-16
Z. Cai
Decoding Reed Solomon Codes beyond the Error-Correction Diameter
2001-08-23
Madhu Sudan
A Lyapunov Method For Establishing Strong And Weak Stability Of Infinite-Dimensional Kalman Filters For Space-Time Estimation
2001-08-07
Coupling an Eulerian Fluid Calculation to a Lagrangian Solid Calculation with the Ghost Fluid Method
2001-09-25
Ronald P. Fedkiw
Monoidal Uniqueness of Stable Homotopy Theory
2001-07-30
A High-Speed Processor for Digital Sine/Cosine Generation and Angle Rotation*
2001-05-02
Medicaid and Crowding Out of Private Insurance: A Re-Examination Using Firm Level Data
2000-01-22
The normal form of Borel sets - Part I: Borel sets of finite rank
2002-01-10
Equipe De Logique Math'emathique
The Use of Abstraction in Automatic Inference
2000-05-03
A.1 Summary of User Agent Profile Schema
2000-08-24
Unknown
1994-04-22
Development of a Domain Decomposition Method for Computational Aeroacoustics
1998-10-05
Combining Md.c and Atomv.c
2001-09-30
Adaptive Zonal Recognition for Viscous/Inviscid Coupling
1998-10-05
Is a Design Rationale Vital when Predicting Change Impact? - A Controlled Experiment on Software Architecture Evolution
2002-01-16
Minimal Hereditary Dominating Pair Graphs
2001-11-06
Natasa Przulj
Landmark-based 3D Mesh Warping for bone-skin reconstruction
1999-01-08
Plasencia J. L
A New on-Line Learning Model
2001-02-05
Shahar Mendelson
Universal Lossless Data Compression Via Binary Decision Diagrams
2001-10-31
An Interactive Resource-Aware Framework for Distributed Data Mining
2001-03-12
Usability Field-Test Of A Spoken Data-Entry System
1999-02-10
Towards socially sophisticated BDI agents
2000-04-19
Is there a Case for Exchange Rate Induced Productivity Changes?
2001-09-19
Richard G. Harris
Functional Significance Of Long-Term Potentiation For Sequence Learning And Prediction
2001-09-10
Real-Time Databases
1999-07-29
Victor Faywolfe
Adjusting the Rayleigh Quotient in Semiorthogonal Lanczos Methods
2001-05-10
G. W. Stewart
Prioritized Resource Allocation at Differentiated Services Ingress Routers
2000-07-12
Wavelength Assignment in WDM Rings to Minimize SONET ADMs
2001-10-31
Opportunities;
2001-08-26
Syntactic Composition of Top-Down Tree Transducers is Short Cut Fusion
2001-12-19
Programming for Pervasive Computing Environments
2001-08-03
Social Choice Theory, Game Theory, And Positive Political Theory
1999-04-20
The Hardness of the Closest Vector Problem with Preprocessing
2001-09-10
Daniele Micciancio
Reservation MAC Protocols for Powerline Communications
2001-02-21
Types of Separability
2001-08-06
A Simple MPLS-based Flow Aggregation Scheme for Providing Scalable Quality of Service
2001-08-10
Srinivas Vutukury
A Two Dimensional Version of the Goldschmidt Sims Conjecture.
1999-10-19
Yair Glasner
Cell Membrane Electropermeabilization By Symmetrical Bipolar Rectangular Pulses: Part II. Reduced electrolytic contamination
2001-08-03
Disk Cache Replacement Policies for Network Fileservers
1993-01-12
Squeezable Orthogonal Bases: Accuracy And Smoothness
2001-02-16
An Improved Recipe for Specifying Reactive Systems in Z
1997-02-26
Andy S. Evans
NP-sets are Co-NP-immune Relative to a Random Oracle
2000-06-28
Nikolai K. Vereshchagin
Properties of the External Approximation of Jordan's Curve
2002-01-09
Exact Illumination in Polygonal Environments using Vertex Tracing
2000-09-19
Kinds of Objecthood in Chamorro Grammar
2001-04-27
Michael Dukes
Language Examples
1996-11-26
Speech Enhancement Based On Temporal Processing
1997-09-16
Testing the Validity of Kinship Microsimulation: An Update
1998-02-23
Formally Testing Fail-Safety of Electronic Purse Protocols
2001-12-03
Geometric and Computational Aspects of Polymer Reconfiguration
2000-12-02
Runtime Optimizations for a Java DSM Implementation
2001-01-23
Parameter Selection In Lagrangian Hybrid Video Coder Control
2001-07-19
Resume
1999-04-15
Eric K. Mccall
On the Charcterization of S and R-Implications
1996-01-31
A New Technology for Interactive Online Mapping with Vector Markup and XML
2000-12-07
Ilya Zaslavsky
Solo Diagrams
2001-04-23
Processor Management Techniques for Mesh-Connected Multiprocessors
1999-06-25
A Search for a Sodium Atmosphere around Ganymede
1997-02-09
Michael E. Brown
Understanding Memory Management in Prolog Systems
2001-09-17
Post-Layout Wire Optimization for Performance and Reliability
2001-11-21
Triality, Exceptional Lie Algebras And Deligne Dimension Formulas
2001-10-19
J. M. Landsberg
Crystallographic Algorithms and Tables
2000-05-24
Probing TCP Implementations
1995-08-17
A New Framework For Non-Photorealistic Rendering
2001-10-11
A Method To Evaluate Robot Configurations In Task-Based Modular Design
2001-05-07
Spatial Pattern Analysis of Functional Brain Images Using Partial Least Squares
2000-01-24
A Short Proof Of Seymour's Characterization Of The Matroids With The Max-Flow Min-Cut Property
2001-10-20
Bertrand Guenin
Very rapid mixing of the Glauber dynamics for proper colourings on bounded-degree graphs
2001-08-24
Learning structural knowledge from the ECG
2001-07-06
Heterogeneous Beliefs and Routes to Chaos in a Simple Asset Pricing Model
2000-03-25
HYP and HYPQ: Mathematica packages for the manipulation of binomial sums and hypergeometric series, respectively q-binomial sums and basic hypergeometric series
1995-07-18
C. Krattenthaler
Algebraic Domain Decomposition Method for Unstructured Grids
1998-10-05
Yair Shapira
The White Oaks Laccoliths
2001-07-05
James Richardson
Supporting Workspace Awareness in Distance Learning Environments: Issues and Experiences in the Development of a Collaborative Learning System
2001-12-05
Hua Wang
On-line Sensitivity Analysis of Feedback Controlled Queueing Systems with Respect to Buffer Capacity
2001-12-05
Keyphrase-Based Information Sharing in the ACORN Multi-Agent Architecture
2000-09-08
On the Complexity of Ordinal Clustering
2001-11-05
Rahul Shah
Hereditary Dominating Pair Graphs
2001-11-12
A Comparison of Formalizations of the Meta-Theory of a Language with Variable Bindings in Isabelle
2001-03-06
Advanced Spectral Methods for Climatic Time Series
2001-10-18
IN VIVO BIOMECHANICAL ANALYSIS OF OSTEOARTHRITIC PATELLOFEMORAL JOINTS USING 3D MULTI-BODY MODELS FROM PATIENT MRI Gerard A. Ateshian, Zohara A. Cohen, Denise M. McCarthy
2001-01-02
On Clusterings: Good, Bad and Spectral
2001-07-31
Grid Data Farm for Petascale Data Intensive Computing
2001-04-30
Modelling Network Protocols with Object Petri Nets
1998-04-24
Odd Unimodular Lattices of Minimum 4
2001-01-15
Boosting Trees for Anti-Spam Email Filtering
2001-08-31
Ascertainment Bias in Rate Ratio Estimation From Case-Sibling Control Studies of Variable Age-At-Onset Diseases
2001-11-30
Distributing Matrix Eigenvalue Calculations over Transputer Arrays
2001-03-29
Least-Squares Methods in Reinforcement Learning for Control
2002-01-30
Set Semantics and Operations Based Upon Answer Set Semantics
2001-01-18
James D. Jones
Wavelet Filter Evaluation for Image Coding
2001-03-14
Surface Photometry Of The Dwarf Elliptical Galaxies Ngc 185 And Ngc 205
1999-04-27
Surface Photometry
Do After-Tax Returns Affect Mutual Fund Inflows?
2001-10-16
Minkowski Operations For Satellite Antenna Layout
1997-04-04
Direct Computation of Differential Invariants of Image Contours from Shading
2001-10-04
Generalizing Timing Predictions to Set-Associative Caches
1997-03-07
Shared Belief
1999-09-12
Raimo Tuomela
Virtual Transport Enterprise Integration
2001-10-31
The Ellipsoidal Skeleton in Medical Applications
2001-05-30
Generalised Computability and an Application to Hybrid Systems
2001-05-25
SpeeData: Multilingual Spoken Data Entry
1996-06-27
On Expressive and Model Checking Power of Propositional Program Logics Extended Abstract
2001-09-18
Information Modelling Concepts
1995-11-15
Markov Chain Monte Carlo methods for Generalized Stochastic Volatility Models
1998-11-11
Controlled Active Exploration of Uncalibrated Environments
2001-07-17
Principal Typing and Mutual Recursion
2001-07-16
A Performance Comparison of Multi-Hop Wireless Ad Hoc Network Routing Protocols
2001-02-24
Mira Variables at PTI: SizeShape with Phase and Limb Darkening
2000-03-17
Intersecting Families with Minimum Volume
2001-08-17
Jerrold R. Griggs
Strategic FDI and Industrial Ownership Structure.
2000-11-21
Rademacher and Gaussian Complexities: Risk Bounds and Structural Results
2001-05-25
Peter L. Bartlett
Identifying Dynamic Replication Strategies for a High-Performance Data Grid
2001-06-06
Lecture Notes On Orthogonal Polynomials Of Several Variable
2001-11-14
Yuan Xu
Environment Map Morphing
2001-01-31
Two Methods for Comparing Different Views of the Same Object
1999-07-02
Security in Public Mobile Communication Networks
1999-10-13
Semantics of Multithreaded Java
2001-05-10
Unknown
2001-12-06
UMass at TDT 2000
2000-11-14
A report on Dublin Core based research information service on mathematics
2001-11-09
Nonlinear Image Filtering In A Mixture Of Gaussian And Heavy-Tailed Noise
2001-08-02
Cartier Points on Curves
1999-10-14
Matthew H. Baker
Describing and Integrating Competence Theories for Problem-Solving Components and Machine Learning algorithms
2001-10-07
ParCeL-3: A Parallel Programming Language Based on Concurrent Cells and Multiple Clocks
2001-08-30
Truthful Mechanisms for One-Parameter Agents
2001-08-13
Transparent Run-Time Defense Against Stack Smashing Attacks
2000-06-15
Creating an Empirical Basis for Adaptation Decisions
2001-03-21
The Semantic Clause Graph Procedure
2000-06-26
A Spatio-Temporal Data Model for Analyzing the Relationship between Property Ownership Changes, Land-Use/Land-Cover and Carbon Dynamics
2001-03-04
A Comparative Study of Vision-Based Lateral Control Strategies for Autonomous Highway Driving
2001-08-15
An Approach To Using Formal Methods In Aspect Orientation
2000-04-28
Lattice Compression in the Consensual Post-Processing Framework
1999-06-01
Batons: A Sequential Synchronization Object
2001-08-14
EOS: An Extensible Object Store
2000-10-29
Welfare Reform and Child Well-being
2001-02-20
Database for an Automatic Speech Recognition System for Argentine Spanish
2001-12-03
Model-Based Clustering and Data Transformations for Gene Expression Data
2001-05-17
Takayuki Ito and Toramatsu Shintani
1998-02-13
Error Diffusion and Edge Enhancement: Raster Versus Omni-Directional Processing
2001-10-24
Asynchronous Circuits
2001-03-19
Feasibility Conditions of SIR-based Power Control in TDMA Wireless Systems
2002-01-31
Interpolation Schemes for Rigid Body Motions
1997-07-07
An Embedded Error Recovery and Debugging Mechanism for Scripting Language Extensions
2001-11-14
David M. Beazley
Mathematics and Faith
2000-03-19
Edward Nelson
Chironomus Newsletter On Chironomidae Research
2000-09-21
A Study Of Some Finite Difference Schemes For A Uni-Directional Stochastic Transport Equation
1996-02-12
Mutation-Replication Statistics of Polymerase Chain Reactions
2001-08-30
Didier Piau
The Quest for Prosperity without Inflation
2001-03-07
Incomplete Domain Decomposition LU Factorizations
1998-10-02
Gamma Delta ffflXi Upsilon fiOmega Theta Psi Sigma PhiPi
2000-12-25
Seven Steps Towards the Classical World
2001-12-03
Performance Evaluation Of A Multi-Level Allocation Algorithm For Vbr Traffic Overa Geostationary Satellite
2000-05-31
Supporting E-Commerce in Wireless Networks
2001-10-03
Data Mining Using Synergies Between Self-Organizing Maps and Inductive Learning of Fuzzy Rules
2001-04-17
D3.4: Network Assessment of the Initial Applications
2001-01-09
Implementing Movie Control, Access and Management -- from a Formal Description to a Working Multimedia System
2000-08-08
Lecture 2: January 23
2001-02-23
Combining Classifiers by Constructive Induction
2000-02-04
An Algorithm for Stereotype Deduction in UML-Based Formalism and its Application in Geographic Information Systems
2001-10-25
A Wide Tuning Range Gated Varactor
2000-12-07
Transfers between Logics and their Applications
2001-12-06
A PVS Prover Strategy Package for Common Manipulations Version 0.9
2001-11-01
Ben L. Di Vito
Sheaves of Definable Scalars Over Tame Hereditary Algebras
2001-01-05
Mike Prest
Topological Methods in Combinatorics and Geometry
2001-11-28
G Unter M. Ziegler
Chaff: Engineering an Efficient SAT Solver
2001-04-10
Convex Hulls of f- and beta-Vectors
1999-11-04
Dmitry N. Kozlov
Effects Of Surface Topography On Formation Of Zig-Zag Defects In Ssflc Devices
2001-04-20
There's No Substitute for Linear Logic
1993-05-20
Philip Wadler
A General Storage Theorem for Integers in Call-By-Name
2001-04-11
Jean-louis Krivine
Computational Models of Information Scent-Following in a Very Large Browsable Text Collection
2000-10-23
Peter Pirolli
Minimizer Graphs For A Class Of Extremal Problems
2000-12-07
Dan Ismailescu
Visual marking Jiang, Chun, Marks 1
2001-11-19
Stability Results for a General Class of Interacting Point Processes Dynamics, and Applications
1998-11-10
Vandermonde Determinant And Lagrange Interpolation In R
2001-01-09
Cyclic Vectors And Picard-Vessiot Extensions
2001-04-04
Jerald Kovacic
SPDE:Symmetries of Partial Differential Equations
1998-03-03
On Catalan Trees and the Jacobian Conjecture
2001-01-05
Dan Singer
Application of Neuro-Fuzzy Systems to Behavioral Representation in Computer Generated Forces
2000-08-24
A Framework for Behavioural Cloning
2000-02-04
Learning Embedded Maps of Markov Processes
2001-02-14
Novel iteration schemes for the Cluster Variation Method
2002-01-11
Wim Wiegerinck
Topological Geometrodynamics: Applications
2001-07-01
M. Pitkanen
An External Representation for the GHC Core Language
2001-09-06
Andrew Tolmach
Adhesive Bonding of Wood Materials
1999-08-10
Charles B. Vick
The Hot, Diffuse Gas In A Dense Cluster Of Massive Stars
2001-10-03
Practical introduction to SQL*Forms version 3 on Unix
2001-10-12
Sql*forms Version On Unix
Current Work
2000-11-04
TECHNICAL MEMORANDUM No. 8904 QUALITY MAINTENANCE IN FRESH LOWBUSH BLUEBERRIES. I. CURRENT KNOWLEDGE AND SELECTED LITERATURE Eric D. Jackson and Katherine A. Sanford
2000-11-21
Rectilinear Bsp Trees For Preferred Ray Sets
2000-04-27
Explicit Epistemology
2000-11-25
George Kampis
The Impact of Component Architectures on Interoperability
2001-10-13
Objectives
1999-11-04
Maximum Likelihood Multipath Channel Parameter Estimation in CDMA Systems Using Antenna Arrays
1999-12-31
Time Orientation and Asset Prices
2001-09-19
Anthony A. Smith
A Distributed Algorithm For Multipath Computation
1999-09-27
Srinivas Vutukury
Note on a polynomial of Emma Lehmer
2001-07-17
Henri Darmon
Language Support for Regions
2001-08-20
Program Logics Made Easy
2000-08-14
Soft Interfaces: Typing Scheme at the Module Level
2001-09-19
Combining a Self-Organising Map With Memory-Based Learning
2001-07-13
Foams Out of Stable Equilibrium: Cell Elongation and Side Swapping
1998-12-09
A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agents
2001-10-11
Rigidity Of Connected Limit Sets Of Conformal Ifs
2001-07-23
A Low-bandwidth Network File System
2001-08-15
On weak Markov's principle
2001-12-31
Ulrich Kohlenbach
Finite-Temperature Full Random-Phase Approximation Model of Band Gap Narrowing for Silicon Device Simulation
1998-08-21
Andreas Schenk
Possessives/Genitives in Mandarin Chinese
2001-02-15
Information Retrieval Using A Krylov Subspace Method.
2001-09-01
ESCORT: Towards Integration in Intersection Control
2000-04-10
The Rolling Stones - Genetic Programming in AIP
2000-03-06
Thord Andersson
C*-Structure And K-Theory Of Boutet De Monvel's Algebra
2001-10-16
Efficiency versus Convergence of Boolean Kernels for On-Line Learning Algorithms
2001-10-23
Theory and Experiments in Vision-Based Grasping
2001-03-07
Medical Informatics Training and Research at Columbia University
2002-01-16
Coulomb-Oscillator Duality in Spaces of Constant Curvature
1998-11-23
Trust, Cohesion, and the Social Order
2000-07-08
Ernest Gellner
Parametric blind deconvolution of microscopic images: Further results
1998-02-20
On the curvature of the Milnor fiber
2001-01-31
Jean-jacques Risler
Asymmetric Multiple Description Lattice Vector Quantizers
2001-11-06
Approximate Solutions to Markov Decision Processes
1999-07-13
Geoffrey J. Gordon
The Bay Bridge : A Hi gh Speed Br i d g e /Route r
1997-02-24
Applications of Interval Computations: An Introduction
2001-12-31
Forecasting the Vote: An Analytical Comparison of Election Markets and Public Opinion Polls
2001-02-27
Design of Wavelength Converting Switches for Optical Burst Switching
2001-11-01
Euclidean Fitting Revisited
2001-02-12
A New Multicasting-based Architecture for Internet Host Mobility
2001-03-05
Online Protocol Upgrade in Active Mode
2000-05-09
On Bisimulations for the Asynchronous pi-Calculus
2000-05-22
Estimation of a Convex Function: Characterizations and Asymptotic Theory
2001-07-03
Coordination Technologies for Web-Services
2001-11-19
Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic
2001-02-05
Tapestry: An Infrastructure for Fault-tolerant Wide-area Location and Routing
2001-04-06
Analysis and Improvement of Task Schedulability in Hardware/Software Codesign
2001-02-27
Can Veri Cation Be Approximated ?
2001-04-01
Sylvain Peyronnet
The Bainbridge-Freyd-Scedrov-Scott Parametric PER Model in the Reynolds/Ma Framework
2002-01-15
Chad E. Brown
Optimizing Noise And Vibration Performance Using Automated Multi-Level Substructuring
2000-02-24
On Computation of the Compositional Rule of Inference Under Triagonal Norms
2001-06-10
R. Fuller
Rang De Courbes Elliptiques D'invariant Nul.
1995-12-15
Face Recognition: A Hybrid Neural Network Approach
2001-02-27
Affine Elimination Theory
2001-01-17
J. Maurice Rojas
CS-TR-3324 --- July 19, 1994
2001-02-27
Evolution of Safety-Critical Requirements Post-Launch
2001-09-16
Computation Complexity
1998-10-07
Essential Physics of Carrier Transport in Nanoscale MOSFETs
2000-06-09
Compositional Specification of Timed Systems
2000-12-14
FDDL: A Graphical Functional Design Decomposition Language
2001-08-01
Gryphon: An Information Flow Based Approach to Message Brokering
2001-08-16
A Weak Countable Choice Principle
1998-01-20
An Effective Translation of Fickle into Java Extended Abstract
2001-09-10
An Automated Analysis of Ping-Pong Interactions in E-mail Services
2000-09-21
Ordinal
2001-10-30
Signal Representations for Transmit-Receive Antenna Arrays
2000-02-10
Capacitance Matrix Preconditioning
1998-10-05
Karina Terekhova
Constructing a Web-based Asynchronous and Synchronous Collaboration Environment Using WebDAV and Lotus SameTime
2001-08-03
Advanced Transaction Processing in Multilevel Secure File Stores
1998-10-08
IDLflex: A flexible and generic compiler for CORBA IDL
2001-09-14
Using Proxies for Stable Distributed Shared-Memory Performance
2001-12-11
Systematic Testing of Multicast Protocol Robustness
2001-03-18
Ahmed A-g Helmy
Bucket Hashing with a Small Key Size
1997-03-11
Thomas Johansson
Knowledge Patterns
1999-11-09
Palindrome Analysis: Distribution of Complete-Matched Inverted Repeats with a Moderate Length Spacer
1998-11-12
Internet-Based Financial EDI: The Case of the Bank of America and Lawrence Livermore National Laboratory Pilot
1996-12-11
Trade-offs in Symbolic Cost Estimation of Parallel Programs
2001-03-06
On the Importance of Checking Computations
1997-06-10
Dynamic Clock Management for Low Power Applications in FPGAs
2000-10-06
A New Approach To Inverse Spectral Theory, III. Short-Range Potentials
1999-07-21
Alexander Ramm
Survivability and Simulation
2001-03-19
David A. Fisher
Rate Windows for Efficient Network and I/O Throttling
2001-01-11
Gamma Delta UpsilonOmega PiXifl Sigma Phifffiffl Theta ffiPsi
2000-12-25
Existence Results for Diffusive Surface Motion Laws
2000-04-06
Functional Components: Using COM components in Haskell draft
2002-01-15
Evolving Software Processes by Tailoring the Behavior of Software Objects
1999-04-03
Characterizing the Internet Hierarchy from Multiple Vantage Points
2001-08-09
New Results on the Stack Ramification of Binary Trees
2001-07-31
On Mathematical Models For Phase Separation In Elastically Stressed Solids
2000-04-05
Harald Garcke
The Role of Agent-Modeling in Agent Robustness
1998-07-13
Sequential Minimal Optimization for SVM
2001-06-06
MobileSocket: Library based Continuous Operation Support for Java Applications
1999-03-20
Objective-Oriented Algorithm for Job Scheduling in Parallel Heterogeneous Systems
1997-05-08
On an Estimate for the Wave Equation and Applications to Nonlinear Problems
2001-01-25
Sigmund Selberg
A Necessary Relation Algebra for Mereotopology
2000-10-17
Models of Parallel Adaptive Logic
1995-07-13
Tony Martinez
Invariants, Patterns and Weights for Ordering Terms
1999-06-17
Local And Nonlocal Magnetic Diffusion And Alpha-Effect Tensors In Shear Flow Turbulence
2000-11-27
School of Computer Science
1998-06-24
Speculative Completion for the Design of High-Performance Asynchronous Dynamic Adders
1999-12-18
Bounds in the Theory of Finite Covers
2001-10-15
Using Confluence to Generate Rule-based Constraint Solvers
2001-09-20
DrawCAD: Using Deductive Object-Relational Databases in CAD
2001-09-14
Hausdorff's Theorem for posets that satisfy the finite antichain property
2001-06-22
Scheduling in K42
2001-10-25
Implementation of a Prototype Active Network
1997-11-11
Approximate Spatio-Temporal Retrieval
2001-10-12
Statistical Physics Analysis of the Computational Complexity of Solving Random Satisfiability Problems Using Backtrack Algorithms
2001-10-24
Saving Mobile Internet.
2001-04-01
Dick Schefstrm
Relative Completions Of Linear Groups Over
1999-08-09
Kevin P. Knudson
TEACHING-LEARNING ECONOMY IN A SECONDARY SCHOOL USING A QUALITATIVE COMPUTER MODELLING SYSTEM Gustavo Schmidt Moreira* Fbio Ferrentini Sampaio, PhD.**
2001-01-08
Correlation between Exons and Dispersed Repetitive DNA Distribution on the Human Genome
1998-11-12
Reconfigurable Computer Architectures - Rekonfigurierbare Rechnerarchitekturen
2001-12-19
Shifting Voices, Oppositional Discourse, and New Visions for Communication Studies
2002-01-16
L. Putnam
How Embedded Memory in Recurrent Neural Network Architectures Helps Learning Long-term Temporal Dependencies
2001-02-27
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML
2001-11-05
New directions in User-System Interaction: augmented reality, ubiquitous and mobile computing
2001-09-04
Matthias Rauterberg
Detecting Disease-Specific Patterns of Brain Structure using Cortical Pattern Matching and a Population-Based Probabilistic Brain Atlas
2000-11-10
A Critical Evaluation of Dynamic Fracture Simulations Using Cohesive Surfaces
2001-05-21
Trust Building Among Strangers
2001-06-07
Cv
2001-09-11
JBSP: A BSP Programming Library In Java
2000-10-15
Gu Yan
Real-Time Computing with Lock-Free Shared Objects
2001-10-11
Untangling a Polygon
2001-11-30
A Proposal for an Agent Architecture for Proactive Persistent Non Player Characters
2001-06-07
Speaking About the Inner Environment
1994-12-22
Copenhagen3 -- 5 October 2001 Conference proceedings part 2.
2001-10-18
A Cognitive Load Re2002 on Approach to Exploratory Le448 ng and Its Application to an Inte ractive2 imulation-bas e Le arning Syst e
2000-11-28
Permutations With Restricted Patterns And Dyck Paths
2001-07-18
C. Krattenthaler
Design of a Flexible, Integrated Testing System for STEP and OMG Standards
2000-09-19
Minimum Dependence Distance Tiling of Nested Loops with Non-uniform Dependences
1997-03-26
Controlled Approximation with Recursively Defined Curves
1999-03-08
Jacques Blanc-talon
The Concurrency Workbench of the New Century, Version 1.2 - User's Manual
2000-07-06
Comparing two-row and six-row barley for chemical composition with doubled-haploid lines Comparing two-row and six-row barley for chemical composition with doubled-haploid lines
2001-05-10
Comparison of Excitation Processes by Proton and Antiproton Impacts on Hydrogen Atoms; Direct Solution of Time Dependent Schrödinger Equation
2001-12-11
A General Framework for Monitoring and Control Systems
2000-02-25
A Bidding Mechanism for Web-Based Agents Involved in Information Classification
1999-05-14
Model-Carrying Code MCC: A New Paradigm for Mobile-Code Security
2001-04-02
Art Fakes - What Fakes? - An Economic View
1999-10-09
Bruno S. Frey
Runtime Dynamics in Collaborative Systems
2001-08-07
Analysis of Quasi-Static Scheduling Techniques in a Virtualized Reconfigurable Machine
2001-12-10
Sensitivity Analysis for Selective Learning by Feedforward Neural Networks
2001-05-10
Ap Engelbrecht
Hardness of Approximating the Minimum Distance of a Linear Code
2001-05-14
Generalized Quantifiers as Boolean Objects
1997-10-22
A Learning Model for a Neural Oscillator to Generate a Locomotor Pattern
1998-02-13
A Simulation Study of Usage-Based Pricing Strategies for Packet-Switched Networks
1996-04-17
Developing Trust in Virtual Teams
2001-05-30
Distributed Objects 3
2001-10-22
Michael Weiss
Towards the Generation of Document-Deictic References
2001-05-03
Bounds for MatLab
2000-06-22
Recent Progress in Research
2001-01-31
Teng Joon Lim
On A Fourth-Order Degenerate Parabolic Equation: Global Entropy Estimates, Existence, And Qualitative Behaviour Of Solutions
2000-04-05
A Simple and Efficient Algorithm for High-Quality Line Labeling
2001-12-12
Growth and Investment Across Countries: Are Primitives All That Matter?
2001-01-03
Ten Steps to Make a Perfect Creative Evolutionary Design System
2001-03-02
Peter J. Bentley
BTA Algorithms to Ensure Termination of Off-line Partial Evaluation
2001-05-31
A Client-Server Interactive Tool for Integrated Artificial Intelligence Curriculum
2001-08-28
Perceptual Consistency Improves Image Retrieval Performance
2001-04-17
A Framework for Performance Analysis of Parallel Discrete Event Simulators
2000-04-21
A Mechanism for Inducing Cooperation in Non-Cooperative Environments: Theory and Applications.
2000-11-21
Algebraic Aspects of the Theory of Product Structures in Complex Cobordism
2001-03-26
Tangent Distance Models
2002-01-13
Arnold Doray
Error Bounds and Error Indicators for Conforming, Nonconforming and Mixed Elements
2001-02-05
Christian Wieners
Fail-Stutter Fault Tolerance
2001-06-03
Solutions For Visual Control Of Motion: Active Tracking Applications
2000-09-02
Generic Degrees Of Ariki-Koike Algebras
2000-08-07
Andrew Mathas
UCB: CS270: Lecture 10: Maximum Flow Minimum Cut
2001-10-18
Approximate Decidability in Euclidean Spaces
2001-08-29
Armin Hemmerling
A Spreadsheet Approach to Information Visualization
2000-10-23
Valuation of Derivatives Based on CKLS Interest Rate Models
1999-09-03
What Is Wrong with Taylor Rules? Using Judgment in Monetary Policy through Targeting Rules
2001-11-06
Lars E. O. Svensson
Supersymmetry without Grassmann variables
2001-08-23
Kevin Cahill
A Calculus with Polymorphic and Polyvariant Flow Types
2001-06-06
Confidence Domains for Distributed Systems
2000-02-14
Winfried E. Kuhnhauser
An Implementation of Narrowing Strategies
2001-09-17
A Format-Compliant Configurable Encryption Framework For Access Control Of Multimedia
2001-10-09
Clustering Strategies For Object Databases
1998-07-15
Ann Louise Meads
Reproduction Of Synthetic 2-D Actions
2002-01-04
A q-deformation of the Gauss distribution
2000-04-03
Nuun: A System for Developing Platform and Browser independent Arabic Web Applications
2001-09-05
Nizar Y. A. Habash
Research Statement
2001-01-08
Hai Zhou
General-Purpose Architecture Instruction Scheduling Techniques
2001-05-21
Specifying Graphical Modeling Systems Using Constraint-based Metamodels
2000-07-17
Stable Systolic Inequalities and Cohomology Products
2002-01-15
Lifeworld Analysis
2001-11-09
Tree codes and Equations
1998-12-03
On Static and Dynamic Control-Flow Information in Program Analysis and Transformation
2001-09-16
A Multiresolution Algorithm For Feature Tracking In Image Sequences
1997-11-26
Alberto Broggi
Studying an Overload System Using Rotation
2001-11-08
Toward a Semantic Event Service for Distributed Active Database Applications
2001-04-04
Compile-Time Analysis on Programs with Dynamic Pointer-Linked Data Structures
2001-02-27
A Passivity-Based Controller for High-Performance Motion Control of Induction Motors
2000-09-14
FIDE A REDUCE package for automation of FInite dierence method for partial Dierential Equation solving Version 1.1
2000-06-05
Richard Liska
Semantic, Interactive Manipulation of Visual Data
2001-06-01
Alexandre R. J. Franois
Functional Circuitry of the Retinal Ganglion Cell's Nonlinear Receptive Field
2000-04-07
Outage Probability for a Zero Forcing Multiuser Detector with Random Signature Sequences
1999-09-12
Level Of Presence Or Engagement In One Experience As A Function Of Disengagement From A Concurrent Experience
1998-11-17
Multicategory Support Vector Machines Preliminary Long Abstract
2001-07-12
Preliminary Long
Deuterium Abundance In The Local Ism And Possible Spatial Variations
2001-03-30
Jeffrey L. Linsky
ANALYTIC AND REPORTING GUIDELINES: The Third National Health and Nutrition Examination Survey, NHANES III 1988-94
2000-10-06
Nhanes Iii
Harmonic Broadcasting is Optimal
2001-11-01
New Variants Of Divide Conquer Method Arising From Block Cyclic Reduction Type Formulation
2001-07-05
Genetic Production Systems for Intelligent Problem Solving
2001-04-27
Modelling the Covarion Hypothesis of Nucleotide Substitution
2000-07-04
Disconnected Objects: Reconciliation in a Nested Object Transaction Environment
1996-06-19
A Parallel Memetic Library For Optimization Problems
2002-02-01
Framework for Developing Extensible and Reusable Parallel and Distributed Applications
2001-05-19
Analysis, Implementation, and Evaluation of Vaidya's Preconditioners
2001-03-08
Doron Chen
7.2 We prescribe as a real constant. Then 7.3
2001-08-16
Using Petri Nets to Model Weltanschauung Alternatives in Soft Systems Methodology
1998-10-27
John Lamp
An Abstraction for Awareness Management in Collaborative Virtual Environments
2001-09-13
Multilayer VLSI Layout for Interconnection Networks
2001-05-11
Credit Market Frictions and the Reallocation Process
1999-02-05
Gadi Barlevy
Superintegrability and associated polynomial solutions. Euclidean space and the sphere in two dimensions
2001-12-13
Notes on Applications of the SQL Ada Module Description Language SAMeDL
1996-02-14
Mafia: the Price of Distrust
2000-07-08
Diego Gambetta
Experimental IPv6 Network in Norway
1998-02-09
Universally Baire sets and definable well-orderings of the reals
2001-08-30
Small Sample Properties of Robust Fixed-Width Confidence Intervals
2001-08-10
A Broadcast-based Calculus for Communicating Systems
2001-10-26
Traian Muntean
A New Result on the Complexity of Heuristic Estimates for the Algorithm
1999-09-28
Providing Software Engineering Services for Virtual Software Organizations
2001-07-18
Algorithms for Phylogeny Reconstruction in a New Mathematical Model
1997-06-25
Challenges And Solutions To Creating Anddelivering Multimedia Content For Asynchronous Courses.
2001-07-18
Deadlock Resolution in Networks Employing Connection-Based Adaptive Routing
1997-01-11
Overview Of The
2001-04-03
Redlog User Manual
2000-02-17
Quality Of Servicesemantics For Multimedia Database Systems
2001-10-10
A Scalar Function Formulation for Optical Flow
2000-01-06
Amir A. Amini
Cv
2001-12-01
Extracting Recursion Operators in Nuprl's Type Theory
2001-10-25
James L. Caldwell
Spikes For The Two-Dimensional Gierer-Meinhardt System: The Strong Coupling Case
2000-08-04
Juncheng Wei
A Graded Subring of an Inverse Limit of Polynomial Rings
1998-10-29
Doctoral Dissertion
Design and Analysis of Cellular Mobile Data Networks
2001-12-07
DMMD - A Modular Molecular Dynamics Program For MPP-Systems
1999-09-22
Programming the Grid: Distributed Software Components, P2P and Grid Web Services for Scientific Applications
2001-12-02
Essential Linear Algebra
2001-08-26
Combining Two Fast-Learning Real-Time Search Algorithms Yields Even Faster Learning
2001-07-31
Minimization of the Spurious Shot Boundaries Using Principal Components Decomposition and Progressive Nonlinear Filter
2001-07-26
Computing Visual Correspondence with Occlusions using Graph Cuts
2001-07-17
Gradient constraints in finite state OT: The unidirectional and the bidirectional case
2001-05-29
Gerhard Jager
Autominder: A Planning, Monitoring, and Reminding Assistive Agent
2001-12-19
Identities For Algebras Obtained From The Cayley-Dickson Process
2000-08-17
Diffusive Limit of Asymmetric Simple Exclusion
1996-08-12
On the Optimal Stopping Values Induced By General Dependence Structures
2001-05-18
Tools for code Optimization and System Evaluation of the Image Processing System PAPRICA-3
1997-08-28
A Model for the on-Line Processing of TonalMelodies
2001-11-22
Dirk-jan Povel
Speech Segmentation Using Bayesian Autoregressive Changepoint Detector Radioengineering R. CMEJLA, P. SOVKA Vol. 7, No. 4, December 1998
2000-08-11
Analysis of the Performance of a Hierarchical PNNI Network.
1999-10-05
Technopole Anticipia
For Which Densities Are Random Triangle-Free Graphs Almost Surely Bipartite?
2001-08-14
Subscription Management and Charging for Value Added Services in UMTS Networks
2001-07-03
Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods
2001-12-02
Attribute Grammars and Monadic Second Order Logic
2000-11-14
Roderick Bloem
An Integrated Platform for Realising Online One-Stop Government: The eGOV Project
2001-10-16
Efthimios Tambouris
Getting Started with Xilinx Design Tools and the XS 40 Prototyping Platform-- a User's Guide
2001-05-19
Computing the maximal subgroups of a permutation group I
2001-01-19
Long-Term Learning in Global Intelligence
2000-08-11
Masayuki Numao
On the complete pivoting conjecture for Hadamard matrices of small orders
2001-11-30
Information Theoretic Decomposition of GE-Type Closed Queueing Networks with Finite Capacity and Multiple Servers
1999-08-10
Predicting Parallel Applications Performance on Non-dedicated Cluster Platforms
2001-11-26
Cosimo Anglano
Efficient Learning of Semi-structured Data from Queries
2001-05-18
Psychological Foundations of Incentives
2001-12-10
Ernst Fehr
Using Performance Standards To Evaluate Social Programs With Incomplete Outcome Data: General Issues And Application to a Higher Education Block Grant Program
1999-12-25
Entropically Driven Microphase Transitions in Mixtures of Colloidal Rods and Spheres
2000-12-21
Salvation for Bricoleurs
2001-05-07
Mordechai Ben-ari
An Efficient Static Topology For Modeling Asocs
1995-07-14
Combining a Document Model and an Execution Model for Clinical Guidelines
2001-03-09
A New Look At Linguistic Importance Weighted Aggregations
2001-06-15
Termination Checking = Type Checking: Structural Recursion beyond Subterm Ordering
2001-08-08
Andreas Abel
Least-Squares Image Resizing Using Finite Differences
2001-08-21
Interface Definition Language
2001-02-26
A. David Mckinnon
Embedded Formulas Extraction
2001-04-05
Intrinsic Near Quadratic Complexity Bounds for Real Multivariate Root Counting
2001-01-17
J. Maurice Rojas
Electoral System Origins: Institutional Choice in Hungary
1999-04-06
ISABEL Experimental Distributed Cooperative Work Application over Broadband Networks
1997-04-08
Solving Certain Large Instances of the Quadratic Assignment Problem: Steinberg's Examples
2001-12-12
Images of Additive Polynomials in
2000-05-18
Corporate Strategy and Climate Change: Heterogeneity and Change in the Global Automobile Industry
2002-01-16
2001-07-14
2001-07-14
A Framework for the Analysis of Syntactic Replacement Restrictions
2001-11-30
Salvador Lucas
Insider Control vs. Government Control: A Study of China's State Enterprise Reform
2000-02-15
David D. Li
Using Domain Knowledge In Querying Image Databases
2001-10-25
In Search of the Worst Case Arrivals of Independent Leaky Bucket Constrained Sources revised version
2001-05-10
The Infimum, Supremum And Geodesic Length Of A Braid Conjugacy Class
2000-05-17
Semantic Characterisations of Second-order Computability Over the Real Numbers
2001-05-22
UvA Trilearn 2001 Team Description
2001-08-29
A Hybrid Approach to Profile Creation and Intrusion Detection
2001-01-19
Supporting Imprecise Delegation in KeyNote using Similarity Measures
2001-11-05
Simon N. Foley
Unknown
1999-08-10
Using TAMC to generate efficient adjoint code: Comparison of automatically generated code for evaluation of first and second order derivatives to hand written code from the Minpack-2 collection
1999-07-13
Algebraic Strucutre of Flows of a Regular Coloured Net
2000-07-12
Hypergeometric Equation And Ramanujan Functions
2001-07-05
W. Zudilin
The Logistic Lattice in Random Number Generation
2001-03-21
Neal R. Wagner
An Agreement Service for Implementing Fault Tolerant Distributed Software
1998-04-10
Application Management to support Network Management and Traffic Engineering
2001-05-02
How might I be exposed to vanadium?
2001-07-10
A failure restoration approach to congestion control in ATM networks
1998-11-20
Do Not Copy Do Not Copy Do Not Copy Do Not Copy Do Not Copy Do Not Copy Do Not Copy Do Not Copy Do Not Copy
2001-03-31
A New Architecture and A New Metric for Lightwave Networks
2001-12-04
Canonical Correlation Analysis, Approximate Covariance Extension, and Identification of Stationary Time Series
2001-02-05
Atbbu Ytbw Series
Automatic Exploration and Morphometry/Morphology Assessment of Medical Image Databases
2001-11-26
ISIS: A Multilingual Spoken Dialog System developed with CORBA and KQML agents
2000-09-25
Computing Behavioural Relations, Logically
1998-02-24
Simulation Of A Reliable Parallel Robot Controller
2001-01-16
An Empirical Study of the Effects of Incorporating Fault Exposure Potential Estimates into a Test Data Adequacy Criterion
2001-01-24
A Symbolic Reachability Graph for Coloured Petri Nets
2000-11-17
Web-based Agent Applications: User Interfaces and Mobile Agents
2000-01-20
Distributed Algorithms for Computation of Fair Rates in Multirate Multicast Trees
2001-03-10
A Parallel Implementation of Job Shop Scheduling Heuristics
2000-05-08
Picola: A Novel Column Based Algorithm for Partial Input Encoding Problems
2001-11-13
Web Resource Collaboration Center WRCC: An Integrated Tool to Support Lifelong Learning
2001-08-20
Joanna C. Dunlap
Predictors of Online Buying: Findings from the Wharton Virtual Test Market
2001-08-03
Extraordinarily High Drive Currents in Asymmetrical Double-Gate MOSFETs
2000-06-12
Monitoring and Diagnostics for a Hydraulic Robot in Hazardous Environments
1999-12-31
General Synthetic Domain Theory - A Logical Approach
1998-06-23
A Definite Integration Interface for REDUCE
2000-02-17
Objectives
1999-11-04
DyC: An Expressive Annotation-Directed Dynamic Compiler for C
2001-12-11
Intelligent Application At The 400/120 Kv Substation Of The Paks Nuclear Power Plant
2001-11-28
Simultaneous
1996-04-29
Open Systems in Reactive Environments: Control and Synthesis
2000-05-25
A new upper bound on the reliability function of the Gaussian channel
2000-01-24
Can Uncertainty Management Be Realized In A Finite Totally Ordered Probability Algebra?
1997-07-09
A Curious Connection Between Branching Processes and Optimal Stopping
2001-01-10
"Have I written enough properties?" - A method of comparison between specification and implementation
2000-02-19
View-based Query Processing for Regular Path Queries with Inverse
2001-10-09
True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication
1999-02-19
Estimation of the Optical Constants and Thickness of Thin Films Using Unconstrained Optimization
1999-07-30
A Fast Indexing Method for Multidimensional Nearest Neighbor Search
1999-09-16
Accurate Parallel Integration of Large Sparse Systems of Differential Equations
1995-04-24
Analysis of Composition Complexity, and How to Obtain Smaller Canonical Graphs
2000-02-18
Power Optimization in Programmable Processors and ASIC Implementations of Linear Systems: Transformation-based Approach
1996-01-05
Chalk Dust from the Virtual Classroom
2001-07-06
Inventory Control Of Spare Parts Using A Bayesian Approach: A Case Study
1999-12-22
and D. L. DePoy
2000-11-01
The Contribution of Morphological Knowledge to French MeSH Mapping for Information Retrieval
2001-07-13
Performance Analysis of Minimal Adaptive Wormhole Routing with Time-Dependent Deadlock Recovery
2001-03-28
Spaces With Nonpositive Curvature and Their Ideal Boundaries
1998-12-23
Belief Revision via Lamarckian Evolution
2001-07-20
In proceedings of the 3rd Grace Hopper Celebration of Women in Computing- 2000, September 14-16, Cape Cod, Massuchusetts.
2000-07-11
Integration Theory, Subsidiarity and the Internationalisation of Issues: The Implication for Legitimacy
1998-04-01
Compressed Code Execution on DSP Architectures
2001-11-09
Search For Exotics at HERA
1996-09-07
Nichol Brummer
Non-Differentiable Optimization Of Fuzzy Logic Systems
2000-10-24
Great Problems of Mathematics: A Summer Workshop for High School Students
1999-02-19
Improved Algorithms for Finding Level Ancestors in Dynamic Trees
2000-09-04
Objectives
1999-11-04
Sensorless Parts Orienting with a One-Joint Manipulator
2001-12-01
Matching Shapes
2001-06-06
An Efficient Iterative Pose Estimation Algorithm
2000-11-04
X-TASS: XML Trust Assertion Service Specification
2001-03-13
Phillip Hallam-baker Verisign
Policy Research Needs Phenomenological Theories of Local Justice
2000-04-13
Edward E. Zajac
On The Composition Of Security Properties
2001-03-01
Aris Zakinthinos
Sediment Transport in Sewersa Step Towards the Design of Sewers to Control Sediment Problems
2001-11-28
Sparse Preconditioned Iterative Methods For Dense Linear Systems
1994-12-01
Yi Yan
' $ %
1998-10-19
Real-Time Phase-Based Stereo for a Mobile Robot
1996-09-02
A Prototype for Metadata-based Integration of InternetSources
2000-05-29
A Numerical Study of Electro-migration Voiding by Evolving . . .
2001-03-01
A decision procedure for the existential theory of term algebras with the Knuth-Bendix ordering
2000-09-11
Eigensolvers and Applications in Finite Element Analyses
2001-03-13
Osni A. Marques
Nonlinearity and Nonstationarity: The Use of Surrogate Data in Interpreting Fluctuations
1999-09-30
Daniel T. Kaplan
Soft Deadline Bounds for Two-Way Transactions in Bluetooth Piconets under co-channel Interference
2002-01-29
Powerful Partnerships:
2000-09-13
Brown Dwarfs and the Luminosity Functions of Young Stellar Populations
1996-01-16
Impact Evaluation of Emergency Vehicle Preemption on Signalized Corridor Operation
1999-10-12
Eric J. Nelson
Software tools for expressing PDE-solvers
1997-08-21
Discovery of Decision Rules from Databases: An Evolutionary Approach
1998-12-18
CS-TR-3233 March, 1994 UMIACS-TR-94-26 Development of Cross-Linguistic Syntactic and Semantic Parameters for Parsing and Generation
2001-02-27
Application-Specific Constraints For Multimedia Presentation Generation
2001-08-29
Probabilistic Evaluation of Bias for Learning Systems
1999-04-21
Marie Desjardins
Improving product development: Towards a framework for integrating artefact and process models
2001-04-23
A Mathematical Analysis of the Development of Oriented Receptive Fields in Linsker's Model
2001-11-27
Tadashi Yamazaki
The Random Link Approximation for the Euclidean Traveling Salesman Problem
1996-10-03
Conditioning and Concept Formation in Embodied Agents
2000-10-09
Classification Of Embedded Constant Mean Curvature Surfaces With Genus Zero And Three Ends
1999-05-28
Efficiently Mining Maximal Frequent Itemsets
2001-09-19
Mohammed J. Zaki
Bio-Products
1999-05-20
Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis
2000-08-03
Inference in Boltzmann Machines, Mean Field, TAP and Bethe Approximations
2001-12-01
An Efficient Algorithm for Performance-Optimal FPGA Technology Mapping with Retiming
1999-11-06
Byte Code Engineering with the BCEL API
2001-04-03
Markus Dahm
KECho - Event Communication for Distributed Kernel Services
2002-01-18
Thermodynamic Formalism and Multifractal Analysis of Conformal In nite Iterated Function Systems
2001-07-23
Learning Dynamic Noise Models From Noisy Speech for Robust Speech Recognition
2001-10-21
Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines
2001-07-23
Arlindo L. Oliveira
The Observational Significance of System Requirements
1998-07-03
Bernd Baumgarten
Permissible Throughput Network Feedback for Adaptive Multimedia in AODV MANETs
2001-02-21
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers
1995-02-15
Complete Manifolds with Positive Spectrum
2001-10-03
Peter Li
How Small Were The First Cosmological Objects?
1996-03-03
Transcription Of Out-Of-Vocabulary Words In Large Vocabulary Speech Recognition Based On Phoneme-To-Grapheme Conversion
2002-01-11
Object Oriented Mapping for HTML Documents
2001-08-21
Emerging Equity Markets and Economic Development
2001-11-21
Improving Lattice Based Cryptosystems Using the Hermite Normal Form
2001-10-01
Daniele Micciancio
Surprising Results From A Measurement Study - Is Software Measurement An Exaggerated And Over-Emphasised Area?
2000-10-24
Conny Johansson
Facile: Description Of The Ne System Used For Muc-7
2001-06-11
Escape-time Visualization Method for Language-restricted Iterated Function Systems
2002-01-16
A Domain Decomposition Based Algorithm For Non-linear 2D Inverse Heat Conduction Problems
1998-09-11
Guaranteeing Quality of Service for the Web using Application REQUested IP over ATM
2001-05-10
Ruin Problem, Operational Risk And How Fast Stochastic Processes Mix
2001-09-27
Paul Embrechts
Word, E. R., J. Johnston, and H. P. Bain,
2000-08-18
Observation of
1998-01-20
Issues in Message Passing for a Tele-immersive Experience
2001-08-20
Ravi Prakash
Persistent Computations
2001-08-06
Sven Kosub
Towards an ADL for Designing Agent-Based Systems
2001-08-08
Rue Du Capitaine Scott-f Paris
Totem: Custom Reconfigurable Array Generation
2001-04-28
R-CODE A Very Capable Virtual Computer
1995-10-05
Robert Lee Walton
Long-Term Preservation of Digital Material
2002-01-16
Andreas Aschenbrenner
Model Checking Time Petri Nets using NuSMV
2001-08-10
Building Reliable Distributed Systems with CORBA
2001-09-17
An Argument-Based Approach to Reasoning with Specificity
2001-07-13
An experimental study of SB-trees
1996-07-18
The Extended Dust Emission Around The Nova Gk Persei
1994-11-15
Application-Driven Synthesis of Core-Based Systems
1997-07-08
Some Improvements to Total Degree Tests
2001-08-17
Katalin Friedl
Mobility Management in the Wireless ATM Network Demonstrator
2001-05-16
Symbolic knowledge extraction from trained neural networks: A sound approach
2001-08-02
K. Broda
Graphical Models for Game Theory
2001-10-10
Cellular Automaton As A Fast Tool For Animation Of Liquid In Multi-Object Scenes
2000-04-05
Quick Test for Concavity Versus Multiextremality in a "Black Box" Objective Function
1999-01-31
Improved Tree Decomposition Based Algorithms for Parameterized Planar Dominating Set
2001-03-30
Jochen Alber
Multiresolution Isosurface Fitting on a Surface Octree
2001-11-28
Imma Boada
Supporting Manufacturing Process Analysis and Trouble Shooting with ACTS
1999-06-21
Navigating through Multiple Temporal Granularity Objects
2001-04-13
Slovene-English Datasets for MT
2001-09-25
Models for Information Integration: Turning Local-as-View Into Global-as-View
2001-11-19
A Passive Mobile Location System for UMTS
1999-05-13
A Decentral, Adaptive Load Sharing Approach for Workstation Clusters using Fuzzy Logic
1998-04-17
Synthetic Movies
1997-07-21
Application Protocols
2001-04-13
Jeff Hodges
The Effect of Exerting Adequate Persistence in Collision Avoidance Protocols
1999-09-30
Geometry of Solutions
2001-10-06
Karen Uhlenbeck
The Future of Eugenics
2001-11-11
Malicious Omissions and Errors in Answers to Membership Queries
1995-08-28
Baker's Method and Modular Curves
2001-06-27
Lower Bounds for Matrix Product, in Bounded Depth Circuits with Arbitrary Gates
2001-07-10
Adjoint Parabolized Stability Equations for Receptivity Prediction
2000-04-25
Multimodal Interaction For Information Access: Exploiting Cohesion
1998-09-22
Structural Analysis of Preparation Steps on Supplementary Documents of Cultural TV Programs
2000-05-31
Nonperturbative Analysis of a Model Quantum System Under Time Periodic Forcing
2001-02-01
Normalization and Error Estimation for Biomolecular Expression Patterns
2001-04-09
Stanley Luck
Interdecadal climate regime dynamics in the North Pacific Ocean: theories, observations and ecosystem impacts
2001-08-14
Directable Behavior Models for Virtual Driving Scenarios
1997-08-26
MIDAS - a functional simulator for mixed digital and analog sampled data systems
1995-11-17
Hierarchical Hybrid Modeling of Embedded Systems
2001-11-26
Position Summary. Middleware for Mobile Computing: Awareness vs. Transparency
2001-05-08
Evaluation of an Object-Based Data Interoperability Solution for Air Force Systems
2001-08-15
Pharmacophore Discovery using the Inductive Logic Programming System Progol
1999-04-27
Approximate Reasoning in Semi-structured Databases
2001-07-31
Alex Thomo
Multidomain Finite Elements and Finite Volumes for Advection-Diffusion Equations
1998-10-05
Revisiting and Versioning in Virtual Special Reports
2001-07-03
Round-Trip Prototyping for the Validation of Requirements Specifications
2001-05-16
Experiments Comparing Face-to-Face with Virtual Collaborative Learning
2002-01-03
Industry and the Family: Two Engines of Growth
2001-12-06
High Precision Division and Square Root
2001-05-16
Software Maintenance
2000-12-04
----------------------------------------------------------- Suite spectrale d'Adams et invariants cohomologiques des formes quadratiques
1999-03-16
Unknown
2000-02-11
Covering Algorithms, Continuum Percolation and the Geometry of Wireless Networks
2001-06-07
Diffractive Jet-Production in Deep-Inelastic
2001-08-27
H Collaboration
Automated Techniques for Maintaining, Developing and Presenting a Large Cultural Heritage Web Presence
2001-05-11
A Comparison of Mechanisms for Improving TCP Performance over Wireless Links
2001-02-24
A Monoid For The Grassmaniann Bruhat Order
1999-01-26
A GP Artificial Ant for image processing: preliminary experiments with EASEA.
2001-04-06
McNaughton Languages
2001-02-28
Knowledge Mining With VxInsight: Discovery Through Interaction
1998-07-14
Expressing and Enforcing Timing Constraints in a Dynamic Real-Time CORBA System
1999-07-29
The Battle of the Sexes Over the Distribution of Male Surplus
2001-10-10
Traffic States of a Model Highway With on-Ramp
2000-07-12
Handoffs in Cellular Wireless Networks: The Daedalus Implementation and Experience
2001-03-02
Parallel Algorithms for k-tree Recognition and its Applications
2001-01-31
Appendix to Quicksort Asymptotics
2001-05-28
Rational Normal Form for Dynamical Systems by CarlemanLinearization
1999-11-06
Guoting Chen
High-Level Synthesis of Control and Memory Intensive Applications
2000-03-24
Peeter Ellervee
Forte'95 Panel: Formal Methods After 15 Years: Status and Trends
2000-05-31
Piotr Dembinski
An Architecture for a Federation of Highly Heterogeneous Lexical Information Sources
2001-12-03
Enlarging the Margins in Perceptron Decision Trees
2001-12-02
Kristin P. Bennett
Temporal Linear Logic and Its Applications
2001-01-21
Takaharu Hirai
Simulation of the Crystal Structure of Ice
1996-09-25
Cezary Czaplewski
Analysis of Human Motion using Snakes and Neural Networks
2002-01-07
Digital Money and its Place in E-Commerce
2001-02-17
Metin Inanc
A Comparison Between Parallel Multiple Explicitly Restarted and Explicitly Restarted Block Arnoldi Methods
2001-07-06
Computable Real Arithmetic Using Linear Fractional Transformations
1997-10-21
Peter John Potts
UPV-Curry User's Manual
2000-04-14
Sparse Direct Solvers using Object-Oriented Methods
1999-03-22
High-Performance Memory-Based Web Servers: Kernel and User-Space Performance
2001-07-10
The Ehrenfeucht-Mycielski Staircase
2001-10-16
K. Sutner
Exploring Relationships in Gene Expressions: A Partial Least Squares Approach
2001-08-10
Susmita Datta
Preconditioning For The Steady-State Navier-Stokes Equations With Low Viscosity
2001-02-27
Howard C. Elman
Canonical decomposition of linear transformations of two independent Brownian motions motivated by models of insider trading
2000-07-11
Logical Relations, Data Abstraction, and Structured Fibrations
2000-10-06
Firewall Controls
2000-11-23
A Feature Map Approach to Real-Time 3-D Object Pose Estimation from Single 2-D Perspective Views
2001-03-12
Symbolic Array Dataflow Analysis for Array Privatization and Program Parallelization
1995-11-18
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
2002-01-06
The Performance of Public Key-Enabled Kerberos Authentication in Mobile Computing Applications
2001-07-26
An Implementation for Maintaining Arrangements of Polygons
1995-11-15
Michael Goldwasser
Modelling the Effects of Delayed Visual Feedback in Real-Time Operator Control Loops: A Cognitive Perspective
1999-11-04
Design and Implementation of Fisheye Routing Protocol for Mobile Ad Hoc Networks
2001-08-15
Engineering AgentSpeakL: A Formal Computational Model
1998-09-01
Free Topological Groups Over SemiGroup Actions
1999-12-27
M. G. Megrelishvili levy
The Use of Formal Methods for Smart Cards, a Comparison between B and SDL to Model the T= 1 Protocol
2000-12-13
A Data and Task Parallel Image Processing Environment
2001-12-14
Emerging Trends in the WWW User Population
2000-10-23
Adaptive Use Of Iterative Methods In Interior Point Methods For Linear Programming
2001-02-27
A Three Degree Of Freedom Parallel Manipulator With Only Translational Degrees Of Freedom
2000-10-04
Noncoherent Detection of Factor-Graph Codes Over Fading Channels
2001-08-31
Constructive Density Estimation Network Based on Several Different Separable Transfer Functions.
2001-06-05
Stabilization Techniques for Domain Decomposition Methods with Non-Matching Grids
1998-10-02
A Timed Verification of the IEEE 1394 Leader Election Protocol
2001-08-10
Judi Romijn
Codes for Optimal Stochastic Control: Documentation and Users Guide
2002-01-16
Attribute Trees in Image Analysis - Heuristic Matching and Learning Techniques
1999-10-06
Markus Peura
Query Optimization for XML
2001-11-07
Small-Scale Java Virtual Machines
2001-12-12
Lauri Aarnio
First-Order System Least Squares For Second-Order Partial Differential Equations: Part I
2002-01-15
Orthogonal Processor Groups for Message-Passing Programs
2001-08-06
Networking Reconfigurable Smart Sensors
2000-10-13
Multiple Representations for Orthogonality
2001-09-09
General Matrix-Matrix Multiplication Using SIMD Features of the PIII
2001-01-21
The Formal Relationship between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
2001-08-28
The Hardness Of Approximation : Gap Location
1995-09-14
Erez Petrank
Subscriber Authentication and Security in Digital Cellular Networks and Under the Mobile Internet Protocol
2001-12-14
Are Nash Tax Rates Too Low Or Too High? The Role Of Endogenous Growth In Models With Public Goods
2001-07-29
First Principles Investigation of Singly-reduced Cytochrome P450.
1999-04-06
Handling XML with a Deductive Database System
2000-09-29
Uniform Self-Stabilizing Leader Election Part 2: General Graph Protocol
1995-03-04
The Phase Congruence Model for Edge Detection in Two-Dimensional Pictures: A . . .
1997-12-12
A Framework for Adaptive Design
2000-06-25
Diffractive Jet Production in DIS - Testing QCD Factorisation
2001-08-27
F. -p. Schilling h Collaboration
Carnap's Tolerance, Language Change and Logical Pluralism
2001-08-21
Greg Restall
Simulation of Two-dimensional Fractional Brownian Motion
2001-10-17
Rfrences Page 179
2000-09-12
The Structure of the Information Visualization Design Space
2000-10-23
An Efficient System for Multi-perspective Imaging and Volumetric Shape Analysis
2001-04-27
Math 112 Lab
2001-10-23
A Korean Speech Corpus For Train Ticket Reservation Aid System Based On Speech Recognition
1999-01-04
Links without Locations Information Packaging: From Cards to Boxes
2001-05-03
Every Graph of Suciently Large Average Degree Contains a
2001-04-09
Deryk Osthus
Modeling Circuits with Multiple Grounded Sources: An Efficient Clustering Algorithm
1999-04-21
Goodput Enhancement of IEEE 802.11a Wireless LAN via Link Adaptation
2001-05-11
Gesture Recognition for Robot Control
1996-12-04
Database Systems for Structured Documents
1999-11-24
A General Framework For Video Segmentation Based On Temporal Multi-Resolution Analysis
2001-10-25
Sound and Complete Elimination of Singleton Kinds
2001-05-03
Karl Crary
An Agent Network for Microburst Detection
2001-03-05
Sandy Dance
Real-Time Estelle
2000-08-08
A Study on Distributed k-Mutual Exclusion Algorithms
2001-08-17
Hirotsugu Kakugawa
SLS to DiffServ configuration mappings
2001-06-19
Impact of Satellites on UMTS Network
2002-01-29
A Review of Watermarking and the Importance of Perceptual Modeling
2001-08-30
A Maple Primer for Multivariable Calculus
2001-10-09
Multivariable Calculus
A New Method for Low Rank Transform Domain Adaptive Filtering
1999-10-26
Improving the FPGA Design Process Through Determining and Applying Logical-to-Physical Design Mappings
2001-09-26
Distributed First Order Logics
2000-05-03
A Comparison of the Characteristics of Conductive Lithographic Films and Screen Printed Circuits
2001-06-08
Overlapping Schwarz Waveform Relaxation for the Heat Equation in n-Dimensions
2001-01-23
Unified Constant-frequency Integration Control of Three-phase Standard Bridge Boost Rectifier
2000-08-03
Shared Virtual Memory Clusters with Next--generation Interconnection Networks and Wide Compute Nodes
2001-08-07
Management of E-Commerce Brokerage Services
2001-11-15
Mitigating Distributed Denial of Service Attacks with Dynamic Resource Pricing
2001-10-02
Results of the Verification of a Complex Pipelined Machine Model
2000-11-16
Warren A. Hunt
Routing in Ad hoc Mobile Networks: On-Demand and Hierarchical Strategies
2001-02-07
Arguing for Decisions: A Qualitative Model of Decision Making
2001-08-16
A Generally Configurable Multigrid Implementation for the Solution of Three-Dimensional Elliptic Equations on a Transputer Network
2001-03-29
Job Re-Packing for Enhancing the Performance of Gang Scheduling
2000-06-26
Grooming of Dynamic Tributary Traffic in WDM Rings with Rearrangements
2001-10-25
Gradient Flow in Recurrent Nets: the Difficulty of Learning Long-Term Dependencies
2001-10-24
Better than BiBa: Short One-time Signatures with Fast Signing and Verifying
2002-01-31
WebSifter: An Ontological Web-Mining Agent for EBusiness
2001-10-08
Freja, Hat and Hood | A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
2001-01-17
Generation of Propagation Rules for Intentionally Defined Constraints
2001-09-13
Duality between Call-by-name Recursion and Call-by-value Iteration
2001-08-09
Yoshihiko Kakutani
Completeness of Kozen's Axiomatisation of the Propositionalµ-Calculus
2001-02-13
Igor Walukiewicz
Mitigating Denial of Service Attacks Using QoS Regulation
2001-11-21
When will general purpose micro-processors simulate neural networks in real time for HEP applications ?
2001-03-28
The Virtual Solar System Project: Developing Conceptual Understanding of Scientific Concepts Through Building Three-Dimensional Computational Models
2001-07-13
Corrections and additions to the book `Distance-regular Graphs'
1997-11-04
Turning Down The Fires Of Life: Metabolic Regulation Of Hibernation And Estivation
2001-10-03
Kenneth B. Storey
On the Equivalence between Disjunctive and Abductive Logic Programs
1995-08-28
Lightweight Recoverable Virtual Memory
1998-11-06
Noise Coupling in Heavily and Lightly Doped Substrate from Planar Spiral Inductor
1997-02-26
Review of the Conversational Reasoning Analysis Scheme of Resnick, Salmon Zeitz
1998-10-30
Queueing Analysis of Early Message Discard Policy
2001-12-07
On Multi-route Maximum Flows in Networks
2001-05-11
Bayesian Analysis Of A Dynamic Stochastic Model Of Labor Supply And Saving
2000-09-29
Motion Planning of Legged Robots
1999-09-01
Goodput Control for Heterogeneous Data Streams
2001-05-21
SOMIK: System Of Mobile Interactive Knowledge
2000-03-06
Marat Fayzullin
Supercomputer Windows into the Solar Convection Zone
1997-03-19
Method for Characterization of Filter Radiometers
2001-09-18
Design Methodology for Power-Constrained Low Noise RF Circuits
2001-10-29
Capacity of Multi-Antenna Array Systems
2000-01-25
Chen-nee Chuah
Appliances and Software: The Importance of the Buyer's Warranty and the Developer's Liability in Promoting the Use of Systematic Quality Assurance and Formal Methods
2000-09-04
Daniel M. Berry
Performance Evaluation of Two Home-Based Lazy Release Consistency Protocols for Shared Virtual Memory Systems
1996-10-25
On Randomizing the Sending Times in TCP and other Window Based Algorithms
2001-08-02
A Decision Procedure for an Extensional Theory of Arrays
2001-12-17
P. B'ezier: How a Simple System Was Born
2001-10-16
System Was Born
Superluminal Photonic Tunneling and Quantum Electronics
1997-02-05
On Sets of Terms: A Study of a Generalisation Relation and of Its Algorithmic Properties
2001-12-17
Games with Second-Order Quantifiers which Decide Propositional Program Logics
2001-07-09
N. V. Shilov
Client-side Web Scripting with HaskellScript
1999-01-18
Incremental Hoarding and Reintegration in Mobile Environments
2001-06-01
Perception Of Questions And Statements In Neapolitan Italian
2000-05-24
David House
Complexity Issues in Discrete Hopfield Networks
1997-04-04
Pekka Orponen
Interactive Media on Demand: Generic Recording and Replay of Interactive Media Streams
2001-08-03
Spaces, Traces and Networked Design
2001-10-30
Dynamic Node Distribution in Adaptive Snakes for Road Extraction
2001-06-25
To the Onsala/SEST Programme Committee Request for observing time
1998-10-19
Cut-&-Paste Attacks With Java
2002-01-25
Free Probability Theory And Free Diffusion
2001-05-07
Roland Speicher
Computing the Unmeasured: An Algebraic Approach to Internet Mapping
2000-06-04
Object-Based Semantic Real-Time Concurrency Control
1999-07-29
Lisa B. Dipippo
A Technical Overview of the AORIST Project
2001-04-27
A generalization of Kummer's identity
2001-06-28
Observation of coasting beam at the HERA Proton--Ring
2000-02-13
Real-Time Job Scheduling in Hypercube Systems
1999-03-08
Samples of Unit-Memory Codes Over Z_4
2000-01-24
The Eulerian stretch of a digraph and the ending guarantee of a convergence routing
2000-12-21
Coding Discourse Structure in Dialogue Version 1.0
2001-02-27
SOM-based Methodology for Building Large Text Archives
2001-07-07
Surface Description of Complex Objects from Multiple Range Images
2001-12-06
Introduction to IP Multicast Routing
2002-01-15
Boundary Regularity, Uniqueness And Non-Uniqueness For Ah Einstein Metrics On 4-Manifolds
2001-04-17
Michael T. Anderson
Byte code Transformations for Distributed Threads in Java
2001-05-29
Planarity of the 2-level Cactus Model
2001-09-17
Market-Based Decentralised Process Management using Multi-agent Systems
2001-11-21
Towards an Architecture for Refactoring Embedded Software for Ubiquitous Environments
2001-12-12
Jens H. Jahnke
Secure Concurrency Control in MLS Databases with Two Versions of Data
1997-08-15
Luigi V. Mancini
A Simple and Efficient Simulation Smoother for State Space Time Series Analysis
2001-11-01
A Categorial Approach to the Combination of Logics
2001-12-06
Rewriting Semantics of Meta-Objects and Composable Distributed Services
2000-10-05
Markup Languages for Functional-Logic Programming
2000-09-18
Inconsistency and Preservation
2000-12-14
Paul Wong
Run-time Generation of JavaScript Code by Perl CGI Programs
2001-06-18
Stephen B. Jenkins
Fully automated genome analysis that reflects user needs and preferences - A detailed introduction to the MAGPIE system architecture
1998-10-22
Functional programming languages for verification tools: experiences with ML and Haskell
2001-08-13
Contingency Ranking for Voltage Collapse via Sensitivities from a Single Nose Curve
1999-04-29
The Case For Power Management In Web Servers
2002-01-08
Demonstration of Repeatable Non-Intrusive Measurement of Program Performance and Compiler Optimization in Linux Using IN-Tune
1999-10-12
An Approach To Sentence-Level Anaphora In Machine Translation
1994-11-25
Idiosyncratic Consumption Risk and the Cross-Section of Asset Returns
2001-12-02
Optimizing Rules in Production System Programs
2001-08-18
Toru Ishida
Extending First-Order Unification by Tractable Second-Order Features
2000-08-01
Bernhard Gramlich
Literature.
1999-04-25
The Software Package
1998-03-30
Shared Kernel Models for Class Conditional Density Estimation
2001-10-18
On the Impossibility of Obfuscating Programs
2002-01-22
Termination Analysis for Functional Programs using Term Orderings
2000-12-18
Jurgen Giesl
Gamma PiXi Upsilon Delta Theta Sigma
2000-12-25
Applying Objective Interestingness Measures in Data Mining Systems
2001-03-16
A Hard Real-Time Communication Control Protocol Based on the Ethernet
2000-12-03
Primality Test In Iterated Ore Extensions
2000-11-15
G-intersecting Families
2001-01-15
Feature Specification and Automatic Conflict Detection
2001-08-01
Unscrambling Address Lines
2001-07-07
.1 The Java model
2001-01-28
Dense Surface Point Distribution Models of the Human Face
2001-09-13
How to Make a Digital Whiteboard Secure - Using JAVA-Cards for Multimedia Applications
2000-10-23
Cryptolabs Amsterdam
Strumenti Per La Determinazione Del Part Program Nella Tecnologia Del Filament Winding
2001-03-19
A Conversational Agent To Navigate In Virtual Worlds
2002-01-31
The Role of Aggregation in the Measurement of IT-Related Organizational Innovation
2001-09-12
Robert G. Fichman
Wave propagation in an hydrocarbon reservoir during exploitation: A a preliminary, integrated study
1999-03-09
FLAMINGO: A Packet-switched IP over WDM Metro Optical Network
2001-05-10
FPGA Graphics Generator
2001-12-04
Fair Scheduling and Buffer Management in Internet Routers
2001-11-19
Breaking of Equatorial Symmetry in a Rotating System: A Spiralling Intermittency Mechanism.
1997-04-09
John M. Brooke
Effects Of A Preferred Vendor Relationship On An Electrical Component Supplier And Electrical Contractor: A Case Study
2001-04-17
Some Measurements of Java-to-bytecode Compiler Performance in the Java Virtual Machine
2001-03-06
Building an Experience Base for Software Engineering: A report on the first CeBASE eWorkshop
2001-10-02
Doctoral Education: Preparing for the Future
1999-09-07
Jules B. Lapidus
Unknown
2001-05-31
Fast Cluster Failover Using Virtual Memory-Mapped Communication
2001-12-13
Rewrite Closure for Ground and Cancellative AC Theories
2001-09-15
Ashish Tiwari
Automatic Road Extraction Using Fuzzy Mask Concepts
1999-12-13
FLASH User's Guide
2001-01-29
Medial models incorporating object variability for 3D shape analysis
2001-09-18
The Rise and Fall of Festivals - Reflections On The Salzburg Festival
2000-06-28