A Review of Mathematica
1995-09-15
Richard J. Fateman
Adaptively Growing Hierarchical Mixtures of Experts
1997-10-30
Numerical Solution of Optimal Control Problems Governed by the Compressible Navier-Stokes Equations
2000-11-10
Aiaa 97-2763
1999-01-23
Thruster Options for A Review and Evaluation of Existing Hardware and Emerging Technologies
1999-01-21
The Secure File System Under Windows NT
2000-12-19
A Learning Machine That Evolves
2000-04-20
Temporal Variation of the Processes and Interactions Among the Earth's Subsystems
1999-01-27
A Probabilistic Estimator for the Vertex Deletion Problem
1997-10-07
Approximating Local Averages of Fluid Velocities: The Stokes Problem
2000-12-22
Constraint-Based Sensor Planning for Scene Modeling
2000-12-13
Partitioning Algorithms and Their Application to Massively Parallel Computations of Multi-Phase Fluid Flows in Porous Media
2000-12-15
Theory of Media Objects for Internet Services
2000-09-26
HOMEBOTS: Intelligent Decentralized Services for Energy Management
1998-02-18
External Memory Algorithms and Data Structures
1999-04-22
Jeffrey Scott Vitter
Memory-Based Learning for Article Generation
2000-09-27
Optimising a Neural Tree Classifier Using a Genetic Algorithm
2000-05-24
Fully Dynamic Planarity Testing with Applications
1999-04-16
Self-Organizing Maps and . . .
2000-10-15
Nonabelian Cohomology Of Abelian Anosov Actions
1999-12-06
Robot navigation in the real world: Experiments with Manchester's FortyTwo in unmodified, large environments
2000-11-17
Linear Maps Preserving Permutation and Stochastic Matrices
2000-09-02
Theoretical Manual for Pile Foundations
2000-12-19
A Note on the Robust 1-Center Problem on Trees
2000-12-18
Guidelines for experiments on the POLYCOST database
1997-01-16
Compact labeling schemes for ancestor queries Extended Abstract
2000-10-25
The Design and Performance Evaluation of Alternative XML Storage Strategies
2000-02-29
Géométrie du Parallélisme
1996-12-21
Wideband Channel Measurement And Characterisation For Wireless Local Loops
1999-02-22
Select Z Bibliography
1992-08-25
Jonathan Bowen
Knowledge Fusion in the Large - taking a cue from the brain
1999-07-30
Equipartitions of Graphs
2000-12-24
Chapter on Distributed Computing
2000-06-27
Developing And Implementing Planning Heuristics In Prolog
2000-07-26
Modelling Pinchoff and Reconnection in a Hele-Shaw Cell II: Analysis and Simulation in the Nonlinear Regime
2000-05-04
Implementing Fril++ for Uncertain Object-Oriented Logic Programming
2000-04-07
Duality And Its Consequences For Ordered Cohomology Of Finite Type Subshifts
2001-01-16
Global Nested Transaction Management for ODMG-Compliant Multi-Database Systems
2000-08-01
A Fixed Rule Number Fuzzy Controller With An Adaptive Degree Of Similarity
1999-12-22
Parallel Adaptively Refined Sparse Grids
2000-07-20
Gerhard Zumbusch
Tolerance of Temporal Delay in Virtual Environments
2000-12-15
Timing Attacks on Web Privacy
2000-12-14
DRIVEN AND FREELY-DECAYING NONLINEAR SHAPE OSCILLATIONS OF DROPS AND BUBBLES IMMERSED IN A LIQUID: EXPERIMENTAL RESULTS and Jet Propulsion Laboratory
1999-01-23
Polynomial Values, The Linking Form And Unknotting Numbers
2000-11-19
A. Stoimenow
Object Discovery from Design Abstraction of Legacy Systems
2000-08-02
A Computational Model of Cerebellar Learning for Limb Control
1997-07-25
Random Sets Unify, Explain, And Aid Known Uncertainty Methods In Expert Systems
2000-11-05
Vladik Kreinovich
Hungarian Sentence Intonation
1998-11-04
Norval Smith eds
Information Integration: Conceptual Modeling and Reasoning Support
1998-08-04
Extensions and Explorations of the Elastic Arms Algorithm
1993-08-30
Mattias Ohlsson
On Spatial Adaptivity and Interpolation When Using the Method of Lines
1999-02-24
VMMC-2: Efficient Support for Reliable, Connection-Oriented Communication
1997-09-09
ILUs and Factorized Approximate Inverses are Strongly Related. Part I: Overview of Results
2000-03-22
Discrete Constant Mean Curvature Surfaces And Their Index
2000-12-12
Konrad Polthier
Hecke Module Structure of Quaternions
1999-05-12
David R. Kohel
Boosting Applied to Tagging and PP Attachment
1999-05-25
Adaptation Techniques for Intrusion Detection and Intrusion Response Systems
2000-07-12
February 10, 1999 14:37 WSPC/147-MPLB 0117
2000-11-14
M. Andrecut
Stereo Disparity from Local Image Phase
1999-06-02
Jesse Hoey
Constructive Transparent Radial Basis Function Network Learning for Non-linear Control
1999-12-22
SMURF - a SMart sURFace model for advanced visualization techniques
1999-01-11
Software Chroma Keying in an Immersive Virtual Environment
2000-11-21
V. Lalioti
Smooth Macro-Elements Based on Powell-Sabin Triangle Splits
2000-11-29
Search for Neutral Higgs Bosons of the Minimal Supersymmetric Standard Model in e
2000-12-13
Implementation of a Biologically Realistic Parallel Neocortical-Neural Network Simulator
2000-12-02
Automatic Definition of Sub neural networks
1994-10-22
Exit Time approach for Lagrangian and Eulerian Turbulence
1999-07-28
Giving Experts Ownership and Control over their Knowledge
2000-11-21
Design and Scalability of NLS, a Scalable Naming and Location Service
2000-11-23
Determining Significant Fold Differences In Gene Expression Analysis
2000-10-13
Global Optimization Of Energy And Production In Basic Industries: A Genetic Algorithm Application
1999-12-22
Amncio C. Santos
Fuzzy Modeling of Client Preference in Data-Rich Marketing Environments
2000-11-13
Differential Hebbian-type Learning Algorithms for Decorrelation and Independent Component Analysis
2001-01-15
Seungjin Choi
Specialist Conference
1999-01-24
Carl G.
Spectral Analysis Of Fokker-Planck And Related Operators Arising From Linear Stochastic Differential Equations
2000-07-07
A Top-10 Approach to Prefetching on the Web
2000-06-09
Design Quality and Robustness with Neural Networks
2000-01-03
Average H_2 Performance and Maximal Parameter Perturbation Radius for Uncertain Systems
1970-01-01
A Bayesian Weighting Principle for the Fundamental Matrix Estimation
2000-12-05
A Model for the Collaborative Design of Multi Point of View Terminological Knowledge Bases
1999-07-23
Variability And The Instrumental Temperature Record
1999-01-26
Verifiable Encryption and Applications to Group Signatures and Signature Sharing
1999-01-12
Ivan B. Damg Ard
A Class of Stochastic Programs with Decision Dependent Random Elements
1997-08-06
Quantum-Chemical Analysis of C-H...O and C-H...N Interactions in RNA Base Pairs - H-Bond Versus Anti-H-Bond Pattern
2000-11-08
IMPLEMENTATION OF SUBSET LOGIC PROGRAMS Bharat Jayaraman Kyonghee Moon
1995-03-24
Binding-time Analysis:
1994-08-10
Eigenvalue Optimization
1997-10-20
Localization of Macroscopic Object Induced by the Factorization of Internal Adiabatic Motion
1970-01-01
Qualitative and Quantitative Car Tracking from a Range Image Sequence
1999-05-04
Scheduling Customers in a Non-Removal Real-Time System with an Application to Disk Scheduling
1995-11-29
Porting Interactive Applications to the Web
2000-07-07
Brian R. Gaines
Intuitive, Localized Analysis of Shape Variability
2000-11-08
Towards Personal Service Robots for the Elderly
2000-09-12
Queueing Network Models in the Design and Analysis of Semiconductor Wafer Fabs
2000-12-19
An Adaptive Metric Machine for Pattern Classification
2001-01-01
Infinite lambda-calculus and Types
2000-05-29
On-Line Algorithms for Networks of Temporal Constraints
1997-10-14
Fabio Iacobini
SIFT, a Hybrid Retrieval Engine for Providing Help from Technical Computer Manuals.
1999-11-19
Supporting Compositional Reuse in Component-Based Web Engineering
1999-11-12
Optimal Design for the Evolution of Composite Mappings
2000-11-28
Hideaki Suzuki
New YorkJourn of Mathematics
2000-10-04
BENCHMARK CALCULATIONS OF POWER DISTRIBUTION WITHIN FUEL ASSEMBLIES Phase II : Comparison of Data Reduction and Power Reconstruction Methods in Production Codes
2000-12-05
Logic Programming Updating - a guided tour
2001-01-03
Lus Moniz Pereira
acta physica slovaca vol. 48 No. 3, 207 -- 220 June 1998 GENERATING AND MONITORING SCHR ODINGER CATS IN CONDITIONAL MEASUREMENT ON A BEAM SPLITTER
1998-07-15
Derandomizing Arthur-Merlin Games using Hitting Sets
1999-08-13
Worst-case Equilibria
1998-12-07
Elias Koutsoupias
On Matrix Characterizations for Propositional Substructural Logics
2000-10-25
Network Management and Control Using Collaborative On-line Simulation
2000-11-19
Universal Mosaicing using Pipe Projection
2000-03-02
PSET: A Page Segmentation Evaluation Toolkit
2000-11-06
A Simple Proof Technique for Certain Parametricity Results
1999-06-19
Karl Crary
Simulation of the ZEUS calorimeter
1995-02-02
Yoshihisa Iga
"I Said Two Ti-Ckets": How To Talk To A Deaf Wizard
1999-09-23
Release Notes
2000-12-07
Gaas Mmics For Automotive Radar Applications
1998-11-26
Broadband Direction-Of-Arrival Estimation Based On Second Order Statistics
2000-02-21
A Low-Exponential Algorithm for Counting Vertex Covers
2000-06-10
Robustness of Boundary Feedback Controls for a Flexible Beam with Respect to Perturbation
2000-03-27
Wei-jiu Liu
Bureaucracy
2000-02-03
Dirk Riehle
On Iterative Methods for Solving Ill-Posed Problems Modeled By Partial Diferential Equations
1999-08-26
On the Inclusion Problem for Very Simple Deterministic Pushdown Automata
1999-10-21
Optimization Problems with Approximation Schemes
2000-12-12
Query Optimization in Kess -- An Ontology-Based KBMS
2001-01-10
Experimental Analysis of Dynamic Algorithms for the Single Source Shortest Path Problem
1998-04-21
Black-Scholes formula without stochastic assumptions
2000-05-26
Volodya Vovk
A New Method to Determine the Queue Length Distribution at an ATM Multiplexer
1999-09-15
The 101 Translation Problems between Japanese and German/English
1999-04-23
The Role of Games in Understanding Computational Intelligence
1999-12-02
Balanced 0,±1 Matrices Part I: Decomposition
2000-09-20
Full Form Auxiliaries in Serbian/Croatian/Bosnian
2000-01-24
Andrew Caink
Multifractal Analysis of Hyperbolic Flows
2000-04-18
L. Barreira
A Finite-State Parser with Dependency Structure Output
1999-09-28
Ubiquitous Web Information Agents
2000-05-30
Motion Estimation using Central Panoramic Cameras
1998-11-26
Vaclav Hlavac
Surface Splines *
1970-01-01
J Org Peters
Fast Subsequence Matching in Time-Series Databases
2000-05-08
Text Categorization Using Weight Adjusted k-Nearest Neighbor Classification
2000-10-13
Vipin Kumar
Production And Energy Optimization In An Industrial Complex: A Genetic Algorithm Approach
1999-12-22
Simulation, State Estimation and Control of Nonlinear Superheater Attemporator using Neural Networks
1970-01-01
Simultaneous Measurement of Impulse Response and Distortion With a Swept-Sine Technique
2000-10-08
Angelo Farina
Site Model Construction for the Exploitation of E-O and SAR Images
1996-12-20
Recognizing Structure in Web Pages using Similarity Queries
2000-09-08
William W. Cohen
On the Strength of Comparisons in Property Testing
2000-11-08
Eldar Fischer
Holographic Recurrent Networks
2000-07-13
Tony A. Plate
Learning the Structure of Dynamic Probabilistic Networks
1999-02-11
Multimedia Data Mining MDM/KDD'2000
2000-07-28
Edited Simeon
Scaling Up: Distributed Machine Learning with Cooperation
1999-12-10
Unknown
1999-05-05
ICA For Noisy Neurobiological Data
2000-04-20
Even Faster Point Set Pattern Matching in 3-D
2001-01-11
Robert Haralick
Local Maaß- Lifts
1970-01-01
Scamp: A Submarine-Mounted Geophysical Survey System For Use Under The Arctic Ice
1999-08-09
A Large-scale Distributed Intrusion Detection Framework Based on Attack Strategy Analysis
2000-06-26
Monte Carlo evaluation of the transport coefficients in a n + - n - n + silicone diode
2000-10-02
Orazio Muscato
Feedback Linearization of nonlinear distortion in Electrodynamic Loudspeakers
1998-09-11
Domain-Independent Queries on Databases with External Functions
2000-10-30
Dan Suciu
Static and Dynamic Stabilizing Neural Controllers, Applicable to Transition Between Equilibrium Points
1998-09-11
Schwarz-Christoffel Mapping in the Computer Era
1999-09-20
Implementing Groundness Analysis with Definite Boolean Functions
1999-12-21
Adaptive Blind Channel Estimation by Least Squares Smoothing
1999-12-02
Panel: Is Generic Metadata Management Feasible?
2000-06-06
Philip A. Bernstein
Unknown
1995-02-06
Elliptic Curve Factorization Using a "Partially Oblivious" Function.
2000-08-02
Exploiting System Structure in Model-Based Diagnosis of Discrete-Event Systems
1970-01-01
Probabilistic Reasoning Using Incomplete and Singular or Unique Evidence: Complexity-Based Reasoning Innovation for Commanders
2000-09-14
Carl W. Hunt
Developing Parallel Finite Element Software Using MPI
1999-04-14
Randomized Multi-Packet Routing on Meshes
1997-01-15
Approximation Of Matrix-Valued Functions
1997-08-06
Roy Mathias
Holographic Reduced Representations: Convolution Algebra for Compositional Distributed Representations
2000-07-13
Tony Plate
Basic Problems in Stability and Design of Switched Systems
2000-08-22
Why did earnings inequality increase in Ireland: 1987-1994?
1998-06-19
Managing Design Complexity to Improve on Cost, Quality, Variety, and Time-to-Market Performance Variables
1998-03-05
Spyros Vassilakis
Atoms With Bosonic "electrons" in Strong Magnetic Fields
1970-01-01
Search Reduction in Hierarchical Problem Solving
2000-09-28
Craig A. Knoblock
Discrete-Time Rigidity-Constrained Optical Flow
2000-12-13
Pricing and Power Control in a Multicell Wireless Data Network
2000-12-20
Spatially Adaptive Splines for Statistical Linear Inverse Problems
2001-01-03
Sheffield University CLEF 2000 Submission - Bilingual Track: German to English
2000-11-29
RTP Profile for Audio and Video Conferences with Minimal Control
1996-06-17
Internet-draft H. Schulzrinne
Incremental Mature Garbage Collection Using the Train Algorithm
1995-03-31
Admissibility of Fixpoint Induction over Partial Types
1998-10-06
Karl Crary
Adaptive Multilevel Methods For Edge Element Discretizations Of Maxwell's Equations
1999-01-04
Equivalence and Normal Forms for the Restricted and Bounded Fixpoint in the Nested Algebra
2000-10-30
A Generic Multicast Transport Service to Support Disconnected Operation
2000-02-03
Disco: An Object-Oriented System for Music Composition and Sound Design
2000-06-29
Finding the Embedding Dimension and Variable Dependences in Time Series
2000-12-12
Hong Pi
Demand-based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors
1997-07-14
Patrick Gregory Sobalvarro
Online Adaptive Reinitialization of the Constant Modulus Algorithm
2000-07-18
Transforming Examples into Patterns for Information Extraction
1998-12-01
Designing Computer Systems with MEMS-based Storage
2000-09-18
Agents for Information Gathering
2000-11-29
A Scalable Cross-Platform Infrastructure for Application Performance Tuning Using Hardware Counters
2000-12-05
Evaluation of Methods for Multidisciplinary Design Optimization MDO, Part II
2000-11-28
Some Concepts Wave-Particle Interactions In Collis1onless Plasmas
1999-01-23
Bruce T
Imaging Requirements for the ALMA
2000-12-13
M. A. Holdaway
An Algebra for XML Query
2000-11-21
An Experimental Hybrid User Interface for Collaboration
2000-01-13
Fast Numerical Integration of Relaxation Oscillator Networks Based on Singular Limit Solutions
2000-11-21
Akaroa 2.5 User's Manual
1999-11-24
Multi-Color Discrepancies
2000-12-28
Towards a Stability Theory of General Hybrid Dynamical Systems
1999-02-04
Anthony N. Michel
On General Disjunctive Logic Programs
2000-07-07
Locales: A Sectioning Concept for Isabelle
2000-03-20
The Initial State and `Richness of the Base' in Optimality Theory
2000-08-03
Paul Smolensky
A Logic Programming Approach to Conflict Resolution in Policy Management
2000-08-07
Falsification Of Matching Theory's Account Of Single-Alternative Responding: Herrnstein's
2000-08-17
Decoding Temporal Information: A Model Based on Short-Term Synaptic Plasticity
2000-11-11
Dean V. Buonomano
Periodic Merging Networks
1996-09-12
A Survey of Virtual Topology Design Algorithms for Wavelength Routed Optical Networks
1999-08-06
Hardware-Sensitive Optimization for Intensity Modulated Radiotherapy
2000-01-26
Timing Analysis for Instruction Caches
1999-09-13
The Noh Mask Effect: Culture and View Dependent Facial Expression Perception
2000-09-05
Extending Prolog with Constraint Arithmetic on Real Intervals
1996-12-10
Synthesizing Conversational Intonation from a Linguistically Rich Input
1995-05-11
Approximate Nearest Neighbor Searching in Multimedia Databases
2000-12-19
The Expected Extremes In A Delaunay Triangulation
2000-12-24
Ca 109, 1-818-354-0492,
1999-01-21
On Comparing the Number of Preemptions under Earliest Deadline and Rate Monotonic Scheduling Algorithms
1994-02-26
Immediate-Head Parsing for Language Models
2000-12-20
Eugene Charniak
The CLS Bank: A Solution to the Risks of International Payments Settlement
2000-11-07
Weighted Automata in Text and Speech Processing
1996-06-06
Extending Greedy Multicast Routing to Delay Sensitive Applications
1999-08-05
Green's Functions For Multiply Connected Domains Via Conformal Mapping
2000-02-13
Quantum Chemical Characterization of Cycloaddition Reactions Between 1,3-Butadiene and Oxyallyl Cations of Varying Electrophilicity+
2000-04-03
Towards Automatic Extraction and Modeling of Objects from Image Sequences
2000-09-21
Bernt Schiele
Ultraspherical Gauss-Kronrod Quadrature is not possible for lambda>3
2000-10-16
Reliable FIFO Load Balancing over Multiple FIFO Channels
1999-10-16
Spatial Aggregation: Theory and Applications
1996-08-14
Acknowledgments
1998-05-22
Secondary Hopf bifurcation caused by steady-state steady-state mode interaction
1970-01-01
Karin Gatermann
Applying LSTM to Time Series Predictable Through Time-Window Approaches
2000-12-01
Special Issue on Data Cleaning
2000-12-18
Omar Khayyam, RenéDescartes and Solutions to Algebraic Equations
2000-12-15
K. V. Mardia
Towards Intelligent Information Retrieval For Genome Databases
2000-03-21
Freddy Choi
A Study of Diabetic Patient Care
2000-12-07
Tim Kindberg
Extracting Schema from Semistructured Data
1998-10-15
Extremal Polygon Containment Problems
2000-12-07
Monotone Simulations of Nonmonotone Proofs
2000-12-19
Variable-Dilation Embeddings of Hypercubes into Star Graphs: Performance Metrics, Mapping Functions, and Routing
1996-07-10
Institut fur Mathematik, Medizinische Universitat Lubeck, D-23560 Lubeck, Germany
1998-07-22
Computationalism
1996-02-16
Stuart C. Shapiro
The Cave-Wp4 Generic Speaker Verification System
2000-02-03
Satellite Tele-Communications Scheduling As Dynamic Constraint Satisfaction
2000-04-19
Some Mathematical Aspects of Information Technology: Fixed Points and the Formal Semantics of Programming Languages
1997-12-19
Anthony Karel Seda
Context-Based Prefetch for Implementing Objects on Relations
2000-07-28
The Profile of Binary Search Trees
2000-08-04
Reasoning about Complex Actions with Incomplete Knowledge: a Modal Approach
2000-10-30
Electronic Structure Calculations In Plane-Wave Codes Without Diagonalization
1999-01-31
A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra
2000-10-06
Grigore Rosu
The Saturation Level in Binary Search Tree
2000-08-01
Michael Drmota
Learning Policies for Local Instruction Scheduling
1997-11-10
Moving in Tandem: Automated Person Racing for . . .
2000-02-16
David P. Miller
Mpi-Hpf Communication Techniques
2000-11-30
Solving Projective Complete Intersection Faster
1970-01-01
Connection matrix for Morse decompositions
2000-12-08
Maciej J. Capi'nski
Model-Based Reinforcement Learning with an Approximate, Learned Model
1997-08-13
Leonid Kuvayev
CS 221, Autumn 2000 Problem Set 4 --- Programming Part, Neural nets
2000-11-19
Risk Neutral Forecasting
1999-01-18
Ground Reducibility is EXPTIME-complete
1998-10-15
Discrete Mathematics and Physics on the Planck-Scale
1997-04-26
Manfred Requardt
Discovery of Interesting Usage Patterns from Web Data
2000-06-30
On-line EM reinforcement learning
2000-12-20
Building a Stationary Stochastic Process from a Finite-dimensional Marginal
2000-10-02
Marcus Pivato
Efficient Crawling Through URL Ordering
2000-06-09
Adding Axioms to Cardelli-Wegner Subtyping
1995-02-13
A J H Simons
An Abductive Proof Procedure for Reasoning about Actions in Modal Logic P r o g r a m m i n g
1999-07-13
The Internal Consistency of the ISO/IEC 15504 Software Process Capability Scale
1999-11-10
Khaled El Emam
Building Probabilistic Networks: Where Do the Numbers Come From? --- a Guide to the Literature
2000-08-10
Default Reasoning Using Classical Logic
2000-05-15
A Robust Point Matching Algorithm for Autoradiograph Alignment
1999-04-21
Temporally Coherent Conservative Visibility
2000-12-12
Decentralized Air Traffic Management Systems: Performance And Fault Tolerance
1970-01-01
Synchronous Inhibition as a Mechanism for Unbiased Selective Gain Control
2000-12-06
What Metric Stereo Can Do for Visual Servoing
2000-06-29
Actalk: a Platform to Model Actor Languages in Smalltalk-80
2000-12-27
A Stochastic Clearing Model with a Brownian and a Compound Poisson Component
2000-12-21
David Perry
Algebraic Rewritings for Optimizing Regular Path Queries
2000-12-19
Inference through Alternative-Set Semantics
2000-11-28
Gann Bierner
Improved Routing and Sorting on Multibutterflies
2000-12-20
Hierarchical Memory-Based Reinforcement Learning
2001-01-03
Algorithmic Stability and Generalization Performance
2000-12-08
Performance Evaluations and Chip-Space Requirements of a Multithreaded Java Microcontroller
2000-12-21
The Monadic Theory of Morphic Infinite Words and Generalizations
2000-12-07
Wolfgang Thomas
Chisini's Conjecture For Curves With Singularities Of Type
1970-01-01
Robust Membership Management for Ad-hoc Groups
2000-10-27
A Learning Methodology for Robotic Manipulation of Deformable Objects
2000-12-14
Compiler-Directed Dynamic Frequency and Voltage Scheduling
2000-12-19
Are There Swedish Patterns Of Communication?
2000-11-28
Jens Allwood
Exact Results for 1D Conserved Order Parameter Model Vladimir Privman
1997-04-26
Vladimir Privman
Comments on "Solution of the System of Linear Algebraic Equations by Decreasing Dimension"
2000-12-23
Jun Zhang
Nonlinear Waves and the KAM Theorem: Nonlinear Degeneracies *
1997-04-26
Compiler-Directed Dynamic Frequency and Voltage Scheduling
2000-12-19
An Experimental Study of Performance and Fault-Tolerance of a Hybrid Free-Flight Control Scheme
1970-01-01
Antonio Bicchi
A New Approach For Symbol Frame Synchronization And Carrier Frequency Estimation In OFDM Communications
1999-01-11
Flexible and Scalable Query Planning in Distributed and Heterogeneous Environments
2000-09-28
A Bibliography of The ACM Journal of Computer Documentation
2000-12-06
Nelson H. F. Beebe
The Frequency Dependence of Spike Timing Reliability in Cortical Pyramidal Cells and Interneurons.
2000-12-13
A Processing Framework For Object Comprehensions
1999-01-20
IntelligentCaching: Selecting, Representing, and Reusing Data in an Information Server
2000-11-29
Some Properties of Variable Length Packet Shapers
2000-11-02
Jean-yves Le Boudec
An Iterative Solution to the Finite-Time Linear Quadratic Optimal Feedback Control Problem
1995-03-23
Impact of OpenMP Optimizations for the MGCG Method
2000-07-28
Object-Oriented Design of a Generic Scheduler
2000-12-27
Jean-pierre Briot
Evidence of separator reconnection in a survey of X-ray bright points
2000-12-04
Parametric Search for Geometric Optimization
2000-12-18
Shripad Thite
Biometric Authentication Systems
2000-11-21
Strassen's Algorithm Made Somewhat More Natural: A Pedagogical Remark
2000-12-27
Steerable Pyramid Filters For Selective Image Enhancement Applications
2000-08-25
A Model of Location Transparency Katrina E.K. Falkner
2000-11-29
Katrina E. K. Falkner
Mother : A New Generation Of Talking Heads Providing A Flexible Articulatory Control For Video-Realistic Speech Animation
2000-09-15
Modlisation raliste partir de photographies: recherches et application la modlisation d'un plan-relief du Mont St-Michel
1998-05-05
Microeconomic Perspectives on Aggregate Labor Markets
1998-10-08
Linear transformation of Hidden Markov Models based on linear regression
1994-08-22
Hkan Melin
An Indexed Bibliography of Genetic Algorithms and the Traveling Salesman Problem
2000-12-12
Jarmo T. Alander
Optimal Brain Damage
2000-04-17
On The Girth Of Groups
2001-01-03
Saul Schleimer
Attractor Dynamics in Feedforward Neural Networks
1999-06-27
Principles of Systems and Cybernetics: an evolutionary perspective
2000-12-20
Francis Heylighen
On Discrete Symmetries of Differential Equations
1997-04-26
Miguel A. Rodr'iguez
Using Requirements Engineering to Derive a Formal Specification
1970-01-01
Selection of Reference Images for Image-Based Representation
2000-12-15
Hierarchical Spatial Reasoning Applied To The Automated Design Of Administrative Boundaries Using GIS
2000-12-27
Parallel Mesh Partitioning on Distributed Memory Systems
1999-11-30
Cognitive Dimensions and Musical Notation Systems
2000-10-04
Development and Verification of Parallel Algorithms in the Data Field Model
2000-12-12
Bjorn Lisper
MPI-FM: High Performance MPI on Workstation Clusters
1997-07-03
Simulating Expertise
2000-12-05
P. Compton
On the Assessment of Multiobjective Approaches to the Adaptive Distributed Database Management Problem
2000-11-13
Quenched Asymptotics For Survival Probabilities In The Random Saturation Process
1999-07-19
Applications of Distortion-Oriented Presentation Techniques in GIS
1999-11-24
Neville Churcher
Communication and Organization in Software Development: An Empirical Study
2000-11-28
General Secure Multi-Party Computation from any Linear Secret-Sharing Scheme
2000-07-26
Sequent Automaton - A Model For Logical Control
2000-10-17
Refining the Barendregt Cube using Parameters
2000-12-17
Programming Language and Run-time System for Dynamic Networks of Hybrid Automata
2000-07-19
Programming within VR
1995-07-06
C. M. Holt
Results of the Security in ActiveX Workshop Pittsburgh, Pennsylvania USA August 22-23, 2000
2001-01-03
The Computational Theory of Neural Networks
2000-12-21
Layout Construction: A Case Study In Algorithm Engineering
1996-08-02
Multiprocessors and Computational Grids
2000-11-21
Stephen J. Wright
Real Time Pipelined System Design Through Simulated Annealing
2000-01-26
M. Coli
Efficient Annotated Terms
2000-12-19
Parametric Dispatching of Hard Real-Time Tasks
1998-11-09
Coupled Analytic Maps
1997-04-26
A. Kupiainen
Automated Planning for Open Architectures
2000-12-12
Quantum Intrinsically Degenerate and Classical Secular Perturbation Theory
1997-04-26
On Integrability of Infinitesimal Actions
2000-11-23
Approximation Schemes for Minimum Latency Problems
2000-11-20
RTP: A Transport Protocol for Real-Time Applications
1996-06-17
A Process Model for Requirements Elicitation
2000-11-21
Debbie Richards
. Integration
2000-12-05
Service Level Agreements based on Business Process Modeling
2000-12-08
Holger Schmidt
Wim Pijls
1970-01-01
Wim Pijls
Heterogeneity and Stability: Variations on Scarf's Processes
1999-01-12
Within-Speaker Variability Due to Speaking Manners
1999-01-21
Unknown
2001-01-04
Leo Breiman
A kappa-denotational semantics for Map Theory in ZFC + SI
2000-11-23
Bluetooth: A Technical Overview
2000-12-20
Electron Cloud at the CERN Muon Storage Ring
2000-12-18
F. Zimmermann
Comparison of methods for image analysis on cDNA microarray data
2000-11-29
Detection of a Low Mass Companion Orbiting the Star AB
1999-01-21
@$5*$O@8L?2J3X$N@$5*$K$J$k$H$$$o$l$F$$$k!1980
2000-12-20
A Dynamical Implementation of Self-organizing Maps
2000-11-27
On Creating Adaptive Web Servers Using Weblog Mining
2000-11-27
Characterizing Sufficient Expertise for Learning Systems Validation
2000-10-25
Security Types for Mobile Safe Ambients
2000-09-27
Symmetric Parsec-scale OH Structures 220
1999-01-23
Available Stabilizing Heaps
2000-12-01
Model-Based Reinforcement Learning
1997-01-24
Select Z Bibliography
1970-01-01
Jonathan P. Bowen
Dynamic Niche Clustering: A Fuzzy Variable Radius Niching Technique for Multimodal Optimisation in GAs
2000-12-19
The 1990s in Japan: A Lost Decade
2001-01-05
Algorithmic Theories Of Everything
2000-11-30
Jurgen Schmidhuber
Self-certifying File System
2000-12-19
Frans Kaashoek
Non-Commutative Nullnorms
2000-11-20
Nonlinear Optimal Control of a Hydraulically Actuated Positioning System
1997-03-14
Using Neural Networks for Branch Prediction
1996-05-30
Leonid Kuvayev
Extending Transaction Management To Capture More Consistency With Better Performance
1996-06-05
Gerhard Weikum
Error Detecting Refreshment for Embedded DRAMs
1999-02-12
Average Distance and Routing Algorithms in the Star-Connected Cycles Interconnection Network
1996-11-12
Stereo Perception and Dead Reckoning for a Prototype Lunar Rover
2000-12-18
Digital Libraries - Classification and Visualization Techniques
2000-12-28
Applying Social-Technical Approach For Cots Selection
2000-02-11
Using a Bootstrap Method to Choose the Sample Fraction in Tail Index Estimation
2000-06-10
Analysis of Mixer Port Crosstalk Using Microwave Matching Measurements
2000-09-01
Sren Laursen
Microwave Transmission Technique for Accurate Impedance Characterization of Superconductive Mixers
1999-01-21
A User-Centered Design Approach to . . .
2001-01-02
Curvelets, Multiresolution Representation, and Scaling Laws
2000-10-15
Analysis of a Fast Hankel Eigenvalue Algorithm
1999-07-29
Franklin T. Luk
IMPLEMENTATION OF OPERATORS VIA FILTER BANKS; Hardy Wavelets and Autocorrelation Shell
1995-10-13
G. Beylkin
Fine Grained Multithreading with Process Calculi
2000-12-11
On the Strength of Incremental Learning
2000-10-25
Steffen Lange
Polynomial approximation algorithms for the TSP and the QAP with a factorial domination number
1999-10-01
Observations of the core of the Pleiades with the Chandra X-ray Observatory
2001-01-03
Acoustic Daylight Imaging: Vision In The Ocean
2000-11-22
ASPEN: EO-1 Mission Activity Planning Made Easy
1999-01-23
A Parametric Texture Model based on Joint Statistics of Complex Wavelet Coefficients
2001-01-04
Bridging Functional and Object-Oriented Programming
2000-12-06
Molecular Dynamics Simulation Reveals Conformational Switching of Water-Mediated Uracil-Cytosine Base Pairs in an RNA Duplex
2000-11-15
Operations And Quantum Doubles In Complex Oriented Cohomology Theory
1999-07-14
A Comparison of Two Architectural Power Models
2000-11-21
Partial order reductions for checking branching properties of Time Petri Nets Extended Abstract
2000-10-06
Task Driven Perceptual Organization for Extraction of Rooftop Polygons
1994-12-06
Optimal Control of the Unsteady Navier-Stokes Equations
2000-12-19
The Rationality of Epistemology and the Rationality of Ontology
1970-01-01
Andrew U. Frank
Mapping of Structured English Sentences to CCTL Formulae
2000-10-26
Stephan Flake
The Hilbert Basis of the Cut Cone over the Complete Graph on Six Vertices
1995-05-09
Design Technology Productivity in the DSM Era
2000-12-18
Andrew B. Kahng
Efficient Test Data Compression and Decompression for System-on-a-Chip using Internal Scan Chains and Golomb Coding
2000-12-15
Arie de Bruin
1970-01-01
Arie De Bruin
Finite Fields and Pseudo-Random Number Generation
1999-02-24
Estimating Doppler shift with a coarse cochlear filterbank
2000-12-05
Sum of Edge Lengths of a Graph Drawn on a Convex Polygon
2000-11-28
Multi-dimensional Dynamic Knowledge Representation
2001-01-03
Markov Chain Monte Carlo Computation of Confidence Intervals for Substitution-Rate Variation in Proteins
2000-09-29
Soft Dynamic Programming Algorithms: Convergence Proofs
1994-11-01
Satinder P. Singh
One Microphone Source Separation
2001-01-03
Sam T. Roweis
Number of Iterations
2000-12-13
Unifying Concurrency Control and Recovery of Transactions
1996-06-05
Completely Mixing Maps Without Limit Measure
2001-01-04
Gerhard Keller
Multi-level Indexing and GIS Enhanced Learning for Satellite Imageries
2000-08-16
Automatically Augmenting Terminological Lexicons from Untagged Text
2000-09-11
Protein Family Classification using Sparse Markov Transducers
2000-08-16
Age and Length Composition of Columbia Basin Chinook, Sockeye, and Coho Salmon at Bonneville Dam in 1999
2000-01-04
Statistical Learning Algorithms Based on Bregman Distances
2000-02-12
Minds and Managers: On the Dual Nature Of Human Information Processing And Management
2000-06-20
On the Emergence of Intelligent Global Behaviors from Simple Local Actions
1999-04-23
D. Paul Benjamin
RBFNN for Real-Time Process Identification and Control with Selective Forgetting
1999-12-22
Book Review
2000-12-27
Maslov's Class K Revisited
1999-04-07
Stochastic Models for the Web Graph
2000-10-05
A New Much Faster And Simpler Algorithm For Lapack Dgels
2000-09-28
A Domain Decomposition Method Using Sparse Grids
2000-09-07
Michael Griebel
System Description:
1999-01-13
Hashed and Hierarchical Timing Wheels: Efficient Data Structures for Implementing a Timer Facility
1999-10-16
Construct The Structure of Stochastic Multilayer Perceptron Using The Model Search Method
2000-04-20
Shiro Ikeda
Unknown
2000-08-21
Residue-Residue Potentials with a Favorable Contact Pair Term and an Unfavorable High Packing Density Term, for Simulation and Threading
2000-03-10
A Convex Powerdomain over Lattices: its Logic and lambda-Calculus
2000-05-29
Decremental maintenance of reachability in hypergraphs and minimum models of Horn formulae
1997-03-06
Integrating Market Modeling and Fleet Assignment
2000-09-07
Georg Kliewer
Performance Of Parallel Interference Cancellation Receiver With Delay Errors
1999-03-02
MBone VCR - Video Conference Recording on the MBone
1995-08-09
Wieland Holfelder
Investigations of the Dynamics of an Evolving Agent Population
2000-07-28
Recursive Context Reasoningfor Human Detection and Parts Identification
2000-12-26
Gaze Control as an Input Device
1999-06-23
Aulikki Hyrskykari
Matrix Inequalities Involving A Positive Linear Map
1997-07-22
Chi-kwong Li
Elegant Stepping: A Model of Visually Triggered Gait Adaptation
1999-09-03
Simplification of Many-Valued Logic Formulas Using Anti-Links
2000-01-21
Lin Huang
1997-05-26
Ranking Classification Algorithms Based on Relevant Performance Information
2000-10-24
Human Rabies Prevention --- United States, 1999
1970-01-01
A Random Walks View of Spectral Segmentation
2001-01-14
Jianbo Shi
A Lagrangian Relaxation Network for Graph Matching
1999-04-21
Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers
2000-08-21
Mediator: an Intelligent Information System Supporting the Virtual Manufacturing Enterprise
2000-07-07
The Thisl Sdr System At Trec-8
2000-02-04
Synaptic Pruning in Development: A Novel Account in Neural Terms
1999-11-18
Unfolding Polynomial Maps At Infinity
1999-11-05
Multigrid Methods for Mortar Finite Elements
1999-10-12
A New Approach to the Minimum Cut Problem
1996-10-17
The Ranking of Query Refinements in Interactive Web-based Retrieval
2000-05-10
Journal of Graph Algorithms and Applications
1999-11-18
Supporting Interoperability of Autonomous Hospital Databases: A Case Study
2000-01-19
On-line Learning for Humanoid Robot Systems
2000-04-18
Selection for Modularity in the Genome: Reading Frame Evidence for Exon
2000-08-30
Processes for Plan-Execution
1999-06-13
Multi-dimensional Petri nets
2000-09-25
An Efficient Adaptive Search Algorithm for Scheduling Real-Time Traffic
1996-07-09
Automatic Measurement System for Car Audio Applications
2000-10-08
Approximating the Domatic Number
2000-11-13
KINETIC ENERGY DISTRIBUTION OF ATOMS FROM ANALYSIS OF THE D LYMAN-a LINE PROFILE MARCO " JOSEPH M. AJELLO
1999-01-21
Joseph M. Ajello
On the Online Bin Packing Problem
2001-01-04
Steven S. Seiden
Partial Evaluation for Class-Based Object-Oriented Languages
2000-11-21
Ulrik Schultz
Performance Testing of CEFMS
2000-11-30
Fitting Microstructural Models in Materials Science
2000-11-06
A 2+epsilon approximation algorithm for the k-MST problem
2000-11-20
On the Complexity of Deadlock Detection in Families of Planar Nets
1995-11-27
Superposing Connectors
2000-07-25
DSD: A Schema Language for XML
2000-06-21
Classifying Correspondence in Japanese and Korean
2001-01-12
Query Optimization in the Presence of Foreign Functions
2000-02-17
The Learning Shell
2000-01-21
Nico Jacobs
Evolving Neural Networks to Focus Minimax Search
1994-03-10
Analysis of Residuals From Segmentation of Noisy Images
2000-04-04
Rasmus Waagepetersen
A Broader Class of Trees for Recursive Type Definitions for HOL
1993-07-22
Elsa L. Gunter
Tensor Product Type Subspace Splittings And Multilevel Iterative Methods For Anisotropic Problems
2000-08-29
Approximating Total Flow Time on Parallel Machines
1997-04-23
How To Assign Probabilities If You Must
2000-03-30
C. J. Albers
Online Self-Calibration For Mobile Robots
1998-10-21
The Star Connected Cycles: A Fixed-Degree Network For Parallel Processing
1995-06-01
Hierarchical SIR and Rate Control on the Forward Link for CDMA Data Users under Delay and Error Constraints
2000-12-18
=N-EXPANSION AS A PERTURBATION ABOUT THE MEAN FIELD THEORY: A One-Dimensional Fermi Model
1997-04-26
Model-based Diagnosis Preferences and Strategies Representation with Logic Meta-programming
2001-01-05
Combining Finite Element Deformation With Cutting for Surgery Simulations
2000-06-07
Han-wen Nienhuys
Gratefully Acknowledging...
1994-11-11
Amruth N. Kumar
Empirical Bayes approach to block wavelet function estimation
2000-12-20
Bi-Radial Transfer Functions
2000-06-20
Norbert Jankowski
Event Handling in Prolog
2000-11-28
Micha Meier
Learning Winner-Take-All Competition Between Groups of Neurons in Lateral Inhibitory Networks
2001-01-04
Structured and Unstructured Induction with EDAGs
2000-07-07
Brian R. Gaines
Approximate Kinodynamic Planning Using
1999-07-20
Contexts As First-Class Objects: An Implementation Based On The Sicstus Prolog System
2000-04-21
Adaptive sparse grid multilevel methods for elliptic PDEs based on finite differences
1999-11-26
Erkki Makinen
1999-09-30
Industry Expectations of New Engineers: A Survey to Assist Curriculum Designers
1999-04-15
Text Segmentation Based On Similarity Between Words
2000-09-20
Hideki Kozima
Binary Lattice Vector Quantization with Linear Block Codes and Affine Index Assignments
2000-05-18
Hp-Finite Element Approximations On Non-Matching Grids For Partial Differential Equations With Non-Negative Characteristic Form
2000-09-11
Andrea Toselli
A Fuzzy Basis Function Vector-Based Multivariable Adaptive Controller for Nonlinear Systems
2000-09-07
Language Spaces
1995-04-10
C. M. Holt
Target-Driven Perceptual Grouping
2000-10-17
Dyn-FO: A Parallel, Dynamic Complexity Class
1995-12-20
Do Users Always Know What's Good For Them? Utilising Physiological Responses to Assess Media Quality
2000-10-11
Hahn-Banach Separation Theorem for Max-Plus Semimodules
1970-01-01
Higher-Order Pattern Matching for Automatically Applying Fusion Transformations
2000-12-05
Decomposition of TrPTL formulas
1998-04-10
Genuinely Nonlinear Models For Convection-Dominated Problems
2000-11-29
On Estimation Of Temperature Uncertainty Using The Second Order Adjoint Problem
2000-12-22
Modeling Parietal-Premotor Interactions in Primate Control of Grasping
1997-10-03
Consequences of Hipparcos parallaxes for stellar evolutionary models - Three Hyades Binaries: . . .
1999-07-08
Automatic Evaluation of two Intonational Phrasing Algorithms for Dutch
2000-10-12
Erwin Marsi
Entropy-based Subspace Clustering for Mining Numerical Data
2000-04-25
An Individual-Based Model That Reproduces Natural Distribution of Species Abundance and Diversity
2000-04-25
Bridging the Gap between Planning and Reactivity: a Layered Architecture for Autonomous Indoor Navigation
1998-02-11
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z
2000-10-10
Katholieke Universiteit Leuven
1998-09-11
Canadians Putting Communities Online!
2000-10-10
Thermal Performance Enhancement of Adaptive Optics by use of a Deformable Secondary Mirror
2000-05-09
Michael Lloyd-hart
On the Longest Upsequence Problem for Permutations
1999-10-21
Likelihood Analysis Of Repeating In The Batse Catalogue
1998-09-25
Jean M. Quashnock
Design of Data-Intensive Web-Based Information Services
2000-05-19
Rate-Control Scheme for Video Transport over Wireless Channels
2000-12-18
BPMPD user's manual Version 2.20
2000-11-21
Interval Routing Schemes allow Broadcasting with Linear Message-Complexity
2000-12-11
Approximate VLDC Pattern Matching in Shared-Forest
2000-12-20
M. Vilares
One-Pass Evaluation of Region Algebra Expressions
2000-12-29
On the Security of Modular Exponentiation with Application to the Construction of Pseudorandom Generators
2000-12-06
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming
2000-12-01
Landscapes on Spaces of Trees
2001-01-03
Control of a Recurrent Neural Network Emulator for the Double Scroll
1998-09-11
Improved Parallel Mesh Generation Through Dynamic Load-Balancing
1999-04-14
Verifying Mutual Exclusion and Liveness Properties with TLA
2000-03-31
Mass Dependence of Lifetimes of
1999-07-28
Building a XML-based Corporate Memory
1999-07-23
Comparison of IMPS, PVS and Larch with respect to Theory Treatment and Modularization
2000-03-20
F. Kammuller
Protecting Individuals' Interests in Electronic Commerce Protocols
2000-10-11
Q-MOPP: Qualitative evaluation of Maintenance Organizations, Processes, and Products
1999-11-10
A Generalization of Dijkstra's Calculus to Typed Program Specifications
2000-06-15
A Mixed Least Squares Method for an Inverse Problem of a Nonlinear Beam Equation
1999-08-03
Brief Pauses as Signals for Depressing Synapses
1999-10-04
Extremal Approximately Convex Functions And The Best Constants In A Theorem Of Hyers And Ulam
2000-11-27
CoMedi: Using Computer Vision to Support Awareness and Privacy in Mediaspaces
1999-08-25
An Extensible Information Model for Shared Scientific Data Collections
2000-12-05
Developing Tiled Projection Display Systems
2000-09-27
KIDS/VDM : un environnement pour le prototypage et la preuve de sp'ecifications VDM
1995-11-14
A Simple Reactive Architecture for Robust Robots
2000-02-16
Jeff Rickel and W. Lewis Johnson
2000-11-23
Weakly-Calibrated Stereo Perception for Rover Navigation
1995-06-12
Recursive Constructions of Complete Caps
2000-11-27
Ian Graham
2001-01-11
Model-Checking Processes with States: An Industrial Case Study
1999-04-06
An Eective Bottom-Up Semantics for First-Order Linear Logic Programs
2001-01-08
Regular Ordering and Applications in Control Policies
2000-01-25
Secure Remote Access to an Internal Web Server
2000-04-21
Many Robots Make Short Work
1999-11-06
Describing and Composing Patterns Using Role Diagrams
2000-02-03
Dirk Riehle
Model-based Initialisation for Segmentation
2000-07-10
Query Optimization in Kess - An Ontology-Based KBMS
2001-01-10
The Kolmogorov Expression Complexity of Logics
2000-12-12
Jerzy Tyszkiewicz
Keys with Upward Wildcards for XML
2000-12-04
On a Fundamental Physical Principle Underlying the Point Location Algorithm in Computer Graphics
1999-01-13
Sumit Ghosh
Guarding Scenes against Invasive Hypercubes
2000-12-07
Optimization and Global Minimization Methods Suitable for Neural Networks
1999-01-05
Jerzy Korczak
Jennifer Austin and Aaron Lawson eds.
2000-09-30
Alan Munn
Electronic submission of revised papers to the IEEE Journal on Selected Areas in Communications - Special issue on the Internet
1995-02-03
Henning Schulzrinne
Creating Virtual Places for Community Involvement
2000-11-21
Tracee Wolf
Source Time Scale and Optimal Buffer/Bandwidth Trade-off for Heterogeneous Regulated Traffic in a Network Node
1997-06-25
Assessment of Sustainable Development: A Novel Approach Using Fuzzy Set Theory
2000-06-22
M. Grossman
Elliptic Curve Public Key Cryptosystems -- an introduction
1999-02-15
Erik De Win
A Survey of Hard Spectrum
2000-11-29
'Why COCOMO Works' Revisited or Feedback Control as a Cost Factor
2000-05-22
Juan F. Ramil
Strong Cyclic Planning Revisited
2000-12-04
Analysis Of The Quasi-Monte Carlo Integration Of The Rendering Equation
1999-01-05
Werner Purgathofer
Parsing Mathematics Typeset in T E X
1998-01-27
Comparison and Efficient Computation of the STATIC and the Disjunctive Well-founded Semantics
2000-12-01
Spin Glasses: A New Direction For Probability Theory?
2000-11-26
Michel Talagrand
Dynamics Of Heat Transfer In The Melt Pool At Nuclear Severe Accident Conditions
2000-12-18
Permeability of Cracked Steel Fiber--Reinforced Concrete
2001-01-03
Experiments on Extracting Knowledge from a Machine-Readable Dictionary of Synonym Differences
2001-01-04
Radiowave Phase Scintillation and Precision Doppler Tracking of Spacecraft
1999-01-21
J. W. Armstrong
Briki: a Flexible Java Compiler
1996-06-03
Weak Alternating Automata Are Not That Weak
2000-11-21
Moshe Y. Vardi
Expressibility And Parallel Complexity
1994-11-09
Task Partitioning Wireless Base-station Receiver Algorithms on Multiple DSPs and FPGAs
2000-11-13
A Distributed 3D Graphics Library
2000-01-13
Life-Cycle Models for Survivable Systems
2000-12-12
On the stability problem for nearly--integrable Hamiltonian systems
1997-04-26
Luigi Chierchia
Universal Consistency of Local Polynomial Kernel Regression Estimates
2000-12-18
Michael Kohler
A Group Signature Scheme Based on an RSA-Variant
1998-11-24
Markus Michels
Unknown
1996-10-14
High Performance Messaging on Workstations:
1997-07-03
CS 323, Fall 2000 Problem Set 3 Solutions: Situation Calculus and the Frame Problem
2000-12-05
ICP and the Squid Web Cache
1997-08-13
Duane Wessels
Guideline Classification to Assist Modeling, Authoring, Implementation and Retrieval
2000-08-11
Micro-Active Control of a Planar Jet.
2000-12-13
The Sonority Hierarchy In Hungarian
1997-01-11
Examples And Counterexamples For Perles' Conjecture
2000-11-23
Inheritance in Higher Order Logic: Modeling and Reasoning
1970-01-01
Routines for Relative Pose of Two Calibrated Cameras from 5 Points
2000-07-23
Bill Triggs
Finding a Pathfinder
1999-06-24
Runtime Incremental Parallel Scheduling on Distributed Memory Computers
1994-11-11
Wei Shu
. Reliability, fault tolerance, and real-time aspects
2000-12-05
On Interprocess Communication
2000-06-26
Word Re-ordering and DP-based Search in Statistical Machine Translation
2000-12-20
Deciding Intuitionistic Propositional Logic via Translation into Classical Logic
2000-10-25
Haptic Visualization of Molecular Model
1999-01-06
Bottom-Up Propositionalization
2000-06-28
Stefan Kramer
Le Mont-Saint-Michel, France, 1997. Also appeared in IJCAI-97. 4 cial Intelligence in
2000-11-07
Social Potential Fields: A Distributed Behavioral Control for Autonomous Robots
1998-11-16
Is Java ready for computational science?
1998-07-06
The reduction method in the theory of Lie-algebraically integrable oscillatory Hamiltonian systems.
2000-03-18
A. K. Prykarpatsky
Efficient Conservative Visibility Culling Using The Prioritized-Layered Projection Algorithm
2000-12-05
starER: A Conceptual Model for Data Warehouse Design
2000-04-21
Guidance Concept for a Mars Ascent Vehicle First Stage
2000-11-28
Parallelization of an Object-oriented Unstructured Aeroacoustics Solver
2000-02-14
Site Remediation Technology InfoBase: A Guide to Federal Programs, Information Resources, and Publications on Contaminated Site Cleanup Technologies
2000-09-15
Detecting Salient Motion By Accumulating Directionally-Consistent Flow
2000-09-12
BIP Messages User Manual
1997-10-16
Superposition Theorem Proving for Commutative Algebraic Theories
2000-12-22
Reasoning About and Optimizing Distributed Parameter Physical Systems Using Influence Graphs
1998-04-30
A Model for Reasoning About Bidimensional Temporal Relations
1999-12-17
Describing Spatial Transitions Using Mereotopological Relations Over Histories
2000-10-12
Ernest Davis
Ne,Ay,Ne,Ay8v ze- P!J1 five,six,five,six ze- hours
2000-07-28
Gibbs-Markov Models
2000-02-17
John D. Lafferty
Improved Approximation Algorithms for a Capacitated Facility Location Problem
1999-01-23
Regular Issue Brief Papers
2000-06-04
Optimal Stochastic Quadrature Formulas For Convex Functions
2000-10-16
Randomized Lower Bounds for Online Path Coloring
1999-05-25
Benchmarking Access Structures for High-Dimensional Multimedia Data
1999-12-15
A New Tractable Subclass of the Rectangle Algebra
1999-12-17
New Convergence Results for Davidson-Type algorithms
1998-12-07
S. Oliveira
Development of a Large-Scale Ubiquitous Computing Interface
1998-02-23
Detection of Correlations in tRNA Sequences with Structural Implications
1998-02-20
Integrating Direct CP Search and CP-based Column Generation for the Airline Crew Assignment Problem
2000-03-17
The thesis of Koral Ilgun is approved: Committee Chairperson November 1992 iii
2000-07-19
Koral Ilgun
Approximate Subset Matching with Don't Cares
2000-09-13
Formalization and Verification of Event-driven Process Chains
2000-09-25
Features as Constraints
2000-06-08
Total Positivity: Tests And Parametrizations
1999-09-20
Sergey Fomin
Triangle Fixer: Edge-based Connectivity Compression
2000-06-08
Martin Isenburg
Unsupervised Models for Named Entity Classification
1999-05-26
Type Inference for Queries on Semistructured Data
2000-10-30
Invariant Hyperkähler Metrics with a Homogeneous Complex Structure
1999-03-09
Roger Bielawski
A Neural Model Of Corticocerebellar Interactions During Attentive Imitation And Predictive Learning Of Sequential Handwriting Movements
1970-01-01
Locales: A Sectioning Concept for Isabelle
2000-03-20
How Many Shuffles to Randomize a Deck of Cards?
2000-10-12
Off-line Learning from Perception for Improving Mission Performance of Autonomous Vehicles
1998-11-26
Rudolf Gregor
Personal Style Inventory Item Revision: Confirmatory Factor Analysis
2000-06-20
Chignik Lakes Research
1999-04-26
Enhancing External Consistency in Real-Time Transactions
1996-01-23
A Necessary Condition for Self-reproduction in the Semar Core
1999-06-03
Hideaki Suzuki
A Multi-level Approach to Program Synthesis
2000-10-25
Scalable Techniques from Nonparametric Statistics for Real Time Robot Learning
2000-06-23
Modulation and Coding for the Gaussian Collision Channel
2000-11-04
A Computational Model of Driving for Autonomous Vehicles
1999-11-03
Arbeitspapiere der GMD
2000-08-01
Polynomial Methods for Computer Vision
2000-03-10
Cooperative Problem Solving and Explanation
1997-09-06
Putting high-level Petri nets to work in industry
2000-09-25
Continuous 6dof Gesture Recognition : A Fuzzy Logic Approach
1998-12-16
Oliver Bimber
Fast Search for Large Vocabulary Speech Recognition
2000-11-28
Finitely Representable Databases Extended Abstract
1996-09-13
Geometric Algorithms and Data Representation for Solid Freeform Fabrication
2000-11-03
Sara Anne Mcmains
Interpolating Subdivision for Meshes with Arbitrary Topology
1998-08-13
Broadcasting Algorithms for the Star-Connected Cycles Interconnection Network
1995-06-01
Progress Report on "Convergence of Risk Estimates Obtained from Highly Skewed Distributions," a Problem Posed by Jim Sinclair of AEA Technology
1998-03-26
Optimal Feedback Control for Route Tracking With a Bounded Curvature Vehicle
1970-01-01
The Role of Plans in Discourse Generation
2000-12-21
Johanna D. Moore
Using Dynamic Mediation to Integrate COTS Entities in a Ubiquitous Computing Environment
2000-10-11
O Fox
Bringing Information Extraction out of the Labs: the Pinocchio Environment
2000-05-25
David Luebke
1997-12-22
David Luebke
Principled Hidden Tagset Design for Tiered Tagging of Hungarian
2000-07-25
Bifurcations Of The Hill's Region In The Three Body Problem
2000-09-09
Christopher K. Mccord
The Constraint Based Decomposition CBD training architecture
2000-07-22
Sorin Draghici
A Distributed Protocol for Multi-Class QoS Provision in Noncooperative Many-Switch Systems
2000-03-06
High-Performance Extensible Indexing
2000-07-28
Nature's Way of Optimizing
2000-06-20
Concept Lattices for Knowledge Management
2000-10-12
Design and Implementation of ET++, a Seamless Object-Oriented Application Framework
2000-02-03
The Effect of Spin-Flip Symmetry on the Performance of the Simple GA
2000-11-23
Bart Naudts
Robustness and Pricing with Uncertain Growth
2000-11-24
Emotional Characters In Virtual Environments
1999-01-06
Local-Area MultiProcessor: the Scalable Coherent Interface
1995-09-22
Learning to Control Dynamic Systems Via Associative Reinforcement Learning
1996-07-08
Vijaykumar Gullapalli
Hybrid Column Generation Approaches for Solving Real World . . .
2000-12-12
Goodness-of-Fit Tests for Parametric Regression Models
2000-05-24
An Integrated Approach for Segmentation and Estimation of Planar Structures
2000-12-12
Management of Change in Structured Verification
2000-06-26
Dieter Hutter
Applications of Machine Learning: A Medical Follow Up Study
1997-04-22
Design of Data-Intensive Web-Based Information Services
2000-06-15
Persistent Triangulations
2000-11-21
Willow: A Scalable Shared-Memory Multiprocessor
2000-09-02
Compactification of Hyperbolic Monopoles
1999-02-19
Robert Hall
2000-12-20
Numerical Analysis of a Contact Problem in Rate-Type Viscoplasticity
1998-09-29
WebGlimpse - Combining Browsing and Searching
1999-12-08
C code for modeling smooth free-form surfaces of arbitrary patch-layout with linearly-trimmed bicubic B-splines NURBS
1970-01-01
Jorg Peters
Real-World Examples for HCI Instruction
2000-12-18
Robert St. Amant
An Interactive WWW Search Engine for User-Defined Collections
1999-12-16
Effective Stability for Periodically Perturbed Hamiltonian Systems
1997-04-26
Angel Jorba
Computational Problems of Constrained Fuzzy Arithmetic
2000-02-23
Mirko Navara
Hyperdog: Up To Date Web Monitoring Through Metacomputers
2001-01-03
Measuring Effective Temperatures in Out-of-Equilibrium Driven Systems
2000-12-20
Extensible Cluster-Based Scalable Network Services
1997-07-23
On Monotone Planar Circuits
1999-03-10
Quantum circuits for OR and AND of ORs
2000-11-22
Version Propagation in Federated Database Systems
2000-12-21
Requirements for UIMSs
1994-05-20
Sub-Birkhoff
2000-12-19
Vincent Van Oostrom
Compositional description of object communities with TROLL
2000-07-19
A Ring-Oriented Approach for Block Matrix Factorizations on Shared and Distributed Memory Architectures
1995-08-10
Tree Formulations Of Tense Logic
2000-01-27
Jack Copeland
Robust reference resolution with limited knowledge: high precision genre-specific approach for English and Polish
1998-07-28
A Modular Neural Network Approach to Autonomous Navigation
2000-10-16
A Hybrid Learning Approach To Blind Deconvolution Of Mimo Systems
2001-01-15
Seungjin Choi
Super Turing-Machines
2000-01-27
B. Jack Copeland
Compiling Knowledge into Decomposable Negation Normal Form
1970-01-01
Adnan Darwiche
Equality Is a Jump
2000-04-16
Computing the Unmeasured: An Algebraic Approach to Internet Mapping
2001-01-08
Implementing Parameterized Range Types in an Extensible DBMS
2000-12-01
Exploratory Programming Of Distributed 3D Graphics Applications
2000-08-10
Blair Macintyre
The Directed Chinese Postman Problem
2001-01-08
Har Old Thimbleby
Measures on hidden Markov models
1999-05-04
Statistical Machine Learning for Large-Scale Optimization
2000-09-29
Statistical Estimation and Visualization of Ground-Water Contamination Data
2000-09-21
The design of RT-Appia
2000-12-14
Invariant Sections and Finitely Smooth Conjugacy of Dynamical Systems
1997-04-26
A Software Architecture for Timetable Construction
2000-11-26
XML-based Approach towards an Interchange Format for Petri Nets Extended Abstract
2000-12-14
An Ontogenetic Perspective to Scaling Sensorimotor Intelligence
2000-09-06
HEMASL: A Flexible Language to Specify Heterogeneous Agents
2000-10-31
Three Good Reasons for Using a Petri-net-based Workflow Management System
2000-09-25
A New Parallel Domain Decomposition Preconditioner I: Application with an Adaptive Parallel Finite Element Solver
1999-04-14
Enhancing Query Plans for Many-Way Joins
1995-03-16
Roberto J. Bayardo
A Comparative Study of Vision-Based Lateral Control Strategies for Autonomous Highway Driving
1998-10-22
Blind Channel Estimation Using the Second-Order Statistics: Asymptotic Performance and Limitations
2000-07-18
Combustion Fronts in Petroleum Reservoirs
2000-10-26
A Visual Support System for Visually Impaired Persons Using Acoustic Interface
2000-12-19
Airline Crew Scheduling Using Potts Mean Field Techniques
2000-12-12
Classifying Exchange Rate Regimes: Deeds vs. Words
2001-01-09
Automatically Generating Abstractions for Problem Solving
2000-11-30
Order-ConsistentPrograms are Cautiously Monotonic
2000-11-21
Hudson Turner
Linear BSP tree in the plane for set of segments with low directional density
1999-01-06
A Lie algebraic generalization of the Mumford system, its symmetries and its multi-Hamiltonian structure
1998-03-18
Marco Pedroni
Distance Metrics for Landscape Analysis and Computational Molecular Biology
2000-02-14
Gravitational Waves in Non-Singular String Cosmologies
2001-01-05
Over Powering Solar System Exploration
1999-01-21
Quantization Index Modulation: A Class of Provably Good Methods for Digital Watermarking and Information Embedding
2000-12-09
Temporal Approach to Causal Knowledge
2000-10-20
Network response time for a general class of WTA
2000-09-06
Declarative Specification of Data-intensive Web sites
2000-05-06
QoS-Sensitive Transport of Real-Time MPEG Video using Adaptive Forward Error Correction
2000-03-06
Relationships Between the Constant Modulus and Wiener Receivers
2000-05-15
Model-Checking CSP-Z: Strategy, Tool Support and Industrial Application
2000-09-01
Asymptotic Behavior of Solutions of Time-delayed Burgers' Equation
2000-04-13
Weijiu Liu
Unknown
1998-04-28
Submillimeter Optical Properties Of Hexagonal Boron Nitride
1970-01-01
Competition and Multiple Cause Models
2000-07-27
Composite Schemes For Conservation Laws
1997-08-28
Predecessor Queries in Dynamic Integer Sets
1997-04-10
Gerth Stlting Brodal
Support for RSVP-based Services over ATM networks
1996-06-03
Development Of Wake Vortex Spacing System For Airport Capacity Enhancement And Delay Reduction
2000-12-18
GRASP With Path Relinking For The Three-Index Assignment Problem
2000-12-15
Principled Communication for Dynamic Multi-Robot Task Allocation
2000-11-17
Improving Resource Utilization of Enterprise-Level World-Wide Web Proxy Servers
1999-04-07
Ordered Phase in the Two-Dimensional Randomly Coupled Ferromagnet
2000-12-08
A. K. Hartmann
WEBSELL: Intelligent Sales Assistants for the World Wide Web
2000-12-11
Wireless Video Transport Using Conditional Retransmission and Low-Delay Interleaving
2000-12-18
Quantum Fourier transforms for extracting hidden linear structures in finite fields
2000-12-15
Designing Circuits By Calculation
1994-03-18
Geraint Jones
ProtoMol: A Molecular Dynamics Framework with Incremental Parallelization
2000-12-04
Modeling of Tm-doped ZBLAN blue upconversion fiber lasers operating at 455 nm
2000-10-05
Scheduling Tree-Dags Using FIFO Queues: A Control-Memory Tradeoff
1994-12-06
Efficient Tracking of Mobile Objects in Globe
2000-12-22
Simple Improvements of A Simple Solution for Inverting Resolution
1970-01-01
Jan C. Bioch
Problem Statement
1998-12-11
Josh Macdonald
Critical behaviour of Random Walks
1997-06-02
I. Campos
Practical Algorithms for Deciding Path Ordering Constraint Satisfaction
2000-11-29
Video Motion Capture
1998-03-14
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems
2000-11-27
Data Abstraction and Information Hiding
2000-11-17
A Comparative Analysis Of The Islamic And The Western Models Of News Production And Ethics Of Dissemination
2000-12-03
Grouping of Color and Texture Features for Automated Image Annotation
1996-06-28
chi² Test for Feature Detection
1992-06-04
Optimizing Time-Frequency Distributions for Automatic Classification
2000-12-08
`Collusive-Seeming Equilibria' In The Uniform-Price Auction
2000-10-01
David Mcadams P R
A Stochastic Model of Congestion Caused by Speed Differences
2000-11-07
Real-Time Mach: Towards a Predictable Real-Time System
1995-05-22
Productivity, Seniority and Wages - New Evidence from Personnel Data
1998-03-25
.1 Single-input Systems . . . . . . . . . . . . . . . . . . . . . . . 51 3.1.1 Determination of Volterra Transfer Functions for Singleinput Systems . . . . . . . . . . . . . . . . . . . . . . . 54
2000-11-29
Gaas Mesfet Mixers
On the Structure of a Masters's Thesis
2000-08-31
Explicit Substitutions for the Lambda-Mu Calculus
1994-10-08
Model Selection and the Principle of Minimum Description Length
2000-12-17
Information Retrieval using very short Krylov sequences
2000-12-28
Application Of Speech Technology In The Multilingual Speedata Project
1999-01-20
The Guidebook, the Friend, and the Room: Visitor Experience in a Historic House
2000-12-10
Incremental Scheduling
1999-06-16
Camera Self-Calibration Using the Singular Value Decomposition of the Fundamental Matrix
1970-01-01
Acquisition of a Large Pose-Mosaic Dataset
1998-10-22
On Embeddings Between Classical Lorentz Spaces
2000-11-29
Efficient Wire Formats for High Performance Computing
2000-11-20
On one-parametric families of Bäcklund transformations
1970-01-01
Structured Testing of Worst-Case Execution Time Analysis Methods
2000-12-22
Smart Radio - Building Music Radio On the Fly
2000-09-25
Channel-Dropping Filter Based on a Grating-Frustrated Two-Core Fiber
2000-09-14
The Energy Behaviour of Real and Virtual Photon--Proton Cross Sections
1995-01-11
Aharon Levy
Observational Approaches in Algebraic Specifications : a Comparative Study
1992-06-19
Large Scale Discriminative Training For Speech Recognition
2000-11-06
Exponential Bounds With Applications To Call Admission
1996-10-16
Zhen Liu
State Dependent Matrices and Balanced Energy Functions for Nonlinear Systems
2000-07-27
The Method of Adjoint Problems for the Domain Sensitivity Analysis of the Acoustic Far Field Pattern. Part II: 3D Domains with Smooth Edges
2000-11-22
WebSIFT: The Web Site Information Filter System
2000-06-30
-tree: Processing Complex Multi-Feature Queries with Just One Index
2000-11-25
Harmonic Shape Images: A 3D Free-form Surface Representation and Its Applications in Surface Matching
2000-07-11
Factors in anaphora resolution: they are not the only things that matter. A case study based on two different approaches
1998-07-24
Adaptive Hierarchical Methods for Landscape Representation and Analysis
1997-11-19
Thomas Gerstner
Fast Modular Exponentiation
1998-09-08
C Etin K. Koc
Towards a Library of Formal Mathematics
2000-05-26
Efficient Oblivious Parallel Sorting on the MasPar MP-1
1996-10-15
A Two-Way Model for Motor Control of Redundant Systems
2000-05-30
Computational Complexity and Induction for Partial Computable Functions in Type Theory
1999-03-03
Minimal Sense of Direction and Decision Problems for Cayley Graphs
2000-04-16
Random Decision Forests
2000-07-06
Tin Kam Ho
3-D Modeling from Range Imagery: An Incremental Method with a Planning Component
2000-01-24
Application Of A Recurrent Neural Network In Online Modelling Of Real-Time Systems
1999-12-22
The Equivalence Structure of Descriptor Representations of Systems with Possibly Inconsistent Initial Conditions
1970-01-01
Gpcg: A Case Study In The Performance And Scalability Of Optimization Algorithms
2001-01-08
Annotated Reasoning
2000-09-19
Dieter Hutter
Approximation Algorithms for Facility Location Problems
1997-10-28
Quantized Feedback Stabilization of Linear Systems
2000-10-17
Tom Fawcett
1999-11-15
Isometric Isomorphisms Between Normed Spaces
1997-02-12
Rotating Virtual Objects with Real Handles
2000-04-20
Adaptive Simulation and Control of VariableStructure Control Systems in Sliding Regimes
1997-04-12
Shared Memory Programming on PC-based SCI Clusters
1999-05-20
The Parallel Multipole Method on the Connection Machine
1995-03-01
On the Design and Implementation of a Parallel, Object-Oriented, Image Processing Toolkit
2000-08-24
Automatic Extraction Of Trees In Urban Areas From Aerial Imagery
2000-08-23
Uwe Bacher
Hausdorff Dimension of Measures via PoincaréRecurrence
2000-12-05
L. Barreira
Recurrent Sequences Modulo Prime Powers
1993-11-06
Model-Year Architectures for Rapid Prototyping
2000-03-30
Extremal Behavior of Heavy-Tailed Transmission Durations in Network Traffic
2000-04-26
Alwin Stegeman
A Comparison of Some Dynamic Load-Balancing Algorithms for a Parallel Adaptive Flow Solver
1999-04-14
An Efficient Direct Solver for a Class of Mixed Finite Element Problems
1999-02-24
Bounds for the Third Peano Constants of Gaussian Quadrature Formulae
2000-10-16
Knut Petras braunschweig
Nick Benton Andrew Kennedy Microsoft Research Cambridge, UK
2000-07-24
Using Bilateral Symmetry To Improve 3D Reconstruction From Image Sequences
1998-11-01
Real-time Interactive Neuro-evolution
1998-07-16
Charge Spreading and Position Sensitivity in a Segmented Planar Germanium Detector
1998-10-01
The ENTRAPID Protocol Development Environment
1999-09-26
D²MA: A Distributed Access Protocol for Wireless ATM Networks
1999-09-15
Bifurcation from Periodic and Relative Periodic Solutions in Equivariant Dynamical Systems
1999-11-11
Intelligent Data Analysis in an Interactive Planning Simulation
2001-01-11
Robert St. Amant
End-to-End Authorization
2000-11-14
Being Bayesian about Network Structure
2000-05-14
Efficiently Constructing Relational Features from Background Knowledge for Inductive Machine Learning
1999-12-10
Application Performance and Flexibility on Exokernel Systems
2000-03-24
The Moduli of Flat PU2,1 Structures on Riemann Surfaces
2000-07-01
Eugene Z. Xia
Operational Synthesis Applied to Mutual NZ/US Questions. Part I
1999-10-27
The Softassign Procrustes Matching Algorithm
1999-04-21
Sample Paper Title
1996-10-15
Studying the ML Module System in HOL
2000-01-09
Savi Maharaj
Subtly Different Facial Expression Recognition And Expression Intensity Estimation
1999-10-01
Ribbon Tile Invariants from Signed Area
2000-09-30
Brazos: A Third Generation DSM System
2000-09-02
Discontinuity in Evolution: How Different Levels of Organization Imply Pre-Adaptation
2000-12-19
High frequency limit of the Helmholtz equation II: source on a general smooth manifold
2000-12-07
Hybrid Systems in TLA+
2000-06-27
Leslie Lamport
Towards Multi-paper Summarization Using Reference Information
1999-07-13
Pliers At Vlc2
2000-08-08
A. Macfarlane
Side Collision Warning Systems for Transit Buses
2000-03-17
Wideband CDMA Network Sensitivity Function
1999-10-07
A Query Language and Optimization Techniques for Unstructured Data
2000-10-30
Lexical Translation between Irish and English by Mapping between Monolingual Machine Readable Dictionaries using Distributed Representations
1999-11-18
Hyperkähler Structures and Group Actions
1999-03-09
Roger Bielawski
Fast segmentation of sparse 3D data by interpolating segmented boundaries in an octree
2000-05-06
Forward Mapped Planar Mirror Reflections
1998-08-27
A Hybrid TDMA/CDMA Mobile Cellular System Using Complementary Code Sets as . . .
1999-10-06
Pekka Pirinen
Synchrony Unbound: Review A Critical Evaluation of the Temporal Binding Hypothesis
2000-04-30
Bifurcation from Discrete Rotating Waves
1999-08-19
Jeroen S. W. Lamb
Applications of the Pseudo Residual-Free Bubbles to the Stabilization of Convection-Diffusion Problems
1997-10-29
Situated Learning In Design
2000-07-26
Basic Dependency-Based Logical Grammar
2001-01-15
Geert-jan M. Kruijff
A Heuristic Algorithm to Detect Feature Interactions in Requirements
2000-09-12
Maritta Heisel
Approximating the Limiting Quicksort Distribution
2001-01-17
Quadratic Volume preserving maps
1997-05-28
James D. Meiss
Real-Time Index Concurrency Control
1996-01-23
Pad - An Alternative Approach to the Computer Interface
2000-10-10
A Better Algorithm For an Ancient Scheduling Problem
1995-01-27
Efficient Word Segmentation Driven By Unconstrained Handwritten Phrase Recognition
2000-04-11
Adaptive Acquisition of Lumigraphs from SyntheticScenes
2000-09-14
On Algebraic Multilevel Preconditioners in Lattice Gauge Theory
2000-05-03
Sparse Functional Stores for Imperative Programs
1995-03-12
Bjarne Steensgaard
Learning to Make Good Use of Operational Advice
1999-07-30
Using Model Checking to Plan Hard Real-Time Controllers
2001-01-05
Graph Labelling and Assignment of Non-Reusable Frequencies
1998-06-29
Derandomized Construction of Small Sample Spaces in
1996-10-10
Inter-dimensional Hypermedia Communicative Devices for Rhetorical Structure
2001-01-06
Learning a Monolingual Language Model from a Multilingual Text Database
2000-09-30
Informatique th'eorique/Computer Science
1998-03-26
Evolutionary Connectionism and Mind/Brain Modularity
2000-11-17
The Evidence Framework applied to Classification Networks
1996-05-06
David J. C. Mackay
The Challenge of Supporting Repository-Based Continuous Learning with . . .
2000-06-07
An Inexact Newton Method for Systems Arising from the Finite Element Method
1999-02-24
Security Proofs for Signature Schemes
1996-05-26
Why Optimality Theory for se ntence processing?
2000-09-22
Group Priority Scheduling
1996-07-01
Eigenvalue Comparisons For Differential Equations On A Measure Chain
1998-12-19
A Behavior-Based System For Off-Road Navigation
1999-08-17
Using SOM in Data Mining
2000-04-17
Juha Vesanto
Towards Performance-DrivenSystem Support for Distributed Computing in Clustered Environments
2000-03-06
Kihong Park
Optimum Fiducials under Weak Perspective Projection
2000-03-10
An Overview of Bioinformatics Research at Lawrence Livermore National Laboratory
2000-11-28
Experimental Validation of a Real-Time Vision Sensor and Navigation System for Intelligent Underwater Vehicles
1998-11-26
A Robust Parsing Algorithm For Link Grammars
2000-02-17
Control theory applied to Quantum Chemistry: Some tracks.
2000-05-26
Claude Le Bris
Safe Cooperative Robot Dynamics On Graphs
2000-02-23
An Extension to Concurrent TTCN
1999-09-15
An Edge-Isoperimetric Problem for Powers of the Petersen Graph
2000-03-17
ObjectGlobe: Ubiquitous Query Processing on the Internet
2000-08-09
Parallel Tetrahedral Mesh Adaptation with Dynamic Load Balancing
2000-06-29
A Piezo-Neural Control for Vibrations Suppression
2000-02-11
The Impact of Database Selection on Distributed Searching
2000-09-18
Implementing Protocols in Java: The Price of Portability
1999-09-15
A Comparison of Ranking Methods for Classification Algorithm Selection
2000-10-24
TCP Congestion Control with a Misbehaving Receiver
1999-12-07
A Modal Extension of Logic Programming
1999-07-13
Why I Do Declare! Declarative Programming in the Undergraduate Curriculum
2000-09-08
Lazy Learning of Bayesian Rules
2000-05-15
Writer Adaptation Of A Hmm Handwriting Recognition System
1999-11-01
WebCluster, a Tool for Mediated Information Access
2000-09-11
On Specifying Correlation Matrices for Binary Data
2000-08-08
HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions.
1999-09-06
Guido Vanackere
Exact Controllability for Problems of Transmission of the Plate Equation with Lower-order Terms
2000-03-27
Live Paint: Painting with Procedural Multiscale Textures
2000-10-10
Design for an Adaptive Library Catalog
2000-05-03
Model Checking and the Mu-calculus
1999-01-29
E. Allen Emerson
A Lightweight Object Manager for Group-Aware Applications
2000-08-01
Fast Training Algorithms for Multi-layer Neural Nets
2000-09-23
Richard P. Brent
Alaska Peninsula Salmon, 1998
1999-03-09
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations
1999-12-17
Jean-francois Condotta
Note on Approach-Independent Structuring Concepts for Rule-Based Systems
2000-03-29
Sabine Kuske
Spectral Perturbation Bounds For Positive Definite Matrices
1997-06-17
Roy Mathias
Markov Chain Algorithms for Planar Lattice Structures
2001-01-15
Tessellation and Visibility Representations of Maps on the Torus
1998-03-02
Random Walks, Conditional Hitting Sets and Partial Derandomization
1998-06-29
Semi-supervised Clustering with User Feedback
2000-02-02
Tissue Classification with Gene Expression Profiles
2000-05-14
A Unified Presentation of Some Urn Models
1999-10-28
Michael Drmota
Automatic Resolution of Anaphora in English
1999-07-27
Michel Denber
On the Complexity of Self-Validating Numerical Integration and Approximation of Functions with Singularities
2000-10-16
Knut Petras
Automatic Generation of Tcl Bindings for C and C++ Libraries
2000-09-14
Wolfgang Heidrich
Algorithms for Minimum Volume Enclosing Simplex in R³
1999-10-13
An Data Type for parallel Simulations based on Sparse Grids
1999-11-26
Geometrical View On The Effectiveness Of Naive Mean-Field Approximation To Optimization Problems
2000-04-24
Toshiyuki Tanaka
Informedia News-On-Demand: Using Speech Recognition to Create a Digital Video Library
1997-06-11
A Geometric Look At Corner Cutting
1970-01-01
Boosting the Margin: A New Explanation for the Effectiveness of Voting Methods
2000-12-25
Skeptical Reasoning and Disjunctive Programs
2000-07-07
Performance Characterisation In Computer Vision: The Role Of Statistics In Testing And Design
2000-12-19
A Rule-based Approach to Represent Spatio-Temporal Relations in Video Data
2000-12-03
A Formalization of Hylomorphism Based Deforestation with an Application to an Extended Typed Lambda-Calculus
2000-11-17
Simple General Recursion in Type Theory
2000-11-24
Ana Bove
Atomic And Molecular Databases For Planetary And Terrestrial Applications
1999-01-27
Linda R. Brown
A Development Environment for Horizontal Microcode Programs
1999-09-08
Efficient Zero-Knowledge Proofs of Knowledge Without Intractability Assumptions
2000-11-15
A Library of Components for Classification Problem Solving
2000-11-02
Exact Inference of Hidden Structure from Sample Data in Noisy-OR Networks
2000-12-25
On Sums Of Squares In Local Rings
2001-01-02
Claus Scheiderer
A Constraint-based Parallel Programming Language
1996-03-27
Object-Based Representations Of Spatial Images
2000-10-10
Active Face and Feature Tracking
1999-07-29
Control theory applied to Quantum Chemistry: Some tracks.
2000-05-26
Claude Le Bris
3D localization of a car observed through a monocular video camera
1998-11-26
Feasibility of Tomography with Unknown View Angles
1999-12-15
Automatic Text Summarization Based on the Global Document Annotation
2000-09-20
A Statistical Model for Parsing and Word-Sense Disambiguation
2000-09-23
Daniel M. Bikel
Verbosity and Interface Design
2000-05-08
Multiple Knowledge Acquisition Strategies in
2000-06-07
Telecommunication Clustering using Linear and Semidefinite Programming
2000-12-07
Desktop and Network Performance Issues in Multimedia Conferencing and Collaboration
1995-09-28
News And Noise In G-7 GDP Announcements
2000-12-20
Bayesian Map Learning in Dynamic Environments
2000-06-28
Kevin P. Murphy
Learning the Structure of Dynamic Probabilistic Networks
1998-05-08
SeaWinds 1B: a combination of Ku-band Scatterometer and Wind Radiometerfro Global Ocean Wind Measurements
1999-01-23
Computing Approximating Automata for a Class of Hybrid Systems
2000-10-11
On Generating FC Fuzzy Rule Systems from Data Using Evolution Strategies
2000-09-13
Weak Dependence beyond Mixing and Asymptotics for Nonparametric Regression
2000-11-24
Driving in the Jungle
2000-12-07
Jens Peter Secher
Compiling Devices: A Structure-Based Approach
1970-01-01
Adnan Darwiche
A Testbed for Intelligent Aiding in Adaptive Interfaces
2000-02-11
Online Superpage Promotion Revisited
2000-08-28
Tile Invariants: New Horizons
2000-12-30
Igor Pak
Prevalence of non-Lipschitz Anosov foliations
2000-03-20
Conformant Planning via Model Checking
1999-08-10
Alessandro Cimatti
Towards a Scalable Networked Retrieval System for Searching Multimedia Databases
1999-11-09
Risk-Aversion Behavior in Consumption/Investment Problems with Subsistence Consumption and Bankruptcy
1996-02-07
Call-based Fraud Detection in Mobile Communication Networks using a Hierarchical Regime-Switching Model
2000-01-28
D Image Matching Using a Finite Element Based Elastic Deformation Model
1999-10-05
Intelligent Visualization in a Planning Simulation
2000-11-19
Liaison: a Workflow Model for Novel Applications
1999-01-20
Automatic registration and alignment on a template of cardiac stress rest reoriented SPECT images
1999-03-04
Relative Enumerability in the Difference Hierarchy
2000-11-17
Detecting Omnivory With ...
2001-01-02
Controlled Perturbation for Arrangements of Polyhedral Surfaces with Application to Swept Volumes
1999-03-04
Sigal Raab
On a Generic Class of Regular One-Parametric Variational Inequalities.
1999-06-14
G'omez Bofill Walter
Dopamine modulation of prefrontal delay activity - Reverberatory activity and sharpness of tuning curves
2000-12-16
Gabriele Scheler
Algorithm Performance Contest
2000-05-29
Text Data Mining: Discovery of Important Keywords in the Cyberspace
2000-12-08
Pseudospectra Of Linear Operators*
2000-02-13
Lloyd N. Trefethen
Refining Top-k Selection Queries based on User Feedback
2000-05-17
Submission Type:
2000-05-30
Transitional Monitoring of Dynamic Integrity Constraints
2000-07-19
Calibration of Image Sequences for Model Visualisation
2000-01-24
Stability And Performance Of Adaptive Algorithms For Multichannel Blind Separation And Deconvolution
2000-09-13
Acyclic Orientations for Deadlock Prevention in Interconnection Networks
1997-04-23
Fault-Tolerant and Secure Intelligent Vehicle Highway System Software - a Safety Prototype
1998-11-26
Quantum Computer Emulator
2001-01-09
Evaluating and Optimizing Autonomous Text Classification Systems
1996-11-26
David D. Lewis
Ballistic Multi-Asteroid Flyby Trajectories of the Large Main Belt Asteroids
1999-01-21
Generalizing Refinement Operators to Learn Prenex . . .
2000-11-16
The Query Complexity of Program Checking by Constant-Depth Circuits
1999-05-17
Voting on Policies in Committees: A Welfare Analysis
1998-11-12
Beyond Competitive Analysis
1997-12-18
Color Opponency Constitutes A Sparse Representation For the Chromatic Structure of Natural Scenes
2001-01-02
On Weak Base Hypotheses And Their Implications For Boosting Regression And Classification
2000-12-22
Wenxin Jiang
An Ordinal Analysis of parameter free ...-Comprehension: Part I
2000-12-12
Michael Rathjen
Norbert Jankowski
2000-06-19
LITE Measurements of Sea Surface Directional Reflectance and the Link to Surface Wind Speed
1999-01-21
A Real-Time Filled Pause Detection System For Spontaneous Speech Recognition
1999-10-19
Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closure Logic
2000-12-12
A Support Vector Machine Approachto Decision Trees
2000-08-21
Agent Technology for the UMTS VHE Concept
2001-01-08
Toward Complexity-Effective Verification: A Case Study of the Cray SV2 Cache Coherence Protocol
2000-05-04
CMIS/P++: Extensions to CMIS/P for Increased Expressiveness and Efficiency in the Manipulation of Management Information
1999-09-15
Blackboard Segmentation Using Video Image of Lecture and Its Applications
2000-11-28
Use Your Logic
2000-03-02
Rajeev Gor
Automatic Acquisition of Domain Knowledge for Information Extraction
2000-06-21
IWNR - Extending A Public Multilingual Taxonomy to Russian
1999-11-19
Report of the THESEUS Working Group
2000-12-06
Sepia
2000-11-28
Traffic Control Scheme for Interconnection of FDDI Networks through ATM Network
1996-05-07
Slice Models in General Purpose Modeling Systems
1970-01-01
When are Two Games the Same?
2000-12-23
Initialization of Adaptive Parameters in Density Networks
2000-06-20
The financial benefits of the IMF
2000-10-31
Martijn Schrijvers
A Note on the Dynamics of Piecewise-Autonomous Bistable Parabolic Equations
2000-12-28
Your Morals Are Your Moods
2000-12-14
Hierarchical Dummy Fill for Process Uniformity
2000-11-20
Interspike Interval Variability for Balanced Networks With Reversal Potentials for Large Numbers of Inputs
2000-11-29
Mode Analysis Domains for Typed Logic Programs Extended Abstract
1999-08-16
Optimal Conguration of an Embedded Parallel System for Synthetic Aperture Radar Processing
2000-02-02
High Order Error Constants Of Clenshaw-Curtis Product Rules
2000-10-16
Knut Petras
An Efficient Priority-Based Dynamic Channel Allocation Strategy for Mobile Cellular Networks
1999-09-15
The InterBase Parallel Language: Supporting Distributed Transaction Applications
1999-06-18
A Distributed Algorithm for Delay-Constrained Unicast Routing
1999-09-15
Threshold Calibration in CLARIT Adaptive Filtering
2000-06-29
Efficient Indexing for Constraint and Temporal Databases
2000-09-07
Sridhar Ramaswamy
Fitting Uncertain Data with NURBS
2000-09-14
Coupled Canonical Grid/Discrete Dipole Approach for Computing Scattering from Objects Above or Below a Rough Interface
2000-12-31
An Interdisciplinary Study Of Information Systems: Christopher Alexander And IS Failure.
2000-05-04
Chris Kimble
An Algorithm for Trading and Portfolio Management Using Q-learning and Sharpe Ratio Maximization
2001-01-03
Open Problems in Rewriting
2000-05-22
A Real-Time Computer Vision System for Vehicle Tracking and Traffic Surveillance
1998-12-02
Boosting the Margin: A New Explanation for the Effectiveness of Voting Methods
2001-01-04
Select Z Bibliography
1970-01-01
Jonathan P. Bowen
The WIMP Limit from an Accelerator Experiment
2000-12-20
Christopher N. Booth
The Output Gap and Optimal Monetary Policy
2001-01-03
VIPER: A VLIW Integer Microprocessor
1993-07-02
The Tunneling Algorithm for Partial CSPs and Combinatorial Optimization Problems
1996-09-26
A New Proof of the Weak Pigeonhole Principle
2000-12-17
Economic Integration: An Empirical Assessment
2000-12-12
Environnement Graphique Interactif pour le Langage Eiffel//
1996-06-19
Just Draw It! Programming by Sketching Storyboards
1995-12-19
Erwin Laure
2000-12-28
Erwin Laure
Universal Configurations in Light-Flipping Games
2000-11-30
Free-Hand Pointer by Use of an Active Stereo Vision System
1999-01-26
Preprocessing of Intractable Problems
2000-09-07
Scheduling Data Transfers in a Network and the Set Scheduling Problem
2000-12-29
Clustering Noisy Data with Deterministic Annealing
1995-10-25
Mattias Ohlsson
Content-Based Addressing and Routing: A General Model and its Application
2000-12-29
ATA memo 15
2000-12-05
Douglas Bock
Finding Elliptical Shapes in an Image Using a Pyramid Architecture
1996-11-11
The of Jovian North Equatorial Context of Galileo Latitude
1999-01-21
A New Strategy for Simulating From Mixture Distributions With Applications to Bayesian Model Selection
2000-11-23
A Cellular Nerve for Higher Categories
2000-12-08
Clemens Berger
Model-Based Travel Planning
1970-01-01
Markov Chain Monte Carlo Calibration of Stochastic Volatility Models
2000-11-06
Measures Of Simultaneous Approximation For Quasi-Periods Of Abelian Varieties
2000-11-27
Pierre Grinspan
Point and window queries with linear spatial indices: an evaluation with O2
1997-08-08
Orthogonal Block Building Using Ordered Lists of Ternary Vectors
2000-10-12
Neural Minimal Distance Methods
2000-06-20
al. Upper limits on gaseous CO at Pluto and Triton 1
2001-01-04
Automating the Linking of Content and Concept
1970-01-01
Image Segmentation Using Fractal Dimension
1997-05-16
Richard Vuduc
Understanding Interactions Among Genetic Algorithm Parameters
1998-12-04
Strengths and Weaknesses of Quantum Computing
1999-01-18
Order Imbalance and the Cross-Section of Expected Stock Returns
2000-12-05
Tarun Chordia
Harmonic Analysis of Neural Networks
1998-09-14
Emmanuel J. Cand`es
Neural Network Frames On The Sphere
2000-12-04
Evaluating the GPRS Radio Interface for Different Quality of Service Profiles
2000-11-23
Sensomotoric Correlations As Basis For a Model Of Motor Control
2000-11-22
Automatic Retrieval of Anatomical Structures in 3D Medical Images
1999-03-17
Regional Least-Cost Error Repair
2000-12-20
A New MERIT Version for MPEG-2 Encoded Files
2000-12-19
Alain Pagani
Why Averaging Classifiers Can Protect Against Overfitting
2001-01-04
Accurately and Reliably Extracting Data from the Web: A Machine Learning Approach
2000-11-08
Adaptive Knowledge Management: A Meta-Modeling Approach and its Binding to XML
2000-12-02
Quikwriting: Continuous Stylus-based Text Entry
1998-04-30
Ken Perlin
Unknown
1999-01-21
X. Steve Yao
A Taxonomy for Multimedia and Multimodal User Interfaces
1998-03-29
A Visualization Interface for Document Searching and Browsing
2000-11-29
Cluster-Based Scalable Network Services
1998-09-08
Comparison of Coding DNA
1999-04-20
A Syntax-Directed Level Building Algorithm for Large Vocabulary Handwritten Word Recognition
2000-11-18
A Scaling Law for the Validation-Set Training-Set Size Ratio
1996-07-09
Isabelle Guyon
Cache and Pipeline Sensitive Fixed Priority Scheduling forPreemptive Real-Time Systems
2000-12-06
J Orn Schneider
Generalized Eigenvalues of a Definite Hermitian Matrix Pair
1997-06-24
a Wide Class of Analysis and Design Software
1999-01-21
Super Resolving Texture Mapping from Multiple View Images for 3D Model Construction
2000-10-03
Hideo Saito
An Intelligent SQL Tutor on the Web
1999-12-01
Surfels: Surface Elements as Rendering Primitives
2000-10-02
Including Biological Literature Improves Homology Search
2000-09-28
Further Attacks on Server-Aided RSA Cryptosystems
1970-01-01
James Mckee
Dissertation
1999-11-09
Fakultat Informatik
Clause patterns in Modern British English: A corpus-based quantitative study
1997-06-23
Visual Guidance of Autonomous Vehicle Based on Fuzzy Perception.
1998-11-26
A Secure Execution Framework for Java
2000-08-11
ET++SwapsManager: Using Object Technology in the Financial Engineering Domain
2000-02-03
Is It Possible to Discriminate Odors With Common Words?
1995-12-04
Recognizing Local Weather Patterns with Traditional and Neural Network Methods
2000-02-23
Communication-Efficient Parallel Dense LU Using a 3-Dimensional Approach
2000-12-07
Maximizing Non-Linear Concave Functions in Fixed Dimension
2000-12-07
Sivan Toledo
Verification of Hybrid Systems: Monotonicity in the AHS Control System
2000-07-19
Identifying and Classifying Processes traditional and soft factors that Support COTS Component Selection: A Case Study
2000-07-06
A Comparison of Nature Inspired Heuristics on the Traveling Salesman Problem
2000-10-25
Knowledge Portals - Ontologies at Work
2000-12-04
Correlation-Based Visual Tracking enhanced by Affine Motion Description
1998-03-02
The Protein Non-Folding Problem: Amino Acid Determinants Of Intrinsic Order And Disorder
2000-11-21
q-ADDITIVE FUNCTIONS AND WELL DISTRIBUTION
2000-08-10
Michael Drmota
Hierarchical Radiosity with Multiresolution Meshes
2000-12-03
Contact Graphs of Curves
1996-02-06
Relating Defeasible and Normal Logic Programming through Transformation Properties
2000-12-11
Modeling the Auditory Organization of Speech - a Summary and Some Comments
1998-04-23
Daniel P. W. Ellis
Experimental On-Line Learning For A Benchmark Process
1999-12-22
Building Wide Area 2-D Site Models From High Resolution Fully Polarimetric Synthetic Aperture Radar Images
1996-09-23
S. Kuttikkad
A Standard Approach for Optimizing Belief Network Inference using Query DAGs
1970-01-01
Stimulus Control And Generalization Of Point-Loss Punishment With Humans
2000-06-09
Robust Lane Recognition Embedded in a Real-Time Driver Assistance System
1998-11-26
Quantum Bit Escrow Preliminary version Not for distribution
2000-09-08
Reuse of linked Documents through Virtual Document Prescriptions
1998-01-29
Appearance-Based Visual Learning and Object Recognition with Illumination Invariance
2000-12-10
Application Of Importance Sampling To Transition Class Models With Rare Events
2000-12-21
Werner Sandmann
Technical Committee
1999-08-11
M Interface
Practical Schemes for Fat-Tree Network Construction
1999-04-17
Andre Dehon
Fast and Efficient Incremental Learning for High-dimensional Movement Systems
2000-06-21
Toward Feature Algebras in Visual Databases: The Case for a Histogram Algebra
2000-12-06
Amarnath Gupta
A Query Language for NC
2000-10-30
Genetic Programming for classification of brain tumours from Nuclear Magnetic Resonance biopsy spectra.
1996-04-19
Normal Forms for Context-Free Node-Rewriting Hypergraph Grammars
2000-03-29
Renate Klempien-hinrichs
Knowing When to Stop
2000-12-22
Brendan J. Frey
Rule-Based Spatial Reasoning for the Reconstruction of Roofs
1996-03-11
Demonstration Of Mi For Low Cost Orbit Determination
1999-01-21
L. J. Remans
A Hopfield learning rule with high capacity storage of time-correlated patterns
1999-08-19
Moderating the Outputs of Support Vector Machine Classi ers
2000-08-02
James Tin-yau Kwok
Time-Independent Gossiping on Full-Port Tori
1998-09-29
The Simplest Subdivision Scheme for Smoothing Polyhedra
1970-01-01
Efficient Search for Association Rules
2000-08-02
Geoffrey I. Webb
Reconfigurable Adaptive RAKE Receiver for Wideband CDMA Systems
1999-03-01
An Immersion Model for Software Engineering Projects
1999-11-24
Survival Analysis With Long-Term Survivors and Partially Observed Covariates
2000-12-15
Computation and Visualization of Degenerate Repeats in Complete Genomes
2000-12-18
Low Memory Cost Dynamic Scheduling of Large Coarse Grain Task Graphs
2000-12-02
Some Comments on Event Generators for Deeply Inelastic
1998-11-23
Leif Lonnblad
Partitioned-Bus Architecture Synthesis Based on Data Transfer Model
1999-08-20
Generalized Quantifiers and 0-1 Laws
2000-12-12
Vector optimization: Singularities, Regularizations
1999-03-12
A Question About Hierarchical Systems
1999-05-19
Pravin Varaiya
Competition and Market Dynamics on the Russian . . .
2000-07-07
Neural Network Tool for Data Mining: SOM Toolbox
2000-04-18
Defining and Validating High-Level Design Metrics
2000-12-11
Mechanisms of Shared Attention for a Humanoid Robot
2000-09-13
Brian Scassellati
Uniform Growth Of Polycyclic Groups
2000-09-28
Roger C. Alperin
Economics, Ecologics, And Mechanics: The Dynamics Of Responding Under Conditions Of Varying Motivation
1997-03-13
Peter Killeen
Application of the Hardness Theory when Solving the Timetabling Problem with Genetic Algorithms
1999-08-25
Intelligent Control And Supervision At Centro De Informtica E Sistemas Da Universidade De Coimbra
1999-12-22
A Case Study in Vanishing Viscosity
2000-11-29
On Occam's Razor
2000-10-02
Marcus Pivato
Ordering for Factored Approximate Inverse Preconditioners
2001-01-07
Nonlinear Schrödinger equations with steep potential well
2000-12-05
Look, Who's Visiting ? Supporting Visitor Awareness in the Web
2000-11-28
Solo Diagrams
2000-10-23
Cranium: An Interface for Message Passing on Adaptive Packet Routing Networks
1997-07-10
Toward Accurate Models of Achievable Routing
2001-01-03
Using Neural Networks to navigate "Car on the Hill" on-line
1996-04-22
Leonid Kuvayev
Multivariable Adaptive Control Using An Observer Based On A Recurrent Neural Network
1999-12-22
J. Henriques
Characteristics L'robe From
1999-01-21
ISOGAL-DENIS detection of red giants with weak mass loss in the Galactic Bulge
1999-07-08
Optical Coupling Mechanisms in Quantum Well Infrared Photodetectors
1999-01-23
On the Power of Deterministic Transitive Closures
2000-12-20
Evaluation of Item-Based Top-N Recommendation Algorithms
2000-11-08
George Karypis
A Digital On-Demand Video Service Supporting Content-Based Queries
1999-11-30
The Role Of Contextual Clues In The Creation Of Information Overload
2000-04-13
Better Random Sampling Algorithms for Flows in Undirected Graphs
1997-11-09
David R. Karger
An Integrated Metamodel for OCL Types
2000-12-01
Thomas Baar
Simple, Efficient Routing Schemes for All-Optical Networks
1997-04-23
Reducing Coherence-Related Communication in Software Distributed Shared Memory Systems
2000-09-02
The Method Of Adjoint Problems For The Domain Sensitivity Analysis Of The Acoustic Far Field Pattern. Part I: 2d Domains With Corners
2000-11-22
Hans-Paul Schwefel
1998-07-30
Hans-paul Schwefel
Atmospheric radiative equilibria Part II: Bimodal solutions for atmospheric optical properties
2000-12-11
Linear Speed-Up, Information Vicinity, and Finite-State Machines
1994-05-20
Kenneth W. Regan
A Collaborative Environment for Authoring Large Knowledge Bases
2000-12-21
Peter D. Karp
Portable Parallel Programming on Emerging Platforms
2000-12-14
Model for Unistroke Writing Time
2000-12-13
Poika Isokoski
Compiling Source Descriptions for Efficient and Flexible Information Integration
2000-12-01
Inferring language change from computer corpora: Some methodological problems
1997-06-24
Robot Catching
2000-12-05
Marcia Riley
Leveraged Vector Machines
2000-04-11
Yoram Singer
Structural Relations, Cointegration and Identification: Some Simple Results and Their Application
2000-11-01
Compact Analog VLSI 2-D Velocity Sensor
1998-11-26
Dumbing Down Mathematics and Science: Sizer's Essential Schools
1998-07-07
Carl D. Oner
Finding The Hidden Path: Time Bounds For All-Pairs Shortest Paths
1995-01-27
Goal-driven Answer Extraction
2000-12-12
Decision Tree Construction for Data Mining on Cluster of Shared-Memory Multiprocessors
2001-01-10
Communication and Organization in Software Development: An Empirical Study
1999-11-10
A Basic Calculus for Verifying Properties of Synchronously Interacting Objects
2000-07-19
Logic-based Subsumption Architecture
1998-06-12
Multivariable Adaptive Control Using A Recurrent Neural Network
1999-12-22
Phenotypic Plasticity in Evolving Neural Networks
2000-12-19
A Rule-based Method to Shift between Learning Protocols
2000-12-08
Estimating Density Functions: A Constrained Maximum Likelihood Approach
1999-06-13
Probabilistic Communication Optimizations and Parallelization for Distributed-Memory Systems
2000-11-24
A Partial Order Approach to Noisy Fitness Functions
2000-12-22
G Unter Rudolph
Curio: A Novel Solution for Efficient Storage and Indexing in Data Warehouses
1999-04-12
MasPar Data Display Library MPDDL Reference Manual
1992-10-20
A Brief Survey On The Algebraic Solutions Of A Particular Case Of The Painleve' Vi Equation
1970-01-01
M. Mazzocco
ADAPTATION IN A MULTI-AGENT SYSTEM THROUGH SEMANTIC ADDRESSING Staffan Hgg
1998-02-18
Staffan Hgg
Investigation Of A Special 6-6 Parallel Platform For Contour Milling
2000-05-02
Exact and Approximate Sampling from the Stationary Distribution of a Markov Chain
1999-01-15
Michael K. Schneider
Self annealing and self annihilation: Unifying deterministic annealing and relaxation labeling
1999-08-10
Anand Rangarajan
Tailoring the Interaction with Users in Web Stores
2001-01-04
Valued-Based Decision Model For Renewal Processes In Software Maintenance
1999-11-10
Using Constraint Lines for Estimating Egomotion
1970-01-01
Manolis I. A. Lourakis
Modelling Pinchoff and Reconnection in a Hele-Shaw Cell I: The Models and their Calibration
2000-05-04
Stability Analysis Of A Class Of Nonlinear Multirate Digital Control Systems
1999-02-04
The Instability Of Parallel Prefix Matrix Multiplication
1997-07-22
Roy Mathias
Measuring with Jugs
2000-08-04
Robust Proximity Queries: an Illustration of Degree-driven Algorithm Design
1997-04-17
Density Theorems for the Domains-With-Totality Semantics of Dependent Types
2000-06-26
Ulrich Berger
Normal Matrices and Polar Decompositions in Indefinite Inner Products
2000-11-23
Horn's Problem and Semi-Stability for Quiver Representations
2000-11-30
FX Trading... LIVE! - Dealer Behavior and Trading Systems in Foreign Exchange Markets
2000-11-21
I/O-Conscious Volume Rendering
2000-11-30
Study of symmetry in Constraint Satisfaction Problems
1996-12-10
Belaid Benhamou
Approximation Algorithms for Segmentation Problems
1997-12-18
Polygonizing Implicit Surfaces in a Purely Functional Way
2001-01-16
A Timing-Driven Soft-Macro Placement and Resynthesis Method in Interaction with Chip Floorplanning
2000-11-20
Pavlov and Skinner: Two Lives in Science An Introduction to B.F. Skinner's "Some Responses...
2000-07-25
A Negotiation-based Interface Between a Real-time Scheduler and a Decision-Maker
1994-06-27
Uniform Stabilization of the Higher Dimensional System of Thermoelasticity with a Nonlinear Boundary Feedback
2000-03-27
A spectroscopic study of the eclipsing binaries SV Camelopardalis and XY Ursae Majoris
2000-11-21
Classes of service under competition and technological change: a model for the dynamics of the Internet?
2000-10-06
Daniel Lehmann
Quantized chaotic dynamics and non-commutative KS entropy
1997-04-26
Union Records and Dossiers: Extended Bibliographic Information Objects
2000-05-03
Common Quadratic Lyapunov-Like Function With Associated Switching Regions For Two Unstable Second-Order Lti Systems
2000-08-17
File System Design for an NFS File Server Appliance
1997-11-27
Impact of Signal Delay Uncertainties in Open Communication Networks on Load Frequency Control
2000-07-23
Extinction Of Responding Maintained By Timeout From Avoidance
1999-02-07
Mark Galizio
Optimizing Regular Path Expressions Using Graph Schemas
2000-10-30
Dan Suciu
A Survey of Visibility for Walkthrough Applications
2000-12-06
On the Practical Feasibility of Secure Distributed Computing: a Case Study
2000-09-18
Gene Expression RFP Response
2000-11-21
Netgenics Inc
Semiotics and Agents for Integrating and Navigating through Multimedia Representations of Concepts
1970-01-01
Applying Programming Language Implementation Techniques to PROCESSOR SIMULATION
2000-12-01
Eric C. Schnarr
The Impact of Payo Function and Local Interaction on the N-player Iterated Prisoner's Dilemma
1970-01-01
Syncategorematic Conjunction and Structured Meanings
1997-05-26
Yoad Winter
Disseminating Information but Protecting Confidentiality
2000-12-27
Lefschetz and Nielsen Coincidence Numbers on Nilmanifolds and Solvmanifolds
2000-09-09
Christopher K. Mccord
Building Herbrand Models for Sets of Guarded Clauses
2000-10-02
Michael Dierkes
Implementing the Learning Web
2000-07-08
Final-State Properties In The Ldc Monte Carlo
1998-06-22
Leif Lonnblad
A Multicast Routing Protocol for Ad-Hoc Networks
1999-09-26
Linkages Between Agricultural Growth and Improved Child Nutrition in Mali
2000-11-21
An Extension Of A Result Of Lewis
1999-01-28
Tin-yau Tam
Combining Local Search with Co-Evolution in a Remarkably Simple Way
2000-11-15
Internet Mobility 4x4
2000-06-09
Learning to Identify and Track Faces in Image Sequences
2000-01-05
Disambiguation by Association: Two Algorithms and their Assessment
1999-11-19
Table des Matieres
2000-02-21
Formal Foundation of Information Retrieval
2000-12-03
Sandor Dominich
Nonlinear Contact Control for Space Station Dexterous Arms
1999-01-27
Quadratic Convergence Of A Penalty Method For Valuing American Options
2000-12-11
Thermal Relaxation in Young Neutron Stars
2000-12-16
Customized Atomicity Specification for Transactional Workflows
2000-12-13
GAMMA: Architecture, Programming Interface and Preliminary Benchmarking
1997-02-24
Giovanni Chiola
Global Asymptotic Stability Criteria for Multilayer Recurrent Neural Networks With Applications to Modelling and Control
1998-09-11
J. A. K. Suykens
Embedding tree metrics into low dimensional Euclidean spaces
2001-01-02
Anupam Gupta
Positivity of Gauss-Kronrod formulae for a certain ultraspherical weight function
2000-10-16
Knut Petras
Beyond Cooperation and Competition : Explorations with a Quantitative Tit-For-Tat Model
2000-12-11
Elpida Tzafestas
Dynamics of Erbium--doped Waveguide Lasers: Modelling, Reliable Simulation, and Comparison with Experiments
1997-03-05
Leveraging for Regression
2001-01-04
Constraint Programming Based Column Generation with Knapsack Subproblems
2000-03-17
Rank-Two Relaxation Heuristics for Max-Cut and Other Binary Quadratic Programs
2000-12-19
Population Optimization Algorithm Based on ICA
2000-05-02
CLIQUES: A New Approach to Group Key Agreement
2000-09-06
XML, Stylesheets and the Re-mathematization of Formal Content
2000-11-29
A Randomized Parallel Algorithm for Planar Graph Isomorphism
1999-07-20
T E X Version 1.2 User's Guide
2000-05-31
A Data Mining Framework for Building Intrusion Detection Models
2000-06-26
School Of Computer Studies Research Report Series
2001-01-15
N M Gotts
An Information-Theoretic Model For Image Watermarking And Data Hiding
2001-01-10
A System for Customized News Delivery from Video Archives
1999-08-17
Reasoning about Changes and Uncertainty in Browser Customization
1997-02-14
Kerstin Voigt
ADIPS Framework for Flexible Distributed Systems
1998-11-20
Tetsuo Kinoshita
Reaction Times For Recognition Of Degraded Facial Images
1998-02-11
Sanjiv K. Bhatia
The Dirac spectrum of Bieberbach manifolds
1970-01-01
Optimum Routing of Multicast Streams
1994-11-07
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees
1999-04-01
Simultaneous Quantifier Elimination
2000-10-31
Real-Time Object Detection Using Distance Transforms
1998-11-26
Pseudospectra Of The Convection-Diffusion Operator
2000-02-13
Financial Time Series Forecasts Using Fuzzy and Long Memory Pattern Recognition Systems
2000-03-25
Conjoint Measurement without additivity and transitivity
2000-02-21
Optical Expanders with Applications in Optical Computing
1999-07-20
Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic
2000-12-20
A Constructive Approach to Calculating Lower Entropy Bounds
2000-07-22
Efficient Parallel Factorization and Solution of Structured and Unstructured Linear Systems
2000-09-18
John H. Reif
Information--Based Objective Functions for Active Data Selection
1996-05-06
David J. C. Mackay
Transposition Table Driven Work Scheduling in Distributed Search
1999-07-08
Marching Optimal-Parameter Ridges: an Algorithm to Extract Shape Loci in 3D Images
1998-03-03
On the Phase-Space Dynamics of Systems of Spiking Neurons. II: Formal Analysis.
2000-10-05
Arunava Banerjee