Coefficient of Variation CV vs. Mean Interspike Interval ISI curves: . . .
2000-10-13
Efficient Defeasible Reasoning Systems
2002-01-12
Structured Modeling Of Mechatronic Components Using Multiport Templates
2001-06-15
IRCS: Infrared Camera and Spectrograph for the Subaru Telescope
2000-05-17
Effects of vegetation and soil on species diversity of soil dwelling Diptera in a heathland ecosystem
2001-08-10
Stoichiometry in Producer-Grazer Systems: Linking Energy Flow with Element Cycling
2001-04-20
Image Authentication Surviving Acceptable Modifications
2001-05-01
Promoting Conceptual Understanding of Chemical Representations: Students Use of a Visualization Tool inthe Classroom
2000-04-20
Solution of Real-World Train Timetabling Problems
2000-10-03
Subverting the Comparative Research Paradigm:
2002-01-15
Christopher Hundhausen
GAMS A User's Guide
1999-05-03
End-to-End Traffic Analysis in Large Networked Systems
2001-10-21
Information Systems Frontiers in Knowledge Management
2000-07-18
Robust Search Algorithms for Test Pattern Generation
1997-01-09
Brauer Points on Fermat Curves
2001-10-27
William G. Mccallum
An Application of Machine Learning to the Optimization of Disparity Maps
2001-07-03
Multi-step View Synthesis with occlusion handling
2001-11-28
Location-Independent Neural Network Models
1995-07-26
Social Choice Under Incomplete, Cyclic Preferences - Majority/Minority-Based Rules, and Composition-Consistency
2001-10-04
On the Sup-norm Condition Number of the Multivariate Triangular Bernstein Basis.
2001-10-16
D Karl Scherer
CS-TR-3244 --- March 28, 1994
2001-02-27
Circulants and Sequences
2000-08-14
Karen L. Collins
Rotation Curve Measurement using Cross-Correlation
2000-11-13
Comparison of designs of shared memory devices for MPICH, ver.13.
1997-01-19
Measure Change in Multitype Branching
2001-11-23
Moderately and Extremely Red Galaxies in the Fields of Radio-Loud Quasars at
2000-11-01
RIFLE: A General Purpose Pin-level Fault Injector
2001-02-12
Linear Equivalence of Ideal Topologies
2000-02-23
Irena Swanson
Tight Upper Bound On The Bit Error Probability Of Convolutionally Encoded Spread Spectrum Communication Over Frequency-Selective Rayleigh-Fading Channels
1996-06-18
Analysis of Robots for Hazardous Environments
1999-12-31
Educational
1998-11-19
From Merrifield to MetaPhore: A Random Walk with Serendipity
2001-12-05
Garland R. Marshall
Nonholonomic Stabilization with Collision Avoidance for Mobile Robots
2001-10-14
FLEX: Load Balancing and Management Strategy for Scalable Web Hosting Service
2000-09-12
Ludmila Cherkasova
Defining and Supporting Pipelined Executions in OpenMP
2001-10-04
Heterogeneous Computing Workshop HCW'98 at IPPS, Orlando, 1998
2001-01-31
Overseas Investment and Firm Exports
2000-10-24
Capacity of Fading Channels with Channel Side Information
2001-10-15
Program Extraction for Full Linear Logic
1998-10-07
Treebank vs. Xbar-based Automatic F-Structure Annotation
2001-10-23
A Note on the Ranks of Set-Inclusion Matrices
2001-06-20
Frequency-Domain Supply Current Macro-Model
2001-06-01
Efficient End-Host Resource Management with Kernel Optimizations for Multimedia Applications
2000-06-29
S. Lakshminarayanan
The Large-Scale Flow Pattern In Turbulent Stellar Convection Zones With AKA-Effect
1998-09-24
B. V. Rekowski
Hybrid Message Logging Protocols for Fast Recovery
1998-06-12
DeComposition Rules for Parallel Scan and Reduction
2001-03-12
On Approximation in Spaces of Geometric Objects
2001-03-09
A Fully Parallel Condensation Method for Generalized Eigenvalue Problems on Distributed Memory Computers
2001-07-20
Compression of Large 3D Engineering Models using Automatic Discovery of Repeating Geometric Features
2001-11-28
Scale Invariance in Biology: Coincidence Or Footprint of a Universal Mechanism?
2001-11-20
T. Gisiger
Space Operations: Through The Looking Glass Global Area Strike System
1996-10-11
Cooperability in Train Control Systems: Specification of Scenarios Using Open Nets
2000-01-05
Specializing Russian Doll Search
2001-11-09
Pedro Meseguer
RTP: A Transport Protocol for Real-Time Applications
2001-11-29
Recent Results on Illumination Problems
2001-06-26
Design of Visualizations for Urban Modeling
2001-11-20
The Sciences of Complexity:
2002-01-15
Solving the SVD updating problem for subspace tracking on a fixed sized linear array of processors
1999-12-31
Society. Middlesex, England: Pelican Books. Linden, E. "Too Many People."
2001-03-25
Guide to SDK Samples
2001-12-18
Success of Default Logic
1999-07-07
Vladimir Lifschitz
Learning long--term dependencies is not as difficult with NARX recurrent neural networks
2001-02-27
The Object Centered Language Manual ---
2000-01-26
Coding of Still Pictures
2001-08-21
Topic Identification In Dynamical Text By Extracting Minimum Complexity Time Components
2001-10-31
Ella Bingham
Comparison of Precoding Schemes for Digital Subscriber Lines
1997-05-13
A Real Bottom-Up Operating Systems Course
2001-02-07
On Homogenization of Time-Dependent Random Flows
2001-09-18
Time-Changed Levy Processes and Option Pricing
2001-12-14
Raw Event Digit Container
2001-09-12
A Low-Power Viterbi Decoder Design for Wireless Communications Applications
1999-06-30
Averaging, Maximum Penalized Likelihood and Bayesian Estimation for Improving Gaussian Mixture Probability Density Estimates
2002-01-28
Using the FGLSS-reduction to Prove Inapproximability Results for Minimum Vertex Cover in Hypergraphs
2001-12-18
Distributive Online Channel Assignment for Hexagonal Cellular Networks with Constraints
2000-05-01
Designing Systems-on-Chip Using Cores
2001-04-25
The Complexity of Automated Reasoning
2001-09-25
Andr Vellino
Intrinsic Geometric Structure of c = -2 Gravity
1997-09-18
Neurocognitive Foundationsof Human Memory Ken A. Paller
2001-05-28
Ken A. Paller
On the relationship between radiance and irradiance: determining the illumination from images of a convex Lambertian object
2001-10-02
Switzerland
2001-08-07
Web Services Invocation Framework WSIF
2001-11-19
Optimal FPGA Mapping and Retiming with Efficient Initial State Computation
1998-03-31
Inheritance in a Deductive Object Database Language with Updates
2001-05-21
Understanding context and medium in the development of educational Virtual Environments
2000-05-07
Learning to Notice: Adaptive Models of Human Operators
2001-06-28
Emma Norling
Multimodal Tracking For Smart Videoconferencing
2001-05-04
Cores of Ideals in Two Dimensional Regular Local Rings
1999-03-04
Geometric and Radiometric Calibration of RADARSAT Images
2000-06-06
Multivariate Time Series Analysis of Metabolic Network Using the E-CELL Simulation System
1998-11-12
Asynchronous Transfer Mode and other Network Technologies for Wide-Area and High-Performance Cluster Computing
2000-06-05
An Implementation of the Anticipatory Classifier System ACS2 in C++
2001-08-01
Martin V. Butz
Numerical Hydrodynamics or Computational Fluid Dynamics P.W. Hemker
2001-02-15
Aerodynamic Shape Optimization Techniques Based On Control Theory
2000-07-14
On a conjecture of Erdös on 3-powerful numbers
2000-02-09
Abderrahmane Nitaj
A Protocol for Scalable Loop-Free Multicast Routing
1998-08-20
Complete Combinatorial Generation of Small Point Configurations and Hyperplane Arrangements
2001-04-30
DSS Access on the WWW: An Intelligent Agent Prototype
2000-01-10
Dawn G. Gregg
An Electronic Commerce Framework For Resource Allocation Among Multi-Agent Enterprises
1998-01-20
Development Of An Automated Combine Guidance System E.r.
2000-07-04
On theSemantics of Refinement Calculi
2000-02-25
Dual Computation of Projective Shape and Camera Positions from Multiple Images
1998-01-22
Cap: An Actor dedicated process calculus
1997-05-07
Solid-Phase Synthesis Utilizing Azido-alpha-Amino Acids: Reduction of Azido-Protected Proline
2001-12-05
Comparing Corpora
2001-10-09
the requirements for the degree of Doctor of Philosophy Computer Sciences at the
1998-12-23
Douglas Christopher Burger
Safe Dynamic Binding in the Join Calculus
2002-01-11
Alan Schmitt
Toward a Semantic Event Service for Distributed Active Database Applications
2001-04-04
The Mass of Extremal Doubly-Even Self-Dual Codes of Length 40
2001-09-14
Oliver D. King
Innovations-Based MAP Detection for Time-Varying Frequency-Selective Channels
2002-01-07
Noise Robustness of EBNN learning
2000-10-15
Ryusuke Masuoka
A BFGS-IP algorithm for solving strongly convex optimization problems with feasibility enforced by an exact penalty approach
2001-08-08
A System For Automatic Abbreviation Expansion
2001-11-12
Teoretisk Astrofysik Center, Danmarks Grundforskningsfond, and Institut for Fysik og Astronomi, Aarhus Universitet, DK-8000 Aarhus C, Denmark
1999-06-14
Danmarks Grundforskningsfond
Sparse pseudo-random graphs are Hamiltonian
2001-09-13
A Reflective Implementation of a Distributed Programming Model
2001-09-06
Intel IA-64 Architecture Software Developer's Manual
2001-07-30
Neural Network Models for the Blood Glucose Metabolism of a Diabetic
2002-01-28
A Realistic Model and an Efficient Heuristic for Scheduling with Heterogeneous Processors
2001-09-28
Could Fisher, Jeffreys, and Neyman Have Agreed on Testing?
2002-01-06
James O. Berger
Robust Covert Communication over a Public Audio Channel Using Spread Spectrum
2001-03-23
TreeTalk: Memory-based word phonemisation
2002-01-03
Optimistic Replication for Internet Data Services
2001-08-16
System-Level Performance Modeling with BACPAC -- Berkeley Advanced Chip Performance Calculator
2000-09-06
Analyzing Properties and Behavior of Service Discovery Protocols using an Architecture-based Approach
2001-07-27
Neural Network Ensembles and Their Application to Traffic Flow Prediction in Telecommunications Networks
2001-06-07
Geometric Logic As A Specification Language
1995-07-28
Steven Vickers
A Flexible Approach to Visualize Large Software Products
2001-10-01
Jean-marie Favre
Long Range Dependence in Heavy Tailed Stochastic Processes
2001-09-16
Borjana Racheva-iotova
Analytical and Experimental Performance-Complexity Tradeoffs in ATR
2000-11-15
An Anonymous Fair Exchange E-commerce Protocol
2001-11-26
Using A Point System In The Management Of Waiting Lists: The case of cataracts
2001-10-08
A Tradeoff Between Increased Network Speed and Reduced Effective Bandwidths
2001-07-04
Multilevel-Codes: Distance Profiles and Channel Capacity
1996-06-18
Pooling Strategies for Establishing Physical Genome Maps Using FISH
2000-12-22
Metrics in Ad Hoc Networks
2000-06-06
Iteration-wise Adjoining
2000-05-12
An Algorithm for Reducing Binary Branchings
1998-09-25
Characters of irreducible modules with non-critical highest weights over affine Lie algebras
2001-04-06
Constructing Minimum Energy Mobile Wireless Networks
2001-10-31
Towards Incremental Semantic Annotation
2001-04-19
Cluster-Based Scalable Network Services
2001-03-29
The transcription system EXMARaLDA: an application of the annotation graph formalism as the basis of a database of multilingual spoken discourse
2001-12-03
Minimum-Cost Reachability for Priced Timed Automata
2001-05-03
On The De Bruijn Torus Problem
2000-09-08
Southern California Water Markets: Potential and Limitations
2001-05-20
Marion W. Jenkins
Modeling, Performance Measurement, and Control of Clustering Mechanisms for Multi-cluster Mobile Ad hoc Networks
2001-09-08
Graded Modality-Specific Specialization in Semantics: A Computational Account of Optic Aphasia
2000-10-07
David C. Plaut
Tax Evasion, Endogenous Spending and the Design of Optimal Tax Codes
1999-06-05
Rodolfo E. Manuelli
A Nomadic Information System for Adaptive Exhibition Guidance
2001-04-03
Marcus Specht
CoFrame: A Modular Co-Design Framework for Heterogeneous Distributed Systems
2001-05-15
Vulnerability
2000-10-16
Combining Diagnosis and Treatment using Asbru
2001-04-18
Single-input Eigenvalue Assignment Algorithms: A Close-Look
1997-01-05
Cv
2001-03-10
David R. Kohel
Relevance of Watermarking in Medical Imaging
2001-09-25
Reconstructing 3D Tree Models from Instrumented Photographs
2001-09-28
Cubegrades - Generalization Of Association Rules To Mine Large Datasets
2001-05-23
A Summary of the ER'97 Workshop on Behavioral Modeling
1998-12-02
Learning Structured Visual Detectors From User Input At Multiple Levels
2001-11-05
The McKendrick Partial Differential Equation and its Uses in Epidemiology and Population Study
1998-08-12
Characteristic Times in the Homeotropic to Planar Transition in Cholesteric Liquid Crystals
2001-04-20
Design with Java: Resource Management
1999-08-27
, S84. Yao K T S 1982. Cytogenic consequences of microwave incubation of mammalian cells intubated
2000-05-11
Vijayalaxmi D Z
ASCA Observations of the Composite Warm Absorber in NGC 3516
1996-03-11
Abstracting Builtins for Groundness Analysis
2000-01-19
Bayesian Modeling of Economies and Data Requirements
2001-05-08
Induced Maps, Markov Extensions And Invariant Measures In One-Dimensional Dynamics.
2001-04-09
H. Bruin
Mobility Management and QoS in BRAIN Access Networks
2001-01-15
Matroid Homology
1999-12-07
Blind Adaptive Noncoherent Multiuser Detection for Nonlinear Modulation
2002-01-07
An Architectural Comparison of ST-II and RSVP
2001-02-24
Fast and Stable Animation of Cloth with an Approximated Implicit Method
2000-06-10
Registering Real-Scene To Virtual Imagery Using Robust Image Features
2001-11-28
Designing Medical Knowledge-based System from Patterns
2001-10-17
A Commuting Diagram Relating Threaded and Non-threaded JVM Models
2001-07-11
George M. Porter
Optimal Chosen-Ciphertext Secure Encryption of Arbitrary-Length Messages
2002-01-25
On Management of CATV Full Service Networks: A European Perspective
2000-10-08
On the Elastic and Viscous Properties of Media Containing Strongly Interacting In-plane Cracks
2001-09-27
Termination and Confluence of Higher-Order Rewrite Systems
2000-04-04
1998-03-11
1998-03-11
A Real-Time Communication Method for Wormhole Switching Networks
1999-03-08
Power and Bandwidth Efficient Digital Communication Using Turbo Codes in Multilevel Codes
1996-06-18
Mining Massively Incomplete Data Sets by Conceptual Reconstruction
2002-01-01
ProTest: A Low Cost Rapid Prototyping and Test System for ASICs and FPGAs
2001-03-13
Documenting the ICT Architecture of TSI
2002-01-24
Computing the Minimum Diameter for Moving Points: An Exact Implementation Using Parametric Search
2000-01-13
Problems on Billiards
2001-12-21
Eugene Gutkin
Predicting Lifetimes in Dynamically Allocated Memory
1997-01-27
Implementing Configurable Signalling in the MULTE-ORB
2001-04-22
A Design Pattern for Interactive Applications
2002-01-09
Claude Petitpierre
How Professional Development, Teacher Satisfaction and Plans to Remain in Teaching are Related: Some Policy Implications
2000-10-12
Cascade Decompositions are Bit-Vector Algorithms
2001-05-03
Expansion Postponement Problem for Pure Type Systems with Universes
2000-09-18
SCENTOR: Scenario-Based Testing of E-Business Applications
2001-07-18
Comparison of Remote User Representation in a Collaborative Virtual Learning Environment
2001-11-18
Functional Paleontology: System Evolution as the User Sees It
2001-08-23
Closed Loop Motion Plans for Mobile Robots
2000-02-23
The Compositional Rule of Inference: Introduction, theoretical considerations, and exact calculation formulas
2001-06-09
Robert Fuller
Characterizing Internet Load as a Non-regular Multiplex of TCP Streams
2000-11-13
An Improved Approach to Geographically Locating Web Clients
2001-12-17
Code Layout Optimizations for Transaction Processing Workloads
2001-05-18
ATTac-2000: An Adaptive Autonomous Bidding Agent
2001-10-10
Free Topological G-Groups
2000-11-16
Michael Megrelishvili
Real-Time Affine Region Tracking and Coplanar Grouping
2002-01-14
Probabilistic Grammars for Music
2001-10-24
Rens Bod
Monotone Complexity and the Rank of Matrices
2002-01-15
The IBM Data Warehouse Architecture: How IBM integrates its own and other vendors' tools to derive useful information for decision support.
2001-12-10
George Zagelow
Space-time Coded Transmissions with Maximum Diversity Gains over Frequency-Selective Multipath Fading Channels
2001-12-04
Definable Sets, Motives and p-adic Integrals
2001-09-03
Construction of Cryptographic Correlation Immune Boolean Functions
2000-12-15
Chuan-kun Wu
The Case for Internet Voting
2001-01-24
Similarity-Based Operators and Query Optimization for Multimedia Database Systems
2001-12-11
Two Types of Multiple-Conclusion Systems
2000-10-10
Requirements for a Group Communication Service for FLARE
2001-12-19
Bayesian Wavelet-Domain Image Modeling Using Hidden Markov Trees
2001-08-24
Enterprise Engineering and Integration -- the Standardization Scene
2000-07-04
Enhancement and Validation of Squid's Cache Replacement Policy
1999-06-07
The Nonlinear Evolution of a Single Mode of the Magnetic Shearing Instability
1996-12-18
Intracellular Neuronal Recording with High Aspect Ratio MEMS Probes
2001-03-23
K. F. Bhringer
Formal Verification of Cryptographic Protocols using History Dependent Automata
2000-05-08
Application of Temporal Difference Learning and Supervised Learning in the Game of Go
2001-08-14
Architecture Integration Elements
2001-10-13
On Powers as Sums of Two Cubes
2000-03-24
Nils Bruin
An Approach to Dynamic Reconfiguration of Distributed Systems Based on Object-Middleware
2001-03-19
Meson Decays to
2000-01-01
The Minnesota Robotic Visual Tracker: A Flexible Testbed for Vision-Guided Robotic Research
2001-07-17
Enforcing Strong Object Typing in Flexible Hypermedia
2001-02-01
Equipartition of Two Measures by a 4-Fan
2001-06-26
Superposition Formulas for Pseudo-Orthogonal Matrix Riccati Equations
2001-01-23
Simulation Of A Signal Quality Survey
2000-04-22
Models of Control and Their Implications for Programming Language Design
2001-08-28
Link Adaptation and Power Control for Streaming Services in EGPRS Wireless Networks
2001-09-20
Public Goods and Optimal Tax Policies in LDCs
2001-07-29
Characterizing Neural Gain Control Using Spike-Triggered Covariance
2002-01-09
Forecasting Conflict with Recurrent Artificial Neural Networks
2001-09-18
Maximizing Multiprocessor Performance with the SUIF Compiler
1998-11-07
Breaker Model for Coastal Structures - Probability of Wave Impacts on Vertical Walls
2002-01-04
Subfaculty Civil Engineering
Unknown
2001-01-08
System Evolution, Feedback and Compliant Architectures
2000-05-30
Constant-Space Reasoning in Dynamic Bayesian Networks
2000-11-13
Adnan Darwiche
Updating XML
2001-08-05
Integrated Rf Components On Low Cost Mcm-D Substrates
2000-05-17
Families of Finite Subsets of N of low complexity and Tsirelson type spaces.
2001-05-03
Irene Deliyanni
CS 201: Adversary arguments
1999-12-09
Unknown
1998-04-10
Metrics-Based Feedback Cycles for Software Life-Cycle Management and Process Improvement
2000-05-31
Barry Boehm Usc
Learning and Problem Solving with Multilayer Connectionist Systems
2001-10-08
Charles William Anderson
Branch Predictor Using Value Information
1998-10-01
Rushan Chen
Games with Small Forgetfulness
2000-06-26
Francesco Squintani
Reference Architecture For Holonic Manufacturing Systems - the key to support evolution and reconfiguration
1999-03-05
Units: Cool Modules for HOT Languages
2001-08-28
An Efficient Solver for Cache Miss Equations
2000-02-11
Stochastic Block-Monotonicity in the Approximation of the Stationary Distribution of Infinite Markov Chains
2001-11-08
The Decomate II Current Awareness Service
2000-06-19
Ferran Jorba
On the "No-Z-Cycle" Property in Distributed Executions
2001-04-11
Congestion-Oriented Shortest Multipath Routing
1998-08-20
The Length Of A Leaf Coloration On A Random Binary Tree
2001-06-04
A Note on Doubles of Groups
1999-11-01
Mei-Yin Shen, JongWon Kim and C.-C. Jay Kuo
2002-01-02
COM1080: AI techniques
2001-03-15
Coordinated Reinforcement Learning
2002-01-09
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations
2000-10-10
Tests of Mean-Variance Spanning
2001-11-10
Impact of the Head-of-Line Blocking on Parallel Computer Networks: Hardware to Applications
2001-03-12
Construction of d-Dimensional Hyperoctrees on a Hypercube Multiprocessor
1999-06-10
A Method for Segmentation of CT Head Images
2001-10-19
Data Cube Compression with QuantiCubes
2001-03-16
"-Optimization Schemes and L-Bit Precision: Alternative Perspectives in Combinatorial Optimization
2000-08-08
The Analytic Polynomial-Time Hierarchy
1996-10-31
Surveys of Planetary Nebulae in the Magellanic Clouds
2001-11-15
Statistical Model-Based Estimation and Tracking of Non-Rigid Motion
2001-10-23
Signature Hiding Techniques for FPGA Intellectual Property Protection
2001-06-28
Near-Surface Faceted Crystals, Avalanches And Climate In High-Elevation, Tropical Mountains Of Bolivia
2001-07-08
Ergodic Theory On Compact Metric Spaces
2000-11-08
Relative Growth Series In Some Hyperbolic Groups
1999-09-17
Richard Sharp
A Context-Dependent Attention System for a Social Robot
1999-07-07
Analysis and Design of ESD Protection Circuits for High-Frequency/RF Applications
2001-04-11
SPG: Software for Convex-Constrained Optimization
2001-07-12
Recent Work On A Preselection Module For A Flexible Large Vocabulary Speech Recognition System In Telephone Environment
1998-08-06
Preconditioners for Sparse Grid Discretizations
2001-12-17
Frank Koster Bonn
Noncooperative Equilibria in One-Shot Games: A Synthesis
2001-12-11
Does Money Illusion Matter?
2000-05-24
A Survey of Neural Network Research and Fielded Applications
1995-07-12
The Object-JavaScript Language
2000-07-11
Using Quality Criteria in Programming Industry: A Case Study
1998-07-20
Generic Header Compression
2000-05-24
A New Buffer Management Scheme for Hierarchical Shared Memory Switches
1999-01-18
Spatio-Temporal Partitioning of Computational Structures onto Configurable Computing Machines
2001-06-19
Merger Shocks And Nonthermal Processes In Clusters Of Galaxies
2001-12-07
Fair Allocation of Utilities in Multirate Multicast Networks
2001-07-16
A Probabilistic Priority Scheduling Discipline for Multi-Service Networks
2001-12-07
Formalising Agent Mediated Electronic Institutions
2001-04-26
SISYPHUS: A Chunk-Based Storage Manager for OLAP Cubes
2001-06-29
Traffic Management and Network Control Using Collaborative On-line Simulation
2001-02-27
History-based Link Annotation for Self-Exploratory Learning in Web-based Hypermedia
2001-06-27
High-Performance Low-Power Carry Select Adder using Dual Transition Skewed Logic
2001-11-21
Desktop VRusing QuickDraw3D, PartII
2000-09-18
Desktop Vrusing Quickdrawd Partii
Software Engineering with Formal Methods: TheDevelopment of a Storm Surge Barrier Control System - Revisiting Seven Myths of Formal Methods
2001-08-10
Michel Chaudron
Model-Checking and Program Analysis: Preliminaries
2000-09-08
Hutchworld: Lessons Learned A Collaborative Project: Fred Hutchsinson Cancer Research Center&Microsoft Research
2000-10-12
HOL Light: A tutorial introduction
1996-12-06
John Harrison
Densities of n-facets of incomplete Johnson-Mehl tessellations generated by inhomogeneous birth-and-growth processes
2002-02-05
Cross-National Differences in Employment and Economic Sufficiency
2001-11-30
Foreground Segmentation Using Adaptive Mixture Models in Color and Depth
2001-08-30
FLAVERS: a Finite State Verification Technique for Software Systems
2001-08-14
Integrated Vehicle and Crew Scheduling in Public Transport
1995-12-08
The Techneducator Effect: Colliding Technology and Education in the Conceptualization of Virtual Learning Environments
2001-02-02
Daniel Jason Nolan
Fast and Accurate Calculations of Structural Parameters for
1996-04-25
Johan Helsing
Dynamic Temporal Reasoning With Aspectual Adverbs
2001-09-04
Hans Smessaert
Planning Cordless Business Communication Systems
1996-12-10
Golden Times for Digital Rights Management?
2002-01-11
The Testing of Object-Oriented Programs
2000-04-04
Niching and Evolutionary Transitions in MAS
2001-04-23
Environment-Aware Computations Via Program Updates
2001-10-25
An Analysis of the Error Probability for a Multilevel Modulation Scheme Using PSK-signaling
1998-04-15
Local Alignment, and Gap Penalties
2000-05-01
Over The Air User Initiated Provisioning Recommended Practice
2001-08-16
State Abstraction for Programmable Reinforcement Learning Agents
2001-10-03
Neural Networks in the Clifford Domain
1997-09-26
Parallel Open Ear Decomposition with Applications to Graph Biconnectivity and Triconnectivity
1999-02-18
Vijaya Ramachandran
Bancos de Dados Temporais: Teoria e Prtica
2001-08-15
Nina Edelweiss
An Architectural Comparison of Distributed Object Technologies
2001-08-15
Jay Ongg
A lower bound for irredundant Ramsey numbers
2001-04-20
Michael Krivelevich
. Introduc914
2001-06-28
A new implementation of L
1997-05-29
Decidable/Undecidable Properties of Conditional Term Rewriting Systems
1998-12-08
Takahito Aoto
Computing Time Intervals Logically
2001-09-25
Andre Vellino
Proxy Lady: Mobile Support for Opportunistic Communication
1999-09-10
Compartmental Models of Growing Neurites
2001-06-25
Property-based Software Engineering Measurement
2001-02-27
Iso/iec Wdtr 18037
2001-07-25
Wg N
Flexoelectric Effects in Liquid Crystals Formed by Pear Shaped Molecules. A Computer Simulation Study
2001-06-13
The Sparse Data Problem in Statistical Language Modeling and Unsupervised Word Segmentation
2001-10-26
QUEST - Querying specialized collections on the Web
2001-11-02
Automated Design Optimization for the P2 and P8 Hypersonic Inlets
1999-11-04
Explaining Imagery
2000-03-01
Important Notice
1994-10-14
Is There A Case For European Financial Services Regulator ?
2001-09-05
Niels Thygesen
Resolution and Logic Programming in Algebraic Domains: Negation and Defaults
2002-02-04
Pascal Hitzler
Numerical Computing in General Relativity
2000-09-19
Characterization of Tracer Cascade in Physical Space
2001-11-03
Extensions to PEPA to simplify the creation of component libraries
1999-07-26
Operator Topologies And Reflexive Representability Of Groups
2000-11-20
Michael Megrelishvili
Timing Analysis, Scheduling, and Allocation of Periodic Hard Real-Time Tasks
2000-05-16
Peter Altenbernd
Efficient Decompositional Model Checking for Regular Timing Diagrams
1999-08-08
GNU Chill
2002-01-15
Matching Protein
2002-01-16
ENEE 759E: Overview Handout 3
1999-11-01
A Non-overlapping Domain Decomposition Method for Solving Elliptic Problems by Finite Element Methods
1998-10-05
Xiaobeng Feng
The Consequences of Eastern Enlargement of the European Union in Stages
1999-04-30
Some combinatorial properties of the graded algebra of Schubert polynomials
1997-12-24
Yuval Roichman
Programma dellle lezioni al dottorato su Studio della struttura del nucleone con esperimenti di scattering", maggio 1996 Giulio D'Agostini
2000-06-20
Guide to Best Practice: Dublin Core
2000-10-07
Dublin Core
Cv
2002-01-31
Frdo Durand
Preconditioning Waveform Relaxation Iterations For Differential Systems
1995-08-10
On the Adjoint Matrix
2001-02-27
G. W. Stewart
Interoperable Concurrency Support with SIR Middleware
1999-03-30
Flows in Porous Media
2001-03-06
Tzanio V. Kolev
TMS320C6000 Chip Support Library API User's Guide
2002-01-15
Bayesian Model-based Diagnosis
2001-03-03
Peter Lucas
Computer Science
2001-08-03
Multihypothesis Motion Estimation for Video Coding
2001-07-19
Functional Communication Training Using Assistive Devices: Recruiting Natural Communities Of Reinforcement
1999-09-23
Study of the TCP Unfairness in a Wireless Environment
2001-11-20
REDUCTION OF SOFTWARE DEVELOPMENT COSTS UNDER SOMBRERO, A SINGLE ADDRESS SPACE DISTRIBUTED OPERATING SYSTEM by Ron Feigen
2002-01-15
Ron Feigen
Counter-Based Routing Policies
2001-02-07
Integrating Graphics Into Video Image-Based Camera Tracking and Filtering
2000-12-14
Klaus Kansy Gnthersctherfq
Band-gap modification by radial deformation in C, BN, and BC
2000-10-06
Unknown
1995-11-15
Wavelet Representations And Their Application To The Modeling, Compression And Reduction Of Spatial Data
2001-06-27
Kevin Amaratunga
Run-time coordination of components: design patterns vs. Component aspect based platforms
2001-05-04
Nature Needs Nurture: The Interaction of Hormonal and Social Influences on the Development of Behavioral Sex Differences in Rhesus Monkeys
2001-01-31
Kim Wallen
A First Order Logic for Specification of Timed Algorithms: Basic Properties and a Decidable Class
2002-01-15
Mathematics, 10:287--295, 1985. 14 Fumiaki Okushi. Parallel cooperative propositional theorem proving.
2000-03-03
On the Design and Quantification of Privacy Preserving Data Mining Algorithms
2002-01-01
Ratio Prophet Inequalities when the Mortal has Several Choices
2001-05-01
Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes
2001-11-14
Boundedness and Stability of Difference Equations
2001-02-27
QoS-aware Adaptive Services in Mobile Ad-hoc Networks
2001-04-16
Baochun Li
Planar Lattices are Lexicographically Shellable
2000-08-14
Karen L. Collins
Limit Cycles and Their Stability in a Passive Bipedal Gait
1997-09-17
On the Characterization of Hausdorff Spaces
2002-01-09
Equal Rights for Functional Objects
1994-12-06
Henry G. Baker
P-RIO: An Environment for Modular Parallel Programming
2001-05-30
What Are Dinitrophenols?
2001-07-10
Search-Based Software Engineering
2001-11-13
Deterministic Causation
2001-05-11
Failure Semantics of Mobile Agent Systems Involved in Network Fault Management
1999-12-20
Optimal Reward-Based Scheduling for Periodic Real-Time Tasks
2000-03-01
Indoor-Outdoor Image Classification
1997-11-26
Optimization Techniques in VLSI Physical CAD
1999-09-17
Alejandro F. Gonzlez
Juvenile Hormone Profiles of Worker Honey Bees, Mellifera During Normal and accelerated behavioural development
2000-02-14
Semi-Dense Stereo Correspondence with Dense Features
2001-10-01
Olga Veksler
Quasi-One-Dimensional Riemann Problems and Their Role in Self-Similar Two-Dimensional Problems
2000-06-27
ATM and its Application to Current LAN/WAN Technologies
1998-09-02
Gary Molenkamp
The Effect of Subdivision on Variation At Multi-Allelic Loci Under Balancing Selection
2001-10-26
Bayesian Analysis For Simulation Input And Output
2000-04-21
Stephen E. Chick
PostgreSQL 7.1 User's Guide
2001-05-02
The Bohnenblust-Spitzer Algorithm And Its Applications
2001-08-31
J. Michael Steele
The Watershed Transformation Applied To Image Segmentation
2000-06-28
Software Environments in Support of Wide-Area Development
2001-01-05
Pattern Recognition Mechanisms
2001-04-26
To Opt-In Or To Opt-Out? It Depends On The Question
2001-04-25
Proteome Analysis Database: online application of InterPro and CluSTr for the functional classification of proteins in whole genomes
2002-01-16
Achieving Alignment of Information Systems Implementation and Organisational Change
2000-11-14
Physiological Modeling for Hearing Aid Design
2000-09-13
Constitutive Relations for Fluid-Solid Mixtures: Small Strain Theory
1995-07-10
Input Manual for ACES II Release 2.0
1998-01-30
Symplectic Twist Maps Without Conjugate Points
2000-03-01
The Accuracy of Symplectic Integrators
1999-02-15
A Parallel Implementation Of The Restarted Gmres Iterative Method For Nonsymmetric Systems Of Linear Equations
2001-03-29
On Reducing the Processing Cost of On-Demand QoS Path Computation
1999-02-08
Initial Coordination and the Law of Coordination of Likes
2001-05-03
Petra Hendriks
Austrian Economics and Game Theory: a Stocktaking and an Evaluation
1999-07-28
Nicolai Foss
Segmentation d'Images en Couleur par Classification Morphologique Non Supervisée
2001-03-24
Relations Defined on Sets
2002-01-08
Edmund Woronowicz
Directed Forests With Application To Algorithms Related To Markov Chains
2001-05-07
P. Pokarowski warszawa
AI Meets Authoring: User Models for Intelligent Multimedia
2001-01-12
A Multiscale Wavelet Solver with On Complexity
1994-12-09
An Implementation Architecture for Aspect-Oriented Component Engineering
2000-04-27
John Grundy
Updating Discourse Context with Active Logic
2001-02-27
Efficient Allocation of Radio Resources for CDMA Based Wireless Packet Data Systems
2001-02-19
Mechanisms and Policies for Supporting Fine-Grained Cycle Stealing
1999-04-09
Determinants of Adjective-Noun Plausibility
1999-10-27
Linear One-sided Stability of MAT for Weakly Injective Domain
2001-06-06
Quantifying the Energy Consumption of a Pocket Computer and a Java Virtual Machine
2001-10-22
Optimizing a Neural Network Implementation
1999-02-02
Eugen Dedu
The Modern Processes Currently Being Developed for the Coke-Less Production of Liquid Iron-Carbon Semifinished Products Can Be Tentatively Divided Into Three Groups:
2001-08-12
The Idea of 22 Srutis
2001-09-19
Subhash Kak
Thesis Work
2001-11-14
Pramod N. Achar
Compiling Timed Algebras into Timed Automata
2000-12-14
Sergio Yovine
The Structure and Value of Modularity in Software Design
2001-03-29
Theoretical Consideration
2001-02-08
Juan Rogers
Synchronization Markers for Error Containment in Compressed Data
1999-03-20
Quality Management Applied to Undergraduate Software Development Projects
1999-11-11
Making History: New Directions in Computer Historiography
2001-06-15
Jennifer Hespen Trent Lalonde Katherine Sharrow Nathan Thomas August 6, 1999
1999-08-06
A Hierarchical Modeling Approach for Analyzing the Performability of a Telecommunications System
2001-08-10
Veena B. Mendiratta
Detection of Abrupt Changes: Theory and Application
1998-11-02
A framework for Argumentation Based Negotiation
2000-04-19
Metrics for Analysis and Optimization of Grasps and Fixtures
2000-02-07
A Distributed Interactive Simulation Intranet Using RAMP, a Reliable Adaptive Multicast Protocol
1998-08-20
Production Method Changes in Feed Enzyme Manufacturing -- Flexibility through Innovations
2000-09-12
Hebbian Spike-Timing Dependent Self-Organization in Pulsed Neural Networks
2001-10-05
Divide and Compose: SCC Refinement for Language Emptiness
2001-10-19
Memory in Chains: Modeling Primacy and Recency Effects in Memory for Order
2000-09-27
Erik M. Altmann
A Study of Evolution Impact in Software Product Lines
2000-04-19
Richer Syntactic Dependencies for Structured Language Modeling
2001-12-05
Evolution of the Cluster Mass Function: Gpc
2001-06-19
Well-Being Over Time in Britain and the USA
1999-11-03
Walks on Generating Sets of Groups
1999-11-17
Noncoherent Adaptive Linear MMSE Equalization for 16DAPSK Signals
2000-01-04
Analysis of a Discrete-Time Queue With a Gate
2001-12-11
Privacy Enhancements in the Mobile Internet
2001-04-24
LogP: Towards a Realistic Model of Parallel Computation
1999-10-27
A Demonstration Of The Integrated Supportability Analysis And Cost System isacs+
2000-04-22
A variant of Quantified Dynamic Logic
2001-02-15
Gerard R. Renardel De Lavalette
Modeling Regression Error with a Mixture of Polya Trees
2001-02-11
High Performance Implementation of Communication Subsystems
1997-12-11
Walid Dabbous
User-Level Communication in a System with Gang Scheduling
2001-03-13
Research To Application Success Stories: Manufacturing
2000-04-22
Proposal for Lockheed Martin -- Information Systems
1997-02-27
Fast, Exact, and Stable Computation of Multipole Translation and Rotation Coefficients for the 3-D Helmholtz Equation
2001-10-09
Effective Linear Genetic Programming
2001-05-09
Gene, Encoding a Glycosyl Hydrolase Family 3
2001-09-19
Acquiring and Using Maintenance Knowledge to Support Authoring for Experience Bases
2001-07-09
Practical Experience with Viewpoint-Oriented Requirements Specification
1998-03-23
Gerald Kotonya
Worldwide Information Control System WICS
1996-10-11
Start the Algorithm By Setting
1996-04-29
POV||Ray: PERSISTENCE OF VISION PARALLEL RAYTRACER
2000-04-27
Associating Video with Related Documents
2000-05-31
Transition Assertions: A Higher-Order Logic Based Method for the Specification and Verification of Real-Time Systems
2000-03-24
Victor Alberto
Analysis of Non-Uniform Temperature-Dependent Interconnect Performance in High Performance ICs
2001-04-03
Efficiency of Model-Based Complexity Method for Estimating Unrooted Multifurcate Phylogenetic Tree
1998-11-19
A Diversity Channel Model Using Multiple Tapped-Delay Lines Characterized by Lag-Delay Correlations
1998-11-12
Constructing and Annotating GENES Database in KEGG
1998-11-12
Bracket Capabilities for Distributed Systems Security
2001-08-03
Heuristic Approaches to Vehicle Routing with Backhauls and Time Windows
1998-02-03
Errata et Addenda Characters and Automorphism Groups of Compact Riemann Surfaces
2001-11-06
The Flat Phase of Crystalline Membranes
1996-06-17
How to Strengthen DES Using Existing Hardware
2001-07-18
PostGraphe: a system for the generation of statistical graphics and text
1998-02-24
A Study of Longitudinal Charged Pion Electroproduction in D2, He3, and He4
2001-05-11
Replication by Diusion in Large Networks
2001-04-25
Examining Software Architecture Property Interactions and the Influence of System Requirements
2001-10-13
Leigh Anne Davis
Steady-State Analysis of Infinite Stochastic Petri Nets: Comparing the Spectral Expansion and the Matrix-Geometric Method
2001-05-06
OASIS SSTC: SAML Security Considerations
2001-08-23
Delayed Evaluation of Lexical Rules
1995-07-26
Some Remarks on Real and Complex Output Feedback
2001-10-23
Technology Rich Lessons: What Might They Look Like?
2001-01-08
Colleen R. Swain
Structural Classi cation for Retrospective Conversion of Documents
2001-03-27
Update of the Search for the Neutrinoless Decay
1999-10-27
A Dependence-Based Model for Social Reasoning in Multi-Agent Systems
2002-01-06
SimpleGraphics: Tcl/Tk Visualization of Real-Time Multi-Threaded and Distributed Applications
1998-12-15
The Isabelle/Isar Reference Manual
2001-02-15
Cryptography Based on Number Fields with Large Regulator
2001-05-02
On The Exactness Of An S-Shaped Bifurcation Curve
2001-04-16
Structural machine learning with Galois lattice and Graphs
2001-03-26
Objectives
1999-11-04
Algorithms for Bernoulli numbers and Euler numbers
2001-07-15
Kwang-wu Chen
Mining Travel Data with a Visualiser
2001-08-01
Parallel Protein Information Analysis PAPIA System Running on a 64-Node PC Cluster
1998-11-19
Designs in Additive Codes over GF4
2001-10-19
V. Stephan
2000-05-15
CS 395T Large-Scale Data Mining Fall 2001
2001-09-15
Improved Labeling Scheme for Ancestor Queries
2001-08-06
Bijective proofs for Schur function identities which imply Dodgson's condensation formula and Plücker relations
2001-03-11
Automatic Synthesis of Both the Topology and Parameters for a Controller for a Three-Lag Plant with a Five-Second Delay using Genetic Programming
2000-04-23
Visualisation of Electrical Transients Using the Wavelet
2002-01-24
Experiencies retrieving information in the World Wide Web
2001-11-13
Activate This Classroom At Time Now
2000-04-22
Manuel D. Rossetti
Did the Trusts Have Market Power? Evidence from Distilling, 1881-1898
2000-01-19
Enabling technologies for Web-centric applications
1999-12-10
Cv
2002-01-03
A short proof is not as satisfying as a long one. A good mathematical proof should do much more than just
2001-03-30
Doron Zeilberger
An Approach to the Transparent Management Instrumentation of Distributed Applications
2002-01-31
Suboptimal feedback control of vortex shedding at low Reynolds numbers
1998-07-02
Min Haecheon Choi
Unknown
2001-07-05
On the Boundary Complexity of the Union of Fat Triangles
2001-01-29
Games In Mobile Business - Case: Riot Entertainment
2001-05-18
Bioinformatics Applications Note
2000-04-06
On The Equivalence of Single- and Multicarrier Modulation: A New View
1997-07-14
Automated Team Project Management and Evaluation Through Interactive Web Modules
1999-10-13
John W. Lockwood
Using Tape/PVM for monitoring Grapnel programs
1998-04-24
Jos'e C. Cunha
Reverse Engineering Meets Data Analysis
2001-05-14
Broadcasting in Partially Ordered Sets
2000-08-08
Kyle Siegrist
On the Technological, Human, and Managerial Issues in Sharing Organizational Lessons
2001-05-10
Volume Of An N Dimensional Simplex
2001-05-08
Counterexamples to a Problem of Pólya and to a Problem of Karlin
1999-02-05
Dimitar K. Dimitrov
Advanced Services for Process Evolution: Monitoring and Decision Support
2001-02-23
Error Control And Adaptivity For A Phase Relaxation Model
2000-03-24
The Application of Multigrid Methods to Plasticity At Finite Strains
2001-02-05
Wieners C
Generalized Likelihood Ratio-based Face Detection and Extraction of Mouth Features
2001-10-23
Shelf Life Testing: Procedures and Prediction Methods for Frozen Foods
2000-08-25
Time Series Prediction and Neural Networks
2002-01-07
Hierarchical and Stochastic Algorithms for Radiosity - Bibliography
1999-11-29
Asymptotic Expansions For Closed Orbits In Homology Classes
2000-09-20
Using Annotations to Reduce Dynamic Optimization Time
2001-12-11
ITS4: A Static Vulnerability Scanner for C and C++ Code
2000-12-08
Objectives
1999-11-04
A Numerical Study of some Radial Basis Function based Solution Methods for Elliptic PDEs
2002-01-16
Substructure And Dynamics Of The Fornax Cluster
2001-03-07
Financial Marker and Stochastic Growth
2001-06-20
Leonard J. Mirman
A Causally Consistent Protocol for Distributed Shared Memory
2001-01-30
Binomial Moments of the Distance Distribution and the Probability of Undetected Error
2000-01-24
A. Barg
Distributed Object Computing With CORBA
1998-11-19
Steve Vinoski
Meta-Knowledge, Autonomy, and Artificial Evolution: Some Lessons Learnt So Far
2000-01-01
Jean-luc Dormoy
Apr.20,99
1999-10-01
Acknowledgment
2001-05-29
Error Bounds and Strong Upper Semicontinuity for Monotone Affine Variational Inequalities
2002-01-16
A Multigrid Iterated Penalty Method for Mixed Elements
1998-10-05
Web-Based Health Care Guideline Agents: The Case of Reminders of ToDos-II R2Do2
2001-04-18
On the Relationship Between UML Sequence Diagrams and State Diagrams
2000-10-04
Jon Whittle
and Odds on Cosmology
1996-05-31
Andrew Jaffe
Diagnosis of Transient States
2001-03-22
Benchmark: S111 Number Of Processors: 3
1997-02-01
Toward A General Language For The Specification Of Constraint Satisfaction Problems
2001-03-28
A Functional Extension To Lustre
2001-09-26
M. KONTSEVICH Topics in algebra{deformation theory Lecture 1 "Hard to construct" nite dimensional compact manifold. Sets arise usually as sets of equivalence classes e.g.
2001-03-05
M. Kontsevich
Motion Consistency for Image-Based Rendering
2001-11-28
Towards A Taxonomy Of Architecture Integration Strategies
2001-10-13
The World of Generating Functions and Umbral Calculus
2001-09-06
Program Derivation in Type Theory: A Partitioning Problem
2001-03-25
Is There Really A European Business Cycle?
2002-01-15
Robert Inklaar
Mathematical Modelling of Juxtacrine Patterning
2000-03-18
New Mechanisms of Minority Ion Cyclotron Current Drive
1999-09-17
Modeling and Visualization of Biological Structures
2002-01-15
Przemyslaw Prusinkiewicz
Ontologies Description and Applications
2001-03-26
Marek Obitko
Start-up Transition Behaviour of TCP NewReno
1999-09-29
Co-Evolution Of Diverse Elements Interacting Within A Social Ecosystem
2000-05-30
Context-Oriented Programming
2000-04-20
Integrated Predicated and Speculative Execution in the IMPACT EPIC Architecture
1999-09-01
Hamiltonian Systems with Widely Separated Frequencies
2001-11-21
The Permanent Requires Large Uniform Threshold Circuits
1999-10-13
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
1999-06-08
Distance-Gains By Multiple-Duplex Transmission, Coding, And Shaping For Hdsl
1996-06-18
On-Line Task Migration in Hypercubes Through Double Disjoint Paths
2001-10-12
Certification of Distributed Component Computing Middleware and Applications
2001-04-18
Running and Grimacing: The Struggle for Balance in Mobile Work.
2001-10-24
Local Smoothing Type Estimates on L^p for large p
2000-02-09
Thomas Wol
Approximating E-Unification
2001-07-26
Computing Prosodic Properties in a Data-to-Speech System
1997-07-15
A Survey on TCP-Friendly Congestion Control
2001-02-16
An Ontology for Developing e-Business Models
2001-12-18
DCOM and CORBA Side by Side, Step by Step, and Layer by Layer
1998-04-06
Multiplicity-Free Products and Restrictions of Weyl Characters
2001-12-09
John R. Stembridge
An Overview of the Evolution of the Concept of Testor
2001-04-12
Using an Explicit Teamwork Model and
1999-09-15
Malassezia
2000-07-21
A Proposal for an ISO Standard for Public Key Encryption version 2.1
2001-12-20
Victor Shoup
The Deductive Database System LDL++
2001-11-16
Subjectivism And Economic Analysis: Essays In Memory Of Ludwig M. Lachmann, Edited By Roger Koppl And Gary Mongiovi London And New York: Routledge, 1998.
2001-03-06
Roger Koppl
Treaties In Force
2001-08-21
Winding quotients and some variants of Fermat's Last Theorem
2001-01-07
Loc Merel At Berkeley
Effective Heuristics Used In Cell Suppression Calculations
2001-05-30
G. Sande
Statistical Reliability Measures for GPS
2000-08-23
Using Monotone Gray Codes to Generate "-Sequences
2001-12-18
Clarence Simpson
Parallel image restoration with spatially variant point spread function - Description and first clinical results
2001-02-15
A Data Parallel Formulation of the Barnes-Hut Method for N-body Simulations
2000-05-08
A Carrier Recovery Technique Using Modulation Identification
2002-01-16
Maria Klawe
1998-07-27
Maria Klawe
A Web-Based Survivability Control Architecture
2001-03-19
The Use of Parameterised Contracts for Architecting Systems with Software Components
2001-06-12
Ralf H. Reussner
A Comparative Study of Methods for Hypermedia Development
2001-09-06
Combinatorial and Multilinear Aspects of Sign-Balanced Posets
2000-05-08
Deciding Parameter Values with Case-Based Reasoning
2000-08-11
Classifying and Capturing Timing Requirements
1999-09-06
Example 2
2001-02-19
TCP Performance over Satellite Links
2000-10-20
ACL2 Computed Hints: Extension and Practice
2000-10-19
Disambiguation Filters for Scannerless Generalized LR Parsers
2002-01-18
Evaluation of Array Syntax Dependence Analysis
2001-06-01
Gerald Roth
: A Sound and Supportive Planning Domain Modelling Language
1999-11-02
The Virtualization Of The Marketplace
1997-06-11
Nelson Minar
Latency and Bandwidth Requirements of Massively Parallel Programs: FFT as a Case Study
2001-03-28
An Optimized Tableau Structure for Explicit Representation of Disjunction
2001-09-19
Annotation of PDB with respect to "Disordered Regions" in Proteins
1998-11-12
Automated Reasoning About Classical Mechanics
1997-05-05
Display of Scientific Data Structures for Algorithm Visualization
2001-01-19
OpenMP C and C++ Application Program Interface DRAFT
2001-11-20
Openmp C
Integrity Constraints: Semantics and Applications
1997-12-17
Automatic Generation of a Real-Time Operating System for Embedded Systems Extended Abstract
1999-10-27
Condor Flocking: Load Sharing between Pools of Workstations
1997-05-02
Lecture Notesi Computer Sciuter Authors'Instructi25 for thePreparati5 of Camera-Ready Contri5D72F to LNCS/LNAI Proceedi2
2001-11-12
Improving the Encoding of LTL Model Checking into SAT
2002-01-29
...-Calculus for Generators of Bounded ...-groups and Positive Contraction Semigroups on ...-Spaces
1995-10-17
A Navigation Model of the Continuous Outgassing Field Around a Comet
2000-08-24
On-The-Fly Model Checking of RCTL Formulas
1999-11-23
Efficient Non-parametric Adaptive Color Modeling Using Fast Gauss Transform
2001-10-09
Parasitic Absorption By Fusion Born alpha-particles in ICRF Heated Plasmas
1999-09-17
Symbolic Representation of NeuralNetworks
2001-11-15
Incomplete Information
2001-12-13
Washington
2001-02-02
Adaptive Cartesian Mesh Generation
2000-10-25
Experience with a process for Software Engineering web-course development
2000-05-23
Analyzing Facial Expressions for Virtual Conferencing
2001-07-26
Characterizing Model Errors and Differences
2001-12-30
Sputtering of grains in C-type shocks
2000-12-15
Measurement of
1999-07-28
Robust Decentralized Detection By Asymptotically Many Sensors
2001-09-21
Mass Customization Concepts For The E-Conomy - Four Strategies To Create Competitive . . .
2001-12-29
Continuity of Hausdorff dimension of Julia-Lavaurs sets as a function of the phase.
2001-08-20
Multi-Input Partial Pole Placement for Distributed Parameter Gyroscopic Systems
2001-10-04
National Health Interview Survey NHIS Public Use Data Release NHIS Survey Description
2002-01-15
Internet Use and Collegiate Academic Performance Decrements: Early Findings
2002-01-15
Time/Performance Budgeting for Software Designs
2001-12-14
Custom Prosthesis Design, Visualization, and Prototyping
2001-02-07
The Resting Parrot, the Dessert Stomach, and Other Perfectly Defensible Theories
2001-11-21
Anthony G. Greenwald
Aggregation and Decomposition for Performance Evaluation of Synchronous Product of High Level Petri Nets
2000-11-30
Memory Aware Compilation Through Accurate Timing Extraction
2001-05-15
FoCs - Automatic Generation of Simulation Checkers from Formal Specifications
2000-06-11
On Designing M-commerce Applications
2001-04-19
Plan-based versus template-based NLG: a false opposition?
2001-10-08
The Magic Mirror: A Metaphor for Assisting the Exploration of Virtual Worlds
2000-04-26
Typical and Extremal Linear Programs
2001-12-28
Gunter M. Ziegler
MyLibrary, A Personalization Service for Digital Library Environments
2001-07-03
Antony P. Muller Univesidade Federal de Santa Catarina The Failures of International Financial Crisis Management
2000-05-05
Antony P. Muller
Towards Automatic Synthesis of High-Performance Codes for Electronic Structure Calculations: Data Locality Optimization
2001-10-03
Creating Printed Music Automatically
1996-08-20
Unknown
1996-04-25
EquiLoad: a load balancing policy for clustered web servers
2001-08-02
Synoptic Circulation Classification and Downscaling for the Midwestern United States
2000-12-29
Extracting Sparse Resultant Matrices from Dixon Resultant Formulation
2000-02-24
The Ism Interactions Of A Runaway Lbv Nebula In The Lmc
2001-03-27
An Integrated Statistical Model for Tagging and Chunking Unrestricted Text
2000-09-27
The D Editor: A New Interactive Parallel Programming Tool
1995-09-05
A Fully 3D Maximum Likelihood Estimator Algorithm with Attenuation and Scatter Correction Adapted to a Limited Angle Positron Camera
2001-04-09
Learning and Generalization with Bounded Order Rule Sets
1995-11-15
A Neural Network Model of Visual Object Recognition Impairments after Brain Damage
2000-05-24
An Experimentally Validated Nonlinear Stabilizing Control for Power Electronics Based Power Systems
1998-06-19
Consistency and Context Management in a Multi-Agent Belief Revision Testbed
1996-05-16
Verification of DAG Structures in Cooperative Belief Network Based Multi-agent Systems
1997-10-31
Y. Xiang
Approximate Distance Oracles for Geometric Graphs
2001-10-29
Monitoring Usage of Workstations with a Relational Database
2001-10-03
OASIS SSTC SAML Protocols Schema Discussion
2001-07-28
Manual for the
2000-07-27
Arno Wouters
Esterel Meets Java: Building Reactive Synchronous Programs in Java
1999-11-30
A new lower bound for a Ramsey-type problem
2001-09-19
Benny Sudakov
Draft Proposal of an EC Funded Project
2001-09-21
Topology in Computer Science Problems
2000-09-29
A Set Constructor for Inductive Sets in Martin-Lof's Type Theory
2001-03-25
Right Integrals and Invariants of Three-Manifolds
1999-12-01
Louis H Kauffman
A Mathematical Model For Spatially Varying Extracellular Matrix Alignment
2000-11-14
John C. Dallon Jonatna A
Additive representation in thin sequences, III: asymptotic formulae
2001-08-13
Forward-adaptive variant of thw baseline JBIG for applications . . .
2001-08-29
A Covolume Scheme for Electromagnetic Scattering in 3D Space
1998-04-17
Applications Of The Classical Umbral Calculus
2001-11-22
Ira M. Gessel
Algorithm, Heuristic or Exemplar: Process and Representation in Multiple-Cue Judgment
2000-06-26
Standards for Language Resources
2001-12-04
Impromptu Measurement Infrastructures using RTP
2001-11-19
Analysis of an Innovative and Efficient Communication Strategy for Hierarchical Ad-hoc Mobile Networks
2001-11-06
Towards A Unified View Of Estimation: Variational Vs. Statistical
2001-10-21
Management of Dynamic Multimedia Spatio-temporal Information for Meta-databases
2001-11-26
A Bjrklind
Indra: A Distributed Approach to Network Intrusion Detection and Prevention
2001-10-18
Architectural Framework for Active Networks
1998-07-03
Appendix O 214
2001-01-20
On The Origin of Pluto, Charon, and the Pluto-Charon Binary
1996-08-22
Probability Density Functions in Program Analysis
2001-05-01
Dave Mason
Fast Dynamic Analysis of Complex HW/SW-Systems
2000-05-16
Knowledge-Based Techniques for Software Requirements Validation
1999-10-28
Jordi Alvarez
Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups
2001-09-01
Gemini - Learning Cooperative Behaviors Without Communicating
2001-10-05
Masayuki Ohta
An adaptive segmentation scheme for the Bluetooth-based wireless channel
2001-10-09
A method for the forward modelling of 3D electromagnetic quasi-static problems
1999-10-02
Simulation of Visual Orientation Behaviour of the Fly
2000-10-27
Parameterizations of Univariate Orthogonal Wavelets With Short Support
2001-11-16
Book Review
2001-08-10
Of Psychotherapy
Primal Separation Algorithms
2001-07-09
Lancaster La Yw
Basic Dynamic Logic
2001-02-15
Gerard R. Renardel De Lavalette
Full er R obert kutat asi eredm enyei: 1989-1997 1El osz o
2001-06-09
PRO-COW: Protocol Compliance on the Web
1999-09-22
High Performance Computing: Crays, Clusters, and Centers. What Next?
2001-09-18
Threshold Password-Authenticated Key Exchange
2001-11-04
RUP Variant Guidelines for the Life Cycle Architecture LCA deliverables for Model-Based System Architecting and Software Engineering MBASE
2000-03-03
Model-based system Architecting
Construction of Japanese Nominal Semantic Dictionary using "A NO B" Phrases in Corpora
2000-10-27
Morse Theory for Implicit Surface Modeling
1997-09-04
John C. Hart
TCP/IP Performance with Random Loss and Bidirectional Congestion
2001-08-31
Brilliant Warrior: Information Technology Integration in Education and Training
1996-10-11
OSU Narrowband Testbed Base Station Radio Specification
2000-02-19
A Multifacility Location Problem on Median Spaces
2000-05-04
Exploring the Relationship between Neutral and Selective Mutations in Cancer
2001-10-12
C. C. Maley
Implementing a Static Debugger for a First-Order Functional Programming Language
2001-03-01
The Z Notation
2001-11-14
C Jean-marie Favre
A Framework For Incorporating Dynamic Strategies In Earth-Moving Simulations
2000-04-22
Chunking with Support Vector Machines
2002-01-12
Using Handhelds and PCs Together
2001-10-28
Brad A. Myers
Forcing OscillatoryMedia: Phase Kinks vs. Synchronization
2001-12-20
Inventory-Service Optimization in Configure-to-Order Systems
2001-12-20
Subpart F. AMBULATORY SURGICAL FACILITIES
2001-11-06
Boolean Partitions and Projective Closure
2001-08-06
Censored Stable Processes
2001-11-29
Parallel and Distributed Simulation of Discrete Event Systems
2001-02-27
Calibrating Scalable Multi-Projector Displays Using Camera Homography Trees
2001-10-01
Algebraic Number Fields
2000-02-17
Eberhard Schrufer
Computation Of Sound Generation And Flow/acoustic Instabilities In The Flow Past An Open Cavity
1999-05-15
User Interface Management Techniques for Collaborative Mobile Augmented Reality
2002-01-02
Beyond Objects: Components
2000-02-25
Impact of an XML repository in development of XML messages
2001-06-27
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs
2001-01-26
Acute Leukemia Diagnosis Aid Using Multicriteria Fuzzy Assignment Methodology
2001-01-13
The Insecurity of the Elliptic Curve Digital Signature Algorithm with Partially Known Nonces
2001-09-28
Some Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian Networks
1999-02-18
EQUALS - The Next Generation
1998-02-13
Scalable Optoelectronic ATM Networks: The iPOINT Fully Functional Testbed
1999-05-13
Model Composition and Analysis Challenge Problems
2001-02-05
A parallel Newton multigrid method for high order finite elements and its application to numerical existence proofs for elliptic boundary value equations
2001-02-05
Christian Wieners
Olfactory Classification via Randomly Weighted Nearest Neighbors
1998-12-01
Carey E. Priebe
IPMoA: Integrated Personal Mobility Architecture
2001-05-28
Generating Models of Mental Retardation from Data with Machine Learning
1998-11-28
Context-Sensitive Spoken Dialogue Processing with the DOP Model
2001-10-24
Optimal Voltage Testing for Physically-Based Faults
2000-06-22
Fine Motion Assembly : High Level Formalism and Algorithms for Planning and Control Part I : Planning
2001-10-17
Oussama Khatib
Purification and Properties of Extracellular Phytase from
2001-08-10
Scalable IP multicast for many very small groups with many senders and its application to mobility
1999-02-23
Jean-yves Le Boudec
Statement Of Research Interests
2001-12-09
Ulrich H. E. Hansmann
Factoring Distance Matrix Polynomials
2000-08-14
Karen L. Collins
Case Studies in Developing Contextualising Information Systems
2001-08-15
Localized Rademacher Complexities
2002-02-04
Business Planning: A Key to Energy Efficiency in Russia
1999-05-28
Multidisciplinary Optimization Of Transonic Wing Design Based On Evolutionary Algorithms Coupled With Cfd Solver
2000-06-20
Akira Oyama
Tool Support For Collaborative Software Prototyping
2001-02-27
On BAN Logics for Industrial Security Protocols
2001-12-03
Composite Bound States of Wide and Narrow Envelope Solitons in the Coupled Schrödinger Equations Through Matched Asymptotic Expansions
2000-10-03
Prototyping Object Speci cations Using the CO-Nets Approach
2001-11-15
Istituto Per La Ricerca Scientifica E Tecnologica
2000-05-03
Isodual Codes over Z_2k and Isodual Lattices
2000-03-21
CMS Simulation Package CMSIM Users' Guide and Reference Manual
1999-07-12
Analysis of Local Decisions Using Hierarchical Modeling, Applied to Home Radon Measurement and Remediation
1999-08-06
Fast and Adaptive Semantic Object Extraction from Video
2002-01-02
Presentar Les Nocions Basiques De Tecniques
2001-10-22
Negotiation On Data Allocation in Multi-Agent Environments
1997-04-04
Scalability of Linux Event-Dispatch Mechanisms
2000-12-15
Image Comparison Measure For Digital Still Color Cameras
2002-01-17
Inferring a System of Differential Equations for a Gene Regulatory Network by using Genetic Programming
2001-06-19
Promoter Analysis of the Neuronal Nicotinic Acetylcholine Receptor
2001-05-28
QUANTUM-MECHANICAL EMBEDDING IN SOLIDS: THE aiPI METHODOLOGY.
1996-06-08
Econ 240A: Problem Set 7 Solutions to Selected Problems from Chapter 7
2001-03-07
Chuan Goh
Design Space of Processors
2001-11-13
Transfer Of Learning
1999-06-22
Simulation Of Memory Chip Line Using An Electronics Manufacturing Simulator
2000-04-22
Petri Nets, Flat Languages and Linear Arithmetic
2000-09-18
Laurent Fribourg
Development Environments and Systems Architectures for Hybrid Agent-Stochastic Event Models of Socio-Technical Organizations
2001-08-29
Fibonacci and Galois Representations of Feedback with Carry Shift Registers
2000-11-29
Mark Goresky
Unknown
2002-01-16
Parallelization Of Chimera Utilizing Pvm
1995-07-26
Chris W. Humphres
Commutative Algebra in the Mizar System
2001-04-06
A C to Hardware/Software Compiler
2001-02-05
On optimal truncation of divergent series solutions of nonlinear differential systems; Berry smoothing.
1999-03-05
Ladders arePSPACE-complete
2000-11-20
Enhancing Requirements and Change Management through Process Modelling and Measurement
2001-11-07
Stark-State Resonances Induced By Low-Frequency Elliptically Polarized Fields
2001-03-23
D Richards
, Zhao Yong
2001-01-30
Programming with Regions in the ML Kit for Version 4
2001-09-24
Improving the Efficiency of the PES Structure in Discrete Event Simulations
2001-05-11
Implementing the Combination of Time Sharing and Space Sharing on AP/Linux
1998-05-28
Kuniyasu Suzaki
Artificial Neural Network Prediction Of Wavelet Sub-Bands For Audio Compression
2000-03-13
Querying and Ranking XML Documents
2001-12-04
Te Whare Wananga o te Upoko o te Ika a Maui
1995-05-09
Paul Martin
A Statistical Classification Method for Hierarchical Irregular Objects
2001-02-01
Markus Peura
Phase of the USA Business Cycle and the Investment Performance of Internationally Diversified Portfolios
2000-02-28
The Cost of Adaptivity and Virtual Lanes in a Wormhole Router
1989-02-19
Lessons Learned While Operating Two Large SCI Clusters
2001-02-27
A PCA Approach for Fast Retrieval of Structural Patterns in Attributed Graphs
2001-08-17
End-to-End Congestion Control Schemes: Utility Functions, Random Losses and ECN Marks
2001-01-30
Convexity Ranks in Higher Dimension
2000-01-13
Menachem Kojman
Adaptive Method of Lines for Magneto-Hydrodynamic PDE Models
2001-05-31
Total Colouring With Delta+polylog Delta Colours
2001-08-15
Using Constraints for the Identification of Buildings in Aerial Images
2001-01-12
Bayes Predictions of High Quantiles in a Multivariate Extreme Value Model with Regression
2001-05-08
Simulation Study of PRCA and FCVC in ATM LANs Supporting TCP/IP
1995-06-29
PROCEEDINGS RUSSELL L. ACKOFF and THE ADVENT OF SYSTEMS THINKING
2000-04-27
Online Strip Packing With Modifiable Boxes
2001-05-14
Integrating Web-based E-Commerce Applications with Business Application Systems
2001-09-06
Martin Gaedke
Capacity Of Cellular Cdma Systems Applying Interference Cancellation And Channel Coding
1997-11-19
Interactive Segmentation Of The Hippocampus From Magnetic Resonance Images Using Deformable Shape Templates
1998-09-28
Edge Sequences, Ribbon Tableaux, and an Action of Affine Permutations
1997-07-30
Representational Capacity Of Face Coding In Monkeys
2001-09-10
Simulating A Shared Associative Memory On A Transputer Network: Linda
1995-03-15
Logic Programming Agents and Game Theory
2001-12-08
Unknown
1998-12-09
A Theory and Implementation of Cognitive Mobile Robots
1998-09-23
On weak Brownian motions of arbitrary order
2000-07-11
People, Places, Things: Web Presence for the Real World
2001-06-25
A Hierarchical Mechanism for the Scalable Deployment of Services Over Large Programmable and Heterogeneous Networks
2001-06-25
Forthcoming in
2000-12-18
Raimo Tuomela
Eye-In-Hand Robotic Tasks In Uncalibrated Environments
2001-07-25
First-Class Modules for Haskell
2001-12-15
The Physics Of Cluster Mergers
2001-09-14
Craig L. Sarazin
A Rule-Based Inference Engine which is Optimal and VLSI Implementable
2001-02-04
The Competitive Balance of the Italian and American Film Industries
2000-08-12
The JOSES Project - Compiling Java for Embedded Systems
2001-03-07
Domain Decomposition Techniques in Parallelization of the 3-dimensional FRONTSIM code.
1997-03-25
Some Basic Properties of Many Sorted Sets
2002-01-09
Artur Kornilowicz
On Analytic Continuation Of Multiple L-Functions And Related Zeta-Functions
2002-01-15
Domain-Specific Word Prediction For Augmentative Communication
2001-11-12
Gregory W. Lesher
Local Search Techniques For Educational Timetabling Problems
2002-01-11
A Novel Method for Stochastic Nonlinearity Analysis of a CMOS Pipeline ADC
2001-03-22
Modelling the Effects of Combining Diverse Software Fault Detection Techniques
2000-12-22
Sequential Sales, Learning, and Cascades
2000-05-06
Succinct Solvers
2001-08-10
Flemming Nielson
Robust and Fast Medical Registration of 3D-Multi-Modality Data Sets
2001-03-27
Embedded Processors: Characteristics and Trends
2001-10-04
A Database for Field Extensions of the Rationals
2001-11-07
A Comparison And Review Of Java Based Mobile Agent Development Frameworks
2000-02-01
Glenn Huebscher
The Model Checker
1999-11-09
Gerard J. Holzmann
A Virtual Machine for a Process Calculus
2000-10-09
Horn Scaling and MINOS Systematics Study
2001-03-08
R. H. Milburn
Solving 3D Geometric Constraints for Assembly Modelling
2000-08-30
A High-Performance Network Intrusion Detection System
1999-08-29
Attentional Activation of the Visual Thalamic Reticular Nucleus Depends on `top-Down' Inputs From the Primary Visual Cortex Via Corticogeniculate Pathways
2001-02-15
Vicente M. Montero
A magnetic model for the Ap star HD 192678
1998-09-02
Gaussian Elimination, Perturbation Theory and Markov Chains
2001-02-27
G. W. Stewart
A Hybrid Approach to Video Retrieval in a Generic Video Management and Application Processing Framework
2001-06-13
Space-Time Block-Coded OFDMA With Linear Precoding for Multirate Services
2002-01-16
Soluble Omega-Categorical Groups
1997-03-06
Methodology For The Increased Computational Efficiency Of Discrete-Event Simulation In 3 Dimensional Space
2000-04-22
The Policy Obstacle Course: The Realisation of Low-Level Policies in Distributed Computer Systems
1994-10-31
Estimates of Doppler Factors, Outflow Angles, and Bulk Lorentz Factors for a Sample of Compact Radio Sources
1998-08-21
Algorithms for Function Fields
2001-11-07
neuron-MOS-Based Sorters for Arithmetic Applications
2001-11-08
A Practical and Provably Secure Coalition-Resistant Group Signature Scheme
2000-06-06
Designing PETS: A Personal Electronic Teller of Stories
2000-02-01
Wavelet Methods for PDEs - Some Recent Developments
1999-12-07
Wolfgang Dahmen
Genetic Algorithms for Quantum Circuit Design --Evolving a Simpler Teleportation Circuit--
2001-06-15
Taro Yabuki
Authentic Reality Mediation for Multihandicapped Children by Multimedia Standard Applications
2001-02-27
Witha Zimmermann-hild
Policing and Group Cohesion When Resources Vary
2001-01-20
Steven A. Frank
Integrated Circuits for Digital Communications
2001-09-17
Detc2000/dtm-14550
2001-10-16
A New Duality Transformation for Fourth-Order Gravity
1999-05-10
Hans-jurgen Schmidt
Enhancement of Post Processing Step in Winbank's Off-line Character Recognition System
2001-08-15
Tony Wu
Routing Permutations and 2-1 Routing Requests in the Hypercube
2001-04-11
Internetworking IPv6 with CISCO Routers. Chapter 4: IPv6 Addresses
2001-06-29
The Spatial Gradient of Visual Masking By Object Substitution
2001-11-19
A Predictive Demand Assignment Multiple Access Protocol for Broadband Satellite Networks Supporting Internet Applications
2002-01-28
A Local Approach to Modal Logic for Multi-Agent Systems
2001-07-27
Some Sufficient Conditions For Convexity Of Multivariate Bernstein-Bezier Polynomials And Box Spline Surfaces
2001-01-09
Ming-jun Lai
Optimization of Paintbrush Rendering of Images by Dynamic MCMC methods
2001-07-23
From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition
2001-06-07
Non-stationary Function Optimization using Evolutionary Algorithms with a Case-based Memory
2001-04-25
Investigation of Tutorials in a Core Computing Subject
2002-01-15
Web-Interface for Multi-FPGA Card Pamette
2000-10-31
A Double-Loop Algorithm to Minimize the Bethe and Kikuchi Free Energies
2001-03-16
A. L. Yuille
Integral Non-Commutative Spaces
2000-11-10
S. Paul Smith
The User Modeling Shell System BGP-MS
2001-09-29
Symbolic And Audio Processing To Change The Expressive Intention Of A Recorded Music Performance
2001-03-08
Applying Genetic Algorithms to Outlier Detection
1995-07-19
Associating Cooking Video with Related Textbook
2001-04-27
Homeomorphic Restrictions Of Unimodal Maps
2001-03-28
Henk Bruin
Locating Objects in Mobile Computing
2001-07-10
A New Look at an Old Problem: Newton Cradle
2001-02-13
Squarish K-D Trees
2000-02-25
Comparison of OpenMP and Classical Multi-Threading Parallelization for Regular and Irregular Algorithms
2001-06-08
HSRA: High-Speed, Hierarchical Synchronous Reconfigurable Array
2001-11-01
TNO at TDT2001: Language Model-Based Topic Detection
2001-12-11
Vital and Health Statistics
2001-03-05
A System for Uniform and Multilingual Access to Structured Database and Web Information in a Tourism Domain
2000-09-06
An Approach To Quantitative Non-Functional Requirements In Software Development
2000-11-01
Andrew J. Ryan
Optimal Non-Uniform Wire-Sizing under the Elmore Delay Model
2000-05-19
Reconstruction of 3D Objects byIntegration of Multiple Range Data
2001-07-30
Algebraic transformations of Gauss hypergeometric functions
2001-06-27
Implementation of Single Precision Floating Point Square Root on FPGAs
2001-10-19
Automation Of Non-Verbal Communication Of Facial Expressions
2000-09-15
Parallel Robot Control Using Speculative Computation
2001-01-16
Against the Convergence of the Minor Component Analysis Neurons
2001-05-16
Equilibrium Energy Density Spectrum for Two Dimensional Ows in the Zero Viscosity Limit and Random Matrices
2001-05-28
Chjan C. Lim
Session / Sance 28-A Area-Normalized Thematic Views
1999-09-10
T. Alan Keahey
Mobile Agents for Monitoring Distributed Systems
2001-12-04
JVM Susceptibility to Memory Errors
2001-08-17
A Quick-Reference Guide To Larry Semon Films And Their Foreign Titles
2001-12-03
Experiences With Secure Electronic Mail
2000-10-30
Michael Roe
Efficient Indexing of Spatiotemporal Objects
2001-12-01
Tool Support for Software Development
2001-02-15
Michael Thomsen
Interactive-Rate Animation Generation by Parallel Progressive Ray-Tracing on Distributed-Memory Machines
2001-06-25
Government Turnover in Parliamentary Democracies
1999-08-17
Daniel Diermeier
Visual Design of Software Architecture and Evolution based on Graph Transformation
2001-06-15
Higher-Order Transformation of Logic Programs
2000-06-16
Vision-Based Lateral Control Of Vehicles
2001-08-15
Finite-Dimensional Representations Of Quantum Affine Algebras
2001-04-05
Tatsuya Akasaka
Wormhole Routing in Parallel Computers
2001-03-15
Ayse Yasemin Seydim
Packet Header
2001-05-23
'hyhorslqj 5hfrpphqgdwlrq 6huylfhv Iru D 'ljlwdo /leudu Zlwk Qfhuwdlq Qg Kdqjlqj Dwd
2001-07-08
Hopf Bifurcation of the Unsteady Regularized Driven Cavity Flow
2001-09-21
Jie Shen
Ginis in General Equilibrium: Trade, Technology and Southern Inequality
2001-09-07
A coarsification of the Wagner Hierarchy
2002-01-10
Equipe De Logique Math'emathique
Learning Geometric Transformations with Clifford Neurons
2001-02-02
User Interfaces for the Productive Information Society
2001-03-23
Wolf Ghring
Structures for Lazy Semantics
1998-01-13
A High Performance Systolic Chip for Spelling Correction
2001-07-18
Dominique Lavenier
Search Strategies for Peg-in-Hole Assemblies with Position Uncertainty
2001-08-07
Robot Reliability Through Fuzzy Markov Models
1999-12-31
Martin Leuschen
Faster Kinetic Heaps and Their Use in Broadcast Scheduling Extended Abstract
2000-11-02
On the Integration of Heterogeneous Web Service Partners
2001-11-19
Periodic Broadcasting with VBR-Encoded Video
2000-11-08
Stark's Question And A Strong Form Of Brumer's Conjecture
2001-09-06
TINA Business Model and Reference Points
1999-07-09
PAC Learning with Simple Examples
2001-09-12
Hypergraph Formalism for Urban Form Specification
1998-09-14
Analysis and Optimization of Structured Power/Ground Networks
2001-08-20
Using Experiments to Build a Body of Knowledge
2001-07-09
Associative Rings Satisfying The Engel Condition
1997-04-08
Smoothing Spline Anova For Multivariate Bernoulli Observations, With Application To Ophthalmology Data
1999-11-03
Financial Structure And The Interest Rate Channel Of Ecb Monetary Policy
2001-03-07
Minimally Generating Ideals of Rational Parametric Curves in Polynomial Time
2001-04-05
Self-Reference and Validity revisited
2000-06-20
Stephen Read
Of Dispositions, Attitudes, And Habits: Exploring How Emotions Shape Our Thinking
1999-06-22
Ron Ritchhart
DissectingCisse Ground: Examining an Instance of Reference Repair
2001-05-24
Hardware-Accelerated High-Quality Reconstruction of Volumetric Data on PC Graphics Hardware
2001-12-06
Compiling SML to Java Bytecode
1998-02-03
Peter Bertelsen C
Risk Arbitrage in Takeovers
2000-02-15
Specifying Logic Programs in Controlled Natural Language
2001-06-14
Evolutionary Algorithm for the Design of Stack Filters Specified using Selection Probabilities
1999-05-17
Crashes, Contagion, and International Diversification
2001-12-14
-Free Graphs Without Large
2001-04-20
Michael Krivelevich
GS: A Network that Learns Important Features
1995-07-13
Parallel scalar multiplication on general elliptic curves over F_p hedged against Non-Differential Side-Channel Attacks
2002-01-09
Estimates For The Accuracy Of Coupling In The Central Limit Theorem
2001-11-05
A. I. Sakhanenko
Information structure, Implicatures, and Discourse Connectives
2000-10-09
Bonnie L. Webber
Forecasts From Fits of Frontal Fluctuations
2001-08-01
A Flow-Field Instability By the Hydro-Dynamical "alpha-Effect"
1998-09-24
Automatic Optimization of Dialogue Management
2000-04-14
A Compiler for Application-Specific Signal Processors
2001-04-24
Human GC-AG alternative intron isoforms with weak donor sites show enhanced consensus at acceptor exon positions
2001-06-16
Slicing Books - The Authors' Perspective
2001-07-27
David Gale's Subset Take-Away Game
2000-08-17
TCP mechanisms for Di-Serv Architecture
1999-09-24
COCA: Collaborative Objects Coordination Architecture
2000-06-26
The Mathematical Modelling of Capillary Drawing for Holey Fibre Manufacture
2001-10-25
Limits of Control Flow on Parallelism
1995-04-19
An International Agenda For Better Construction?
1999-07-17
Interactive Pronunciation Training
2001-01-25
Parallelizing Satz Using Dynamic Workload Balancing
2001-09-11
The Diagonal Polynomials of Dimension Four
2001-11-29
Multiple Representation Approach in Multimedia based Intelligent Educational Systems
2001-04-04
Ashok Patel
A Preconditioned Conjugate Gradient Approach to Linear Equality Constrained Minimization
2000-09-04
Multiresolution Cache Management for Distributed Satellite Image Databases Using NACSIS-Thai International Link
2001-12-01
Asanobu Kitamoto
Experimentelle Untersuchung von Spracheingaben unter kognitiver Belastung zur Benutzermodellbildung
2001-03-21
Design Of A Multi-Layer Bandwidth Broker Architecture
2000-11-03
IDA-Based Protocols for Reliable Multicast
2001-06-12
Vertebrate Freeze Tolerance: Molecular Studies of Signal Transduction and Gene Expression
2001-10-18
Adaptive Sampling of Implicit Surfaces for Interactive Modeling and Animation
1998-11-01
Towards an Implementation of a Multilevel ILU Preconditioner on Shared-Memory Computers
2002-01-16
Arnold Meijster
T E X and
1997-10-31
Representing Change by Aspect
2001-07-11
Boston College April 8, 1993
2000-01-20
Robert Gross
QoS-Sensitive Flows: Issues in IP Packet Handling
2001-01-18
Saleem Bhatti
Heegner points, Heegner cycles, and congruences
2001-07-17
Interpolation based Assertion Mining
2001-09-19
Stefan Schlobach
The Use of Proof in Diversity Arguments
2000-12-22
Bev Littlewood
An Overview of Static Power Dissipation
2001-11-12
Jayanth Srinivasan
Self Stabilizing Distributed Queuing
2001-09-10
Maurice Herlihy
Virtual Environments With Four Or More Spatial Dimensions
2001-01-05
Gregory Seyranian
Lookahead and Latent Learning in ZCS
2001-07-10
Larry Bull
Compatible Genericity with Run-time Types for the Java
2001-08-28
Prioritized Token-Based MutualExclusion for Distributed Systems
1998-10-26
Frank Mueller
On Stationary Vacuum Solutions To The Einstein Equations
2000-06-12
Michael T. Anderson
Intrinsic Shapes of Molecular Cloud Cores
2001-01-08
Optimal Diversity Allocation in Multiuser Communication Systems---Part II: Optimization
2000-08-11
Rapid Evaluation of Catmull-Clark Subdivision Surfaces
2001-12-15
Deep H-band Galaxy Counts and Half-light Radii from HST/NICMOS Parallel Observations
1999-03-11
Double-Slit Interference of Biphotons Generated in Spontaneous Parametric Downconversion From a Thick Crystal
2001-02-20
Near-Optimal Parameters For Tikhonov And Other Regularization Methods
2001-02-27
Dianne P. O'leary
ADMIT-1: Automatic Differentiation and MATLAB Interface Toolbox
2001-05-09
Approximating Shallow-Light Spanning Trees and Group Steiner Trees
2002-01-01
Amitabh Sinha
Error Estimation for Numerical Differential Equations
1995-12-13
A Unified Finite Element Model for the Injection Molding Process
1998-06-26
The Longest Segment in the Complement of a Packing
2001-01-29
Jr. G. Tardos
Yakubovich
2001-02-05
A. Yakubovich
Structure Of Three-Interval Exchange Transformations III: Ergodic And Spectral Properties
2001-12-10
Max-norm Projections for Factored MDPs
2001-03-03
Implementing Artificial Neural Network Designs: Final Report
1998-04-08
Spectral Efficiency of Multiuser Systems Based on CDMA with Linear MMSE Interference Suppression
1997-06-09
English Senseval: Report and Results
2001-10-09
Person Recognition Using Acoustic and Visual Cues
1995-09-06
An Active Service for Multicast Video Distribution
2001-09-24
Component Verification and Certification in NASA Missions
2001-04-18
Silk: A Java-Based Process Simulation Language
2000-04-22
Case-Based Reasoning from Text Documents
1999-10-19
Computing Riemann-Roch spaces in algebraic function fields and related topics
2001-11-16
F. He
A Tree Projection Algorithm For Generation of Frequent Itemsets
2002-01-01
Type Inference With Recursive Types At Different Ranks
2001-01-14
Santiago M. Pericas-geertsen
On the Number of Maximal Soluble Subgroups of a Finite Group
1999-12-07
Alexandre V. Borovik
An End-to-end Congestion Control Mechanism for Internet Video
2002-01-02
Implementing the Davis-Putnam Method
2002-01-19
The SimpleScalar Tool Set, Version 2.0
2001-11-28
A Gateway-Assisted Approach Toward QoS Adaptations
2000-08-28
Perturbation Theory of W*-Dynamics, Liouvilleans and KMS-States
2001-11-28
Snopt: An SQP Algorithm For Large-Scale Constrained Optimization
2001-12-12
Query Optimization
2001-11-21
Yannis E. Ioannidis
Bowling Together: Online Public Engagement in Policy Deliberation
2001-11-30
Preferred Answer Sets for Extended Logic Programs
2001-10-24
A Class of Trellis-Codes for Partial Response Channel
1999-02-04
ii TABLE OF
1997-01-29
Stefan Brandle
Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data
2001-04-21
Non-parametric Local Transforms for Computing Visual Correspondence
2000-10-25
Ramin Zabih
Speeding Up the Search for Optimal Partitions
2002-01-03
Tapio Elomaa
Stereo Vision Based Mapping and Navigation for Mobile Robots
2001-01-12
Lexicographically Optimal Balanced Networks
2001-12-05
Descriptions 61 A. A Type-2
2001-12-11
Linguistic Discontinuity Around 3 Or 4
2000-11-09
James R Hurford
Interactive Constraints for Plan Construction and Execution
2000-04-21
Deployment Scenarios for Interworking
1995-11-15
Stub-Code Performance is Becoming Important
2001-12-11
Pursuit and Evasion on a Ring: An Infinite Hierarchy for Parallel Real-Time Systems
2001-05-07
Self-reconfiguration Planning with Compressible Unit Modules
1998-10-27
An Example of Real Analytic Strongly Pseudoconvex Hypersurfaces Which Is Not Holomorphically Equivalent to Any Algebraic Hypersurfaces
2001-10-02
Parsec: Direct Style Monadic Parser Combinators For The Real World
2001-10-04
Incorporation of a Leverage Effect in a Stochastic Volatility Model
1998-08-19
Ole E. Barndorff-nielsen
Bounding the Performance of Dynamic Channel Allocation with QoS Provisioning for Distributed Admission Control in Wireless Networks
2000-11-02
Airspace Congestion Smoothing by Stochastic Optimization
1997-05-22
Coda File System User and System Administrators Manual
2000-05-24
BUG: A Directed Bottom Up Generator for Unification Based Formalisms.
1994-11-25
Gertjan Van Noord
SVM Kernels for Time Series Analysis
2001-10-18
Stefan R Uping
On the Throughput of Input-Queued Cell-Based Switches with Multicast Traffic
2001-12-14
Portfolio Management Using Portfolio Theory Techniques and the PMSP Professional Software Package
2000-02-28
David Nawrocki
MOOSE: an Extensible Language-Independent Environment for Reengineering Object-Oriented Systems
2000-03-10
Reporting of Standard Cell Placement Results
2002-01-13
Rescaling the Energy Function in Hopfield Networks
2000-12-06
How Important Is Human Capital for Development?
2001-03-19
Lutz Hendricks
V-Horn: a Horn-based second-order theory of arithmetic
2000-06-04
Antonina Kolokolova
Design and Analysis of Practical Public-Key Encryption Schemes Secure against Adaptive Chosen Ciphertext Attack
2001-12-17
FEEDERS-TDMA - A Distributed-Control Algorithm for Satellite Channel Capacity Assignment . . .
2000-10-25
A Characterization of Single-Link Search in Learning Belief Networks
1999-02-18
Y. Xiang
Imperfect Common Knowledge and the Eects of Monetary Policy
2001-10-29
Michael Woodford
Designs and Codes: An update
1998-10-26
Hybrid Analytical-Statistical Modeling for Efficiently Exploring Architecture and Workload Design Spaces
2001-06-18
Neuse River Estuary Modeling and Monitoring Project Stage 1: Predictions and Unvertainty Analysis of Response to Nutrient Loading Using a Mechanistic Eutrophication Model
2000-09-29
Hierarchical Segmentation of CT Head Images
2001-10-19
Atomistic Simulation of the Pressure--Temperature--Volume Diagram in
1996-06-08
A Computational Model for a Distributed Object-Oriented Operating System Based on a Reflective Abstract Machine
2000-11-08
1-Hyperbolic Graphs
2000-11-07
A Balanced Scorecard Analysis of Performance Metrics
2000-08-11
Enhancing Architectural Mismatch Detection with Assumptions
2001-09-28
Saccharomyces Cerevisiae
2001-04-10
On the Convergence of Multipoint Iterations
2001-02-27
Copyright
2001-03-28
Democracy, Responsibility, and Information Technology
2001-10-01
Bernd Carsten Stahl
Recurrent Cortical Amplification Produces Complex Cell Responses
2001-09-10
Cellular Channel Assignment: Comparing and Simplifying Heuristics
2001-12-19
The Mass of the Milky Way
2001-11-13
Oiwei Ivy Wong
Automatic Distinction of Arguments and Modifiers: the Case of Prepositional Phrases
2001-10-25
Performance Evaluation of a . . .
2001-05-21
Emerging Patterns in a Hyperbolic Model for Locally Interacting Cell Systems
2001-12-11
Wavelets and Their Associated Operators
2000-01-19
Amos Ron
Image Segmentation using Wavelet-domain Classification
2001-08-24
Distribution of Mutual Information
2002-01-25
Marcus Hutter
Performance Analysis of a Managed Bandwidth Service for ATM Networks
2001-12-10
Comparison of Distance Measures for Geometric Shapes
2001-12-14
3D Scene Analysis From Image Sequences: Parametric and Machine Learning Methods
2000-11-15
Francesca Odone
An Empirical Investigation of an Object-Oriented Software System
2001-01-29
Quality aspects of software product supply and support using the Internet
1999-11-10
Knowledge-based access to the Web
1996-10-23
A Fast Index for Semistructured Data
2001-08-30
Searching The Web: The Public and Their Queries
2001-12-13
CDC cathode clustering and track matching
1998-09-12
Global Qualitative Analysis of a Ratio-Dependent Predator-Prey System
2001-06-07
Yang Kuang
General Synthetic Domain Theory - A Logical Approach
2000-05-08
Calculi with dependency relations for Mixed Linear Logic Extended Abstract
2001-08-30
Hospitexte: towards a document-based Hypertextual Electronic Medical Record
2001-12-05
Copper Interconnects for High-Speed, Low-Power Static Memories
2002-01-30
Person Localization Posture Recognition for Human-Robot Interaction
1998-11-16
Sci 10. Science Society Sci 10. Science Society
2001-11-05
Lexical contact during speech perception: A connectionist model
2000-06-26
The Existence and Uniqueness of Solutions by the Covering Domain Method in Linear Elastostatics
1996-02-29
X. Ballmann
Easy and Hard Constraint Ranking in Optimality Theory: Algorithms And Complexity
2001-01-20
A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation
2001-12-08
Automation Controller Interface Specification
2001-12-07
Decision and Risk Analysis for Process Evolution
2000-05-30
An Algebraic Approach To Multi-Sorted Constraints
2001-10-31
The OCL Metamodel and the UML_OCL package
2000-09-21
Marc Bodenmller
Multispeaker Speech Activity Detection For The Icsi Meeting Recorder
2001-10-01
Evolution of a Dynamic Rule-based Application
1999-11-11
Fast Self-Stabilizing Depth-First Token Circulation
2001-07-13
A Self-Organizing Neural Network Model of the Acquisition of Word Meaning
2001-11-21
Ping Li
Adding Extra Input/Output Modalities to a Spoken Dialogue System
2001-08-31
Density-Functional Study of the Hydrogen-Bonded Water Cluster H
2001-06-15
MCMC, Sufficient Statistics and Particle Filters
2001-08-17
Weaving the Software Development Process Between Requirements and Architectures
2001-04-14
Bashar Nuseibeh
Adversarial Queuing Theory
2001-08-21
A Sharp Concentration Inequality With Applications
2000-04-02
Pascal Massart
Computational Engineering and Science Program at the University of Utah
2001-11-06
Flame Recognition in Video
2001-09-19
Managing Process Inconsistency using Viewpoints
1998-04-06
Error Eliminating Rapid Ultrasonic Firing for Mobile Robot Obstacle Avoidance
1996-01-16
Advanced Bash-Scripting Guide
2002-01-07
Mendel Cooper
The Supply and Demand for Eurosystem Deposits - The First 18 Months
2001-03-07
ASACA: An Adaptive Service Admission Control Algorithm to Guarantee Delay Constraints in Integrated Services Packet Networks
2001-02-19
Hand-Eye Calibration from Image Derivatives
2000-04-04
An Alternative Algorithm for Computing Watersheds on Shared Memory Parallel Computers
2002-01-16
Improving Image Compression - Is It Worth The Effort?
2001-04-10
Ralf Tpulsr. bvq'crv+vtyw'+puht'yv
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
2001-10-24
Executive Compensation in the Information Technology Industry
2000-08-11
ASTEROSEISMIC INFERENCE FOR SOLAR-TYPE STARS M.J.P.F.G. Monteiro
2001-09-12
Chromatic Neighbourhood Sets
2001-08-15
Michael Molloy
Mining Semi-Structured Data by Path Expressions
2001-05-16
Evaluation of Software Systems
2000-10-24
Joint Source Channel Coding With Hybrid FEC/ARQ For Buffer Constrained Video Transmission
1999-04-13
September 13, 2000
2001-08-28
X-tract: Structure extraction from botanical textual descriptions
1999-06-01
Radiation Belt Transport Theory Using Phase-Space Lagrangian Methods
2001-08-15
Timed Cooperating Automata
2000-09-26
Australian Journal of Physics
2000-08-15
Constraint Processing and Logic Programming
2000-05-08
Tinmith-evo5 - An Architecture for Supporting Mobile Augmented Reality Environments
2001-09-06
Copyright by Jae H. Kim, 1997 i c
2002-01-15
Photometric observations of the radio bright Be/X-ray binary CI Cam
2001-10-04
Optimized Needle Biopsy Strategies For Prostate Cancer Detection
2001-06-13
Primary decomposition of the Mayr-Meyer ideal - Unedited collection of facts
2001-11-07
Irena Swanson
Space-Optimized Markov Chain Model for File Prefetching
2000-12-15
Dennis Geels
Lifting of Nichols Algebras of Type
2001-04-18
Power Conscious Test Synthesis and Scheduling for BIST RTL Data Paths
2001-01-24
Helping students build inquiry skills by establishing classroom norms: How teachers appropriate software affordances
2002-01-15
A Global Constraint for Parallelizing the Execution of Task Sets in Non-Preemptive Scheduling
2001-08-20
Michael Marte
ORTHOVEC: Version 2 of the REDUCE program for 3-D vector analysis in orthogonal curvilinear coordinates
2000-02-17
A KnowledgeBased System for Software Maintenance
2000-04-04
is a registered trademark of Informix Software Incorporated. UNIX
2000-02-08
Blink-Perturbed Saccades in Monkey. II. Superior Colliculus Activity
2000-06-12
Image Analogies
2001-05-23
An Autobiography of Polyadic Algebras
2000-05-18
Integrating Support for Collaboration-unaware VRML Models into Cooperative Applications
2000-08-08
Implementation of
2001-09-04
Discrete Breathers: Classical and Quantum
2000-10-07
Learning from Imperfect Data
1999-12-03
Surface Reflectance Estimation and Natural Illumination Statistics
2001-07-03
A Novel Specification and Design Methodology Of Embedded Multiprocessor Signal Processing Systems Using High-Performance Middleware
2000-04-27
Thoughtful Drawings: A Computational Model of the Cognitive Nature of Children's Drawing
1995-09-14
Explicit Inversion Formulas For A Model In Diffuse Tomography
2001-04-17
Geometrical Parameters Extraction from Discrete Paths
1997-01-08
Control Issues to Improve Visual Control of Motion: Applications in Active Tracking of Moving Targets
2000-09-01
An Inductive Approach to Formalizing Notions of Number Theory Proofs
2001-09-07
Thomas Marthedal Rasmussen
Customer Interaction and Digitizability - a Structural Approach to Mass Customization
2001-12-29
Frank Piller
Web Services: Why and How
2001-11-19
A Comparison of the Effects of Decommissioning, Catch Quotas, and Mesh Regulation in Restoring a Depleted Fishery
1998-09-10
Tests for Comparing Mark-Specific Hazards and Cumulative Incidence Functions
2001-05-28
Adaptive Packet Marking for Providing Differentiated Services in the Internet
2000-10-16
Descriptive Sampling: An Improvement Over Latin Hypercube Sampling
2000-04-21
Eduardo Saliby
Threaded Code Variations and Optimizations
2001-12-10
Bijections for Hook Pair Identities
2000-05-09
C. Krattenthaler
Subcontinua of Inverse Limit Spaces of Unimodal Maps
2001-03-28
Simulation Level-Of-Detail
2001-03-26
Stephen Chenney
Architecture-Based Quality-of-Service: Specification and Program Generation
2000-10-11
Towards disambiguation in Czech corpora
1999-12-03
Performance Impact Of The Elimination Of Direct Labor Variance Reporting: A Field Study 1.
2000-08-11
Compositional Verification of Synchronous Networks
2001-04-19
Leszek Holenderski
Tolerance Synthesis Using Second-Order Fuzzy Comprehensive Evaluation and Genetic Algorithm
2001-12-11
Knowledgescapes: A Probabilistic Model for Mining Tacit Knowledge for Information Retrieval
2001-06-25
Heyning Adrian Cheng
Local Area Networks Using a Spatial Wavelength Cross Connect
2000-09-25
Unknown
2001-01-19
Improving a Fixed Parameter Tractability Time Bound for the Shadow Problem
2001-11-27
Improving the Trade-O Between Storage and Communication in Broadcast Encryption Schemes
2001-10-05
Decision Control in RoboCup Teams
1999-02-23
V Ve er rs sa at ti il le e, , C CD D- -R RO OM M b ba as se ed d, , M MP PE EG G A Au ud di io o D De ev ve el lo op pm me en nt t B Bo oa ar rd d
2000-11-27
Ciudad Universitaria S/n
Numerical Solution of Linear and Non-Linear Fractional Differential Equations Involving Fractional Derivatives of Several Orders
2001-02-27
An Efficient Off-line Electronic Cash System Based On The Representation Problem
1994-12-11
Report No. 6
1998-09-22
Deutsches Klimarechenzentrum
Molecular-level Thermodynamic and Kinetic Parameters for the Self-assembly of Apoferritin Molecules into Crystals
2000-12-13
Determinants of Successful Intranet Implementation: A Comparative Case Study
1999-06-29
George A. Zolla
The Diffusion and Assimilation of Information Technology Innovations
2001-09-12
Robert G. Fichman
Active Models for Dynamic Networked Organisations
2000-11-30
Sintef Telecom
Case History In-situ, high-resolution
1999-12-20
Recruitment of Binding and Binding-Error Detector Circuits Via Long-Term Potentiation
1999-11-24
Lokendra Shastri
The Flag Taxonomy of Open Hypermedia Systems
2001-10-15
-740: Computer Architecture Fall 1999 Syllabus
1999-09-09
Bridging Bonobo Components
2001-11-26
Abdelmalek Squalli Houssaini
Difference Sets Corresponding to a Class of Symmetric Designs
1997-10-14
A Nyström algorithm for electrostatics of an anisotropic composite
1996-04-25
Johan Helsing
Advanced Real-time Mission Management for an AUV
2000-09-28
Planar-Adaptive Routing par :low-Cost Adaptive Networks For Multiprocessors
2002-01-16
Jae H. Kim
The Analysis of Animate Object Motion using Neural Networks and Snakes
2002-01-07
Mobile Radio Window Random-Access Algorithm with Diversity
2001-09-21
Senior Member
Management of Evolving Specifications Using Category Theory
1999-02-04
A Collision-based Model of Spiral Phyllotaxis
2000-08-18
A Comparative Study of Well-founded Semantics for Disjunctive Logic Programs
2001-06-07
Kewen Wang
Improved Low-Degree Testing and Its Applications
2001-08-21
Sanjeev Arora
Protocols for Media Access Control and Power Control in Wireless Networks
2001-11-13
Uniform Bounds for the Number of Rational Points of Families of Curves of Genus 2
2001-08-16
Constant-Time Root Scanning for Deterministic Garbage Collection
2001-10-26
Scalable Trigger Processing in TriggerMan
2002-01-16
Efficient Detection of Vacuity in Temporal Model Checking
2001-08-12
TinkerType: A Language for Playing with Formal Systems
1999-12-16
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
Mutually Refining DPCM System with Applications in Frame Erasure Channels
2001-01-19
Dr. V. A. Vaishampayan
A Survey of Routing Techniques for Mobile Communications Networks
2000-03-06
S. Ramanathan
Multi-Prover Encoding Schemes and Three-Prover Proof Systems
2001-01-29
AssemblyofTopic Extraction Modules in SUMMARIST
2001-04-20
Chin-yew Lin
Design of aMedium Access Control Protocol for a WDMA/TDMA Photonic Ring Network
1998-11-16
Distributed Learning Via The World Wide Web Through Interactive Modules
2001-01-20
John W. Lockwood
KI Revisited
1995-07-19
Pseudo Pin Assignment with Crosstalk Noise Control
2000-06-14
Opportunistic Logic Program Analysis and Optimisation: Enhanced Schema-Based Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation
2002-01-16
Geometric Algebra: a Framework for Computing Point and Line Correspondences and Projective Structure using n Uncalibrated Cameras
2000-10-10
TCP in Presence of Bursty Losses
2000-02-16
Issues in Nonprehensile Manipulation
2001-12-01
Statistical Non-Parametric Algorithms to Estimate the Optimal Software Rejuvenation Schedule
2000-12-26
.5 Nitrogen Dry Deposition At An Ameriflux Site
2000-11-29
An Mpeg Encoder Incorporating Perceptually Based Quantisation
2001-07-03
On Operations along the Generalization/Specialization Dimension
2001-11-16
Simulation Modelling of Parallel Systems
1998-04-24
Cross Entropy Guided Ant-like Agents Finding Dependable Primary/Backup Path Patterns in Networks
2002-01-08
Vanishing Aspe
2001-03-15
Jumpingas Ects
OSU Narrowband Testbed Base Station Radio Specification
2000-02-19
Approximating Minimum Feedback Sets and Multi-Cuts in Directed Graphs
2001-08-17
Functional Separation Of Variables For Laplace Equations In Two Dimensions
2001-12-10
Digital Libraries and the Open Information Locator project
1996-06-28
Noise Reduction Using an Undecimated Discrete Wavelet Transform
2001-08-24
Smart Sensors for 3D Digitization
2002-01-16
View Dependent Information Theory Quality Measures in Flatland
2001-05-07
MCI-embedded Motion Compensated Prediction for Quality EnhancementofFrame Interpolation
2002-01-02
Temporal Embedding
2000-11-23
A Characterization of the Class of Polygons Searchable by a 1-Searcher
2001-03-26
Unknown
2002-01-15
Some Hopf Algebras of Trees
2001-09-10
Mathematisch Instituut
An Overview of Enterprise Resource Planning Systems in Manufacturing Enterprises
2001-06-05
Bayesian Analysis of Nonhomogeneous Markov Chains
2001-05-08
Dear Professor Harder, The simpler proof of Ratner's theorem 7, 9 due to Margulis and Tomanov 5, 6 can be sketched in 3 lectures as follows:
2001-03-09
MARX 3.0 Technical Manual
2002-01-15
Optimum Power and Rate Allocation Strategies for Multiple Access Fading Channels
2001-09-12
Proof Production in Decision Procedures
2001-10-19
Generalized Linear Discriminant Sequence Kernels For Speaker Recognition
2002-01-12
William M. Campbell
A Comparison of Fault-Tolerant State Machine Architectures for Space-Borne Electronics
1996-04-30
Many Familiar Categories Can Be Interpreted as Categories of Generalized Metric Spaces
2001-05-24
An Ontology for User Support in The Materials Microcharacterization Collaboratory
2001-04-23
Hypergeometric Expansions Of Heun Polynomials
2001-12-10
Table of
2001-10-31
Declarative Representation of Revision Strategies
2001-10-24
Gerhard Brewka
Developing Online Support for Clinical Information System Developers: The FAQ Approach
2002-01-16
Non-Problems and Social Obligations in Human-Computer Conversation
2002-01-16
Multiprocessor Software Development for RACEway-based Real-Time Signal Processing Systems
2000-04-27
QoS in an Open Architecture of Real-Time ODP
2001-09-02
Environmental Chamber Study Of Maximum Incremental Reactivities Of Volatile Organic Compounds
1996-01-30
Combinational Test Generation for Various Classes of Acyclic Sequential Circuits
2001-11-06
Aircraft Ground Traffic Optimisation using a Genetic Algorithm
2001-05-11
Dynamic Agent Based Prioritized Resource Allocation for Stressed Networks
2001-01-18
Loop Optimizations for a Class of Memory-Constrained Computations
2001-10-03
Micropayments and Mental Transaction Costs
2001-05-29
Nick Szabo
Memories of ADJ
2001-09-07
Joseph A. Goguen
MANAGING SURROGATE OBJECTIVES TO OPTIMIZE A HELICOPTER ROTOR DESIGN -- Further Experiments AIAA MDO 98-4717 Andrew J. Booker and Paul D. Frank
1998-09-02
Opacity Shadow Maps
2001-07-24
A Unified Framework for Hybrid Control: Model and Optimal Control Theory
2001-08-06
Wavelets through a Looking Glass. The World of the Spectrum
2002-01-10
Can Stock Recommendations Predict Earnings Management and Analysts' Earnings Forecast Errors?
2001-11-20
Volume and File Structure for Write-Once and Rewritable Media using Non-Sequential Recording for Information Interchange
1998-09-16
Even Cycles in Graphs
2001-10-23
Joseph G. Conlon
Upper and Lower Bounds on the Cutoff Rate for Coded Transmissions over Time-Correlated Rayleigh-Faded Mobile-Radio Links
2001-12-17
Morphology and Evolution of the SMC Planetary Nebulae
2001-10-17
A Note on Roth's Theorem
2000-01-20
Robert Gross
A Free Boundary Problem for a Quasi-linear Degenerate Elliptic Equation: Regular Reflection of Weak Shocks
2001-10-14
Barbara Lee Keyfitz
Domain Engineering
2000-09-30
J. L. Daz-herrera
Mining Frequent Patterns with Counting Inference
2001-05-21
A Case-Based Reasoning View of Automated Collaborative Filtering
2001-03-20
On-Off Sources and Worst Case Arrival Patterns of the Leaky Bucket
2001-05-10
Chapter 4. Limit Theorems In Statistics
2000-01-22
Deadlock-free Configuration Programming
2001-05-19
SPL: A Language and Compiler for DSP Algorithms
2001-04-11
Self-Certificate: PKI using Self-Certified Key
2001-12-13
Software Architecture Design in Information Systems Development: A Method Engineering View
2001-05-17
Kari Smolander
On Harmonic Weight Enumerators of Binary Codes
2000-06-30
Christine Bachoc
Dynamic Subdivision in Radiosity
2001-03-24
A Two-Dimensional Poisson-Equation Solver Implemented in Analog VLSI
1998-08-05
Beyond Algorithms: An HCI Perspective on Recommender Systems
2001-08-24
Searching for Mobile Intruders in a Polygonal Region by a Group of Mobile Searchers
2000-09-20
Overview of SAMPLE Proton and Deuteron Radiative Corrections Todd Averett, August 13, 1999
1999-08-15
Reliable Mobile Robot Navigation From Unreliable Visual Cues
2000-06-22
Generalized Cases: Representation and Application-Oriented Adaption of Electronic Designs
2000-02-29
Andreas Zimmermann
Technological Evolution Affecting the Maintenance Horizons
2001-03-20
Deciding K-Colorability in Expected Polynomial Time
2001-04-25
Michael Krivelevich
Performance Gain of Smart Antennas with Hybrid Combining at Handsets for the 3GPP WCDMA System
2001-11-12
Real Options Overview Business is beginning to recognize the value of real options analysis as demonstrated by at least three recent articles on this topic in the
2000-08-18
Aspects of the Dynamics of Discussions and Logics Handling Them
2001-06-15
Diderik Batens
Icrc 2001
2001-06-26
Contributions of Computer Vision to the Coding of Video Sequences
2001-05-25
Changing Modalities
2001-09-04
Gerard R. Renardel De Lavalette
A Generic Architecture for Programmable Traffic Shaper for High Speed Networks
2001-02-27
Note Coherence spaces are untopological
1999-11-18
Inge Bethke
Neurons with Two Sites of Synaptic Integration Learn Invariant Representations
2001-12-10
Decision Model and Cost-Effectiveness Analysis of Colorectal Cancer Screening and Sureillance Guidelines for Average-Risk Adults
2001-01-10
Schubert Polynomials and Combinatorial Resolutions
2001-11-08
Extending Translation Memories
2001-09-25
Emmanuel Planas
Hidden Field Equations HFE and Isomorphisms of Polynomials IP: two new Families of Asymmetric Algorithms
2001-10-20
Jacques Patarin
Washington
2001-06-04
Evaluation of Uncertainties in Cost Estimations
2001-03-26
A Lazy Scheduling Scheme for Hypercube
1999-06-25
Perceptual Learning for a Pattern Discrimination Task
2001-10-25
Design of the Kernel Language for the Parallel Inference Machine
2001-04-30
Permutations with Inversions
2001-11-19
Barbara H. Margolius
Implementation of a Parallel Algorithm on a Distributed Network
1995-03-17
K-Basis and Independent K-Basis in Interval Graphs
2001-01-31
A Personal and Portable Database Server : the CQL Card
2000-11-15
-- 1 -- Received ; accepted -- 2 --
1998-08-27
Contextual Deontic Logic: Normative Agents, Violations and Independence
2001-12-03
When it Sounds like a Duck and it Looks like a Dog... Auditory icons vs. Earcons in Multimedia Environments
2000-06-20
Horus: A Flexible Group Communications System
2001-09-17
The Power of Reachability Testing for Timed Automata
1998-09-04
Final Coalgebras
2001-04-25
Dirk Pattinson
Multiset Relations: a Tool for Proving Termination
2000-10-16
Engineering Multi-Agent Systems in LuCe
2000-01-05
A Trade-Off for Covering the Off-Diagonal Elements of Matrices
2002-01-23
Vince Grolmusz
Unknown
2001-08-08
Model-Based Indicators of Labour Market Rigidity
2001-04-18
Hidden Markov Models for Coding Story Recall Data
2000-06-26
A Research Agenda for Survivable Systems
2001-03-19
Integrating Task and Data Parallelism in UC
1994-09-06
Reusable HypertextStructures for Distance and JIT Learning
2000-05-22
From Set Based to Multiset Based Analysis: A practical approach
1998-10-07
Efficiently Publishing Relational Data as XML Documents
2000-11-20
Vibrating Rf Mems For Low Power Wireless Communications
2001-09-23
An Educational Tool for Visualize DNA Structures
1998-11-12
Spatial Interpretation of Domain Objects Integrated into a Freeform Electronic Whiteboard
1999-07-13
The Number of Hamiltonian Paths in a Rectangular Grid
2000-08-14
Models of Ontogenetic Development: The Dynamics of Learning
2001-01-25
Cv
2001-07-30
Application of Data Mining Techniques for Medical Image Classification
2001-12-14
Testing Cowling's Anti-Dynamo Theorem Near A Rotating Black Hole
1996-05-09
Parametric Algorithms for Mining Share Frequent Itemsets
2001-08-10
MediaBoard: A Shared Whiteboard Application for the MBone
2000-05-08
Teck-lee Tung
Reasoning About Temporal Relations: The Tractable Subalgebras Of Allen's Interval Algebra
2001-07-25
Models and Solution Techniques for Frequency Assignment Problems
2002-02-05
A Logic Programming Approach to Knowledge-State Planning II:. . .
2001-12-31
Energy of flows on Z
1999-09-08
Christopher Hoffman
View Planning as a Set Covering Problem
2002-01-15
The Path Resistance Method for Bounding
1996-11-21
*Project Team
2001-02-16
Acquisition and Propagation of Spatial Constraints Based on Qualitative Information
2001-03-19
Toru Ishida
Linear Programming Boosting via Column Generation
2001-05-04
Robust Simultaneous Registration of Multiple Range Images
2001-11-12
On Monotone Data Mining Languages
2001-08-28
Techniques For Measuring Rock Weathering: Application To A Dated Fan Segment Sequence In Southern Tunisia
2000-10-20
Multicuts in Unweighted Graphs and Digraphs with Bounded Degree and Bounded Tree-Width
2001-12-11
Efficient Computation of Flow with Cavitation with Compressible Pressure Correction
2001-01-09
Immunogold localisation of P-glycoprotein in supported lipid bilayers by transmission electron microscopy and atomic force microscopy
2001-08-10
Security Issues in the Diffie-Hellman Key Agreement Protocol
2001-12-03
A Bayesian Reflection on Surfaces
2001-11-19
David R. Wolf
Nonlinear Galerkin Method Using Legendre Polynomials
2001-09-21
Practical Network Support for IP Traceback
2001-03-29
Analysis of Tow-Placed, Variable-Stiness Laminates
1996-07-16
The Human Immune System and Network Intrusion Detection
2001-08-31
Nonlinear Noise Reduction for Electrocardiograms
1999-09-30
On Modelling and Reasoning About Hybrid Systems
1998-02-13
Some Orthogonal Very-Well-Poised ...-Functions that Generalize Askey-Wilson Polynomials
2001-08-10
Sergei K. Suslov
A logical reconstruction of SPKI
2001-10-15
Flexible Citizenship For A Global Society
2001-11-21
Bruno S. Frey
Single-photon 2-D imaging X-ray spectrometer employing trapping with four tunnel junctions
2000-07-06
Opportunity Cost Algorithms for Combinatorial Auctions
2000-09-28
Regulatory Remedies To The Common Pool: The Limits To Oil Field Unitization
2000-04-13
Performance of Traffic Scheduling for Wireless ATM Networks
2001-11-16
Seed Sets and Search Structures for Optimal Isocontour Extraction
2001-02-07
Is It Easier to Write Matrix Manipulation Programs Visually or Textually? An Empirical Study
2001-06-02
Representing Place/Transition Nets in SpanGraph
2000-01-17
The Specification of an Asynchronous Router
2001-03-18
Faron Moller
The UMB-CDB System
2001-02-27
Head-Eye Coordination: A Closed-Form Solution
2000-02-01
M. Xie
Distributed Marking System: CORBA Implementation
2000-04-05
Methods and Tools for the Design and Analysis of Distributed Supervision and Control Systems
2001-02-05
An Implementation of the Shared Data Formats Standard for Distributed Shared Memories
1999-05-07
Data Mining for Intelligent Web Caching
2001-12-13
Partitioning Input Space for Reinforcement Learning for Control
1999-03-09
Second Opinions and Price Competition: Inefficiency in the Market for Expert Advice
1998-10-09
Outline of a Linear Neural Network
2000-10-22