HTTP State Management Mechanism
2000-10-09
Infinitely Divisible Waiting-Time Distributions Underlying The Empirical Relaxation Responses
2000-03-29
A. Jurlewicz
Watermarking of 3D polygon based models with robustness against mesh simplification
2001-02-26
Oliver Benedens
Skeletal Images as Visual Cues in Graph Visualization
1999-03-30
Measuring Communication ofParallel Unification-Based Parsers
2000-11-15
M. P. Van Lohuizen
Characterizations of Qualitative Properties of C-regularized Semigroups in Terms of Their Generators
2000-06-30
Miao Li
What is an Intelligent Tutoring System? - Links: A column edited by Syed S. Ali and Susan McRoy
2001-01-24
A Computational Theory of Visual AnalogicalTransfer
2000-03-17
How to Improve Persistent-Object Management using Relationship Information?
2000-05-24
Intraoperative Diffusion Imaging on a 0.5 Tesla Interventional Scanner
2001-02-05
Combinatorial Auctions: A Survey
2001-02-21
Controversies in the History of the Radiation Reaction problem in General Relativity
1997-05-06
Daniel Kennefick
Description Of The Bell Labs Intonation System
1999-01-08
Implementation of the DECK environment with BIP
2000-07-18
A Distributed Object-Oriented Telescope Control System Based on RT-CORBA and ATM
1998-04-03
Jos M. Filgueira
Exploiting Domain Knowledge for Approximate Diagnosis
2000-06-06
Frank Van Harmelen
The Effect of the Web on Undergraduate Citation Behavior
2001-01-08
Integrating Cooperation Systems: An Event-Based Approach
1996-04-19
Query Optimization to Meet Performance Guarantees for Wide Area Applications
2001-03-01
Pci-ddc Application Programming Interface User Manual
2000-05-30
Eric Renault
The Application of the Wavelet Transform to the Processing of Aeromagnetic Data
2000-11-06
Randomization and Heavy-Tailed Behavior in Proof Planning
2001-03-15
Andreas Meier
Evaluation of Interprocess Communication Methods in a Component Based Environment
1970-01-01
Semantic Filtering by inference on domain knowledge in spoken language dialogue systems
2001-02-14
Persistent Operating System Support for Java
1996-10-23
B Wrap, unwrap and view functions
1996-02-13
Algorithms and Complexity
1997-02-03
Herbert S. Wilf
The Nonexistence of Certain Projective Planes of Order 15
1999-11-08
Compact Non-Left-Recursive Grammars Using the Selective Left-Corner Transform and Factoring
2000-07-25
Hybrid SVM/HMM Architectures for Speech Recognition
2000-10-24
The Dynamics of a Genetic Algorithm on a Model Hard Optimization Problem
1970-01-01
Agents, Games, and Evolution
2001-03-05
Steven Orla Kimbrough
High-Lift Flight Tunnel
2001-03-13
The Riemannian Geometry of Orbit Spaces. The Metric, Geodesics, and Integrable Systems
1970-01-01
The R2 Low-Power Messaging and Rendezvous Layer
2000-06-23
The Role Of Intelligent Mobile Agents In Network Management And Routing
2000-09-29
On the Absence of Phase Transition in the Monomer-Dimer Model
1999-04-01
Square of General Relativity
1997-03-03
Automatic Verification of Probabilistic Systems
2000-03-09
Tsuyoshi Morioka
Situation Calculus Specifications for Event Calculus Logic Programs
1998-04-03
Rob Miller
A Communication Architecture for Multiprocessor Networks
1990-04-15
A. Nowatzyk
Maximum likelihood estimation for the VARVARCH model: A new approach
2000-06-21
Recent Improvements in Speech Recognition Performance on Large Vocabulary Conversational Speech Voicemail and Switchboard
2000-08-04
Limit Surfaces of Riemann Examples
1999-12-14
A Generalization of Gordon's Theorem and Applications to Quasiperiodic Schrödinger Operators
2000-05-12
Experimental Evaluation of ATM Congestion Control Mechanisms
1996-12-19
Lightweight Extensible Records for Haskell
2001-02-13
A Differentiable Homotopy to Compute Nash Equilibria of n-Person Games
1999-11-02
Pairing Correlations in Transport Theories
1997-01-31
R. Fauser
Boundary Filters using Half-sinc Functions
2000-07-19
Peter Lynch Met
The Expressive Power and Complexity of Dynamic Process Graphs
2001-03-06
Identi Cation of Change in Maintenance Behaviour
2001-01-30
An Approach to Fault-tolerant Parallel Processing on Intermittently Idle, Heterogeneous Workstations
1997-09-28
Geometry of the Feigenbaum map
1999-05-19
Task-Driven Specialization Support For Object-Oriented Frameworks
2000-11-28
Nicky Best
1998-12-09
Predicated Array Data-Flow Analysis for Run-Time Parallelization
2000-02-09
The State of the Art in Distributed and Dependable Computing
1999-01-29
John Bates
Master of Philosophy MODELLING OF MATERIALS
2000-10-03
Automatic Rules Generation By G.a. For Eggshell Defect Classification
2001-02-22
Jabberwocky: You don't have to be a rocket scientist to change slides for a hydrogen combustion lecture
1999-11-01
Preliminary Design of the Control System for SSRF and BTCF
1998-04-03
AMIA: an environment for knowledge-based discrete-time systems simulation
2000-02-09
Learning to Play Strong Poker
2000-04-01
The Alarm System for the SPring-8 Storage Ring
1998-05-11
Human-to-Robot Skill Transfer Using the SPORE Approximation
2000-02-03
Orbit Feedback Development In SRRC
1998-04-03
Redesigning a Radio Frequency Control System with TACO Why and How?
1998-05-11
Geometrical approach to parameter dependent Lyapunov functions
2000-11-16
Complexity of Fuzzy Probability Logics
2001-03-02
Rate-Dependent Acoustic Modeling For Large Vocabulary Conversational Speech Recognition
2000-10-26
The ENABLEMachine A Systolic Second Level Trigger Processor for Track Finding
1999-03-22
Parallel Solution of a Coupled Flow and Transport Model for Shallow Water
2000-03-16
Node-Capacitated Multicommodity Routing for a PON Ring
2000-10-11
S-DSM for Heterogeneous Machine Architectures
2000-06-21
Collaborative Ad-hoc Applications
2000-11-17
4 N. Chiba, T. Nishizeki, S. Abe, and T. Ozawa. A linear algorithm for embedding planar graphs using PQ-trees.
1999-12-01
Using Visual Simulation to Evaluate Bicyclists' Perceptions of Selected Risk Factors
1999-11-11
User Agents in the Interface to Digital Libraries
1995-10-29
J. Alfredo Snchez
Chaotic Cutting Process and Determining Optimal Cutting Parameter Values Using Neural Networks
2001-01-05
Parallel Unification for Natural Language Processing
1998-02-02
The Effect of Syntactic Form on Simple Belief Revisions and Updates
2001-01-17
Automatic Transcription Verification Of Broadcast News And Similar Speech Corpora
2000-04-12
A Combined Maximum Mutual Information And Maximum Likelihood Approach For Mixture Density Splitting
1999-11-11
Trajectory Tracking for a Flexible One-Link Robot using a Nonlinear Noncollocated Output
2000-11-16
Reza Olfati-saber
The ADT Package for the Verbmobil Interface Term
2000-04-10
Michael Dorna
Sub-Operating Systems: A New Approach to Application Security
2001-02-12
Meta Object Facilities and their Role in Distributed Information Management Systems
1998-05-11
From AROM, a new Object Based Knowledge Representation System, to WebAROM, a Knowledge Bases Server
2000-11-16
Two Accounts of Scope Availability and Semantic Underspecification
1999-04-27
The Critical Spectrum Of A Strongly Continuous Semigroup
1998-10-01
Rainer Nagel
Talking About Multimedia: A Layered Design Framework
2000-06-08
Dijet Results from CDF and
1999-03-30
Takashi Asakawa
Radially Symmetric Solutions for a Class of Critical Exponent Elliptic Problems in
1996-08-29
C. O. Alves
Compositional Semantics of Non-deterministic Synchronous Languages
1995-08-30
Efficient Merging, Construction, and Maintenance of Evolutionary Trees
1999-10-20
Job Shop Scheduling
2000-10-10
Marc Friedman
Born-Form Approximation for ...
1999-12-15
Masaaki Kuroda
Study on support for distributed cooperation with Memory Based Communication Facility
1999-05-06
Hiroyuki Kamezawa
The Two-Money Theorem
1999-11-11
The Availability of Partial Scopings in an Underspecified Semantic Representation
1999-01-29
Rare Events and Closed Domains: Two Questionable Concepts in Speech Synthesis
2000-08-23
Towards a Method to Design Web Sites for Public Administrations
1999-12-28
Automated Control System for Radiation-Chemical Process of Composite Materials Formation
1998-05-11
Outsourcing of the New Wave Form Acquisition, Surveillance and Diagnostic System for the LEP Injection Kickers
1998-05-11
Development Theory, Universal Values and Competing Paradigms: Capitalist . . .
2000-04-20
Dr. E. A Brett
; Gingerich
1970-01-01
The Living Value Chain
1998-10-20
Clustering for Faster Network Simplex Pivots
2001-03-06
Noun incorporation and the Mohawk lexicon
1999-08-30
Robert P. Malouf
Jon Doyle
1994-04-05
Improving Logic Language Compilers
1999-03-11
Towards Superconducting Quantum Dots
2000-06-22
Design and Implementation of a Fully Associative Data Cache
2001-03-09
Architectural Considerations in Systems Supporting Dynamic Workflow Modification
1999-03-01
Generating User Interface Code in a Model BasedUser Interface Development Environment
2001-03-06
Synthesis of AsynchronousControl Circuits With Automatically Generated Relative Timing Assumptions
1999-12-16
Combined Space-Variant Maps for Optical Flow Based Navigation
2000-04-18
A Complete Axiomatisation of Branching Bisimulation for Process Algebras With Alternative Quantification Over Data
1998-12-01
Design of the PRESTO Multimedia Storage Network
2000-08-30
Telescope Loading: A Problem Reduction Approach
1996-12-18
John L. Bresina
Front-end Computing in the LEP2 RF System
1998-05-11
Bookreview of Loos, Eugene E. Editor, "Logical Relations in Discourse", 1999, The Summer Institute of Linguistics, Publisher: Academic Publications
1999-10-25
Microprocessor Automatic Control System for Control of Physics Plants Parameters
1998-05-11
Natural Language Multiprocessing: A Case Study
1998-04-24
RF System Stability Analysis by Simulink on Matlab
1998-04-03
A Comparison of Vsystem and EPICS
1998-04-03
Issues in Linguistic Segmentation
1999-03-31
Janyce M. Wiebe
Learning Concepts by Interaction
2000-04-09
Paul R. Cohen
Non-Deterministic Aspects of Object-Creating Database Transformations
2001-03-02
Library User Guide
1999-05-10
Asymptotic And Bayesian Confidence Intervals For Sharpe Style Weights
2000-10-24
On the Cryptanalysis of Huffman Codes
1998-10-14
An Assessment of Beowulf-class Computing for NASA Requirements: Initial Findings from the First NASA Workshop on Beowulf-class Clustered Computing
1998-06-29
A Demonstration IC For The P1149.4 Mixed Signal Test Standard
2001-03-11
Keith Lofstrom
A Survey of Embedding Problems in Topological Graph Theory
2000-08-17
Jorg Sawollek
Adding a Path Connectedness Operator to FO + poly
2000-08-10
Greedy Mapping of Terrain
2001-02-08
Bandwidth efficient Medium Access for an Inhouse wireless LAN
2001-03-01
Jorgbrakensiek Ortwin Franzen
How Hard is Hard Real-Time Communication on Field-Buses?
1998-09-23
Li Ming
Probabilistic Event Categorization
1997-10-29
Parallel Processing Of Natural Language Parsers
2000-11-15
M. P. Van Lohuizen
Progressive Approximate Aggregate Queries with a Multi-Resolution Tree Structure
2001-03-09
Accelerated Ion Energy Measurement by Means of Circulating Electron Flow
1998-05-11
Security Modeling and Evaluation for the Mobile Code Paradigm
2000-07-20
An Overview of Corpus-Based Statistics-Oriented CBSO Techniques for Natural Language Processing
1997-07-18
Modeling Contrast in the Generationand Synthesis of Spoken Language
1999-07-02
Scott Prevost
Modelling the Needham-Schrder authentication protocol with high level Petri nets
2000-09-28
Tools for Authoring Tutorial Dialogue Knowledge
2001-03-09
Ferguson, R. W. 2000. Modeling orientation effects in symmetry detection: The role of visual structure,
2000-05-09
Ronald W. Ferguson
Solving Moment Problems By Dimensional Extension
2000-09-25
Engineering a Global Resolution Service
1996-12-04
Edward Slottow
Families of Dirac Operators, Boundaries and the B-Calculus
1998-09-01
High Redshift Supernovae in the Hubble Deep Field
1999-12-13
Learning Methodologies and Discriminating Visual Cues for Unsupervised Image Segmentation
2000-06-09
Geometric phase related to point-interaction transport on a magnetic Lobachevsky plane
2000-08-22
Nanomanipulator Proposal Russell M. Taylor II
2000-04-07
Russell M. Taylor Ii
A Jump-Diffusion Approach to Modeling Credit Risk and ValuingDefaultable Securities
1999-05-01
Chunsheng Zhou
Flux Tube Dynamics in the Dual Superconductor
1999-05-24
Melissa A. Lampert
The luminosity achievable in a linac-CESR collider based on the present performances and perspective
1997-12-05
P. Patteri Lnf-infn
Using the Web to Plan Telescope Observations
1998-05-11
Stephen Wampler
Autonomous Exploration: An Integrated Systems Approach
1998-08-24
Managing QoS in Multimedia Services
1998-01-06
Cellular Networks: Transient State Models
2000-12-15
J-m. Fourneau
Evaluating the Novelty of Text-Mined Rules using Lexical Knowledge
2001-03-06
Recent Developments in the Application of Object Oriented Technologies in the CERN PS Controls
1998-05-11
Semi-Global Practical Stabilization and Disturbance Adaptation for an Underactuated Ship
2000-11-16
Slipping and Tripping Reflexes for Bipedal Robots
2000-10-18
Learning Method Outlines in Proof Planning
1970-01-01
Writing Annotation Instructions
1997-09-17
Janyce Wiebe
A System Handling RCC-8 Queries on 2D Regions Representable in the Closure Algebra of Half-Planes
2000-08-04
Individual Action and Collective Function: from Sociology to Multi-Agent Learning
2001-02-24
Ron Sun
A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty
2000-02-15
Closeness, Prominence, and Binding Theory
1999-02-08
Haihua Pan
The Use of PCs in Controlling DESY Accelerators
1998-04-03
Philip Duval
Analysis of Robust Pole Clustering in a Good Ride Quality Region for Uncertain Matrices
2000-11-16
Sheng-guo Wang
A Model for Moldable Supercomputer Jobs
2001-02-25
Walfredo Cirne
Multi-coloured Hamilton cycles in random edge-coloured graphs
2001-03-05
Colin Cooper
Output-Feedback Control of Stochastic Strict-Feedback Systems under an Exponential Cost Criterion
2000-11-16
An Integrated Matlab Suite for Introductory DSP Education
2000-09-06
Distributed Stochastic Approximation for Adaptive Frequency Allocation in Subway Networks
2000-11-16
Felisa J. Vazquez-abad
Polynomial Softmax Functions for Pattern Classification
2001-03-01
Evaluation of completion time of PH work requirement
2001-02-05
Compact Recognizers of Episode Sequences
1999-12-01
Rank-one LMIs and Lyapunov's Inequality
2000-11-16
Kerberized Credential Translation: A Solution to Web Access Control
2001-02-15
Coprime Factor Based Closed-Loop Model Validation
2000-11-16
R. A. Callafon
Nonlinear Boundary Feedback Control of the One-Dimensional Wave Equation
2000-11-16
Simple Discrete Time Models for Performance Parameters of Multiplexer with Homogeneous ON-OFF Sources
2001-02-05
The Correctness of Set-Sharing
2001-03-08
Hybrid Control Laws From Convex Dynamic Programming
2000-11-16
Analysis of Preventive Maintenance in Transactions Based Software Systems
2001-02-05
Random Spherical Uncertainty in Estimation and Robustness
2000-11-16
Aspects on the Interpretation of Disturbances in System Identification
2000-11-16
Runge-Kutta Methods, Trees, and Mathematica
2001-02-23
Folkmar Bornemann
The Expressive Power of Cardinality-Bounded Set Values in Object-Based Data Models
2001-03-02
Learning Domain Knowledge for Teaching Procedural Tasks
2000-09-04
Optimal Adaptive Diversity Watermarking With Channel State Estimation
2001-02-16
Steiner-Diagrams and k-Star-Hubs
1970-01-01
Minimum Magnitude Response to a Fixed Input
2000-11-16
A hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
2001-03-08
Roberto Bagnara
An Architecture for Intrusion Detection using Autonomous Agents
2000-09-25
Transient Analysis of a Preemptive Resume M/D/1/2/2 through Petri Nets
2001-02-05
Andrea Bobbio
Feedback Control Resource Management Using A Posteriori Workload Characterizations
2000-11-16
Access Control List Processing in Hardware
2001-03-08
Technische Hochschule
AWorst-Case Estimate of Stability Probability for Polynomials with Multilinear Uncertainty Structure
2000-11-16
Smooth Exponential Stabilization of Nonholonomic Systems via time-varying feedback
2000-11-16
Learning Predictive Patterns of User Resource Usage
2000-08-25
Robust Gain-Scheduled Control in Web Winding Systems
2000-11-16
Customer Demand Satisfaction in Production Systems: a Due-Time Performance Approach
2000-11-16
A Relational View of Subgraph Isomorphism
2000-02-03
Kovalevskaya, Liapounov, Painlevé, Ziglin and the Differential Galois Theory
2000-03-13
Juan J. Morales-ruiz
Blind Queries to XML Data
2000-07-19
Ernesto Damiani
Minimisation of Power Dissipation During Test Application in Full Scan Sequential Circuits Using Primary Input Freezing
1970-01-01
On The Interplay Between Auditory-Based Features And Locally Recurrent Neural Networks For Robust Speech Recognition In Noise
1999-07-19
Characterising Problem Solving Methods by gradual requirements: overcoming the yes/no distinction
2000-06-06
Examples Volume 2 version
1998-12-09
Access Time Modeling of a MLR1 Tape Drive
1998-01-07
The Absolute Abundance of Iron in the Solar Corona
2000-03-27
Rates of convergence of stochastically monotone and continuous time Markov models
1999-12-08
Rules of Thumb in Life-Cycle Savings Models
2000-08-06
Cost of Cheap Decoupled Control
1999-06-25
Probability Propagation in Analog VLSI
1999-10-13
Comparing Mode Frequencies From Mdi And Gong
2000-10-28
Heat Trace Asymptotics With Transmittal Boundary Conditions and Quantum Brane-World Scenario
1970-01-01
A Multiple Autonomous Agent System for Negotiating Valued Information Exchange on the Web.
2000-11-17
Ba mod Msiss
Side-Effect Removal Transformation
2001-03-12
A Conceptual Approach To Teaching Object-Orientation To C Programmers
1999-05-09
Notes on Deductive and Abductive Planning in the Event Calculus
1998-04-03
Rob Miller
Support Vector Machines for Hyperspectral Remote Sensing Classification
1999-01-29
Applying an Object-Based Petri Net to the Modeling of Communication Primitives for Distributed Software
1998-04-28
High Availability Support for Distributed Object Systems
1997-05-02
Francesc D. Mu~noz-esco'i
Gibbs measures on Brownian paths
2000-11-30
Consulting: Real Problems, Real Interactions, Real Outcomes
1997-09-24
Cooperation without Communication: the problems of highly distributed working
1996-12-02
Boolean Formula-based Branch Prediction for Future Technologies
2001-03-12
Stephen W. Hawking
1997-03-03
Electron-Impact Ionization of Atomic Ions in the Na Isoelectronic Sequence
1998-05-01
An Sqp Method For The Optimal Control Of Large-Scale Dynamical Systems
2000-06-08
MG Simulations of the
1997-10-28
Scattering Matrices For The Quantum N Body Problem
1997-10-30
Andrew Hassell
Cross-Sectional and Longitudinal Inflation Asymmetries
1970-01-01
Randal J. Verbrugge
Design and Evaluation of Grammar Checkers in Multiple Languages
2000-07-25
Antje Helfrich
Exploiting perceptual feedback in multigrid motion estimation for video coding using an improved DCT quantization scheme
2001-03-08
Image Restoration
2001-02-01
Tailoring UNITY to Distributed Program Design
1999-12-20
Interactive Multimedia Information Systems
1995-08-10
Estimating treatment effects with observational data: A new approach using hospital-level variation in treatment intensity
1999-07-30
Analogy in Inductive Theorem Proving
1970-01-01
Erica Melis
Elementary characterization of fields by their absolute Galois group
2000-09-01
Jochen Koenigsmann
Symbolic dynamics near minimal hyperbolic invariant tori of Lagrangian systems
2001-02-21
Sergey V. Bolotin
Stochastic Modelling Of Soccer Match Results
2001-01-19
EAGLES Recommendations on Subcategorisation
1997-12-12
The Mass And Width Of The W Boson
1999-12-08
Mark Lancaster
The Region Trap Library: Handling Traps on Application-Defined Regions of Memory
1999-06-04
Nearest Neighbor Estimation of the Intensity Function of a Cyclic Poisson Process
2000-01-06
Crossing Numbers Of Tight Knots
1999-12-14
Hybrid Genetic Algorithms for Scheduling Bus and Train Drivers
2000-02-23
Anthony Wren
Adaptation of Genetic Algorithms for Engineering Design Optimization
2000-08-09
Distributed Database Management
1995-02-20
On the Ordering of Energy Levels in Homogeneous Magnetic Fields
2000-11-17
Bernhard Baumgartner
CMOS Area Image Sensors With Pixel Level A/D Conversion
1999-07-30
Hilbert--Space--Valued Measures On Boolean Algebras extensions
1998-01-21
Numerical treatment of the hyperboloidal initial value problem for the vacuum Einstein equations I. The conformal field equations
1998-04-20
Jorg Frauendiener
Evaluation of the Neural Folding Architecture for Inductive Learning Tasks concerning Logical Terms and Chemical Structures
1998-02-24
CSCE 970: Pattern Recognition Spring Semester, 1999
1999-03-07
On the Feasibility of Website Refresh Queries
2000-08-05
Case-Based Support for Design of Dynamic System Requirements
1997-02-19
K/E: A Korean-English Machine Translation System based on Idiom Recognition and Fail Softening
2000-03-23
Byong-rae Ryu
HSP Error Sources and Data Analysis
1998-01-13
An Associative Processor for Multi-comparand Parallel Searching and Its Selected Applications
2001-02-16
Zbigniew Kokosi
Some Notes on Preparing Extended Abstracts for the
2000-09-04
Laurent Perrinet
SCNN: A Universal Simulator for Cellular Neural Networks
1996-05-13
Andrew Garland
1998-06-01
RS-FDRA: A Register Sensitive Software Pipelining Algorithm for Embedded VLIW Processors*
2001-02-19
Resolving the Network Reliability Problem With a Tree Decomposition of the Graph
2000-06-14
Blind Threshold Signatures Based on Discrete Logarithm
1997-08-21
Statistical Source Channel Models for Natural Language Understanding
2000-07-12
Mark E. Epstein
Part II Dynamic Adjustment of TCP Acknowledgment Delays
1998-09-14
A Unified Presentation Of Some Urn Models
1999-10-04
Michael Drmota
Component Metadata for Software Engineering Tasks
2001-02-02
Minimum Bayes Error Feature Selection
2000-08-04
Parallel SPH on Cray T3E and NEC SX-4 using DTS
1999-03-12
Kinetostatic Synthesis Of COUPLED SERIAL CHAINS
1998-05-17
What Good Are Digital Clocks?
1994-09-19
The Interval Order Polytope of a Digraph
2000-04-13
Dimension and Product Structure of Hyperbolic Measures
2000-09-25
Propagation-Invariant Wave Fields With Finite Energy
2000-01-24
A Job-Shop Scheduling Model for the Single-Track Railway Scheduling Problem
2000-11-10
The Stokes Phenomenon In Exact Asymptotics
1998-12-28
Finite Domain and Cutting Plane Techniques in CLPPB
1994-11-24
Exponential Box-Like Splines on Nonuniform Grids
2000-03-28
Solitary Waves Beneath an Ice Sheet
2000-06-26
"Making Place" to Make IT Work: Empirical Explorations of HCI for Mobile CSCW
1999-12-17
Lambek Calculus for Transformational Grammar
1999-07-29
Thomas L. Cornell
Fundamentals of Computing
2001-03-13
Leonid A. Levin lnd
Stratification and Bundle Structure of the Set of Conditioned Invariant Subspaces in the General Case
2000-03-06
Parsing with the Shortest Derivation
2000-06-16
Rens Bod
An Approach to Systems Modeling for Real-Time Control of Jet Flows
1999-02-22
Parabolic resonances in near integrable Hamiltonian systems
2000-03-05
A Combined Genetic Adaptive Search GeneAS for Engineering Design
1999-07-28
Product Instantiation in Software Product Lines: A Case Study
2000-10-02
Extracting Objects From Digital Terrain Models
2000-10-18
Shifted m-sequences as an alternative to Walsh functions for phase switching in radio interferometry
1999-04-01
Eric Keto
A Universal Construction for Moduli Spaces of Decorated Vector Bundles Over Curves
2001-01-12
Alexander Schmitt
Nonlinear Evolution of Cosmological Power Spectra
1998-10-16
J. A. Peacock
Quantum Spin Dynamics QSD II
1997-03-04
T. Thiemann
Minimal Lagrangian Diffeomorphisms and the Monge-Ampère Equation
1998-09-01
Jon G. Wolfson
Bound States of Infinite Curved Polymer Chains
2000-10-27
Optical Reading of Typeset Music
1997-02-10
Knowledge Discovery and Data Mining: Towards a Unifying Framework
2000-02-01
A Mixed Symbolic-Numeric Method to Study Prime Ordinary Differential Ideals
2001-01-23
Alexandre Sedoglavic
WIDAR Correlator Sensitivity Losses
2001-02-28
Finite Memory and Imperfect Monitoring
2001-03-13
Asymptotics For Linear Random Fields
2000-03-20
Laser Remote Sensing Techniques for Vertical Profiling of Cloud and Aerosol Extinction and Back-scatter in the Lower Atmosphere. A Brief Review
1998-05-09
E. Fokitis
Robust Conditional Variance Estimation and Value-at-Risk
2001-02-12
An Analog Characterization of the Subrecursive Functions
2000-01-14
Machine Learning, Neural and Statistical Classification
1998-12-01
Goals and Structured Information
2000-04-25
Joris Hulstijn
TIL: A Type-Directed Optimizing Compiler for ML
1999-04-23
A Visual Software Construction Approach
1998-02-13
A Separator-Based Framework for Automated Partitioning and Mapping of Parallel Algorithms for Numerical Solution of PDEs
1998-10-24
Computing Presuppositions and Implicatures in Mathematical Discourse
2000-07-11
Claus Zinn
Safe and Principled Language Interoperation
1999-01-18
The Absolute Mordell-Lang Conjecture in Positive Characteristic
2000-06-13
Thomas Scanlon
Open Programmable Mobile Networks
1999-06-26
Technicolor Limits At The Tevatron
1999-03-26
Takanobu Handa
Long-Time Tails In The Parabolic Anderson Model With Bounded Potential
2000-04-12
Modular Feature Specification
1970-01-01
Exponential attractors for the slightly compressible 2D-Navier-Stokes
1998-05-13
Angle-Domain Common Image Gathers By Wave-Equation Migration
1999-08-11
Marie L. Prucha
Minimality Of The Data In Wavelet Filters
2000-11-08
Palle E. T. Jorgensen
Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages
1995-08-10
Nonlinear STRIPS Planning
1999-03-26
Design and Performance of an Object Oriented Model for CMS Track Reconstruction
1997-02-23
OTA-C Filters with Finite Zeros and without Floating Capacitors
1997-02-25
A Tolman Surface Brightness Test for Universal Expansion, and the Evolution of Elliptical Galaxies in Distant Clusters
1999-01-13
A Polynomial-Time Algorithm for Computing a Shortest Path of Bounded Curvature Amidst Moderate Obstacles
1999-09-03
Tools Supporting the Use of Design Patterns in Frameworks
1997-08-25
Jukka Viljamaa
On Urquhart's C Logic
2000-09-16
Agata Ciabattoni
Towards a Theory of Resource-Bounded Belief Revision
2000-05-17
Renata Wassermann
Automatic Generalized Nonparametric Regression via Maximum Likelihood
2000-06-26
James Hobert
Maximum Information Transfer in Feedforward Neural Networks
1998-07-31
Magnetotransport in Multilayers With a Superconducting Contact
2000-06-22
Bayesian forecasting and inference in latent structure for the Brazilian Industrial Production Index
2000-09-25
Semiparametric Estimation of the Intensity of Long Memory in Conditional Heteroskedasticity
2001-03-06
NetCache NNTP NetNews Caching
2001-02-21
3D Gadgets for Business Process Visualization - a case study
2000-04-14
Bastiaan Sch Onhage
mpiJava: A Java Interface to MPI
2000-02-25
Multiple Comparisons
2000-12-13
Lower Bounds
Evolving Finite-State Machine Strategies for Protecting Resources
1970-01-01
A Programming Logic for Sequential Java
1999-12-01
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets
1999-04-13
A Revised Modified Cholesky Factorization Algorithm
1999-06-02
Exchange-Rate Passthrough In Japanese Export Pricing
1998-02-25
Event99: A Proposed Event Indexing Task For Broadcast News
2000-07-28
Local LexBFS Properties in an Arbitrary Graph
2000-10-30
Dynamic Adjustment of Serialization Order using Timestamp Interval in Real-Time Databases
1999-01-26
YapTab: A Tabling Engine Designed to Support Parallelism
2000-10-21
Electoral Competition with Entry
2000-04-03
Steven Callander
Enabling a QoS Architecture for the Internet
1999-10-05
Non-Asymptotic Confidence Ellipsoids for the Least Squares Estimate
2000-11-16
Application of Convex Programming to Rescheduling of Transactions in a Deregulated Power Market
2000-11-16
Synergetic Localization for Groups of Mobile Robots
2000-11-16
Robust Stabilization of Nonlinear Uncertain Systems in the Presence of Input Unmodeled Dynamics
2000-11-16
A Linear Stochastic Dynamical Model of ENSO. Part II: Analysis
2001-02-16
Towards the Uniform Implementation of Declarative Languages
1997-01-10
Expressiveness and Complexity of Generic Graph Machines
2001-03-02
On-line Identification of Non-minimum Phase Finite Impulse Response Linear Systems with Discrete Inputs via Hidden Markov Models
2000-11-16
Dubrovin Valuation Rings and Orders in Central Simple Algebras
2000-09-12
Overview
1999-02-04
An Improved Long-Term File-Usage Prediction Algorithm
2001-02-19
Why I Don't Play the Piano
1995-12-27
Jon Doyle
A Polynomial-Time Algorithm for Computing a Shortest Path of Bounded Curvature Amidst Moderate Obstacles
1999-09-03
Multicast Control in Optical Circuit-Switched Banyan Networks
1998-04-14
A Modelling and Analysis Method for Manufacturing Systems Based on Petri Nets
1998-01-12
Teletraffic Capacity Of Hierarchical CDMA Cellular Networks
2000-09-04
An Example of a Special Purpose Input Language to L
1995-02-01
Learning Program Behavior Profiles for Intrusion Detection
2000-12-08
Automatic Elasticity Tuning of Industrial Robot Manipulators
2000-11-16
Global Output Tracking Control of a Class of Euler-Lagrange Systems
2000-11-16
Attractors Under Perturbation and Discretization
2000-11-16
Lars Grune
Expressiveness of Efficient Semi-Deterministic Choice Constructs
2001-03-02
Stochastic Approximation and Transaction-Level Model for IP Network Design
2000-11-16
How Learning Improves the Performance of Evolutionary Agents: a Case Study with an Information Retrieval System for a Distributed Environment
2001-02-14
A Grassmann-Rayleigh Quotient Iteration for Computing Invariant Subspaces
2000-11-16
-Optimal Tracking Control Techniques for Nonlinear Underactuated Systems
2000-11-16
Stabilizability, Uncertainty and the Choice of Sampling Rate
2000-11-16
Controller Reduction with Normalized A Priori Bounds
2000-11-16
Evaluated Object-Oriented Software Development
1995-12-18
Using Domain Models for System Testing
1999-03-24
C ` Alcul De Corrents Cr ' Itics Per Mitj ` A De Mesures De Camp Magn ` Etic
1999-02-11
A Neural Network Architecture for the Second Level Trigger in the H1-Experiment at the Electron Proton Collider HERA
1995-07-31
A Simple Method to Estimate the Impact of Different Radiated Emission Limits on Digital Radio Receiver Performance
1999-12-17
Peter F. Stenumgaard
Self-Organizing Maps: Generalizations and New Optimization Techniques
2001-03-02
Polynomials of Bounded Tree-Width
2001-01-18
Janos A. Makowsky
ECE 480 Project: On Universal Approximation Using Neural Networks
1999-06-21
James W. Melody
Fully Reflexive Intensional Type Analysis
2000-07-31
Verifying a Smart Design of TCAP
1999-05-04
A Trace Transformation Technique for Communication Refinement
2001-02-20
Paul Lieverse
Computer Algebra for Exact Complex Stability Margin Computation
2000-11-16
Nainn-ping Ke
SubDomain: Parsimonious Server Security
2001-03-06
On Policy-based Extensible Hierarchical Network Management in QoS-enabled IP Networks
2001-02-15
An Effective Approach To The Completion Time Analysis Of On-Off Markov Reward Models
2001-02-05
Khalid Begain
An Experimental Analysis of the Structure of Legal Fees: American Rule vs. English Rule
2000-04-03
Pathwise Description of Dynamic Pitchfork Bifurcations With Additive Noise
2000-10-31
Fundamental Limits and Tradeoffs of Providing Deterministic Guarantees to VBR Video Traffic
2001-02-22
Global Stabilization of a Thermal Convection Loop
2000-11-16
The Implementation of Lazy Narrowing
1994-08-22
TCP Friendly Rate Control TFRC: Protocol Specification
2001-03-08
Joerg Widmer/univ Mannheim
Paul Bakker
2000-01-05
An Agent-Based System for Handling Distributed Design Constraints
2000-07-17
Distributed Algorithms Visualisation for Educational Purposes
1999-03-07
An Expression of Stress Field in 3D Elastic Medium Using Boundary Integral Equation Method
1999-01-14
Recommended C Style and Coding Standards
1999-05-31
Distributed Information Resources: A New Approach to Interaction Modelling
2000-09-04
Compiling Lazy Functional Programs to Java Bytecode
2000-01-19
Multigrid For Eddy Current Computation
2000-04-17
R. Hiptmair
On Bifurcations From Normal Solutions for Superconducting States
2000-02-13
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos
2001-03-08
Roberto Bagnara
The AND-compositionality of CLP computed answer constraints.
2001-03-08
Constrained Output Regulation of Linear Plants
2000-11-16
Control of Dynamic Hopf Bifurcations
2000-10-31
How Adaptive Agents Learn to Deal with Incomplete Queries in Distributed Information Environments
2000-11-16
Enhancing Transposition Performance
2000-11-16
Non-Exponential Stochastic Petri Nets: an Overview of Methods and Techniques
2001-02-06
Andrea Bobbio
A Tight Upper Bound on the Number of Candidate Patterns
2001-03-07
A New Design Method of Plug-in Adaptive Controller via Root Locus Technique
2000-11-16
Beyond Information Searching and Browsing: Acquiring Knowledge from Digital Libraries
2001-02-21
The Effect Of Language Model Probability On Pronunciation Reduction
2001-01-30
Analysis of Security and Privacy in Mobile IP
1996-02-27
Averaging Technique For FE-A Posteriori Error Control In Elasticity. Part I: Conforming Fem
2000-10-10
Testing BiCMOS and Dynamic CMOS Logic
1998-06-29
Siyad Chih-hua Ma
Programming Tools for Distributed Multiprocessor Computing Environments
1991-11-07
-- This Is Part 2 Of 3
1998-07-29
Moral Hazard and Private Monitoring
1970-01-01
Pruning Dead Itineraries
1999-12-02
OLIVE: Speech Based Video Retrieval
2000-04-18
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
2000-02-16
Ramesh Bharadwaj
A Unified Model for Credit Derivatives
2001-02-15
Robust Adaptive Control of Bilinear Plants with High-Order Perturbation Uncertainties
2000-11-16
Robust Stability and Performance of Uncertain Delay Systems with Structured Uncertainties
2000-11-16
Decomposing Non-Redundant Sharing by Complementation
2001-03-08
Iterative Optimal Control of Liquid Slosh in an Industrial Packaging Machine
2000-11-16
Mattias Grundelius
Mining Medical Data for Causal and Temporal Patterns
2000-10-09
Ahmed Y. Tawfik
Focal Shift, Optical Transfer Function, and Phase-Space Representations
2000-12-07
Kieran G. Larkin
Dynamic Feedback Control of Bifurcations
2000-11-16
Optimal Control for Nonholonomic Systems with Symmetry
2000-11-16
Aggregation and Dynamics of Survey Responses: The Case of Presidential Approval
2001-02-13
To the theory of boundary value problems for hyperbolic TYPE EQUATIONS AND SYSTEMS
1999-06-04
A Desktop Virtual Environment Trainer Provides Superior Retention of a Spatial Assembly Skill
1998-09-29
-- 1-- Axions And Other Very Light Bosons, Part Iii experimental Limits
1999-10-20
Omnidirectional Shape-from-Motion for Autonomous Navigation
2001-03-01
`1 + 1>2': Merging Distance and Density Based Clustering
2001-03-03
' $ % ' $ %
1995-01-12
Novel View Synthesis in Tensor Space
1997-04-18
Linear Network Models of the Oculomotor Integrators
1995-08-23
H. S. Seung
Covariate Measurement Error in Quadratic Regression
1999-01-26
On the Dynamics of Crystal Electrons, high Moment Regime
2000-06-06
Gheorghe Nenciu
Post-Stratification Without Population Level Information On The Post-Stratifying . . .
2000-11-13
Efficient Pruning of Search Trees in LQR Control of Switched Linear Systems
2000-11-16
Irreducibility Conditions For Nonlinear Input-Output Difference Equations
2000-11-16
IPO Post-Issue Markets: Questionable Predilections But Diligent Learners?
2000-04-03
Evaluating an algorithm for parameterized Minimum Quartet Inconsistency
2001-02-09
Discrete-Time Linear Filtering in Arbitrary Noise
2000-11-16
Pppl-3440 Pppl-3440
2000-04-12
Virginia L. Finley
On Estimators For Nonlinear Systems In Lp Spaces
2000-11-16
One View of A Critical National Need: Support for Information Security Education and Research
2000-07-17
Eugene H. Spafford
Optimal Control for Steel Annealing Processes as Hybrid Systems
2000-11-16
New Perturbation Bounds For Sylvester Equations
2000-11-16
A Secure Message Broadcast System SMBS
1999-12-01
Active distance stabilization of large bodies using Fabry-Perot interferometry
2000-11-16
Enrico Canuto
A Formal Basis for Extending SQL to Object-Oriented Databases
2001-03-02
Jan Van Den Bussche
Set-Sharing is Redundant for Pair-Sharing
2001-03-08
Scheduling of a Limited Communication Channel for Optimal Control
2000-11-16
Mining for Putative Regulatory Elements in the Yeast Genome Using Gene Expression Data
2000-05-23
Output Feedback Guaranteed Cost Control for Stochastic Uncertain Systems with Multiplicative Noise
2000-11-16
Valery A. Ugrinovskii
Block Control of Linear Time Invariant Systems with Delay
2000-11-16
On-Line Decentralized Supervisory Control of Discrete Event Systems
2000-11-16
Particle Filters for Recursive Model Selection in Linear and Nonlinear System Identification
2000-11-16
Link Capacity Sharing Between Guaranteed- and Best Effort Services Extended Abstract
2001-02-06
Discrete-Time Robot Visual Feedback Systems with Nonlinear Depth Adaptation: Stability Analysis and Experiments
2000-11-16
Comparison of Technology-Based and State-Based Representations for the Synthesis of Synchronous Sequential Logic from Partial Input-Output Sequence
1998-10-13
Analysis of Pilot-in-the-Loop Oscillations Due to Position and Rate Saturations
2000-11-16
New Results on Decentralized Supervisory Control of Discrete-Event Systems
2000-11-16
Do Voters Learn from Presidential Election Campaigns?
2000-04-03
Bifurcations, Scaling Laws and Hysteresis in Singularly Perturbed Systems
2001-01-11
An ANN's Evolved by a New Evolutionary System and Its Application
2000-11-16
Parallelization of Genetic Programming for Solving Mobile Robot Navigation Problem on NOWs
2000-01-18
Shisanu Tongchim
Classical Billiards in a Magnetic Field and a Potential
2000-10-31
Broadcast Encryption
2001-01-17
Moni Naor
Performance Analysis of Markov Regenerative Reward Models
2001-02-05
Identification of Multivariable Linear Parameter-Varying Systems Based on Subspace Techniques
2000-11-16
Open Grid: A User-Centric Approach for Grid Computing
2001-02-25
IPO Underpricing in Two Universes: Berlin, 1882-1892, and New York, 1998-2000
2001-02-14
Caroline Fohlin
A Network of Relaxation Oscillators that Finds Downbeats in Rhythms
2001-02-19
Douglas Eck
Control of Vehicle Speed: a Nonlinear Approach
2000-11-16
R. Outbib
Response Time Analysis under Errors for CAN
2001-02-19
Monte Carlo Filtering on Lie Groups
2000-11-16
Mp3 And Aac Explained
2001-02-23
Soundness, Idempotence and Commutativity of Set-Sharing
2001-03-08
Approximate Nearest Neighbor Searching in Multimedia Databases
2001-02-24
Analysis for Object Inlining in Java
2001-02-28
Cooperative Formation among Multiple Mobile Robot Teleoperation in Inspection Task
2000-11-16
Static Analysis of CLP Programs over Numeric Domains
2001-03-08
Distributed Haskell: Goffin On The Internet
1998-01-07
Learning a Visual Task by Genetic Programming
1998-08-31
Scheduling Time-Constrained Jobs in the Presence of Background Traffic
2000-11-16
String Stability of Stochastic Composite Systems
2000-11-16
A Velocity Control of Frictional Servosystems Using an Adaptive Fuzzy Control
2000-11-16
Chih-lyang Hwang
Overtraining and Model Selection With the Self-Organizing Map
1999-05-27
Ofcomputationfi Enofi Helsino Uns
Asymptotic Analysis of Stochastic Approximation Algorithms under Violated Kushner-Clark Conditions with Applications
2000-11-16
Optimal Control of Markov Regenerative Processes
2001-02-05
Design and Implementation of a WEB-based non-Markovian Stochastic Petri Net Tool
2001-02-06
Model Predictive Control via Piecewise Constant Output Feedback for Multirate Sampled-Data Systems
2000-11-16
Utilizing Lamarckian Evolution and the Baldwin Effect in Hybrid Genetic Algorithms
1996-02-14
Comparison Between Synchronous and Asynchronous Implementation of Parallel Genetic Programming
2000-01-18
Studying the data loss and data re-reading behaviour of a four-slot asynchronous communication mechanism using stochastic Petri net techniques
1999-12-13
Discontinuous Feedback Stabilization Using Nonlinear Model Predictive Controllers
2000-11-16
Fernando A. C. C. Fontes
Machine Scheduling with Availability Constraints
1999-05-18
Ayten Turkcan
A Numerical Analysis Method of Queues With Batch Arrivals
2001-02-05
Gyorgy Wolfner
Studies of Integration and Optimization of Interpreted and Compiled Languages
2000-02-25
-F Biological Laboratory DD Project Closeout Report
2000-09-28
A Distributed Computing Portal For Coupling Multi-Physics And Multiple Domains In Porous Media
2000-02-21
Trajectories in a neighborhood of asymptotic surfaces of a priori unstable Hamiltonian systems
2001-02-21
D. Treschev
Intellectual Property Protection Systems and Digital Watermarking
1998-09-06
Lazy Completion of a Partial Order to the Smallest Lattice
2000-12-02
Differentiable Invariant Manifolds for Partially Hyperbolic Tori and a Lambda Lemma
2000-03-14
E Fontich
Heteroclinic Cycles in Rings of Coupled Cells
2000-07-10
On Stable ... Controller Parameterization using Doubly Coprime Fractional Representation
2000-11-16
Strictly Positive Real Lemma for Discrete-time Descriptor Systems
2000-11-16
On The Use Of Dynamic Invariants And Forwarding For Swinging Up A Spherical Inverted Pendulum
2000-11-16
Compact and Efficient Code Generation through Program Restructuring on Limited Memory Embedded System DSPs
2001-02-08
Some Results in Optimal Linear Filtering
2000-11-16
Hand over control of unstable object using manipulators - An approach of continuously switching of controllers
2000-11-16
Use of Harmonic Inversion Techniques in the Periodic Orbit Quantization of Integrable Systems
2000-10-23
Optimal Closed-Loop Assignmentby Static Output Feedback: A Case of Study.
2000-11-16
Research and Practice in Federated Information Systems
2000-12-06
On the Global Controllability of Hybrid Systems: Hybrifolds and Fountains.
2000-11-16
Epenthetic Vowels in Japanese: a Perceptual Illusion?
1998-10-14
Higher Order Sliding: Differentiation And Black-Box Control
2000-11-16
Arie Levant
Axiomatizing a Fragment of PAFAS
2000-04-04
Feedback Scheduling of Control Tasks
2000-11-16
Generalised Rudin-Shapiro Constructions
2001-01-04
Group Rendezvous in a Synchronous, Collaborative Environment
2000-07-18
Jrg Roth Claus Unger
Dichotomy Of Differential Equations On Banach Spaces And An Algebra Of Weighted Translation Operators
1999-09-15
Yurilatushkinand Timothy Randolph
Spectral Peak Tracking And Its Use In Speech Recognition
2000-08-04
M. Padmanabhan
The 3GPP and 3GPP2 Movements Towards an All IP Mobile Network
2000-03-13
Shape Matching: Similarity Measures and Algorithms
2001-02-09
Remco C. Veltkamp
Modeling and Control of Military Operations Against Adversarial Control
2000-11-16
Set-Sharing is Redundant for Pair-Sharing
2001-03-08
New State-Dependent Scaling for Uncertain Dynamics: Nonlinear Global Stabilization and Performance
2000-11-16
Spectral Analysis of Segmented Data
2000-11-16
Voluntary Implementation
2000-04-03
Backlash Compensation with Filtered Prediction in Discrete Time Nonlinear Systems by Dynamic Inversion Using Neural Networks
2000-11-16
Bandwidth Usage Analysis of Service Location Protocol
2000-07-27
Michel Barbeau
Penetration Analysis of a XEROX Docucenter DC 230ST: Assessing the Security of a Multi-purpose Office Machine
2000-10-26
The Size of Power Automata
2000-10-12
K. Sutner
On the Completeness of Object-Creating Database Transformation Languages
2001-03-02
RWCP PC Cluster Programming Environment
1999-08-11
A Learning Algorithm For Markov Decision Processes With Adaptive State Aggregation
2000-11-16
Bounds on regeneration times and convergence rates for Markov chains
1998-02-25
Visualization of Evolutionary Process in Genetic Programming
1998-11-07
Improving Instruction-Level Parallelism by Exploiting Global Value Locality
1999-11-17
PostgreSQL:
2001-02-23
Colimits of Order-Sorted Specifications
1998-02-13
Till Mossakowski
Processor-Ring Communication: A Tight Asymptotic Bound on Packet Waiting Times
2001-01-23
Implementation of SRPT Scheduling in Web Servers
2001-03-07
Uni-transitional Watson-Crick D0L systems
2001-01-17
Stability and Stabilization of Implicit Systems
2000-11-16
Izumi Masubuchi
Vulnerability Testing of Software System Using Fault Injection
1999-12-01
From the Classical Job Shop to a Real Problem: A Genetic Algorithm Approach
2000-11-16
Robust Hybrid Control for Autonomous Vehicle Motion Planning
2000-11-16
Deciding LTL over Mazurkiewicz Traces
2001-02-10
Conflict Detection for Integration of Taxonomic Data Sources
1999-05-21
Importance Sampling and the Method of Simulated Moments
2000-09-20
Daniel A. Ackerberg
Inhibitor Arc Based State Avoidance Controller for Non-convex Forbidden State Problems in Petri nets
2000-11-16
Software-Implemented EDAC Protection Against SEUs
2000-04-07
Embedding for Exponential Observers of Nonlinear Systems
2000-11-16
The Choice of Project Members
1970-01-01
The Adaptationist Stance and Evolutionary Computation
2000-01-14
An Integrated Approach to Detecting Incoherence in Texts With Emphasis on the Role of Evaluating Lexical Cohesion
1996-12-20
Minimum Quartet Inconsistency is Fixed Parameter Tractable
2001-02-09
Bosons In A Trap: Asymptotic Exactness Of The Gross-Pitaevskii Ground State Energy Formula
2000-10-03
Robert Seiringer
Cryptographic Security of Reactive Systems Extended Abstract
2000-05-09
The Wage Effect and Occupational Segregation of Non-White Male Employees in Great Britain
1999-12-08
CAViaR: Conditional Autoregressive Value At Risk By Regression Quantiles
1999-10-26
Molecular Dynamics of Acetylcholinesterase Dimer complexed with Tacrine.
1999-07-22
Optical Absorption And Electronic Excitations In Hydrogenated Silicon Clusters
1999-12-13
Diagnosis Of An Uncertain Static System
2000-11-16
Hamilton Cycles in Random Subgraphs of Pseudo-Random Graphs
2001-03-05
Michael Krivelevich
A Disturbance-Rejection Problem with Dynamic Compensator for Linear omega-Periodic Discrete-Time Systems
2000-11-16
Naohisa Otsuka
On the Relationship between Finite State Machine and Causal Network Representations for Discrete Event System Modeling: Initial Results
2000-11-16
Qualitative Simulation as a Temporally-Extended Constraint Satisfaction Problem
1998-05-14
Increasing Cooperation in Prisoner's Dilemmas by Establishing a Precedent of Efficiency Coordination inGames
2000-04-03
Monetary Disturbances Matter For Business Fluctuations In The G-7
2000-03-27
On the Relationship Between Logarithmic Sensitivity Integrals and Limiting Optimal Control Problems
2000-11-16
A User Interface Toolkit for a Small Screen Device
2000-04-26
Aleksi Uotila
Banking Industry Structure, Competition, and Performance: Does Universality Matter?
2001-02-14
Caroline Fohlin
Snakes and Spiders
2001-01-31
Brendan Mccane
Gluon Mass from Instantons
2001-02-22
Inflation, Volatility and Growth
1999-05-01
Performance-Robustness trade-off in the control of a CD player using . . .
2000-11-16
The Design of an Extensible Multimedia Library for an OODBMS
2000-02-01
Sparse coding with an overcomplete basis set: A strategy employed by V1?
2001-01-16
Infinite Dimensional Operators
2000-08-31
The Term Structure of Real Interest Rates: Theory and Evidence from the U.K. Index-Linked Bonds
2000-06-23
The U. K. Index-linked Bonds
On The Number Of Negative Eigenvalues Of Schrödinger Operators With An Aharonov-Bohm Magnetic Field
2000-10-17
Effectiveness of Error Correcting Output Codes in Multiclass Learning Problems
2000-10-09
Francesco Masulli
Type Inference in the Polymorphic Relational Algebra
2001-03-02
On the H² and ... Dead-Time Compensation
2000-11-16
Leonid Mirkin
Compiler Analysis for Synthesizing Mobile Agents for Thin Clients
2000-10-04
A Simplified Algorithm for Balanced Realization of Laguerre Network Models
2000-11-16
Position Control of a PM Stepper Motor Using Neural Networks
2000-11-16
Simplex Convexity, With Application to Open Loop Stochastic Control in Networks
2000-11-16
Effects of Participation in the WIC Food Assistance Program on Children's Health and Development: Evidence from NLSY Children
2000-04-14
Forward-Secure Threshold Signature Schemes
2001-01-30
Linking and Modal Transparency
1999-07-29
Anthony R. Davis
Stable Trajectory Tracking for Biped Robots
2000-11-16
Finite Sample Limited Information Inference Methods for Structural Equations and Models with Generated Regressors
2000-03-07
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos
2001-03-08
The Tobacco Deal
1999-09-30
Parametrization of Admissible Controllers for Generalized Rosenbrock Systems
2000-11-16
Stochastic Growth In Schumpeterian Dynamics
2000-03-06
Jati K. Sengupta
A High-Swing, High-Impedance MOS Cascode Circuit
1999-09-30
Properties of the R-Operators to Insure Termination of Distributed Computations
1999-10-05
Bertrand Ducourthial
ZPL's WYSIWYG Performance Model
2001-01-10
Neural Networks and Statistical Models
1996-10-14
A Study of Polysemy Judgements and Inter-Annotator Agreement
2000-10-06
Jean Vronis
Knowledge Acquisition for Adaptive Collaborative Learning Environments
2000-09-04
Amy Soller
Approximation of Multiple Switched Flow Systems for the Purpose of Control Synthesis
2000-11-16
Structural Cut Elimination - I. Intuitionistic and Classical Logic
2000-04-13
Frank Pfenning
Controlling High Bandwidth Aggregates in the Network
2001-02-05
Rigid Body Visual Servoing Using Navigation Functions
2000-11-16
A Bank of Reconfigurable LQG Controllers for Linear Systems Subjected to Failures
2000-11-16
Competitive Hebbian Learning Through Spike-Timing-Dependent Synaptic Plasticity
1999-09-23
Persistence Of Excitation Properties For The Identification Of Time-Varying Systems
2000-11-16
Reconstruction Of Historical Buildings Based On Images From The Meydenbauer Archives
2000-07-28
Optimal Worst Case Estimation for LPV-FIR Models with Bounded Errors
2000-11-16
Gustavo Belforte
The rmeta Package
2001-02-17
Static Output Feedback Stabilization of Linear and Nonlinear Systems
2000-11-16
A. Astolfi
Model Predictive Control: Multivariable Control Technique of Choice in the 1990s?
1994-01-14
Manfred Morari
Simulation of the Nested Relational Algebra By the Flat Relational Algebra, With an Application to the Complexity of Evaluating Powerset Algebra Expressions
2001-03-02
Choptuik scaling and Quantum effects in 2D Dilaton Gravity
1997-03-03
How to Organize an Interactive Document
1997-11-18
Martin Karrenbach
Symmetrization Results for a Multi-Exponent, Degenerate and Anisotropic Electrostatic Problem
1999-05-25
Gonoko Moussa
A Mixture Model Diagnosis System
1996-02-21
Exotic Deformation Quantization
1998-09-01
Valentin Ovsienko
Leapfrogging: A Portable Technique for Implementing Efficient Futures
1996-07-16
A State-Space Algorithm for the Simultaneous Optimisation of Performance Weights and Controllers in
2000-11-16
Sharing Revisited
2001-03-08
Optimal Initial Value Compensation for Fast Settling Times in Mode-Switching Control Systems
2000-11-16
Mikael Johansson
On the Mechanized Verification of Infinite Systems
1970-01-01
Javier Esparza
Robust H Control of Discrete-Time Linear Systems with Delayed State and Frobenius Norm-Bounded Uncertainties
2000-11-16
When are Product Systems Controllable?
2000-11-16
Goetz P. Grammel
Analysis for a Molten Carbonate Fuel Cell
1996-06-14
Risk Management In Finnish Biopharmaceutical Companies
2000-10-19
Statistical Computing
2000-09-21
Markov Regenerative Stochastic Petri Nets with Age Type General Transitions
2001-02-06
A.N.Belsky, V.V.Mikhailin, A.N.Vasil'ev
1995-11-30
I. Dafinei P. Lecoq
Extremum Seeking Loops with Assumed Functions
2000-11-16
J. L. Speyer
Aristotle: A System for Development of Program Analysis Based Tools
2000-06-27
The Welch-Lynch Clock Synchronization Algorithm
2000-12-13
Bruno Dutertre
A specialised POMDP form and algorithm for clinical patient management
2000-06-09
Niels Peek
An Example of a Nontrivial Bubble Tree in the Harmonic Map Heat Flow
1998-12-17
3D Galerkin Integration Without Stokes' Theorem
2000-10-30
L. J. Gray
A Selectivity Model for Fragmented Relations in Information Retrieval
2001-02-12
Some Reflexions in the Modeling of Software Processes
2000-02-02
Teaching the Analysis of Algorithms with Visual Proofs
1999-10-07
Risk Sensitive Filtering Equations In Infinite Dimensional Spaces With Counting Observation
2000-11-16
Patrick Florchinger
Risk, Ambiguity, and the Separation of Utility and Beliefs
2000-04-03
Perfect Sampling for the Wavelet Reconstruction of Signals
2001-02-14
Bifurcation Control in Systems Governed by Functional Differential Equations
2000-11-16
Yong Wang
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in the Real Plane
2001-03-02
Generalized Design of Mixed H-infinity/Deadbeat Suboptimal Controllers for SISO Continuous-Time Servo Systems
2000-11-16
Improving Markov chain Monte Carlo Estimators by Coupling to an Approximating Chain
2001-02-23
Recursive Propagation Of Correspondences With Applications To The Creation Of Virtual Video
2000-09-06
A Study Of Adaptation Techniques On A Voicemail Transcription Task
2000-08-04
Disturbance Decoupling in Descriptor Systems via Output Feedback - A Parametric Eigenstructure Assignment Approach
2000-11-16
G. P. Thompson
The C++ Programming Language A Tour Through C++ Outline
1997-03-28
Candidate Positioning and Entry in a Political Competition
1999-06-09
Martin J. Osborne
DPC++: Object-Oriented Programming Applied to Cluster Computing
2000-07-18
An Overview of Functional Nets
2000-08-16
Martin Odersky
A Symbiotic Relationship Between Formal Methods and Security
1999-01-04
Jeannette M. Wing
JTAP Project 305 Human Factors Aspects of Virtual Design Environments in Education: Project Report
2000-04-26
Tom Franklin
The Perturbative QCD Potential and the
1998-06-05
Non-Abelian Convexity by Symplectic Cuts
1998-05-12
Analysis of a Single-Server Queue Interacting With a Fluid Reservoir
2001-01-26
Optimal Triangulation by Means of Evolutionary Algorithms
1998-04-07
Joachim Sprave
Any Domain of Attraction for a Linear Constrained System is a Tracking Domain of Attraction
2000-11-16
Temporal Connectives Versus Explicit Timestamps to Query Temporal Databases
2001-03-02
Identification of Host Audit Data to Detect Attacks on Low-level IP Vulnerabilities
1999-12-06
Reduced-complexity Smoothing for Hidden Markov Models
2000-11-16
A characterization of the Lie Algebra Rank Condition by transverse periodic functions
2000-11-16
A Note on the Solution of a Class of BMIs for ... Problems
2000-11-16
Massimiliano Mattei
Entropy In Cluster Analysis Of Single Events In Heavy Ion Collisions
2000-03-14
A Model of Political Competition with Citizen-Candidates
1999-06-09
Extrapolation Spaces for Semigroups
1998-06-12
Rainer Nagel
Polynomially Orderable Classes of Structures
2001-03-02
Recognizing Goldfish? or Local Scale Selection for Recognition Techniques
2000-01-31
A New Controller Architecture for High Performance, Robust, and Fault Tolerant Control
2000-11-16
Kemin Zhou
The Null-Timelike Boundary Problem For Maxwell's Equations In Minkowski Space
1998-04-20
Applying an Update Method to a Set of Receivers
2001-03-02
Jan Van Den Bussche
Contrastive Focus Reduplication in English?
2001-01-08
The Principal chiral model as an integrable system
1998-07-28
Separation and Composition of Overlapping and Interacting Concerns
1999-10-17
Organization measures and representations of the Kohonen maps
1995-10-25
The Ruin Problem And Cover Times Of Asymetric Random Walks And Brownian Motions
2000-10-30
Predicting Hyperarticulate Speech During Human-Computer Error
2000-11-20
An Object Model Correspondence for Aldor
1999-05-12
A Scanline Algorithm for Displaying Trimmed Surfaces by Using Bézier Clipping
1996-09-22
GENTRAN User's Manual - REDUCE Version
1997-11-14
Tau Decays into Four Pions
2000-03-28
Dalitz Plot 20
1998-06-11
Agents: an Undistorted Representation of Problem Structure
1995-09-12
Transport in a Slowly Perturbed Convective Cell Flow.
2001-01-12
LECTURES on CONFORMAL FIELD THEORY
1998-05-05
Krzysztof Gawedzki
Support Vector Machines applied to Speech Pattern Classification
1999-03-19
K. K. Chin
Infinite dimensional Lie groups and the two-dimensional Toda lattice.
1998-07-27
I. Mcintosh
The Blob Projection Method for Immersed Boundary Problems
2000-03-01
M. Minion
Spectral Dynamics of Chaos
1996-08-24
Analog Processing of Signals from the Fluorescence Detector
1999-04-30
Daniel Camin
Primitive Calabi-Yau Threefolds
1998-09-01
Mark Gross
Plug and Play with Query Algebras: SECONDO - A Generic DBMS Development Environment
1999-03-09
Dominant Paths For The Field Strength Prediction
2000-03-15
G. Wolfle
A Trace-based Evaluation of Adaptive Error Correction for a Wireless Local Area Network
1998-09-23
Hubert Jin, Rich Schwartz, Sreenivasa Sista, Frederick Walls
2000-07-28
Performance and Dependability Evaluation of Manufacturing Systems Using Petri Nets
1996-05-15
Pattern Formation in Gradient Systems
2000-07-11
Paul C. Fife
Incremental Dynamics
1998-11-27
Heuristics for Large Max Clique Problems Based on Continuous Approaches
1998-01-26
P. M. Pardalos
On the Reflexivity of Point Sets
2000-12-28
Experiments with "HPJava"
1998-05-31
D'Alembertian Solutions of Inhomogeneous Linear Equations differential, difference, and some other
1999-08-17
Recent books on Formal Methods
1999-02-15
k-NLC Graphs and Polynomial Algorithms
2001-02-28
In the Standard Model of electroweak interactions, the decay
2000-10-27
On the Computation of the Bivariate Median and the Fermat-Torricelli Problem for Lines
2001-03-01
Dummy Observation Priors for VAR's
1999-12-14
The logarithmic Sobolev constant of Kawasaki dynamics under a mixing condition revisited
2000-09-20
Geometry, Calculus And Zil'ber's Conjecture
1999-08-28
Charging of Multimedia Flows in an Integrated Services Network
2000-07-25
Structures
2000-07-14
A FIFO buffer with non-blocking interface
1999-08-13
On The Semantics Of Complex Events In Active Database Management Systems
1999-05-01
The Origins and Meaning of "Professionalism" for Actuaries
2000-06-14
Variance Estimation in Generalized Linear Models using the Bootstrap
1997-10-14
H. Friedl
Neural Encoding I: Firing Rates and Spike Statistics
2000-12-18
.3. Requirements for Interface Node Hubs
1998-08-18
Travel Time Prediction Algorithm for ADVANCE Release 2.0
1996-10-21
Delegation Logic: A Logic-based Approach to Distributed Authorization
2000-08-15
Completeness of Multiseparable Superintegrability in E2,C
2000-02-03
An Improved Error Model for Noisy Channel Spelling Correction
2001-03-13
Richardson's Forecast-factory: the $64,000 Question
2000-07-19
Ecological Robotics: A Schema-theoretic Approach
2001-02-01
ESPRIT II Project P5365
2000-06-08
Quantum Scattering Theory and Applications
1999-10-04
Adam Lupu-sax
Automatic Phase Detection in Seismic Data using the Discrete Wavelet Transform
1998-10-16
On the Energy of Type-II Superconductors in the Mixed Phase
1999-01-21
Space-Time Block Codes versus Space-Time Trellis Codes
2001-02-18
Delay sensitivity of quadratic controllers. A singular perturbation approach.
2000-11-16
A Hybrid Approach to Stress Analysis in Skeletal Systems
2000-11-16
Stable Tracking Control for Unmanned Aerial Vehicles using Non-Inertial Measurements.
2000-11-16
A Non-Linear Wind Velocity Observer for a Small Wind Energy System
2000-11-16
On Adaptive Vs. Non-Adaptive Security of Multiparty Protocols
2001-03-09
Polymorphy and Hybridization in Genetically Programmed Networks
2000-11-16
Evaluating Investment Projects with a Group Decision Support System
2000-01-20
Optimal Fault Tolerant Control of Flexure Jointed Hexapods for Applications Requiring Less than Six Degrees of Freedom
2000-11-16
Structural analysis of conserved base-pairs in protein-DNA complexes.
2001-02-09
Leonid Mirny
Rheology of Basal Ice at Engabreen, Norway: Part I. Field Experiments
1999-11-17
Denis Cohen
A Nonlinear Approximation of Operator Equation V*QV = Q : Nonspectral Decomposition of Nonnormal Operator and Theory of Stability
2000-05-11
S. A. Chorosavin
The Missing Link Between the Quantum Mechanical and Semi-Classical Determination of Scattering Resonance Poles
2000-07-14
Quasi-Maximum Likelihood Estimation With Complex Survey Data
1970-01-01
Study of Distributed Ion-Pumps in CESR
1997-02-18
Subjective Discount Rates, Intergenerational Transfers and the Return to Schooling
1970-01-01
Abductive Reasoning, Belief Expansion and Nonmonotonic Consequence
2000-01-08
Ten Myths of Multimodal Interaction
2001-02-26
Program Analysis with Partial Transfer Functions
2000-02-09
Analysis of Voice Over IP Traffic
2000-01-16
James Curtis
Global Output Regulation Through Singularities
2000-11-16
Alberto Isidori
Integrating Multithreading into the Spineless Tagless G-machine
1996-02-03
A Three-Phase AC Power Source using Robust Model Reference Adaptive Control
2000-11-16
Learners as Modellers of Complex Systems: What Can Be Automated?
2000-09-04
An Improved Statistical Model for Multiparty Electoral Data
2001-02-27
Observers Design for Linear Time-Varying Systems
2000-11-16
A Note on the Nonlinear ... Control for Synchronous Motors
2000-11-16
S. Digennar
Constructivism, Self-Directed Learning and Case-Based Reasoners: A Winning Combination
2000-08-24
Choosing Subsets with Maximum Weighted Average
2001-02-12
Daniel S. Hirschberg
SLQR/SLQG: An LQR/LQG Theory for Systems with Saturating Actuators
2000-11-16
On the Finite Element Method for Mixed Variational Inequalities Arising in Elastoplasticity
1998-10-12
ORBIT10: adding the medium arc to the very short arc method
1996-03-04
Stat/Library
1999-03-30
Achim Schweikard Informatik, TU Muenchen, Orleansstr. 34, 81667 Muenchen, schweika@informatik.tu-muenchen.de
2000-10-18
Achim Schweikard
Vision-based Mobile Robot Localization And Mapping using Scale-Invariant Features
2001-02-27
A Temporal Sequence Processor Based on the Biological Reaction-Diffusion Process
1994-07-20
Specification of Addition to CORBA IDL C++ Mapping
1999-11-04
Component Software Engineering: A Brief Review
2000-10-04
Yibing Wang
Conceptual Models for the Reliability of Diverse Systems - New Results
2000-12-22
Multiplications of Floating Point Expansions
2000-11-20
Marc Daumas
Robust Output-Feedback Design Using a New Class of Nonlinear Observers
2000-11-16
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos
2001-03-08
Virtual Geoexploration: Concepts And Design Choices
2001-03-07
Widening Sharing
2001-03-08
Indirect Control of High Frecuency Power Converters for AC Generation
2000-11-16
Published in
1999-06-09
Formal Relation of Markov Renewal Theory and Supplementary Variables in the Analysis of Stochastic Petri Nets
2001-02-06
Reinhard German
A Note on Perturbations of Stochastic Matrices
2000-10-27
Noncausal Robust Set-Point Regulation of Nonminimum-Phase Scalar Systems
2000-11-16
Nonlinear Adaptive Observer Design for Uncertain Dynamical Systems
2000-11-16
Hidden Markov Models for Distributed and Concurrent Systems
2001-03-16
Gnus Manual
1997-02-11
Anti-Holonomic Jets And The Lie Bracket
1998-07-03
Michal Krupka
Heteroatomic Substitution in Aromatic
1999-11-17
Nobel Laureate Robert E. Lucas, Jr.: Architect of Modern Macroeconomics
2001-01-08
Incoming Particle Rates, Irradiation And Power Dissipation In The Cms Very Forward Calorimeters Due To The Pileup Background
1995-11-30
The Small-Scale Clustering Power Spectrum and Relativistic Decays
1998-10-16
S. J. Mcnally
Novel Models for Or-Parallel Logic Programs: A Performance Analysis
2000-10-21
A Simple Solution to the Yale Shooting Problem
1996-11-08
Andrew B. Baker
Estimating the Differencing Parameter Via the Partial Autocorrelation Function
2001-01-08
Topological Structure of the Set of Non-strongly-stabilizable SISO Systems
2000-11-16
Identification of Relative Position and Orientation of Two Cameras from Motion and Shape Parameters of Moving Rigid Body
2000-11-16
Lossless Representation of Topological Spatial Data
2001-03-02
Multirate Controllers Design By Rate Decomposition
2000-11-16
Some links between 2D Laplace inverse problems and approximation in Hardy classes: constructive identification and stability properties
2000-11-16
Stability Properties Chaabane Jaoua Leblond
Finite-Tree Analysis for Constraint Logic-Based Languages
2001-03-08
Intrusion Detection via Static Analysis
2001-03-02
A stabilizing MPC algorithm using performance bounds from saturated linear feedback
2000-11-16
Johan Lofberg
On the Relation Between a Rewriting Computational Model for Functional Logic Languages and Or-Parallelism
1996-01-08
Manuel M. T. Chakravarty
Generalized Spectral Factorization Problem for Discrete Time Polynomial Matrices Via Quadratic Difference Forms
2000-11-16
XMILE: An XML based Approach for Programmable Networks
2001-03-01
GROEBNER: A Package for Calculating Gröbner Bases
1997-11-14
The Evolution and Testing of a Medium Sized Numerical Package
2000-02-21
SPARC International Compliance and Compatibility Committee SCD Testing, Compliance and Waivers Process Issue 0.6 Date: December 10, 1992 1. Overview
1997-01-18
Field Strength Prediction In Indoor Environments With Neural Networks
2000-03-15
Hardness of Set Cover with Intersection 1
2000-11-03
Sunil Arya
Supporting Multilinguality in Ontologies for Lexical Semantics - an Object-Oriented Approach
1998-11-04
Mattias Agnesund
Numerical Analysis of Dynamical Systems
2000-11-09
John Guckenheimer
Edge-Coloring Bipartite Multigraphs in OE log D Time
2000-10-23
Existence and stability of traveling fronts in the extended Fisher-Kolmogorov equation.
2000-04-20
A Neural Network Based Learning Controller for Robot Manipulators
2000-11-16
Chiang-ju Chien
On The Output Feedback Control Of Passive Nonlinear Systems With Input Perturbations
2000-11-16
Linear predictive pole-placement control: Practical issues
2000-11-16
Using IDA for Performance Improvement in Multimedia Servers
2001-02-06
The Watermark Template Attack
2001-02-16
Defending Against Statistical Steganalysis
2001-02-14
Niels Provos
A Generalized OGY Method for Controlling Higher Order Chaotic Systems
2000-11-16
On-off Markov Reward Models
2001-02-05
On Reachability of Positive Linear Discrete-Time Systems with Scalar Controls
2000-11-16
Ventsi G. Rumchev
Collaboration Services in a Participatory Digital Library: An Emerging Design
2001-02-15
Why Is There Money? Endogenous Derivation of 'Money' as the Most Liquid Asset: A Class of Examples
2000-10-17
Ross M. Starr
A Flexible but Stable Exchange Rate: A VAR Analysis of The Swiss Franc/Euro Case
2000-10-30
Peter Kugler
An Analysis of the Articulatory-to-Acoustic Inverse Mapping During Speech Under Morphological and Continuity Constraints
2000-04-10
.1 Counting itineraries
2000-08-31
HTTP State Management Mechanism
1998-07-28
Table 734 Supporting Information
1997-08-11
Bayes Inference and Regularization
2000-01-31
Mads Nielsen
ORB Portability Joint Submission Final, orbos/97-05-16 Part 2 of 2
1998-06-25
Modelling Rule- and Experience-Based Expectations Using Neuro-Fuzzy Systems final conference version 06/18/99
1999-06-21
Stefan Kooths
Periodic Points of Small Periods of mappings of B-spaces
1998-12-10
A. Tominaga
Instituto Superior T'ecnico / Instituto de Sistemas e Rob'otica IST - Torre Norte, Av. Rovisco Pais 1, 1049-001 Lisboa, Portugal
2000-10-23
Enhancing Sharing for Precision
2001-03-08
Robust Stability and Performance of Stochastic Uncertain Systems on an Infinite Time Interval
2000-11-16
Distributed Error Correction
2001-02-05
Design of Sliding-Mode Observers and Filters for Nonlinear DYNAMIC SYSTEMS
2000-11-16
A. Alessandri
On the Behavioral Foundations of the Law of Supply and Demand: Human Convergence and Robot Randomness
2001-03-02
The Influence of Learning in the Evolution of Busy Beavers
2001-02-14
Labeling Points with Weights
2001-02-24
An Unified Framework for LPV System Analysis and Control Synthesis
2000-11-16
Time-Varying
2000-11-16
Using the Hilbert transform for 3D visualization of differential interference contrast microscope images
2000-12-08
High-Order Temporal Effects in Finite-State Machine Analysis
2000-02-09
Events And Time In A Finite And Closed World
2000-12-18
Francis Y. Lin
Public-key Cryptosystems Provably Secure against Chosen Ciphertext Attacks
2001-02-18
Control and Modeling Issues in Computer Operating Systems: Resource Management for Real-Rate Computer Applications
2000-11-16
Non-Exponential Stochastic Petri Nets: an Overview of Methods and Techniques
2001-02-06
Andrea Bobbio
Combining Logics: Parchments Revisited
2001-02-28
Design of Robust Repetitive Control System for Multiple Periods
2000-11-16
Nearest Neighbor Search in High Dimensional Space by Using Convex Hulls
2001-03-05
Ingo Schmitt
On the Strong Stabilizability of MIMO
2000-11-16
Polygonal Approximation of Uncertain Height Fields for Outdoor Navigation
2000-11-16
Post Processing Optimization of Byte-Code Instructions By Extension of Its Virtual Machine.
1998-08-27
Prabhas Chongstitvatana
Equivalence of Disturbance Observer Structures for Linear Systems
2000-11-16
Observers for the biotechnological processes with unknown kinetics. Application to wastewater treatment
2000-11-16
On Formulating Nonlinear Dynamics In LPV Form
2000-11-16
Reflective Programming in the Relational Algebra
2001-03-02
On the Reduction of Adiabatic Dynamical Systems near Equilibrium Curves
2000-10-31
Floating-Point to Fixed-Point Compilation and Embedded Architectural Support
2001-02-27
Tor Aamodt
On Nonlinear Controllability of Homogeneous Systems Linear in Control
2000-11-16
A Stochastic Jurdjevic-Quinn Theorem
2000-11-16
Patrick Florchinger
Supervisory Control for Rectangular Hybrid Automata
2000-11-16
Michael P. Spathopoulos
A FPGA-based Behavioral Control System for a Mobile Robot
1998-09-14
Optimal Resistive Elements for Multiple Mode Shunt Damping of a Piezoelectric Laminate Beam
2000-11-16
The Correctness of Set-Sharing
2001-03-08
Error Modeling for TCP Performance Evaluation
2000-05-31
Lyapunov methods in nonsmooth optimization, Part II: persistently exciting finite differences
2000-11-16
System Identification using Nonlinear Filtering Methods with Applications to Medical Imaging
2000-11-16
Evaluation of the Completion Time and Catastrophic Failure Time of a Two State System
2001-02-05
Andrea Bobbio
Pricing of Dialup Services: an Example of Congestion-Dependent Pricing in the Internet
2000-11-16
Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences
1999-05-25
Call Allocation in Cellular Communication Systems With Overlapping Coverage
2000-11-16
Temporal Connectives Versus Explicit Timestamps in Temporal Query Languages
2001-03-02
Efficient Structural Information Analysis for Real CLP Languages
2001-03-08
Structural Information Analysis for CLP Languages
2001-03-08
Roberto Bagnara
Learning How to Edit Text
2000-08-25
On Preservation of Dissipation Inequalities Under Sampling
2000-11-16
A Proposal for an ISO Standard for Public Key Encryption
2001-03-08
Victor Shoup
Stabilizing Receding Horizon ... Controls for Linear Continuous Time-varying Systems
2000-11-16
Supervised Classification Using MCMC Methods
2001-02-13
Fault Management in Communication Networks: Test Scheduling with a Risk-Sensitive Criterion and Precedence Constraints.
2000-11-16
Collusion in Private Value Ascending Price Auctions
2000-04-03
Katerina Sherstyuk
Dynamical Realizability of Kinematical Bounds on the Optimization of Observables for Quantum Systems
2000-11-16
Addressing Weaknesses in the Domain Name System Protocol
1999-12-01
Christoph L. Schuba
Practical Output Tracking of Nonlinear Systems with Applications to Underactuated Mechanical Systems
2000-11-16
Nonlinear Analysis of a High-Resolution Optical Wave-Front Control System
2000-11-16
Enhancing Detectability of Bifurcations in DC-DC Converters by Stochastic Resonance
2000-11-16
Dynamic Bisimilarity for Reconfigurable and Mobile Systems Via Tile Logic
2001-02-06
State-Space Estimation with Uncertain Data: Finite and Infinite-Horizon Results
2000-11-16
Ali H. Sayed
Integrating Medical Terminologies with ONIONS Methodology
1997-11-13
A Set Theoretic Approach to the Simultaneous Localization and Map Building Problem
2000-11-16
Software Dependability Evaluation Based on Markov Usage Models
1999-10-12
Walter J. Gutjahr
Robustness for Free in Unconditional Multi-Party Computation
2001-03-07
The Contribution Of Simulation For The Management Of An Automated Work-Cell
2000-03-10
Heinz Ulrich Willi Drig
Optimal Aggregation Algorithms for Middleware
2001-03-03
Automatic computation of the area irradiated by ultrashort laser pulses in Sb materials through texture segmentation of TEM images
2001-03-14
Exact Solution of the Two-Dimensional Finite Bin Packing Problem
1998-01-25
Resonances of the Dirac Hamiltonian in the non relativistic limit
2000-09-12
Numerical Modeling and Experimental Evaluation of Geometrical Dispersion Effects.
1999-03-23
Edge Occupation Measure For A Reversible Markov Chain
1999-11-09
N. Guillotin
Uncertain Confidence: Civilian and Military Attitudes About Civil-Military Relations
2000-08-04
Scalable Schemes for Mobile Networks with Multiple Services
2001-02-06
Turbo Recognition: A Statistical Approach to Layout Analysis
2001-02-15
Global Stabilization and Peaking Reduction for Nonlinear Uncertain Systems with Unmodeled Actuator Dynamics
2000-11-16
Guaranteed Ced Inequalities for Robust Stability and Performance Analysis
2000-11-16
Application of Bayesian Neural Network in Electrical Impedance Tomography
1999-05-25
Computer Vulnerability Analysis Thesis Proposal
1999-12-01
Ivan Krsul
Software Safety Analysis Using Rough Sets
1998-06-24
Convergence and Error Analysis for a Max--Plus Algorithm
2000-11-16
William Mceneaney
? The problem here has been the general one of taking the continuum l...
1998-04-21
Benjamin Svetitsky
Joshua: A Tool for the Distributed Execution of Regression Test Suites
2001-03-07
Gregory M. Kapfhammer
Sequence Assembly Validation by Restriction Digest Fingerprint Comparison
1997-09-30
Generating a Compact Representation of an Exponentially Large Solution Space
1998-05-21
Daniel J. Clancy
IRTF Research Group Guidelines and Procedures
1970-01-01
Bcp J. Postel
Static Analysis of CLP Programs over Numeric Domains
2001-03-08
Document Object Model DOM Level 2 Core Specification - Version 1.0
2000-11-14
Team Contact from November
MATLAB Tutorial
2001-03-11
David Andrew Pollum
A Testable Model Of Global Cortical Organization
1996-05-23
Don Krieger
Analysis And Construction Of Optimal Multivariate Biorthogonal Wavelets With Compact Support
1999-10-26
Bin Han
Global Bounds For The Lyapunov Exponent And The Integrated Density Of States Of Random Schrödinger Operators In One Dimension
2000-05-15
V. Kostrykin
Modeling Human Teaching Tactics in a Computer Tutor
2000-05-09
On Discrete Time Nonnegative Storage Functions and State Functions
2000-11-16
Partial Loss in Reward Models
2001-02-06
A Symbolic Algorithm For Determining Convexity of A Matrix Function: How To Get Schur Complements Out of Your Life
2000-11-16
Determining Bounds for Performance Parameters of an ATM Multiplexer with Homogeneous ON-OFF Sources Using Markov Decision Processes
2001-02-06
Khalid Begain
Multiplex Semantics For Deontic Logic
2001-02-14
Lou Goble
On the Hardness of Graph Isomorphism
2001-03-09
Continuous Time-Frequency Representations
1997-02-27
Formation Maneuvers in Three Dimensions
2000-11-16
Meir Pachter
Upgrading to TLS Within HTTP/1.1
1970-01-01
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation
2001-03-08
An Asymptotically Linear Fixed Point Extension Of The Inf-Sup Theory Of Galerkin Approximation
1997-07-21
Joseph W. Jerome
Aggressive maneuvering of a thrust vectored flying wing: A receding horizon approach
2000-11-16
John Hauser
Stochastic Volatility Duration Models
1998-04-27
Strict Positive Realness for Linear Time-invariant Systems with Time-delays
2000-11-16
The Role of Development in Genetic Algorithms
2000-12-11
Turbulence Simulations On Parallel Computers
1999-02-22
On the Number and Indices of Equilibria in a Space-Dependent Bistable Equation
1999-12-21
D. Salazar
Evaluation of Learning Schemes Used in Information Retrieval
2000-01-19
Development of Self-Stabilizing Distributed Algorithms using Transformation: Case Studies
2000-12-20
Description of the Multi-Dimensional Finite Volume Solver EULER
2000-09-26
K. Segeth Prague
On The Controllability Of SystemsOn Compact Lie Groups And Quantum Mechanical Systems
2000-11-16
The averaged dynamics of the hydrogen atom in crossed electric and magnetic fields as a perturbed Kepler problem
2001-01-10
Supplementary Variable Approach Applied to the Transient Analysis of Age-MRSPNs
2001-02-05
On the Development of Generalized Hamiltonian Realizations
2000-11-16
A Stochastic Approach To The Flood Control Problem
2000-11-16
Building Agents with Memory: An Approach using Genetically Programmed Networks
2000-11-16
Combinatorial Landscapes
2001-02-28
Concrete Security Characterizations of PRFs and PRPs: Reductions and Applications
2001-01-30
Anand Desai
Two Schemes to Improve the Performance of a Sort-last 3D Parallel Rendering Machine with Texture Caches
1999-02-12
Enlargement of Stable Region in Visual Servo
2000-11-16
Rjk Band Observations Of The Optical Afterglow Of Grb 9912161
2000-11-17
Right Coprime Factorizations Using System Upper Hessenberg Forms - The Multi-input System case
2000-11-16
Segmented Spherical Corrector Rings 1: Computer Simulations
2000-05-02
Acquiring Procedural Knowledge in EXPECT
2000-09-04
Lie Algebras Of Differential Operators And Partial Integrability
2000-11-08
Black hole area in Brans-Dicke theory
1997-03-04
Gungwon Kang
Weak Solutions for a Fluid-Elastic Structure Interaction Model
2000-05-24
Optimizing Main-Memory Join On Modern Hardware
1999-10-14
Identification And Ranking Of Similar Parts In Agile Manufacturing
1995-09-20
DInCAD: Distributed Internet-based CAD Methods for Future Complex MicroelectronicSystems
2000-09-04
Observability Properties of Petri Nets
2000-11-16
Efficient OLAP Operations in SPatial Data Warehouses
2001-02-22
On Improving Head-Disk Interface in Hard Disk Drives Using Active Control
2000-11-16
Robust LQ Control for Harmonic Reference/Disturbance Signals
2000-11-16
Reliability Modelling of Time-Critical Distributed Systems
2001-02-19
The Linear Quadratic Dynamic Game for Discrete-Time Descriptor Systems
2000-11-16
Hua Xu
From Code Understanding Needs to Reverse Engineering Tool Capabilities
1996-04-11
Iterative Learning Control Using Adjoint Systems for Nonlinear Non-Minimum Phase Systems
2000-11-16
The shape of the Shape Lemma
1996-05-30
Customisable Off-line Web Browsing with Mobile Software Agents
2001-01-23
Mean Likelihood Estimators
2001-02-20
State estimation for affine LPV systems
2000-11-16
Measuring the Social Return to R&D
1999-05-01
Approximate Nonlinear Filtering and Its Applications for GPS
2000-11-16
Some Mathematical Problems in Artificial Intelligence
1994-08-17
Jon Doyle
Near-Infrared Imaging Of Early-Type Galaxies II. Global Photometric Parameters.
1999-03-15
Michael A. Pahre
Convergence Acceleration Method of Large-Scale Parallel Iterative Solvers for Heterogeneous Properties
1999-01-13
Kengo Nakajima
Experience with a Combined Approach to
2000-02-22
Cobra - The Library for Building Reliable Applications in Distributed Environment
2000-06-12
Self-Organization of Spatio-Temporal Earthquake Clusters
2000-03-22
Russell's Paradox Of The Totality Of Propositions
2000-12-18
I Know What You Did Last Quarter: Economic Forecasts of Professional Forecasters
2000-04-03
Recursive Observer Design beyond the Uniform Observability
2000-11-16
Sun Microsystem's Java Platform
2000-05-10
Decision Support For Practical Reasoning: a theoretical and computational perspective
2001-02-28
Optimal and Self-Tuning State Estimation for Singular Stochastic Systems: A Polynomial Equation Approach
2000-11-16
An Adaptive MHD Method for Global Space Weather Simulations
2001-03-03
On Trajectory Optimization for Polynomial Systems via Series Expansions
2000-11-16
Finite Volume Scheme for Stokes Problem.
1997-10-08
Adaptive Passivation of a Class of Uncertain Nonlinear Systems
2000-11-16
Directed Graphical Models Of Classifier Combination: Application To Phone Recognition
2000-12-13
The First Use of a Combined Value Auction for Transportation Services
2000-11-13
Automatic Generation of Help from Interface Design Models
1994-03-24
Asymptotic Stabilization of the Heavy Top Using Controlled Lagrangians
2000-11-16
Robust Anisotropic Diffusion
1997-04-16
Evolution of the Light--Cone Distribution Function for a Heavy Quark
1998-05-12
A Backward Time Shift Filter for Nonlinear Delayed-Feedback Systems
2001-02-19
Seismology Of Solar-Type Stars
2001-02-07
Common Stochastic Trends, Common Cycles, and Asymmetry in Economic Fluctuations
2000-09-19
Transcription Of New Speaking Styles - Voicemail
2000-07-28
Control and Random Searching with Multiple Robots
2000-11-16
On-line Techniques for Behavioral Programming
2000-11-16
Collusion in Multiple Object Simultaneous Auctions: Theory and Experiments
2000-04-03
Anthony M. Kwasnica
Stability Analysis of a New Control Scheme for a Three-degree-of-freedom Flexible Arm under Tip Payload Changes
2000-11-16
Robust Hurwitz and Schur Stability Test for Interval Matrices
2000-11-16
Yang Xiao
Collision Detection: Algorithmsand Applications
2000-11-14
Why They Still Cannot Use Their Library Catalogues
2000-03-30
Peter Warren
Simulation of a 6/4 Switched Reluctance Motor Based on Matlab/Simulink Environment
2001-02-13
Exact Representation and Operations on Spherical Maps
1997-07-31
An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries
2001-03-02
A Study of Cell Loss Recovery Schemes for Transmission of MPEG-2 Transport Streams over ATM
1998-02-03
An Efficient One-Way Function Tree Implementation for Group Key Management
2001-02-23
R.F. Blute
1999-03-03
COIL Challenge 2000 Description Task
2000-06-30
General Description of the BRIEFS System
2001-02-20
Matti Keijola
Upper Bounds on Arnold Diffusion Time via Mather Theory
2000-11-13
Virtual Reality - the Dream for Many Architects?
1970-01-01
Quantization
1998-09-07
Table 734 Supporting Information
1997-08-11
Instructions for the preparation of camera-ready copy for DEMY FORMAT BOOKS
2001-02-21
Stabilization of Nonholonomic Chained Systems via Nonregular Feedback Linearization
2000-11-16
On Minimizing the Degree of a Formula
2001-03-02
Jan Van Den Bussche
A simplified probing controller for glucose feeding in Escherichia coli cultivations
2000-11-16
Firing Speeds Estimation For Continuous Petri Nets
2000-11-16
Dimitri Lefebvre
Improvability of Feedback Systems
2000-11-16
Estimation of Parameters in State Equations via Multiple Observers
2000-11-16
Dynamic Adaptive Mapping of Videos in a Hierarchical TV-Anytime Server Network
2001-01-31
A Comparative Study of 7 Algorithms for Model Reduction
2000-11-16
High Resolution Interleaved Multishot Echo-Planar Imaging of the Heart
1996-03-08
Probabilistic Robust Design with Linear Quadratic Regulators
2000-11-16
A Functional Theory of Local Names
1970-01-01
Martin Odersky
Decomposing Non-Redundant Sharing by Complementation
2001-03-08
Global Surface Reconstruction By Purposive Control of Observer Motion
2000-10-26
Gender and Tax
2000-04-03
Um--P--95/51
1995-07-03
John P. Costella
Efficient Implementation of Fully Implicit Methods for Atmospheric Chemical Kinetics
1997-09-03
Aspects of Radiation Hardness for Silicon Microstrip Detectors
1996-09-26
Khepera: A System for Rapid Implementation of Domain Specific Languages
1997-08-29
Eigenvalue Computations for Regular Matrix Sturm-Liouville Problems
1996-06-18
Maximal Operators Associated With Dirichlet Forms Perturbed By Measures
1998-06-18
Amir Manavi
A sample-paths approach to noise-induced synchronization: Stochastic resonance in a double-well potential
2001-01-03
Performance Limitations in the Robust . . .
2000-11-16
MRML: An Extensible Communication Protocol for Interoperability and Benchmarking of Multimedia Information Retrieval Systems
2001-02-19
Adaptive Models for Input Data Compaction for Power Simulators
2000-02-09
Guaranteed Multi-Loop Stability Margins and the Gap Metric
2000-11-16
Lyapunov Coupled Equations For Infinite Jump Linear Systems
2000-11-16
OBJECTFLOW: A Modular Workflow Management System
1997-01-23
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages
2001-03-08
Roberto Bagnara
Problems Of Computing On The Web
2000-02-19
Computational Restrictions for SPN with Generally Distributed Transition Times
2001-02-05
Andrea Bobbio
Flat Fragments of CTL and CTL*: Separating the Expressive and Distinguishing Powers
1999-01-19
Constructive On-line Learning for a Neuro-Fuzzy Network with Fuzzy Sets obtained by Delaunay Triangulation
2000-11-16
Simulation Tests to Quantify the Spectral Dynamic Range and Narrowband Interference Robustness of the WIDAR Correlator for the EVLA
2000-11-22
A Reactive Implementation of Pos Using ROBDDs
2001-03-08
Roberto Bagnara
Factor analysis and outliers: A Bayesian approach
2000-06-21
Wolfgang Polasek
Trading Scenarios for Heterogeneous Agents
1997-11-27
A Strategy for Nding Gravitationally-Lensed Distant Supernovae
2000-07-17
ArrayTracer: A Parallel Performance Analysis Tool
1996-08-16
Control System Toolbox
1997-12-19
Electron Wavefunctions and Densities for Atoms
2000-04-12
Open-Loop Feedback Control for . . .
2000-11-16
Fabio Balduzzi
Q domain sub/super-optimization linear programming methods for MIMO l_1 control problems
2000-11-16
Performance Optimization Of Discrete Event Systems With Failures Using Fluid Petri Nets
2000-11-16
Xiaolan Xie
Temporal versus First-Order Logic to Query Temporal Databases
2001-03-02
Manipulability Analysis for Mobile Manipulators
2001-02-21
Space and Space-Time Modeling Using Process Convolutions
2001-03-09
Dave Higdon
Multiple Dimensions of Integrating Development Technology
1999-03-19
Betty H. C. Cheng
A Spin-Glass Markov Random Field for 3-D Object Recognition
2001-02-05
Efficient Simulation from the Multivariate Normal and Student-t Distributions Subject to Linear Constraints and the Evaluation of Constraint Probabilities
1998-02-26
John Geweke
Receding Horizon Output FeedbackControl for Linear Systems with Input Saturation
2000-11-16
Y. I. Lee
Locally Conservative Algorithms For Flow
1999-08-17
Mary F. Wheeler
Discretisation Of Feedback Controllers In A Pointwise GAP Metric
2000-11-16
Spectrum of the Infinite-Dimensional Laplacian
1999-04-21
The Complexity of Reasoning with Boolean Modal Logics
1970-01-01
Parallel C++ Programming System on Cluster of Heterogeneous Computers
1999-04-09
A Logic for Rewriting Strategies
2001-02-13
Richard B. Kieburtz
Some Properties of Generalized Factorable 2--D FIR Filters
1996-09-04
Roberto Manduchi
A CONFIGURABLE VISUALIZATION ENVIRONMENT Benoit Ozell, Ricardo Camarero CERCA, ' Ecole Polytechnique de Montr'eal, 5160 D'ecarie, bureau 400 Montr'eal, Canada, H3X 2H9
1997-08-07
Bayesian Inference for the Uncertainty Distribution
2000-06-16
Jeremy Oakley
Joint Iterative Channel Estimation and Decoding in Flat Correlated Rayleigh Fading
2000-11-17
A Model Based Approach for Localization of Basket Catheters for Endocardial Mapping
2000-05-04
Reasoning about Time in the Situation Calculus.
1997-05-19
Raymond Reiter
Representational Learning
2000-12-18
Compiler Techniques for Code Compaction
2000-07-11
Automatic Completion And Evaluation Of Road Networks
2000-03-28
Approaches to the Successful Design and Implementation of VR Applications
2000-12-28
Steve Bryson
Practical Symplectic Partitioned Runge--Kutta and Runge--Kutta--Nystrom Methods
2000-11-24
Defining Normative Systems for Qualitative Argumentation
2001-03-07
Simon Parsons
MC-CDMA with Quadrature Spreading over Frequency Selective Fading Channels
1997-07-16
Slimane Ben Slimane
Similarity Solutions of a Boundary Layer Problem over Moving Surfaces
1997-05-04
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
1999-07-27
Paul Z. Kolano
Chiral Shielding
2000-04-11
BayesianModi Averaging: A Tutorial
2001-01-31
Superconvergent Lift Estimates Through Adjoint Error Analysis
2000-03-06
The XML Package
2001-03-06
Bayes-Ball: The Rational Pastime for Determining Irrelevance and Requisite Information in Belief Networks and Influence Diagrams
1999-01-19
Ross D. Shachter
Modified Cholesky Factorizations In Interior-Point Algorithms For Linear Programming
1999-02-16
Stephen J. Wright
Enumeration in Algebra and Geometry
1997-05-22
Automatic Parallelization: An Incremental, Optimistic, Practical Approach
2000-07-12
A Polynomial Characterization of Congruence Classes
1998-09-22
Virtual Reality Movies -- Real-Time Streaming of 3D Objects
1999-05-26
Adaptive and Self-Confident On-Line Learning Algorithms
2000-11-03
Peter Auer
College Quality&the Earnings of Recent College Graduates
2000-09-28
Belief Revision by Multi-Agent Genetic Search
2001-02-14
Slow Motion of Charges Interacting Through the Maxwell Field
2000-01-03
Incentives In The Welfare-State - Lessons For Would-Be Welfare States
1996-01-18
Approximation Algorithms for Vertex Cover
1999-12-13
Unitarity Restoration for the Product of Nonunitary Operators
1996-04-24
Arlen Anderson
A Priori Error Estimates For Interior Penalty Versions Of The Local Discontinuous Galerkin Method Applied To Transport Equations
2000-06-07
Clint Dawson
Evolutionary algorithms for the calculation of electron distributions in Si-MOSFETs
1996-06-03
J. Jakumeit
Multiresolution Representation and Reconstruction of Adaptively Sampled Images
1996-09-06
Chiral Anomaly in Contorted Spacetimes
1997-05-06
Eckehard W. Mielke
On theIrrelev ance of the Maturity Structure of Gov ernment Debt Without Commitment
2001-03-13
The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms
1999-08-18
Exploring CSCW Mechanisms to Realize Constant Accessibility Without Inappropriate Interaction
1999-12-17
Fredrik Ljungberg
Visualization and Geometric Analyses of Biological Structures Based on Morphological Skeletons
2000-01-28
Rafael A. Garca Leiva
Fuzzy Logic and Mathematical Morphology
2000-11-07
SIRENA: A CAD Environment for Behavioral Modeling and Simulation of VLSI Cellular Neural Network Chips
1998-08-31
Identifying The Effect Of Unemployment On Crime
1998-08-06
Domain Expertise vs. Validation Expertise: Essentials of Validating Intelligent Systems
1998-11-16
Klaus P. Jantke
Underactuated Vehicle Control - Controller Design Solution and Simulations
1999-10-20
Gregory J. Toussaint
Comparison of Bandwidth Usage: Service Location Protocol and Jini
2000-10-11
Efficiency and Robustness in a Geometrical Perspective
2000-09-20
The Spectral Independent Components Of Natural Scenes
1999-09-03
Molecular Dynamics on the Cray Y-MP
1994-12-12
A Heuristic Algorithm to Design AND-OR-EXOR Three-Level Networks
2001-02-18
IUCF UNIX User's Guide
1996-02-12
David Williams
Real-Time Communication In An Internetwork
1996-07-29
Domenico Ferrari
A Parallel Development Environment For The Ipsc Hypercube
1992-01-30
Identifying Stress Test Scenarios
2000-10-06
Status Quo Bias in Bargaining: An Extension of the Myerson Satterthwaite Theorem with an Application to the Coase Theorem
2001-02-14
Richard D. Mckelvey
Enhancing Sharing for Precision
2001-03-08
Twomulti-Sensor-Based Control Strategies for Driving a Robot Amidst Obstacles
2000-11-16
Incremental Mining of Partial Periodic Patterns in Time-Series Databases
2000-06-05
Mohamed G. Elfeky
Information Aggregation in Experimental Asset Markets: Traps and Misaligned Beliefs
2000-04-03
On the Transformation of Maximally Permissive Marking-based Liveness Enforcing Supervisors into Monitor Supervisors
2000-11-16
When Optimal Entropy-Constrained Quantizers have only a Finite Number of Codewords
2001-02-15
P. A. Chou
An Asymptotic Expansion In A 3-Dimensional Degenerated Control Problem With Finite Horizon
2000-11-16
Charles Marchetti
The Chattering Limit of Singularly Perturbed Optimal Control Problems
2000-11-16
Using Non-Determinism to Improve the Robustness of Robot Programs Generated by Genetic Programming
2001-02-13
Thanut Sukkarnjanonth
Learning T-Wrappers for Information Extraction
2001-02-27
Bernd Thomas
An Algorithm for Query Folding with Functional Dependencies
1999-01-28
Jarek Gryz
A Performance Study of the BIMA Archiving System
1998-09-29
Ray Plante
Mesoscale and Microscale Meteorology Division Boulder, Colorado 80307-3000 January 1999
1999-02-11
Remi Munos, Leemon C. Baird and Andrew W. Moore
2000-11-14
Statistical Computing
2000-09-21
Theorem Proving and Model Building with the Calculus KE
1998-01-08
Lateral Prediction for Noise Attenuation By T-X and F-X Techniques
1997-11-17
Ricci Flow And The Uniformization On Complete Noncompact Kähler Manifolds
1998-09-01
Wan--xiong Shi
Empirical process of the squared residuals of an ARCH sequence
2001-02-08
Piotr Kokoszka
An Advanced Algorithm Based on Differential Algebra for Disturbance Decoupling of Nonlinear Systems
2000-11-16
The Task Completion Time in Degradable Systems
2001-02-05
Andrea Bobbio
Robust Pole Assignment Techniques Via State Feedback
2000-11-16
A General Transform Theory of Rational Orthonormal Basis Function Expansions
2000-11-16
Numerical Analysis of Queues with Batch Arrivals
2001-02-06
LMI-Based Filter Design for Fault Detection and Isolation
2000-11-16
Self-Tuning Fuzzy Looper Control for Rolling Mills
2000-11-16
Multipitch Estimation And Sound Separation By The Spectral Smoothness Principle
2001-02-12
Anssi P. Klapuri
Effective Control Synthesis for DES . . .
2000-11-16
Will We Have a Wet Summer? Soft Computing Models for Long-term Rainfall Forecasting
2001-02-21
The Harvey Mudd Engineering Clinic: Past, Present, Future
1999-12-02
J. R. Phillips
Delay Analysis in Synchronous Programs
1994-06-10
Optimal Periodic Orbits of Chaotic Systems Occur at Low Period
1997-07-30
Brian R. Hunt
A generalization of Hensel's Lemma, following a previous result of S.K Khanduja and J. Saha
1999-12-29
Modelling and Verifying Mobility: A Case Study
1999-12-20
Models For Parallel Algorithm Design: An Introduction
1998-01-15
On a Class of Elliptic Systems in
1996-06-14
David G. Costa
Rule Mining with Prior Knowledge - A Belief Networks Approach
2001-01-16
Intelligent Backtracking on the Hardest Constraint Problems
1996-11-08
Andrew B. Baker
Rigidity of the critical phases on a Cayley tree
2000-10-24
Party Fragmentation and Presidential Elections in Post-Communist Democracies
2000-04-03
Choosing Subsets with Maximum Weighted Average
2001-02-12
Daniel S. Hirschberg
Efficient Structural Information Analysis for Real CLP Languages
2001-03-08
Continuous-, Discrete- And Sampled-Data-
2000-11-16
Control of the System Synchronous Generator-Exciter via VSC
2000-11-16
Probabilistic Pursuit-Evasion Games: A One-Step Nash Approach
2000-11-16
Numerical Error Minimizing Floating-Point to Fixed-Point ANSI C Compilation
2000-04-28
Widening Sharing
2001-03-08
A Study on Non-random Mating and Varying Population Size in Genetic Algorithms Using a Royal Road Function
2001-03-05
WebRACE: A Distributed WWW Retrieval, Annotation, and Caching Engine.
2001-02-23
Creating Educational Guided Paths over the World-Wide Web
2000-11-22
Middleware Enabled Fault Management for Commercial Operating Systems
2000-03-20
Primitive C-Command
2000-07-14
Verifying Sequential Consistency on Shared-memory Multiprocessor Systems
1999-11-03
Behavioral Profiling Based High Level Power Estimation Methodologies for VLSI ASIC and FPGA Synthesis
1997-02-14
Are WordNet sense distinctions appropriate for computational lexicons?
2000-10-06
Martha Palmer
Using Qualitative Uncertainty in Protein Topology Prediction
2001-03-07
Simon Parsons
A Design and Specification Environment for Distributed Memory Multiprocessors
1991-11-21
Value at Risk estimation for stock indices using the Basle Committee proposal from 1995
2000-08-08
Lyapunov Vectors and Local Growth Rates in Space-Time Chaos
2000-12-07
Sophisticated EWA Learning and Strategic Teaching in Repeated Games
2001-02-28
Wavelets and Variance Reduction in Non-Parametric Transfer Function Estimation.
2000-11-16
Variable Sampling Integral Control of Infinite-Dimensional Systems
2000-11-16
Stuart Townley
Lyapunov methods in nonsmooth optimization, Part I: Quasi-Newton algorithms for Lipschitz, regular functions
2000-11-16
Andrew R. Teel
A Closed Form Solution to the Single Degree of Freedom . . .
2000-11-16
A Fast Multi-Dimensional Algorithm for Drawing Large Graphs
2000-10-26
On the Utility of Semantic Constraints
2001-02-28
Structural Information Analysis for CLP Languages
2001-03-08
Roberto Bagnara
On the Construction of Modular Observers and Diagnosers for Discrete-Event Systems
2000-11-16
Recent Developments in Non-Markovian Stochastic Petri Nets
2001-02-05
Linked Stress Release Model for Spatio-Temporal Seismicity
1999-01-14
Variability Functions For Parametric-Decomposition Approximations Of Queueing Networks
2000-07-28
Ward Whitt
A dimension group for local homeomorphisms and endomorphisms of onesided shifts of finite type Mike Boyle, Doris Fiebig, Ulf-Rainer Fiebig
1996-12-17
A Coordinate Atlas of the Manifold of Observable Conditioned Invariant Subspaces
2000-03-06
Fourier Law: A Challenge To Theorists
2000-02-28
Block Transform Adaptation By Stochastic Gradient Descent
1998-04-30
A Real-Time Video Stabilizer Based on Linear-Programming
1999-08-27
Error Control Techniques for Interactive Low-bit Rate Video Transmission over the Internet
2000-01-10
Injong Rhee
Nonlinear Black-Box Modeling in System Identification: a Unified Overview
1997-02-07
Bima Array Response To Extended Structure
1998-09-29
M. C. H. Wright
Notions of Observability for Uncertain Linear Systems with Structured Uncertainty
2000-11-16
Ian R. Petersen
A Priori Versus a Posteriori Filtering of Association Rules
2001-03-02
Uncertainty, Information and Complexity in Identification and Control
2000-11-16
Data Collection Mechanisms for Intrusion Detection Systems
2001-03-05
Diego Zamboni
A Formal Specification for a Real-Time Train Controller
2001-02-20
Simon Kramer
Matching As The Intersection Of Matroids
2000-07-11
3D Scene Manipulation with 2D Devices and Constraints
2000-11-20
Identification of Averaged Dynamics of a Controlled Combustion Instability
2000-11-16
Lyapunov Stability Analysis for Nonlinear Delay Systems
2000-11-16
3D Path Following for Autonomous Underwater Vehicle
2000-11-16
A. Pascoal
Provably Good Mesh Generation
1999-09-17
Coding of Border Ownership in Monkey Visual Cortex
2001-03-06
Electronic Fault Recording: A corporate memory for maintenance support of complex machines
1997-11-05
Ansgar Bernardi
Distortions of Stereoscopic Visual Space and Quadratic Cremona Transformations
1998-10-13
Gregory Baratoff
A Sharp Concentration Inequality With Applications
1999-12-10
Differential Operators and the Steenrod Algebra
1996-05-22
R. M. W. Wood
Improving Branch Predictors by Correlating on Data Values
1999-11-04
Cooling Study for the CMS Forward MSGC Tracker
1996-05-04
A Comparative Study of Principal Component Analysis Techniques
1998-09-23
Distributed Dynamic Data-Structures for Parallel Adaptive Mesh-Refinement
1998-08-11
Minimizing Data and Synchronization Costs in One-Way Communication
2001-02-08
Mixed Equilibrium in a Downsian Model with a Favored Candidate
2000-11-13
Clinical Record Systems in Oncology. Experiences and Developments on Cancer Registers in Eastern Germany
2001-02-27
Bernd Blobel
Termination properties of spatial Datalog programs
2001-03-02
A Dynamic Programming Approach for Optimal Control of . . .
2000-11-16
On Free Planes In Lattice Ball Packings
2000-03-10
Synthesis Of Hierarchical Procedural Controllers
2000-11-16
Reachability Analysis for a Class of Quantized Control Systems
2000-11-16
A. Bicchi
Using Compile-Time Reflection for Objects' State Capture
2000-08-28
On First Order Interval Temporal Logic
2001-02-22
Martin J. Osborne
1999-06-09
Martin J. Osborne
The Category of Affine Connection Control Systems
2000-11-16
Andrew D. Lewis
An Almost Linear Biped
2000-11-16
Optimal Kernels Of Time-Frequency Representations For Signal Classification
2001-02-13
Nepal -Nested Data-Parallelism in Haskell
2001-03-02
An Effective Numerical Method to Compute the Moments of the Completion Time of Markov Reward Models
2001-02-06
Geometric Scattering in Tele-manipulation of Port Controlled Hamiltonian Systems
2000-11-16
Stability Tests for a Class of Differential Linear Repetitive Processes with Dynamic Boundary Conditions
2000-11-16
The Minimal Coecient of Variation of Discrete Phase Type Distributions
2001-02-06
The Internet Worm Program: An Analysis
2000-02-18
Eugene H. Spafford
Hybrid Constrained Simulated Annealing and Genetic Algorithms for Nonlinear Constrained Optimization
2001-03-08
Shape-Based Optimization of a Plasma Etching Process
2000-11-16
Canonical Forms and Orbit Identification Problems in Machine Vision
2000-11-16
Shapedesig of Channel Flows for Steady, Incompressible Flows
2000-11-16
H. -c. Kim
Economics, Entitlements and Social Issues: Voter Choice in the 1996 Presidential Election
2000-04-03
V-COLLIDE: Accelerated Collision Detection for VRML
2000-11-14
The Importance of Rapid Cultural Convergence in the Evolution of Learned Symbolic Communication
2001-03-01
Kenny Smith
Relaxing the Optimality Condition in Receding Horizon Control
2000-11-16
Ali Jadbabaie
Steady State Solution of MRSPN with Mixed Preemption Policies
2001-02-06
Subspace Angles Between Linear Stochastic Models
2000-11-16
Extracting Procedural Knowledge from a Groupware for Planning System
2000-09-04
A NN Controller and Tracking Error Bound for Robotic Manipulators
2000-11-16
Optimal Approximation Rates for Lipschitz Controls
2000-11-16
Goetz P. Grammel
On the Analysis of Software Rejuvenation Policies
2001-02-06
New Integral Representations and Algorithms for Computing nth Roots and the Matrix Sector Function of Nonsingular Complex Matrices
2000-11-16
A Unified Proof For The Convergence Of Jacobi And Gauss-Seidel Methods
2001-03-08
Roberto Bagnara
Communication-Limited Stabilization of Linear Systems
2000-11-16
Untraceable Electronic Cash Extended Abstract
2001-02-18
Force/Position Tracking for Electrohydraulic Systems of a Robotic Excavator
2000-11-16
A Unified Characterization and Solution of Input-to-State Stabilization via State-Dependent Scaling
2000-11-16
The Dynamics of Equity Prices in Fallible Markets
2000-04-03
Peter Bossaerts
APerformance Comparison of Dynamic vs. Static Load Balancing Policies in a Mainframe -- Personal Computer Network Model
2000-11-16
Efficient Structural Information Analysis for Real CLP Languages
2001-03-08
An Optimal Control Formulation For Inviscid Incompressible Ideal Fluid Flow
2000-11-16
Averaging With Respect to Arbitrary Closed Sets: Closeness of Solutions for Systems With Disturbances
2000-11-16
Improving the Lagrangian Relaxation Approach for Large Job-shop Scheduling
2000-11-16
Estimation of Perturbation Bounds for Finite Trajectories
2000-11-16
Ulf T. Jonsson
Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets
2001-02-06
A Lyapunov approach to incremental stability
2000-11-16
David Angeli
Use of A Taxonomy of Security Faults
1999-12-01
Optimal Renewal Policy for Slowly Degrading Systems
2001-02-05
Applications of Non-Markovian Stochastic Petri Nets
2001-02-06
Using Arcap Time-Frequency Representations For Decision
2001-02-13
A Quaternion-Based Adaptive Attitude Tracking Controller Without Velocity Measurements
2000-11-16
B. T. Costic
Computational Performance Analysis of Nonlinear Dynamic Systems using Semi-infinite Programming
2000-11-16
Tor A. Johansen
Internet Pricing: Comparison and Examples
2000-11-16
Overcomplete Systems of Wavelet and Related Local Bases for Adaptive Signal Representation and Estimation
2001-01-19
Rainer Von Sachs
Invariant Sets for Constrained Nonlinear Discrete-time Systems with Application to Feasibility in Model Predictive Control
2000-11-16
Asynchronous Parallel Pattern Search For Nonlinear Optimization
2001-02-26
Patricia D. Hough
EWA Learning in Bilateral Call Markets
2001-02-27
Semantic Processing by Macro Processors
1999-12-15
On the Identification of Recurrent Neural Nets
2000-11-16
Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools.
1999-11-16
Ranking of Forward Looking Centers in Hindi
2000-12-30
A Fast Algorithm for DCT Domain Filtering
1997-10-13
Adding Generic Contextual Capabilities to Wearable Computers
2000-02-28
Jason Pascoe
On Extra Variables in Equational Logic Programming
1994-09-28
Density Estimation, Kernel Estimate, Convergence, Smoothing Factor, Minimum Distance Estimate, Asymptotic Optimality.
1999-12-10
Code Generation for Fixed-Point DSPs
1997-08-14
String Operations in Query Languages
2001-03-02
Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism
1996-11-13
H1Control for Continuous-Time Linear Systems with Infinite Markov Jump Parameters via Semigroup
2000-11-16
Asymptotics for Polling Models with Limited Service Policies
2000-11-16
Matching and Stabilization of Low-Dimensional Nonholonomic Systems
2000-11-16
Means of Integrating Audio Content Analysis Algorithms
2001-03-05
The Correctness of Crypto Transaction Sets
2001-01-02
Ross Anderson
Representations of Cuntz algebras, loop groups and wavelets
2000-11-08
Palle E. T. Jorgensen
Operational techniques for the Floquet Hamiltonians
2000-11-16
Metastability And Low Lying Spectra In Reversible Markov Chains
2000-07-27
Managing Diversity With Handover to Provide Classes of Service in Satellite Constellation Networks
2001-02-05
The architecture of TRUEVIZ: A groundTRUth/metadata Editing and VIsualiZing toolkit
2001-02-23
How Portable is Nested Data Parallelism?
1999-08-31
Manuel M. T. Chakravarty
Qualitative Analysis of Semilinear Cattaneo Equations
1998-04-20
Thomas Hillen
Maximum Output Amplitude of Linear Systems for certain Input Constraints
2000-11-16
Wolfgang Reinelt
A Note on Nielsen Reduction and Coset Enumeration
2000-06-07
Domain Decomposition Methods for Welding Problems
2001-02-19
Optimal Extension Fields for Fast Arithmetic in Public-Key Algorithms
1999-01-27
Daniel V. Bailey
Nonlinear Cosmological Power Spectra in Real and Redshift--Space
1998-10-16
Using the Strategy Design Pattern to Compose Reliable Distributed Protocols
1999-11-09
Families Of Periodic Solutions Of Resonant PDEs
2000-07-28
Taking robust LPV control into flight on the VAAC Harrier
2000-11-16
Further Results for Systems with Repeated Scalar Nonlinearities
2000-11-16
Yun-chung Chu
Improving Offset Assignment for Embedded Processors
2001-03-04
A Crash Course in Implementation Theory
2000-04-03
Matthew O. Jackson
Adaptive Pole-Placement . . .
2000-11-16
On Explicit Suboptimal LQR with State and Input Constraints
2000-11-16
A Preliminary Experimental Application of Learnable Evolution Model and Evolutionary Algorithms to Parameter Estimation in Non-linear Digital Signal Filter Design
2001-02-26
Towards an Analysis of the Progressive
2000-12-18
John Cantwell
Focus alignment and optimal order in Zapotec
1999-05-24
George Aaron Broadwell
Reactive Power, Unbalance and Harmonics Compensation using D--Statcom with a Dissipativity-Based Controller
2000-11-16
System Will Give an Impression of What is to Come in the Main Part.
1998-10-14
The Compression Functions of SHA, MD2, MD4 and MD5 are not Affine
1999-12-01
Automated Complexity Analysis Based on Ordered Resolution
1995-12-07
Optimal control of hybrid dynamical systems with the maximum principle: Application to a non linear chemical process
2000-11-16
Flavours8
1999-11-24
D. Bortoletto
Extreme values and Haar series estimates of point processes boundaries
2001-02-28
Pierre Jacob
Powers of Asteroidal Triple-free Graphs with Applications
2001-03-11
An Application of the Bootstrap 632+ Rule to Ecological Data
2000-01-18
Some New Methods and Results in Tree Enumeration
1997-05-04
A. M. Odlyzko
Affine Surface Reconstruction By Purposive Viewpoint Control
2000-10-26
Kiriakos N. Kutulakos
WebSPN: Non-Markovian Stochastic Petri Net Tool
2001-02-06
A. Bobbio X
Dead-Beat Control Laws for Impacting Systems in Presence of Uncertainties.
2000-11-16
L. Menini
Data Fusion based State Estimation of Nonlinear Discrete Systems
2000-11-16
An Algorithm for Estimating all Matches between Two Strings
1999-12-01
Realtime Machine Vision Perception and Prediction
2000-12-19
Synchronization of Uncertain Chaotic Systems via Adaptive Backstepping
2000-11-16
W4 - the Wireless World Wide Web
1995-09-12
Joel F. Bartlett
Speeding Up the Convergence of Value Iteration in Partially Observable Markov Decision Processes
2001-02-26
Contact Circles on 3-Manifolds
1998-09-01
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos
2001-03-08
Roberto Bagnara
Estimation of the Binary Response Model using a Mixture of Distributions Estimator MOD
2000-12-28
Global Configuration Stabilization for the VTOL Aircraft with Strong Input Coupling
2000-11-16
Reza Olfati-saber
Functional Solutions Theory for Evolution Equations and Background of Numerical Methods in Tikhonov Topology V. A. Galkin, IATE, Russia
2000-06-12
The Explicit Solution of Constrained LP-Based Receding Horizon Control
2000-11-16
Bemporad F. Borrelli M. Morari
Bibliography File: Vision
1996-11-06
Specification and Verification Fo Embedded Systems
1999-05-26
A New Modeling Approach for Group Communication
1998-04-02
Geert-jan Houben
Polyhedral Techniques in Combinatorial Optimization
1997-01-12
Distributed Workflow Co-ordination by Proactive Software Agents
2000-07-17
To Find Information About Something Without Having to Know
1999-12-23
Vibration Suppression and Optimal Repetitive Disturbance Rejection Control in Semi-Nyquist Frequency Region using Multirate Sampling Control
2000-11-16
A Control of underactuated hopping gait systems: Acrobot example
2000-11-16
A Software Framework for Application Level QoS Management
1999-05-13
Model Decomposition and Simulation
1998-11-05
On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs
2001-03-08
On the poles of a class of 2D linear systems
2000-11-16
Inverting Resolution with Conceptual Graphs
2000-01-08
Deep Equality Revisited
2001-03-02
Estimation of Local Modeling Error and Goal-Oriented Adaptive Modeling of Heterogeneous Materials; Part I : Error Estimates and Adaptive Algorithms
2000-01-14
Normative Systems Represented By Boolean Quasi-Orderings
2001-02-14
Linear Integral Equations In The Space Of Regulated Functions
1999-06-04
Milan Tvrd Y
A Matlab Implementation of the Implicitly Restarted Arnoldi Method forSolving Large-Scale Eigenvalue Problems
2000-08-29
Hidden Curve Elimination of Trimmed Surfaces Using Bézier Clipping
1996-09-22
Price Discovery In Financial Markets: The Case Of The CAPM
2001-02-28
2-D phase closure with GBT laser rangefinders
1999-12-03
THE SPACE DENSITY OF QUASARS AT z
1999-01-13
A LaTeX to HTML Translator
1997-12-02
Nikos Drakos
The Foundations of Psychology
1995-05-04
A Two-Level Communication Protocol for a Web Operating System WOS
2000-03-03
Decomposing Spline Surfaces into Non-overlapping Regions for Visible Surface Computation
1998-10-16
Nonstationary Zero Sum Stochastic Games with Incomplete Observation
2000-11-16
Feedback Control of Hopf Bifurcations via Integral Averaging Method
2000-11-16
A Declarative Alternative to "assert" in Logic Programming
1999-02-25
Robust Kalman Filter Design for Hybrid Systems with Norm-Bounded Unknown Nonlinearities
2000-11-16
A Graph-Oriented Object Database Model
2001-03-02
Non-Intrusive Hardware/Software Monitoring for Single- and Multiprocessor Real-Time Systems
2001-02-20
Mohammed El Shobaki
Data Screening for ADVANCE Release 1.5 Data Fusion
1996-10-21
Teisi In Ab
2001-03-01
Sjoerd E. Crans
Towards an efficient Tableau Proof Procedure for Multiple-Valued Logics
1970-01-01
Reiner Hahnle
On Model Checking Synchronised Hardware Circuits
2001-02-15
Regularization of Index-One Differential-Algebraic Equations with Rank-Deficient Constraints
2000-06-08
Hierarchical and Integrated Algorithms: Comparison and Applications in . . .
2000-11-16
Scattering Theory For The Dirac Operator With A Long-Range Electromagnetic Potential
2000-06-20
Universit'e De Rennes I
The Correctness of Set-Sharing
2001-03-08
Estimation and Inference in ARCH Models in the Presence of Outliers
2001-01-20
Optimal Online Scheduling of Parallel Jobs with Dependencies
1998-10-23
Programming Tools for Distributed Multiprocessor Computing Environments
1991-11-07
New Algorithms for Related Machines with Temporary Jobs
2000-09-21
On The Inverse Of The Covariance Matrix In Portfolio Analysis
1999-05-01
Guy V. G. Stevens
VII. Dynamical Passage through Singularities: Black Hole and Naked Singularity, Big Crunch and Big Bang
1997-05-06
Vladimir S. Mashkevich
A Unified Approach For Mean Square Stability of Continuous-Time Markovian Jumping Linear Systems With Additive Disturbances
2000-11-16
On Dynamic Scheduling of Stochastic Networks in Heavy Traffic and Some New Results for the Workload Process
2000-11-16
Identification of Metastable States in Finite Temperature Simulations: A Self-Organization Approach
2000-08-14
Planet: A Tool For Telecommunication Network Planning And Its Applications In Hungary
2001-02-07
Flattening Trees
1999-08-31
Optimistic Asynchronous Atomic Broadcast
2001-03-06
Journal of Graph Algorithms and Applications
2000-10-08
Specifications and Solution Techniques for Non-Markovian Stochastic Petri Nets
2001-02-06
Andrea Bobbio
Binocular Dense Depth Reconstruction using Isotropy Constraint
1994-10-24
Hierarchical Optimization in the Presence of an Intelligent Adversary - an . . .
2000-11-16
Justifying Proofs using Memo Tables
2001-01-23
The Fastest and Shortest Algorithm for All Well-Defined Problems
2001-03-05
Marcus Hutter
Nonuniform and Dynamic Domain Decompositions for Hypercomputing
2000-02-02
M+1st-Price Auction Protocol
2001-02-18
Hiroaki Kikuchi
Smoothing effect and propagations of singularities for Viscoelastic Plates
1997-01-27