A Simple Static Analysis for Java Security
2001-07-03
Binding-Time Analysis for Both Static and Dynamic Expressions
2001-03-29
Kenichi Asai
Variance Estimation in Spatial Regression Using a Nonparametric Semivariogram Based on Residuals
2001-07-05
ThML: Theological Markup Language
2001-02-23
Harry Plantinga
Theory Refinement with Noisy Data
1992-04-01
On a conjecture of E.A. Rakhmanov
1999-03-30
Bernhard Beckermann
Modeling Economic Randomness: Statistical Mechanics Of Market Phenomena
2000-09-04
Rama Cont
Synthesizing ASMs from Natural Language Requirements
2001-07-30
Vincenzo Gervasi
Towards Automatic Classification of Discourse Elements in Essays
2001-05-24
On-line Variable Sized Covering
2001-05-02
Leah Epstein
Development and Convergence Analysis of Training Algorithms with Local Learning Rate Adaption
2001-08-15
Adab G. D. Magoulas
The new LKB system
2000-06-28
The ambiguity of CSCL
2001-07-09
Gerry Stahl
A Data-Parallel Implementation of the Geometric Partitioning Algorithm
1997-07-13
Distributional Phrase Structure Induction
2001-05-28
Space Layout Planning using an Evolutionary Approach
2001-07-31
Early Cost/Performance Cache Analysis of a Split MCM-Based MicroSparc CPU
1999-11-24
Authentication Primitives for Refining Protocol Specifications
2001-02-15
Toward Developing Reusable Software Components for Robotic Applications
2001-05-11
Modeling of Pattern Dependencies in Multi-Step Copper Chemical Mechanical Polishing Processes
2001-03-20
Domain Portability in Speech-to-Speech Translation
2001-04-18
A Wind-Tunnel Parametric Investigation of Tiltrotor Whirl-Flutter Stability Boundaries
2001-05-24
Generalized Proximal Point Algorithms and Bundle Implementations
2001-05-12
Alfred O. Hero
Finding Semantically Related Words in Large Corpora
2001-06-05
A Short Tutorial on Evolutionary Multiobjective Optimization
2001-08-21
The Shapley Value on Convex Geometries
2001-01-19
Escuela Superah
-calculus Process Semantics of Concurrent Idealised ALGOL
1999-04-26
Christine Rockl
The 2-Center Problem with Obstacles
2001-04-12
When Is A Maximal Invariant Hypothesis Test Better Than The Glrt?
2001-05-12
The panel Package
2001-08-07
An Efficient Adaptive Load Balancing Service for CORBA
2001-02-13
Multiaccess Dispersive Channels: Maximizing Sum Capacity and Interference Avoidance
2001-08-01
Predicting Performance of Object Recognition
2001-04-25
Coordinating Interaction Patterns
2001-05-04
Customer Efficiency: Concept and Its Impact on E-business Management
2001-06-07
Improving the Linear Approximating and Eliminating Search Algorithm LAESA error rates
2001-05-29
An Active Tracking: Locating Mobile Users in Personal Communication Service Networks
2001-06-05
On Optimal Data Split For Generalization Estimation And Model Selection
2001-03-02
Stochastic PDE's driven by Nonlinear Noise and Backward Doubly SDE's
2001-04-24
Inverse Fuzzy-Process-Model Based Direct Adaptive Control
2000-06-07
Dynamics Within an Organisation: Temporal Specification, Simulation and Evaluation
2001-07-01
Extending Procedural Reasoning toward Robot Actions Planning
2001-07-27
. Globally Optimal Regions And Boundaries As Minimum Ratio Weight Cycles
2001-06-26
Graph Separators: A Parameterized View
2001-08-09
The development of language resources for Maltese
2001-04-17
Tagging accurately -- Don't guess if you know
1994-11-23
Being Bayesian About Network Structure: A Bayesian Approach to Structure Discovery in Bayesian Networks
2001-05-31
Johnsony, P.
1998-12-14
Clustering Gene Expression Data by Mutual Information with Gene Function
2001-05-17
Directed Explicit Model Checking with HSF-SPIN
2001-04-27
Pyramid Clipping for Efficient Ray Traversal
1998-06-26
Fully Distributed Threshold RSA under Standard Assumptions
2001-02-08
Inducing Content Based User Models with Inductive Logic Programming Techniques
2001-05-07
Martin E. Muller
Casebased Meta Learning: Sustained Learning supported by a Dynamically Biased Version Space
2001-06-13
Architecture of a Source Code Exploration Tool: A Software Engineering Case Study
2000-04-15
Behavioral-level Test Vector Generation for System-on-Chip Designs
2000-09-14
JPT: a Java Parallelization Tool
2001-07-31
Approximate Constrained Bipartite Edge Coloring
2001-05-04
Notes for the ECAI2000 tutorial on Solving and Programming with Soft Constraints: Theory and Practice
2000-05-19
Francesca Rossi
Boolean Formula-based Branch Prediction for Future Technologies
2001-06-24
Thirteen Years of Heavy Quark Expansion: Examples for its Progress and its Problems
2001-04-04
Thomas Mannel
A Scalable Protocol Architecture for End-to-End Signaling and Resource Reservation in IP Networks
2001-07-18
Michael Menth
The General Product Machine: a New Model for Symbolic FSM Traversal
1997-11-18
Bringing Order to Outlier Diagnostics in Regression Models
2001-06-11
DNS-based predictive control of turbulence: an optimal benchmark for feedback algorithms
2001-04-02
R. Bewley
Variable Resolution Discretization in Optimal Control
2001-02-01
Solving The Satisfiability Problem Using Message-Passing Techniques
2001-06-07
On Dynamic Service Composition and Its Applicability to E-Business Software Systems
2001-05-25
Occluding Contour Detection Using Affine Invariants and Purposive Viewpoint Control
2001-01-19
Learning and Interacting in Human-Robot Domains
2001-04-15
A World Wide Web Meta Search Engine Using an Automatic Query Routing Algorithm
2001-04-02
Optimal Multi-Writer Multi-Reader Atomic Register
1994-12-04
MCMC methods for restoration of nonlinearly distorted autoregressive signals
1999-11-01
Interactive Learning
2001-02-22
Workflow Process Definition Language - Development and Directions of a Meta-Language for Workflow Processes
2000-03-23
Maximizing Minimum Euclidean Distance of Spectrally Constrained Partial Response CPM
2001-03-01
The Closure of Monadic NP
1998-01-14
Minimal Decomposition of Indefinite Hypergeometric Sums
2001-04-12
A Generalized Ring Spiral Algorithm for Coding Fullerenes and other Cubic Polyhedra
2001-07-29
On the Problem of Logical Recognition in the Dynamic Internet Environment
2001-06-27
High-Available Enterprise JavaBeans Using Group Communication System Support
2001-04-27
An Analysis of Many-to-Many Relationships Between Fact and Dimension Tables in Dimensional Modeling
2001-06-14
Harmonic Mean, Random Polynomials And Stochastic Matrices
2001-05-28
GUI Evaluation Through Web
2001-06-12
Recursive Cr Bounds: Algebraic And Statistical Acceleration
2001-05-12
Spatial Data Management for Computer-Aided Design
2001-04-23
Embedded Mixture Modeling for Efficient Probabilistic Content-based Indexing and Retrieval
1998-08-24
Nuno Vasconcelos
Scheduling a single machine with sequence dependent setup times using Ant Colony Optimization
2001-07-31
Local Existence of Solutions to the Transient Quantum Hydrodynamic Equations
2001-06-11
Probabilistic Divergence Measures for Detecting Interspecies Recombination
2001-04-10
A Synthesis of Studies Examining Long-Term Language Minority Student Data on Academic Achievement
2001-06-12
Virginia P. Collier
Real-Time Optimization of Containers and Flatcars for Intermodal Operations
1999-07-14
Proceedings Upper Midwest Gap Analysis Program Meeting and Workshop January 18-19, 1995 Madison, Wisconsin
2001-05-25
Atomic T Tauri Disk Winds Heated By Ambipolar Diffusion
2001-03-02
Artificial Evolution and Real Robots
1998-10-11
Inman Harvey
Image Processing in the Block-DCT Domain: Fast Techniques and Applications
1998-10-15
Andrew Dorrell
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN
2001-05-21
Solving Fair Exchange with Mobile Agents
2000-06-29
Efficient Long-Term Validation of Digital Signatures
2001-05-17
Performance Measures for Locomotion Robots
2001-02-05
Data Distribution Strategies for High-Resolution Displays
2001-05-21
Bounding Application-to-Application Delays for Multimedia Traffic in FDDI-Based Communication Systems
1996-02-09
Cv
2000-10-19
Frederick L. Crabbe Iv
Personalization by Partial Evaluation
2001-03-21
Dc-Free Codes of Rate
1999-12-16
Centrum voor Wiskunde en Informatica
1994-12-04
Numerical Simulation of Galaxy Formation: The Properties of High Redshift Galaxies
2001-05-21
Proton-Nucleus Elastic Cross Sections Using Two-Body In-Medium Scattering Amplitudes
2001-08-13
Investigating the Sources of Default Risk: Lessons from Empirically Evaluating Credit Risk Models
2001-08-17
Contour Integration and Segmentation with Self-Organized Lateral Connections
2000-12-21
Hardware For Basic Arithmetic Operations As A Subject Of Computer Science Courses In High Schools
2001-04-23
Ingo Wegener
Preserving Reciprocity in the Aggregation of Fuzzy Preference Relations Using OWA Operators
2001-05-01
Using LinearLogic Planning to Make Knowledge Bases Reactive
2001-07-31
On The Discreteness Of Möbius Groups In All Dimensions
2001-06-12
Jiang Yueping
Mathematics Of Learning
2001-05-28
How to Leak a Secret
2001-06-04
Values of Domination Numbers of the Queen's Graph
2001-05-10
Predicting Speedups of Idealized Bounding Cases of Parallel Genetic Algorithms
1997-05-16
David E. Goldberg
Observer-Independent Registration of Perspective Projection Prior to Subtraction of in-Vivo Radiographs
2000-10-05
A Server for Real-Time Event Tracking in News
2001-04-12
Ralf D. Brown
General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks
2001-03-25
A Decision Tree of Bigrams is an Accurate Predictor of Word Sense
2001-03-29
Ted Pedersen
Topologies, Migration Rates, and Multi-Population Parallel Genetic Algorithms
1999-05-28
Exploitation of the knowledge in business processes. MODEL: Multimedia for Open and Dynamic Executives Learning: An applied Knowledge Management system.
2001-05-17
Annotation Transfer for Genomics: Measuring Functional Divergence in Multi-domain Proteins
2001-07-07
Convergence of a Staggered Lax-Friedrich Scheme for Nonlinear Conservation Laws on Unstructured Two-Dimensional Grids
2001-06-19
Learning Phonetic Distinctions From Speech Signals
2001-08-17
Shape Contexts Enable Efficient Retrieval of Similar Shapes
2001-06-13
Equilibrium and Learning in a non-stationary Environment
2001-07-19
Advanced Computational Techniques For The Design Of Deformation Processes
2001-07-16
Nicholas Zabaras
Can AOP Support Extensibility in Client-Server Architectures?
2001-05-09
Model Checking the World Wide Web
2001-05-17
Finding Code on the World Wide Web: A Preliminary Investigation
2001-08-08
A Note on the Estimation of the Multinomial Logit Model with Random Effects
2001-02-28
Distributed Real-Time Task Monitoring In The Safety-Critical System Melody
1998-05-28
Niching in Monte Carlo Filtering Algorithms
2001-06-01
A Local Approach to 1-Homogeneous Graphs
1999-08-24
Jack Koolen
Mining Multi-Dimensional Constrained Gradients in Datacubes
2001-07-28
Automated Event Detection for Active Measurement Systems
2001-05-21
Reducing Certificate Revocation Cost using NPKI
2001-03-28
Designing E-Books for Legal Work
2001-07-09
Image Analysis and Computer Vision in Medicine
1997-01-07
Guido Gerig
A Platform for the Implementation of the Services of an Educational Network
2000-07-18
Span: An Energy-Efficient Coordination Algorithm for Topology Maintenance in Ad Hoc Wireless Networks
2001-05-31
Performance of an Adaptive Successive Serial-Parallel CDMA Cancellation Scheme in Flat Rayleigh Fading Channels
2001-08-18
Asynchronous Parallel Hybrid Gmres/ls-Arnoldi Method
1999-05-04
Concerning AOP and Inheritance
2001-04-17
Gamma-Ray Line Observations of the 2000 July 14 Flare and SEP Impact on the Earth
2001-05-16
Continuity of the Measure of the Spectrum for Discrete Quasiperiodic Operators
2001-07-23
Experimental Study of Multipopulation Parallel Genetic Programming.
2001-03-27
On Multi-Dimensional Hilbert Indexings
2001-08-09
An Information-Theoretic Framework for Understanding Saccadic EyeMovements
2001-04-27
HIMAC - Hierarchical Management and Control in Manufacturing Systems
1995-06-06
Spatial Databases with Partial Information: Representation and Reasoning
1995-08-29
Growth in Repeated Truncations of Maps
2000-05-06
Thomas W. Tucker
Combining Multiple Classifiers By Averaging Or By Multiplying?
2000-12-22
A Note on Self-Maps Inducing Identity Automorphisms of Homology Groups
2001-07-28
Towards a New
2001-06-20
webXice: an Infrastructure for Information Commerce on the WWW
2001-01-04
Spatial Gossip and Resource Location Protocols
2001-05-02
Boolean Functions for Finite-Tree Dependencies
2001-07-23
Applications of Neural Networks in Telecommunications
2001-01-25
Trevor Clarkson
Processing Production Rules in DEVICE, an Active Knowledge Base System
2000-02-10
Lower Bounds on Communication Loads and Optimal Placements in Torus Networks
2001-02-11
Exploiting Model Uncertainty Estimates for Safe Dynamic Control Learning
1996-05-30
Jeff G. Schneider
Fast Recognition Algorithms for Classes of Partial Cubes
2001-01-26
Segmentation of Handprinted Letter Strings using a Dynamic Programming Algorithm
2001-07-28
Thomas M. Breuel
On The Weak Reconstruction Of Cartesian-Product Graphs
2001-07-29
Wilfried Imrich
Solving Elliptic Curve Discrete Logarithm Problems Using Weil Descent
2001-05-18
Basic Analytic Combinatorics of Directed Lattice Paths
2001-06-03
Cyril Banderier
Compiler Supported High-level Abstractions for Sparse Disk-Resident Datasets
2001-07-12
Compression of Full parallax Integral 3D-TV Image Data
2000-11-19
Optimization of an n-Person Game Under Linear Side Conditions
2001-06-12
Stefan Pickl
Knowledge Bases
2001-04-27
COAST - An Open Source Framework to Build Synchronous Groupware with Smalltalk
2001-07-10
Frameworks - Trends and Perspectives
2001-04-27
Of Linz
Efficient Matching of Pictorial Structures
2001-05-29
Motion Planning And Nonlinear Simulations For A Tank Containing A Fluid
2000-02-21
Measurement and Modelling of Internet Traffic at Access Networks
1999-03-23
Statistical Image Object Recognition using Mixture Densities
2001-04-24
Incremental Finite-State Parsing
1997-04-17
TOP500 Supercomputer Sites
1999-12-07
GUCHA: An Internet-based Parallel Computing System Using Java
2001-06-13
Control of an Industrial Polymerization Reactor Using Flatness
2000-12-11
A Student Model to Assess Self-Explanation while Learning from Examples
1999-04-23
Cristina Conati
K-Nearest Neighbours Directed Noise Injection in Multilayer Perceptron Training
2000-10-24
M. Skurichina
Efficient SVM Regression Training with SMO
2001-02-05
Recommendation and Usage in the Digital Library
2001-07-29
An Open and Dynamic User Interface to the CAD-system "Turbo Tester"
1998-06-06
Priidu Paomets
Correction Probe Pressure Artifacts Freehand 3D Ultrasound Initial Results
2001-05-07
A Methodology for the 3D Modeling and Visualization of Concurrency Networks
2001-04-02
Meeting Delay Requirements in Computer Networks with Wormhole Routing
1996-02-08
Random Coin Tossing
2001-07-28
On Personal and Role Mental Attitudes: A Preliminary Dependence-Based Analysis
2001-03-23
Virtual Circuit Management at IP-ATM Network Interface with Control Operating Policy
2000-12-20
Mahbub Hassan
The Security of Chaffing and Winnowing
2000-04-06
Towards An Interactive Multilingual Environment
1999-10-01
Eric Gaussier
Reasoning within Fuzzy Description Logics
2001-04-30
Improving Cross Language Retrieval with Triangulated Translation
2001-05-29
Pronunciation Modeling By Sharing Gaussian Densities Across Phonetic Models
2000-07-31
Multiversion Post Ordering: A New Concurrency Control Method
2001-02-14
Pointer and Escape Analysis for Multithreaded Programs
2001-05-21
A Polynomial Algorithm for the Strong Helly Property
2000-01-24
Segmentation of Cerebral MRI Scans Using a Partial Volume Model, Shading Correction, and an Anatomical Prior
2001-02-13
How Does the Observation Strategy Influence the Correctness of Alerting Services?
2001-05-17
Annika Hinze
Simple explicit formulas for the Frame-Stewart's numbers
2000-06-08
Sandi Klavzar
A Survey of Packet Loss Recovery Techniques for Streaming Audio
1999-05-14
Is Belgium ready for EMU? A look at national, sectoral and regional developments
1998-12-15
Extended MLSE Diversity Receiver for the Time- and Frequency-Selective Channel
1997-01-30
Brian Hart
Alcuin's Transportation Problems and Integer Programming
2001-07-28
Monads and Effects revised
2001-06-18
Modeling the timing offset influence on BCJR algorithm on AWGN channels
2001-01-25
Adapting Semi-Tied Full-Covariance Matrix Hmms
1997-08-04
M. J. F. Gales
Combined Optimization of Transmitting and Receiving Filters for Crosstalk Suppression on Twisted-Pair Wirings
2001-07-11
Hardware Support for Extracting Coarse-grain Speculative Parallelism in Distributed Shared-Memory Multiprocessors
2001-06-01
Tag Elimination and Jones-Optimality
2000-12-02
Simple Learning Algorithms for Decision Trees and Multivariate Polynomials
2001-04-05
Negation and Aggregates in Recursive Rules: the
2001-01-02
Convergence Of Linear Successive Interference Cancellation In Cdma
2000-09-05
Migration Policies and Takeover Times in Genetic Algorithms
1999-05-28
A simple algebraic representation of Rijndael
2001-05-16
Authentication and Key Agreement via Memorable Password
2000-08-23
Taekyoung Kwon
Open Issues on TCP for Mobile Computing
2001-07-20
Paradigmatic Derivation
2001-07-04
Hanuri/TFlow: A Workflow Management System for Newly Emerging Computing Environments
2001-04-27
A Recipe Based On-Line Food Store
1999-05-05
A Comparison of Approaches to the Evolution of Homogeneous Multi-Robot Teams
2001-05-15
Matt Quinn
Integer Pivoting Revisited
2001-07-09
Clustering and Authoring of Video Shots Using Hybrid-type Self-Organizing Maps
2001-03-16
Efficient Reservations in Open ATM Network Control using Online Measurements
1999-03-11
Herbert Bos
A Simplifier for Propositional Formulas with Many Binary Clauses
2001-04-03
Ronen I. Brafman
Electromagnetic Models for Perceptual Grouping
1997-01-07
Are Mallocs Free of Fragmentation?
2001-06-20
New Benchmark Instances for the Steiner Problem in Graphs
2001-07-16
Shapely Hierarchical Graph Transformation
2001-06-15
Berthold Hoffmann
On Available Bandwidth in FDDI-Based Reconfigurable Networks
1996-02-09
The Complexity of Coloring Graphs Without Long Induced Paths
2001-05-21
SeamlessDesign: A Face-to-face Collaborative Virtual/Augmented Environment for Rapid Prototyping of Geometrically Constrained 3-D Objects
2001-03-29
An Efficient Algorithm for Shortest Paths in Vertical and Horizontal Segments
2001-05-31
David W. Hart
Analysis of Checkpointing for Schedulability of Real-time Systems
2000-12-29
BRITE: Universal Topology Generation from a User's Perspective
2001-04-26
Uncheatable Distributed Computations
2000-12-01
A Biomechanical Model of Branch Shape in Plants
1999-03-13
Elephant 2000: A Programming Language Based on Speech Acts
2001-06-13
Controllability Via An Approximation Problem
2001-06-12
Stefan Wolfgang Pickl
Uniform Primeness Of The Jordan Algebra Of Symmetric Operators
2001-07-28
Segmentation And Classification Of Broadcast News Audio
1999-04-30
Automatic 3D Registration of Lung Surfaces in Computed Tomography Scans
2001-04-25
The Design and Implementation of a Multi-Queue Buffer for VLSI Communication Switches
2001-05-28
CJava: Introducing Concurrent Objects in Java
2000-02-03
Solving time-harmonic scattering problems based on the pole condition: Theory
2001-07-28
Improving the Availability of Time-Stamping Services
2001-07-20
Hybrid Type-II ARQ Schemes with Scheduling for Packet Data Transmission over Rayleigh Fading Channels
2000-08-17
Wirelength Estimation based on Rent Exponents of Partitioning and Placement
2001-05-16
Individual Differences in Social Navigation
2000-03-24
Utilizing Sensor Data Redundancy to Gain Robustness in the Control of Calibration-Free Robots
2001-06-08
A Secure Execution Framework for Java
2001-01-04
Color Texture Analysis of Moving Vocal Cords Using Approaches from Statistics and Signal Theory
2000-08-17
Value Function Based Production Scheduling
1998-03-05
Improved Resolution Lower Bounds for the Weak Pigeonhole Principle
2001-07-11
Alexander A. Razborov
Determining Progression in Glaucoma Using Visual Fields
2001-06-11
Regular Expressions for Language Engineering
1997-02-05
Triangularizing semigroups of positive operators on an atomic normed Riesz space
2001-07-29
Roman Drnovsek
On the Trade-Off Between Communication and Trust in Secure Computations
2000-05-15
Adaptive Model-Based Speech Enhancement
1998-09-28
Beth Teresa Logan
Public-Key Cryptosystems Based on Linear Codes
2001-07-28
Ernst M. Gabidulin
Recovery Guarantees: Essentials and Incidentals
2001-04-17
A Framework for Supervised Conceptualizing
2001-07-28
Classifying 2-Arc-Transitive Graphs Of Order A Product Of Two Primes
1999-03-05
Using Secure Coprocessors
1996-03-14
An unworkable idea or a promising alternative? Sen's capability approach re-examined
2001-04-25
Ingrid Robeyns
Retrieval by Shape Population: An Index Tree Approach
2001-06-18
Cloud Classification Using Error-Correcting Output Codes
1996-12-06
On the Security of Double and 2-Key Triple Modes of Operation
1999-03-17
Helena Handschuh
Non-Linear Speech Transition Visualization
1998-02-16
Composability of Secrecy
2001-06-17
A Computationally Scalable Speaker Recognition System
2001-01-25
Random Lifts of Graphs II: Edge Expansion
2000-07-19
A Novel Self-Organising Speech Production System Using Pseudo-Articulators
1997-02-27
Automating Data Independence
2001-06-15
Reliable Extraction of the Camera Motion using Constraints on the Epipole
1998-07-27
Preference Variation And Private Donations
1998-12-09
A Hardware Implementation of an Embryonic Architecture Using Virtex FPGAs.
2000-01-31
Planning techniques for Multi-Period Optical Network Designs
2001-01-02
Successive Mappings: An Approach To Polygonal Mesh Simplification With Guaranteed Error Bounds
2001-04-19
Jonathan Cohen
Towards generic Service Management Concepts - A Service Model Based Approach
2001-07-25
An Efficient Approximation Algorithm for Weighted Region Shortest Path Problem
2000-11-22
Performance Evaluation of Saturated Priority Systems with Feedback
1999-03-24
Stefan Bodamer
Streaming Multimedia Data with Adaptive QoS Characteristics
2000-07-25
A. Gkamas
Analytical Energy Dissipation Models For Low Power Caches
1999-01-05
On the Complexity of Scheduling Conditional Real-Time Code
2001-07-24
LOmegaUI: Lovely OMEGA User Interface
2001-04-05
New Directions in Design of Resilient Boolean Functions
2000-03-23
Word-to-Category Backoff Language Models
1996-09-30
Scalable QoS Guaranteed Communication Services for Real-Time Applications
2000-02-03
Overconvergence of some simultaneous Hermite-Pad e interpolants
2001-07-28
Real-Time FRP
2001-07-03
Logic Programming as a Basis for Lean Deduction: Achieving Maximal Efficiency from Minimal Means
1997-01-05
Towards A Tableaux Machine for Language Understanding
2001-04-05
Remarks on Mereology of Direct Products and Relations
2001-04-18
Ryszard Janicki
Optimizing Algebraic Programs
2001-06-28
Visual Textual Consistency Checking Tools for Graphical User Interfaces
2001-02-27
Forward-Secure Signatures with Optimal Signing and Verifying
2001-05-30
Gene Itkis
The Pitzer-Lee-Kesler-Teja PLKT Strategy And Its Implementation By Meta-Computing Software
2001-03-30
The Rectangle Attack - Rectangling the Serpent
2001-03-05
The Linear Bicharacteristic Scheme for Electromagnetics
2001-05-10
Building Neural Network Components
2001-04-27
On The Stochastic Acceleration Of Sequences Of Random Variables
1994-10-25
CPI: Constraints-Preserving Inlining Algorithm for Mapping XML DTD to Relational Schema
2001-07-06
A Secure, Publisher-Centric Web Caching Infrastructure
2001-01-29
Computational aspects of the Jordan canonical form
1997-06-19
Auxiliary Signal Design for Failure Detection in Uncertain Systems
2001-04-05
Re-engineering Legacy Software through Language Conversion
2001-02-13
Maarit Harsu
Geometric Permutations of Balls with Bounded Size Disparity
2001-07-30
Starfield Information Visualization with Interactive Smooth Zooming
2001-02-27
Trip scheduling on single track networks - the TUFF train scheduler
1998-03-18
Models of Complex Physical Systems Using Cell-DEVS
2001-02-06
Hubble space telescope NICMOS images of Herbig-Haro energy sources: jets, binarity, and envelope cavities
2000-09-26
A Memory-Based Model for Music Analysis: Challenging the Gestalt Principles
2001-07-06
Rens Bod
Embedding Robotic Agents in the Social Environment
2001-03-08
Maximum Entropy Methods for Biological Sequence Modeling
2001-07-16
Mobile Agent Middleware for Mobile Computing
2001-07-27
Middleware For
A Parallel-Polled Virtual Output Queued Switch with a Buffered Crossbar
2001-09-06
Item-based Collaborative Filtering Recommendation Algorithms
2001-07-03
Bandwidth Learning in Distributed Networking Environments for Global Information Dissemination*
2001-08-14
Usor: A Web Based Collection of User Oriented Methods
2001-09-06
Fredrik Winberg
Topological Investigations on Evolutionary Optimized Non-Periodic Optical Structures
1999-01-20
Why Unary and Binary Operations in Logic: General Result Motivated by Interval-Valued Logics
2001-03-25
Performance of IP Micro-Mobility Management Schemes using Host Based Routing
2001-07-14
A Fast Parallel Algorithm for the Poisson Equation on a Disk
2001-01-03
Leonardo Borges
Integrated Dynamic IP and Wavelength Routing in IP over WDM Networks
2001-07-30
A Framework for Practical, Automated Black-Box Testing of Component-Based Software
2001-03-14
Stephen H. Edwards
Assessing Inter-Modular Error Propagation In Distributed Software
2001-08-13
Executive Summary: Software Evolution in Componentware -- A Practical Approach
1999-09-17
Andreas Rausch
Constructions of Codes from Number Fields
2001-08-11
Venkatesan Guruswami
Polar Coordinate Drawing of Planar Graphs with Good Angular Resolution
2001-08-05
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets
1996-12-10
Regulation of Organelle Acidity
2001-03-30
An Epistemological Level Interface for CYC
2001-05-04
Mark Derthick
High Speed Network First-Stage Alarm Correlator
2001-05-22
An Analog of the Cauchy-Schwarz Inequality for Hadamard Products and Unitarily Invariant Norms
2001-05-04
Tolerance Allocation Methods for Designers
2001-07-30
Kenneth W. Chase
A Multilevel Approach to Constructiong Trellis-Matched Codes for . . .
2001-08-02
A Small Subgroup Attack on a Key Agreement Protocol of Arazi
2001-08-10
Dan Brown
Quasi-invariance for Lévy processes under anticipating shifts
2001-07-09
Nicolas Privault
Expertise Matching using RDF
2001-07-26
Progress Report on Ring Reconstruction With the Elastic Net
2001-06-11
Modeling Time Dependencies in the Mixture of Experts
1998-02-09
Strongly Universal Hashing and Identification Codes Via Channels
2000-09-27
Randomized Distributed Agreement Revisited
2001-03-26
Combination Of Lfmcw And Fsk Modulation Principles For Automotive Radar Systems
2001-07-16
Marc-michael Rohling
A Cutting Plane Algorithm for the One-Dimensional Cutting Stock Problem with Multiple Stock Lengths
2001-07-05
Organization Overviews and Role Management: Inspiration for Future Desktop Environments
2001-02-27
DOCBIB 1995 Document Understanding Bibliography
1996-05-17
Mutual Information Approach to Blind Separation of Stationary Sources Dinh Tuan Pham
1998-07-16
Dinh Tuan Pham
Locating The Median Of A Tree In Real Time
2001-05-24
NEO velocity distributions and consequences for the Chicxulub impactor
2001-06-13
Operator Kernel Estimates For Functions Of Generalized Schrödinger Operators
2001-07-26
Fusion Multiplicities as Polytope Volumes: N-Point and Higher-Genus Su2 Fusion
2001-06-15
A Renormalization Method For Modulational Stability Of Quasi-Steady Patterns In Dispersive Systems
2001-06-21
Keith Promislow
April 2001
2001-04-27
Hierarchy And Complexity And Agent Based
2001-04-08
An Architecture for Distributing the Computation of Software Clustering Algorithms
2001-06-29
Tropical Atlantic air-sea interaction and its influence on the NAO
2001-04-07
Update Monitoring: The CQ Project
1999-09-23
Calton Pu
Multi-valued Images and Their Separation
2001-07-25
Grammar and Logical Types
2001-07-25
Glyn Morrill
What is the Philosophy of Information?
2001-07-31
Communicative Behavior of Socially Situated Agents
2001-06-11
Mitsuru Ishizuka
Upper-Bound Performance of a Wide-Band Adaptive Modem
2001-09-05
Combining Uncertain Belief Reasoning and Uncertain Metaphor-Based Reasoning
2001-03-31
John A. Barnden
Testing a Self-Timed Asynchronous Communication Mechanism ACM VLSI Chip
2001-08-30
A Stochastic Model of Platoon Formation in Traffic Flow
2001-03-26
Nonmonotone Methods for Backpropagation Training with Adaptive Learning Rate
2001-08-15
M. N. Vrahatis
Modeling Protein Secondary Structure by Products of Dependent Experts
2001-05-30
Christian Anders Cumbaa
New Resource Control Issues in Shared Clusters
2001-06-13
Design of Spatialized Audio in Nomadic Environments
2000-10-23
Emergence of Vowel Systems Through Self-Organisation
2001-01-10
An Environment for Security Protocol Intrusion Detection
2001-06-13
Alec Yasinsac
Frequency Estimation of Partitioned Reference Symbol Sequences
2001-07-17
Brendan Beahan
Probabilistic Modeling of Transaction Data with Applications to Profiling, Visualization, and Prediction
2001-06-12
Poincaré Normal and Renormalized Forms
2001-08-01
Abstraction in Graph-Transformation Based Diagram Editors
2001-06-20
JACK: A Java Constraint Kit
2001-07-02
A Target Distinctness Measure Based on a Single-Channel Computational Model of Vision
2001-02-22
Supporting Interaction Outside of Class: Anchored Discussions vs. Discussion Boards
2001-07-03
FEM-based Subdivision Solids for Dynamic and Haptic Interaction
2001-06-04
Representing Regularity: The English Past Tense
2001-08-06
Characteristic Substructures and Properties in the Chemical Carcinogenicity Studied by the Cascade Model
2001-06-08
Takashi Okada
Smooth -Algebras
2001-06-18
XML with Data Values: Typechecking Revisited
2001-03-16
Evaluation of Multi-Layer Recovery Strategies
1999-12-21
Improving Hierarchical Monte Carlo Radiosity Algorithms
1999-12-24
A Note on Unique Factorisation of Communicating Processes
2001-05-03
Bas Luttik
Dense Minors in Graphs of Large Girth
2001-07-14
Christof Rempel
Transaction Timestamping in Temporal Databases
2001-06-06
The Effects of Load Smoothing on Inventory Levels in a Capacitated Production and Inventory System
1999-11-13
Turing Computability of Non-Linear Optimization
2001-07-30
State-dependent M/G/1 Type Queueing Analysis for Congestion Control in Data Networks
2001-04-26
Model Checking Based on Kronecker Algebra
1998-09-29
UCP-Networks: A Directed Graphical Representation of Conditional Utilities
2001-06-15
XML Query Forms XQForms: Declarative Specification of XML Query Interfaces
2001-03-23
Fast Learning by Bounding Likelihoods in Sigmoid Type Belief Networks
2001-07-08
On the B-Independence Number of Sparse Random Graphs
2001-08-14
Display Optimization For Image Browsing
2001-08-08
Delay Jitter Bounds and Packet Scale Rate Guarantee for Expedited Forwarding
2001-07-30
Experience-Based Learning of Task Representations From Human-Robot Interaction
2001-05-15
Scene Boundary Detection Via Video Self-Similarity Analysis
2001-08-02
The Influence of DSP Processor Architectures on Code Compilation Difficulties
2000-05-08
C. Gebotys
Robust Detection of Degenerate Configurations for the Fundamental Matrix
1998-04-15
LLk Covering Transformation
2001-03-27
GlobeMusic: The Internet Scale of eMusic-Making
2001-09-04
Using Mission Logic for Embedded Testing
2001-05-18
A Multi Modal Web Interface for Task Supervision and Specification
2001-08-09
Interoperable Strategies in Automated Trust Negotiation
2001-05-01
Iso/iec Jtc1/sc 22/wg 20 N 619
1999-02-25
On the Complexity of Parallelizing Sequential Circuits using the Parallel Prefix Method
2001-05-28
Christoforos N. Hadjicostis
Spatio-temporal Multi-dipole Source Localization Using ICA and Lead-Fields in FEM Head Models
2001-06-26
An Overview of World Wide Web Search Technologies
2001-03-31
Optimizing Admission Control While Ensuring Quality of Service in Multimedia Networks Via Reinforcement Learning
2000-12-19
Using the Fisher kernel method to detect remote protein homologies
2001-07-08
Elementary Exponential Error Estimates for the Adiabatic Approximation
2001-07-11
A Unified Language Processing Methodology
2001-08-17
Teodor Rus
The NA48 LKr calorimeter digitizer electronics chain
1999-01-11
An Efficient Algorithm for Computing
2001-05-22
Sybase Adaptive Server Anywhere for Linux HOWTO
2001-04-27
Integrating Bilingual Lexicons in a Probabilistic Translation Assistant
2001-07-26
Vision and Attention
2001-07-17
Transparent Robust Image Watermarking
1998-07-14
A Specific Least General Generalization of Strings and Its Application to Example-Based Machine Translation
2001-06-08
Ilyas Cicekli
On The Geometry Of Visual Correspondence
1994-10-08
Randomness is Linear in Space
1998-08-19
Exploiting Sparsity in Semidefinite Programming via Matrix Completion II: Implementation and Numerical Results
2001-03-01
New Developments in Asymmetric Turbo Codes
2001-08-03
Biologically Inspired Autonomous Rover Control
2001-06-25
Virtual Endoscopy for Cardio Vascular Exploration
2001-07-12
An Ordering on Goals for Planning -- Formalizing Control Information in the Situation Calculus
1996-03-19
Fangzhen Lin
CBR Net :- Smart Technology over a Network
1998-11-27
Interval Approach To Testing Software
2001-03-16
Splatting With Shadows
2001-08-01
An Analysis of Database Workload Performance on Simultaneous Multithreaded Processors
1998-09-30
Asymptotic normality of goodness-of-fit statistics for sparse Poisson data
2001-01-09
Fugue: Time Scales of Adaptation in Mobile Video
2001-02-10
Stochastic Gradient Adaptive Minimum Symbol-Error-Rate Equalization for Pulse-Amplitude Modulation
2001-08-18
The Relative Efficiency of Environmental Policy Instruments in a Second-Best Setting With Costly Monitoring and Enforcement
2001-04-25
Training Centres : An Architecture for the Realisation of Open and Distance Learning Environments using Telematics.
2000-07-18
Unknown
1994-06-13
Strong-From-Weak Model Sensor Estimation In Oblique Views
2001-04-05
What's in an Attribute? - Consequences for the Least Common Subsumer
2001-04-30
Alex Borgida
Spatial Competition With Three Firms: An Experimental Study
2001-05-25
Application of Information Complexity in Principal Component Regression Modeling of the Venturi Meter Drift
2001-05-24
Performance of different multi-rate schemes in DS/CDMA systems
2000-08-24
Computation of Turbulent Flow in General Domains
2001-07-28
Decision Templates for Multiple Classifier Fusion: An . . .
2000-12-22
Who's in Control? Exploring human-agent interaction in the McPie Interactive Theater project
2001-02-14
Particle approximations of Lyapunov exponents connected to Schrodinger operators and Feynman-Kac semigroups
2001-06-14
Model-Based Clustering and Data Transformations for Gene Expression Data
2001-05-08
NAVAL POSTGRADUATE SCHOOL Monterey, California
2001-04-11
Mark E. Nissen
Occurrence of an Atlantic Salmon
1998-10-26
Auction Design for the Allocation of Emission Permits
2001-06-26
Kjell J. Sunnevg
Sabotage-Tolerance Mechanisms for Volunteer Computing Systems
2001-03-17
Luis F. G. Sarmenta
Language Models and Probability of Relevance
2001-06-05
Backpropagation Through Time with Fixed Memory Size Requirements
1998-01-22
Spectral Gaps for Spin Systems: Some Non-Convex Phase Examples
2000-09-05
A Study on the Inaccessability Characteristics of . . .
2000-06-26
Analog Computers and the Iteration Functional
1999-09-05
Design Study of CANGAROO-III, Stereoscopic Imaging Atmospheric Cherenkov Telescopes for sub-TeV Gamma-ray Detection
2001-08-01
Interactive and Multi-modal Visualization for Neuroendoscopic Interventions
2001-07-12
Predicate Control for Active Debugging of Distributed Programs
2001-06-15
Remarks on Food Chain Dynamics
1995-06-23
Impact of Packaging Technology on System Partitioning: A Case Study
1999-11-24
Technical Committee
2001-05-21
Using a Swap Instruction to Coalesce Loads and Stores
2001-05-14
Model-Based Tracking of Complex Articulated Objects
2001-05-29
Graph colorings with local constraints - A survey
2001-07-28
Zsolt Tuza
The Design, Implementation, and Evaluation of SMART: A Scheduler for Multimedia Applications
2000-05-09
ICORE: A Low-Power Application Specific Instruction Set Processor for DVB-T Acquisition and Tracking
2001-07-19
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning
2001-02-19
Secure Multiparty Computation of Approximations
2001-03-16
Querying Composite Objects in Semistructured Data
2001-03-16
Keishi Tajima
Survivable Mobile Phone Network Architectures: Models and Solution Methods
2001-07-28
D-LTAG System - Discourse Parsing with a Lexicalized Tree Adjoining Grammar
2001-05-29
Estimation and Propagation of Geometrical Parameters During Force-Controlled Execution of Polyhedral Contact Formation Sequences
2001-06-13
Maltilex: A Computational Lexicon for Maltese
2001-04-17
Automatic Segmentation of Non-enhancing Brain Tumors in Magnetic Resonance Images
2001-08-16
Soft-Input/Soft-Output Sequential Decoding
2001-08-06
Convergence Analysis Of A Riccati-Based Stabilization Method
2001-05-21
Generalized Mosaicing
2001-07-25
A perfectly matched layer formulation for the nonlinear shallow water equations models: The split equation approach
2001-07-22
E-Slate: a software architectural style for end-user programming
2000-04-27
Multilateral and European Responses to E-Commerce
2001-05-17
Daniel Piazolo
The Effect of Class Distribution on Classifier Learning: An Empirical Study
2001-08-12
Autoconstructive Evolution: Push, PushGP, and Pushpop
2001-04-23
Identifying Cognates by Phonetic and Semantic Similarity
2001-05-02
Grzegorz Kondrak
A Bayesian Approach To Spread Spectrum Watermark Detection and Secure Copyright Protection for Digital Image Libraries
1999-04-08
Finding Relevant Litterature for Agent Research
2001-07-17
Amund Tveit
3D Articulated Models and Multi-View Tracking with Physical Forces
2000-10-04
A census of critical sets in the Latin squares of order at most six
2001-07-23
Efficient Compression of Generic Function Dispatch Tables
2001-07-28
Eric Kidd
Bit Width Necessary for Solid Texturing Hardware
1999-03-13
Greedy Algorithms in Datalog
2001-06-29
Evaluating the Utility and Usability of an Adaptive Hypermedia System
2000-06-20
Kristina Hk
Approximation algorithms for MAX-3-CUT and other problems via complex semidefinite programming
2001-06-25
Optimum Path Packing on Wheels: The Noncrossing Case
2001-07-29
Complemented Subspaces of Spaces Obtained by Interpolation
2001-06-15
D. J. H. Garling
New Approaches for Reconstructing Phylogenies from Gene Order Data
2001-03-15
. Regularization of Neural Networks
2001-03-02
The Use Of Partial Quantitative Information With Qualitative Reasoning
1995-06-13
Eigenvector Approximate Dichotomic Basis Method for Solving Hyper-Sensitive Optimal Control Problems
2001-04-19
Poisson-Dirichlet and GEM invariant distributions for split-and-merge transformations of an interval partition
2001-06-06
Jim Pitman
Hybrid Ockhamist Temporal Logic
2001-04-20
Optimization algorithms for simultaneous multidimensional queries in OLAP environments
2001-05-07
FlOReS The FLuorescence detector Offline REconstruction System Project Design Overview version 1.0
2001-03-16
Human Tracking with Mixtures of Trees
2001-02-13
Adaptive Incompressible Flow Computations with Linearly Implicit Time Discretization and Stabilized Finite Elements
2001-07-28
Jens Lang
Resource-Bounded Kolmogorov Complexity Revisited
2001-06-25
pLVE: Suitable Network Protocol Supporting Multi-User Virtual Environments in Education
2000-11-27
Amalgamation in CASL via Enriched Signatures
2001-05-09
Constructing Cubic Edge- But Not Vertex-Transitive Graphs
1998-02-02
Introduction to Petri Nets and Reference Nets
2001-07-11
Compiler and Runtime Analysis for Efficient Communication in Data Intensive Applications
2001-07-12
Secure Distributed Linear Algebra in a Constant Number of Rounds
2001-06-01
Ronald Cramer
Logical Computation on a Fractal Neural Substrate
2001-05-14
Computing the extremal index of special Markov chains and queues
2001-07-29
Contention Elimination by Replication of Sequential Sections in Distributed Shared Memory Programs
2001-05-26
Implementation of a Variable Structure Neural Network
2001-03-30
A Method for Detecting Intrusions on Encrypted Traffic
2001-07-20
Sachin Prakash Goregaoker
Frame-Based Periodic Broadcast and Fundamental Resource Tradeoffs
2001-05-14
Why Co-Evolution beats Temporal Difference learning at Backgammon for a linear architecture, but not a non-linear architecture
2001-06-26
Paul J. Darwen
Symmetry Property and Construction of Wavelets With a General Dilation Matrix
2001-03-31
Bin Han
An axiomatic approach to metareasoning on nominal algebras in HOAS
2001-04-24
Agile Monitoring for Cyber Defense
2001-03-23
On Solutions of Linear Functional Systems
2001-04-04
A Comparative Study Of Oxygen Vacancy Migration Pathways In Crystalline Polymorphs Of Silica
2001-02-13
Incorporating Process Knowledge into Object Recognition for Assemblies
2001-07-27
Processor Lower Bound Formulas For Array Computations And Parametric Diophantine Systems
1998-09-01
"Boundary of Illusion": an Experiment of Sensory Integration with a Pseudo-Haptic System
2000-12-15
EM-DD: An Improved Multiple-Instance Learning Technique Preliminary Version
2001-07-24
Discovering Association Rules based on Image Content
2001-06-01
Generalized Clustering, Supervised Learning, and Data Assignment
2001-06-23
Direct value-approximation for factored MDPs
2001-07-11
Optimizing the Collision Detection Pipeline
2001-03-30
Gabriel Zachmann
Automated Support for Software Development with Frameworks
2001-04-27
How to Enhance the Security of Public-Key Encryption at Minimum Cost
2000-10-26
Object Replication Strategies in Content Distribution Networks
2001-06-08
Comparative Study of Representation Structures for Modeling Function and Behavior of Mechanical Devices
2001-04-13
From CAD to iAD A Survey of Internet Application in the AEC Industry
2001-04-12
Browsing Hyperdocuments with Multiple Focus+Context Views
2001-02-20
Direct Gear Tooth Contact Analysis for Hypoid Bevel Gears
2001-08-18
Categorical and Kripke Semantics for Constructive Modal Logics
2001-03-26
Non-Parametric Fault Identification for Space Rovers
2001-05-30
ATV: display and manipulation of annotated phylogenetic trees
2001-08-10
A Complete Categorization of When Generalized Tribonacci Sequences Can Be Avoided by Additive Partitions
2000-10-11
Mike Develin
Preliminary Experiments in Visual Servo Control for Autonomous Underwater Vehicle
2001-08-14
Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning
2001-06-26
In - Service Training through ODL Environments: From User Needs To Functional Specifications
2000-07-18
Cost Prediction in Ray Tracing
1998-06-26
A Multi-Level Approach and Infrastructure for Agent-Oriented Software Development
2001-05-16
Isoperimetric Quotient for Fullerenes and Other Polyhedral Cages
2001-07-28
Evaluation Techniques for Automatic Semantic Extraction: Comparing Syntactic and Window Based Approaches
1995-11-23
Gregory Grefenstette
Polyhedral and Computational Investigations for Designing Communication Networks with High Survivability Requirements
2001-07-28
Surface Geometry From Cusps of Apparent Contours
1995-05-11
DReggie: Semantic Service Discovery for M-Commerce Applications
2001-07-20
Efficient Zero-Knowledge Proofs of Knowledge Without Intractability Assumptions
2000-09-11
Surface Interpolation With Radial Basis Functions for Medical Imaging
1997-05-15
Matrix Decomposition by Branch-and-Cut
2001-07-28
Learning Qualitative Models of Dynamic Systems
2001-05-06
A Language for Information Commerce Processes
2001-07-13
Music Playing Robot
1999-07-02
Head Model Acquisition from Silhouettes
2001-04-11
Limits on the Discrimination Possible With Discrete Valued Data, With Application to Medical Risk Prediction
1996-01-16
Audio Indexing and Retrieval of Complete Broadcast News Shows
2000-02-28
Manipulation Aid for Two-handed 3-D Designing within a Shared Virtual Environment
2001-03-29
A Study of Caching in the Internet Domain Name System
2001-04-30
Towards Zero-Code Service Composition
2001-05-02
Design of Survivable Networks
2001-07-28
Cross-over Composition
2001-06-26
Bandwidth Reservation for Real-Time Traffic in Wireless Mobile Environment
2001-01-08
WSD evaluation and the looking-glass
1999-05-07
Theorem Prover Usability
2001-05-24
James Cheney
Gemini: Gradient Estimation Through Matrix Inversion After Noise Injection
2001-07-19
Speaker Tracking in a Broadcast News Corpus
2001-04-26
Mauro Cettolo
The Design And Development Of Advanced Network Services Over The Patras University Campus Network
2000-07-13
Multiprocessor Preprocessing Algorithms for Uniprocessor on-Line Scheduling
2001-03-25
Normal Gentzen Deductions in the Classical Case
2000-02-29
Information Sharing
2001-01-11
Impact of Shadow Fading in a Mm-Wave Band Wireless Network
2000-09-04
Maxime Flament
On Class-based Isolation of UDP, Short-lived and Long-lived TCP Flows
2001-07-20
Naive Bayes for Regression
2001-06-11
A Parallel Environment for Processing Radar Data
1998-09-17
Wavelet Transform In ECG Signal Processing
2001-03-07
Revocation and Tracing Schemes for Stateless Receivers
2001-07-24
New Features In The Cu-Htk System For Transcription Of Conversational Telephone Speech
2000-11-14
Universal Temporal Extensions for Database Languages
2001-01-02
Community Support and Identity Management
2001-05-15
Corpus Variation and Parser Performance
2001-05-02
Daniel Gildea
Why Are Modal Logics So Robustly Decidable?
2001-05-03
Proxy-based Distribution of Streaming Video over Unicast/Multicast Connections
2001-08-06
Stroke Level Modeling Of On Line Handwriting Through Multi-Modal Segmental Models
2000-10-27
How do Droplets on a Surface Depend on the System Size?
2001-06-25
Exponential Incomparability of Tree-like and Ordered Resolution
2001-04-24
Bandwidth tradeoff between TCP and link-level FEC
2001-04-26
Cyclic Haar Graphs
1999-07-29
Quantum Monodromy and Semi-Classical Trace Formulæ
2001-08-07
KARDOS - KAskade Reaction Diffusion One-dimensional System
2001-07-29
Jens Lang
Indicator Variables for Optimal Policy under Asymmetric Information
2001-04-25
A Language for Describing Behavior of and Interaction with Virtual Worlds
2001-03-30
Gabriel Zachmann
Detectable and Undetectable Input Signals for the Integrate-and-Fire Model
2001-02-22
Validating Year 2000 Compliance
2001-06-09
Surface Approximation Using Geometric Hermite Patches
2001-05-11
ATM_Forum/94-0282
2001-04-18
Solution of a Three-Body Problem in Quantum Mechanics Using Sparse Linear Algebra on Parallel Computers
2001-07-31
On Hilbert bases of polyhedral cones
2001-07-28
The Round Complexity of Verifiable Secret Sharing and Secure Multicast
2001-05-22
The Social Implications of E-commerce: a review of policy and research Report Prepared for the Joseph Rowntree Foundation
2001-07-30
Richard Kingston
Hyper-Cyclotomic Algebra
2001-05-28
Solomon W. Golomb
Generalizing Variable Elimination in Bayesian Networks
2000-10-16
Fabio Gagliardi Cozman
Simple Consequence Relations
2000-10-10
Arnon Avron
Realistic Modeling for Facial Animation
1995-05-11
Digital Models and Computer Assisted Proofs
2001-06-27
The Varieties of Homicide and Its Research
2001-04-12
Simplifying a Polygonal Subdivision While Keeping it Simple
2001-03-29
Relaxing Symmetric Multiple Windows Stereo Using Markov Random Fields
2001-05-30
Cognitive Task Analysis of Business Jet Pilots' Weather Flying Behaviors: Preliminary Results
2001-07-25
GRTensorII Release 1.50
2000-04-14
Astronomy
2001-07-12
Accurate Image Generation and Interactive Image Editing with the A-buffer
1999-01-12
A Computational Taxonomy and Survey of Neural Network Models
2001-04-30
Sma Pekka Orponen
Statistical Significance and Extremal Ensemble of Gapped Local Hybrid Alignment
2001-06-20
Offset Approximation Improvment by Control Points Perturbation
1998-12-11
Gershon Elber
The Form Factors and Quantum Equation of Motion in the sine-Gordon Model
2001-03-20
H. Babujian
PETS: A Personal Electronic Teller of Stories
1999-11-08
Determining When to Use an Agent-Oriented Software Engineering Paradigm
2001-04-13
An Agent Architecture for Multi-Attribute Negotiation
2001-04-19
Multiresolution Analyses And Wavelets For Density Estimation
1996-10-29
A Practical Perfect Hashing Algorithm
2001-03-16
A Most Probable Point Based Method For Uncertainty Analysis
2001-07-11
Xiaoping Du
Explaining the Labor Force Participation of Women 20-24
1997-11-18
Change and Relationship-Driven Content Caching, Distribution and Assembly
2001-03-19
ILX: Extending the .NET Common IL for Functional Language Interoperability
2001-07-19
Don Syme
Characterization of Repeating Data Access Patterns in Integer Benchmarks
2001-07-17
Lexical Acquisition at the Syntax-Semantics Interface: Diathesis Alternations, Subcategorization Frames and Selectional Preferences.
2001-08-17
Diana Mccarthy
Segmentation of Bake Images by a Self-Organising Map
1997-02-11
The McCallum projection, lifting, and order-invariance
2001-08-06
Christopher W. Brown
Covariant Localizations in the Torus and the Phase Observables
2001-05-25
Construction of a Phi-function for two convex polytopes
2001-06-07
Native Data Representation: An Efficient Wire Format for High Performance Computing
2001-07-17
Advanced Implementation Issues of Turbo-Decoders
2000-08-08
Benchmarks for the Numerical Solution of Algebraic Riccati Equations
1997-08-19
Second-Order Uncertainty as a Bridge Between Probabilistic and Fuzzy Approaches
2001-08-01
Enhancing Ad hoc Routing with Dynamic Virtual Infrastructures
2001-07-30
The Globe Distribution Network
2000-03-28
Renewable Energy for Rural Health Clinics
2000-12-19
Measurements of SPS SingleBunch Coherent Tune Shifts and Head-Tail Growth Rates in the Year 2000
2001-03-20
FATOMAS - A Fault-Tolerant Mobile Agent System Based on the Agent-Dependent Approach
2001-04-23
A Survey and Comparison of Tree Generation Algorithms
2001-05-30
Policy Improvement for POMDPs using Normalized Importance Sampling
2001-05-21
Christian R. Shelton
Optimal RF design using Smart Evolutionary Algorithms
2000-05-24
Cut as a Querying Unit for WWW, Netnews, and E-mail
2001-03-16
PYTHIA-II: A Knowledge/Database System for Managing Performance Data and Recommending Scientific Software
2000-11-14
Mining Scientific Data
2000-11-27
Cascadic Conjugate Gradient Methods for Elliptic Partial Differential Equations - I. Algorithm and Numerical Results
2001-07-29
Design of Broadband Virtual Private Networks: Model and Heuristics for the B-WiN
2001-07-29
Experimental Demonstration of the DeCoding of Hybrid Phase and Frequency Codes Using a Pseudolocal Oscillator for Optical Code Division Multiplexing
2001-07-18
Encrypted Tunnels using SSH and MindTerm HOWTO
2001-07-02
Duane Dunston
Interface and Data Architecture for Query Preview in Networked Information Systems
2001-02-27
Parabolic maps with spin: Generic spectral statistics with non-mixing classical limit
2001-06-27
Vegetation Monitoring
2001-02-20
A Fast Algorithm for Finding Matching Responses in a Survey Data Table
2001-06-13
Joseph E. Mullat
Degrees of real Grassmann varieties
2001-06-22
Some Notes for a Proposal for Elementary Function Implementation in Floating-Point Arithmetic
2001-06-08
The Impact of Caching in a Loosely-coupled Clustered Software DSM System
2001-04-12
On the Non-Approximability of Boolean Functions by OBDDs and Read-K-Times Branching Programs
2001-04-20
Decision Support Systems from a Health Informatics Perspective
2001-02-13
Pirkko Nyknen
Hidden Markov Model Adaptation Using Maximum A Posteriori Linear Regression
1999-12-30
An Adaptive-Rate Digital Communication System For Speech
2001-01-25
PAC-Bayesian Stochastic Model Selection
2001-07-05
David A. Mcallester
Resonant Quasiperiodic Patterns In A Three-Dimensional Lasing Medium
2001-02-06
Broadband Wireless Internet Forum White Paper Media Access Protocols: Circuit Switching to DOCSIS Document Number WP-2_TG-1 Version 1.1
2001-01-18
Weakly Flag-Transitive Configurations And Half-Arc-Transitive Graphs
2001-07-28
Visualizing Software in an Immersive Virtual Reality Environment
2001-05-24
to build new optical see-through displays that attack the occlusion problem. However, all of them require the real world to be modified physically. One
2001-03-29
Transposition: A Biologically Inspired Mechanism to Use with Genetic Algorithms
2001-03-13
Guide-X - a Step-By-Step, Markup-Based Approach to Guideline Formalisation
2001-03-15
Benchmark Design for Characterization of Balanced High-Performance Architectures
2001-01-31
The Ergonomics of Software Porting
1994-12-04
Semantic Depth of Field
2001-04-18
Modelling Object Oriented Non-Sequential Systems by Coloured Petri Nets
2001-04-18
Reconstructed Dynamics and Chaotic Signal Modeling
1998-01-22
A Network Based Replay Portal
2001-04-12
lnformation Theory by Analytic Methods: The Precise Minimax Redundancy
2001-04-06
Efficient Solution of Coupled Lyapunov Equations via Matrix Sign Function Iteration
1997-11-28
Solving 3-SAT by GAs Adapting Constraint Weights
1997-06-09
A. E. Eiben
PCA versus LDA
2001-02-20
A Network of FitzHugh--Nagumo Oscillators for Object Segmentation
1997-10-21
Automatic determination of the center of rotation of the glenohumeral joint by a modified Hough transform
2001-04-02
A Variable-Length Category-Based
1996-01-17
SilkRoad: A Multithreaded Runtime System with Software Distributed Shared Memory for SMP Clusters
2001-06-13
Administrative Costs and Production Efficiency
2000-11-30
K. J. Munk
A Quorum Based Approach to CORBA Fault-Tolerance
2001-04-27
Dynamic Kripke Structures
2000-10-19
Specification Variables: Between the Angel and the Demon
2001-06-06
Omni-Directional Catadioptric Vision for Soccer Robots
2001-06-12
Snakes Based Tracking and Texture Analysis of Microscopic Images
1999-10-04
Computing Optimal Descriptions for Optimality Theory Grammars with Context-Free Position Structures
1997-10-13
Bruce Tesar
Incremental Reconfiguration for Pipelined Applications
1997-04-23
Herman Schmit
Collective Effects in Dissipative Particle Dynamics
2001-07-09
.2.6 Study of Differential Structures on Quantum Groups
2001-03-06
Thyroid Cancer Following Scalp Irradiation: A Reanalysis Accounting for Uncertainty in Dosimetry
2001-03-29
Quadratic Convergence For Valuing American Options Using A Penalty Method
2001-05-18
Heat exchange during snow ablation in plains and mountains of Eurasia
2001-06-02
Revisiting Boltzmann Learning: Parameter Estimation In Markov Random Fields
2001-03-02
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol
2001-08-06
Wavelet decompositions of anisotropic Besov spaces
2001-07-25
Abstractions for Fault-Tolerant Wide-Area Network Programming Languages
2000-05-19
Dominic Duggan
Spectral Analysis of Data
2000-12-05
Rule-based Document Structure Understanding with a Fuzzy Combination of Layout and Textual Features
2000-10-27
Extending Hyper Tableaux with Rigid E-Unification
1996-10-03
Tied Posteriors: An Approach for Effective Introduction of Context . . .
2001-01-23
Wavelet Analysis of Index Prices in Futures and Cash Markets: Implication for the Cost-Of-Carry Model
2000-01-13
Improved techniques for using Monte Carlo in VaR estimation
2001-07-09
When being Weak is Brave: Privacy Issues in Recommender Systems
2001-05-18
Implementing Agent Communication Languages Directly from UML Specifications
2001-02-22
HY-MOST: HYpermedia MOdel for Synchronised PresenTations
2000-07-18
Can Differential Equations Compute?
2001-05-14
Bruce J. Maclennan
Finite Schematizable Algebraic Logic
1997-08-11
Lectures on Stochastic Matching: Guises and Applications
2001-01-23
E. G. Coffman
On Designing Improved Controllers for AQM Routers Supporting TCP Flows
2001-07-30
Closing the Loop: an Agenda- and Justification-Based Framework for Selecting the Next Discovery Task to Perform
2001-02-14
Computer Response to User Frustration
2000-12-04
Programming Spot in Lisp with SpotLisp Package
1996-09-11
Wan Yik Lee
Horn's Problem and Semi-Stability for Quiver Representations
2001-08-08
Elastic Windows: Improved Spatial Layout and Rapid Multiple Window Operations
2001-02-27
Backward Error Bounds for Approximate Krylov Subspaces
2001-05-04
G. W. Stewart
Cubic Semisymmetric Graphs of Order 2p³
2000-09-14
Greedy Algorithms in Datalog with Choice and Negation
2001-01-02
A System to Assess Students' Competence That Re-uses a Pencil and Paper Tool
1999-04-23
Stphanie Jean
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
2001-03-01
Lightweight Data Management for Compositional Modeling in Problem Solving Environments
2001-02-03
Web Directories as Training Data for Automated Metadata Extraction
2001-07-13
Realistic and Controllable Fire Simulation
2001-04-04
Comparing Object Oriented Mobile Agent Systems
2000-05-18
Dynamic Sparsing in Stiff Extrapolation Methods
2001-07-28
U. Nowak
Signature Verification using a "Siamese" Time Delay Neural Network
2001-07-19
Integrability Of Infinite Weighted Sums Of Heavy-Tailed I.i.d. Random Variables
2001-07-10
Information-Theoretic Private Information Retrieval: A Unified Construction Extended Abstract
2001-04-18
On the Generalized Hamming Weights of Convolutional Codes
1995-03-21
Thermal Stress Analysis of Multi-Layer Thin Films and Coatings By an Advanced Boundary Element Method
2001-08-18
Learning Helicopter Control Through "Teaching by Showing"
2001-08-18
Extracting Landmarks and Ordering them for Planning
2001-06-26
A Framework for Specifying and Visualizing Architectural Designs
1994-07-11
A PTAS for Minimizing Weighted Completion Time on Uniformly Related Machines Extended Abstract
2001-07-17
Description of Selected Algorithms and Implementation Details of a ConceptDemonstration Aircraft VOrtex Spacing System AVOSS
2001-07-23
David A. Hinton
Resolving Occlusion in Image Sequence Made Easy
2001-04-07
Tiow Seng Tan
Zeros of Sobolev orthogonal polynomials following from coherent pairs
2001-07-28
Constructing Pseudo-Random Permutations with a Prescribed Structure
2000-08-11
Traffic shaping for MPEG video transmission over the next generation internet
2000-12-20
A Polyhedral Study of the Asymmetric Travelling Salesman Problem With Time Windows
2001-07-29
Decision directed channel estimation in 16-QAM on fading channels
2000-08-21
A Component-based Implementation of Iso-surface Rendering for Visualizing Large Datasets
2001-05-09
TCP-Real: Improving Real-time Capabilities of TCP over Heterogeneous Networks
2001-07-01
Highest Utility First Search Across Multiple Levels of Stochastic Design
1998-04-09
Service Specific Control Architectures for ATM
1999-03-11
Matchmaking and Privacy in the Digital Library: Striking the right balance
2001-07-29
Data Flow Tracing For Algorithm Animation
2000-10-31
Sensitivity Analysis of Event Driven Simulation Results
2001-05-21
Neural Networks For Pneumatic Actuator Fault Detection
1999-03-08
Co-evolutionary Search in Asymmetric Spaces
2001-07-13
Constrained Trajectory Generation For Micro-Satellite Formation Flying
2001-05-24
A Study of Lanczos-Type Iterations for Symmetric Indefinite Linear Systems
2001-07-29
Peter Deuflhard
Caching and Multicasting in DBS Systems
2001-05-09
New Algorithmic Aspects Of The Local Lemma With Applications To Routing And Partitioning
2000-10-14
Detection and Localization of Faults in System Dynamics by IMM Estimator
1999-07-01
An Analytical Model and Performance Analysis of Shared Buffer ATM Switches under Non-uniform Traffic
2000-12-20
A New Method of Summing Crosstalk from Mixed Sources: the Generalized FSAN Method
2001-07-11
Joint Adaptive Rate Turbo Decoding and Synchronization on Rayleigh Fading Channels
2001-03-09
Fault-Tolerant Cluster Management For Reliable High-Performance Computing
2001-07-19
Software Representation for Heterogeneous Location Data Sources Using Probability Density Functions
2001-04-05
MPICH-GQ: Quality-of-Service for Message Passing Programs
2001-06-11
Analysis of Window by-Pass Mechanism in Split Shared Buffer ATM Switches
2000-12-20
Writing ODP Enterprise Specifications in Maude A Case Study
2001-04-30
An Optimal Approach to SAR Image Segmentation and Classification
2000-02-22
Givens and Householder Reductions for Linear Least Squares on a Cluster of Workstations
1995-06-27
HomeRF and Bluetooth: Assessment of the Point-to-Point Link Performance
2001-07-11
Stefano Galli
PENS: A Machine-aided English Writing System for Chinese Users
2000-08-09
On the Complexity of Matsui's Attack
2001-07-09
Pascal Junod
Using Skeleton-Based Tracking to Increase the Reliability of Optical Motion Capture
2001-04-30
Novel High-Radix Residue Number System Architectures
2000-10-20
Constrained Spectrum Normalization For Robust Speech Recognition In Noise
2000-07-28
Restructuring the Scene Graph for Efficient Visibility of Natural Scenes
1999-03-13
PIPE: Web Personalization by Partial Evaluation
2000-11-16
Invariant Content-Based Image Retrieval Using The Fourier-Mellin Transform
1998-08-03
E-learning pedagogy: A value definition from a knowledge management perspective
2001-05-17
On the Parity of Graph Spanning Tree Numbers
2001-04-05
A Floating-Point Processor for Fast and Accurate Sine/Cosine Evaluation
2000-06-02
Hard Real-Time Communication in Multiple-Access Networks
1996-02-09
Retrieval by Shape Population: An Index Tree Approach
2001-06-18
N-Dimensional Zonal Algorithms. The Future Of Block Based Motion Estimation?
2001-05-31
A Two-stage Model for Content Determination
2001-05-18
Bash Prompt HOWTO
2001-08-22
Giles Orr
Analysis of Multithreaded Programs
2001-05-18
Martin Rinard
Semantic Depth of Field
2001-08-03
A Comparison Of Discrete And Continuous Output Modeling Techniques For A Pseudo-2d Hidden Markov Model Face Recognition System
2001-05-03
st Order, 2nd Order, What Next? We Do Not Really Need Third-Order Descriptions: A View From A Realistic Granular Viewpoint
2001-03-26
Vladik Kreinovich
Antenna Selection for Spatial Multiplexing Systems Based on Minimum Error Rate
2001-04-24
Analysis on Finite Gel'fand Spaces
2001-05-02
Michael S. Venn
A Shared Framework of Virtual Reality
2001-03-04
Systematic Analysis of Index-Based Checkpointing Algorithms using Simulation
2001-05-19
Generalising Boundary Sets
2001-06-18
On the Caffarelli-Kohn-Nirenberg Inequalities: Sharp Constants, Existence and Nonexistence and Symmetry of Extremal Functions
2001-02-22
Florin Catrina
Fast Curve Estimation Using Pre-Conditioned Generalized Radon Transform
2001-03-02
Discrete Robust SPR Design via Semidefinite Programming
2001-03-27
Didier Henrion
Bandera : Extracting Finite-state Models from Java Source Code
2000-03-07
Performance of p-Persistent Frequency-Hopped Slotted Random Access Protocol
2001-02-21
Minimum Cuts
1998-04-27
Coordination of Scheduling and Allocation Agents extended
1998-09-04
Experiments with a New Boosting Algorithm
2001-08-08
Ontology Reasoning in the SHOQD Description Logic
2001-08-14
A Markov-Based Channel Model Algorithm for Wireless Networks
2001-05-23
The GeneSOM Package
2001-08-30
Morse Theory And Stokes' Theorem
2001-06-13
Supervised Training Using Global Search Methods
2001-08-15
Constitutive Modeling of NanotubeReinforced Polymer Composite Systems
2001-08-10
End-to-End Statistical Delay Service under GPS and EDF Scheduling: A Comparison Study
2001-07-30
An Alignment Perspective on Architecture-driven Information Systems Engineering
2001-07-09
Reducing the Overhead of Dynamic Compilation
2001-04-26
N$'moj P 9q :;!<7j 9 K : R$*s!moj P 9!qi J P7'p!p<G
2001-04-22
Why the constant `undefined'? - Logics of partial terms for strict and non-strict functional programming languages
2001-09-06
Robert F. Stark
A High-Bandwidth Force-Controlled Haptic Interface
2000-06-23
From Corporate Memories to Supply Web Memory
2001-07-31
Every Polynomial-Time 1-Degree Collapses iff P = PSPACE
1996-08-16
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management
2001-06-12
Organizational Patterns for Early Requirements Analysis
2001-04-03
Transactions Papers On the Frame-Error Rate of Concatenated Turbo Codes
2001-08-02
The Addition of Explicit Congestion Notification ECN to IP
2001-06-08
Secure and Invisible Data Hiding in 2-Color Images
2001-07-30
Yu-chee Tseng
Boolean Constraint Propagation Networks
2001-04-10
L-Modules And The Conjecture Of Rapoport And Goresky-Macpherson
2001-07-27
Leslie Saper
Matrix Multiplication on Processor Arrays with Optical Buses
2001-08-24
VIOLA - A Scalable and Fault-Tolerant Video-on-Demand System
1998-07-29
Approximation Algorithms for the Euclidean Bipartite TSP
2001-04-18
Muscular Asthenopia and Eccentric Ablation After Photorefractive Keratectomy
2001-05-24
A New Architectural Concept For Highly Efficient Message-Passing On Pci--Sci Network Interfaces
2001-05-22
Galaxy Populations and Evolution in Clusters I: Dynamics and the Origin of Low-Mass Galaxies in the Virgo Cluster
2001-05-31
A Practical Obstacle Detection and Avoidance System
2001-08-24
Luby-Racko Backwards: Increasing Security by Making Block Ciphers Non-Invertible
1998-12-15
Transactions Papers Orthogonal Frequency-Division Multiplex Transmission of H.263 Encoded Video over Highly Frequency-Selective Wireless Networks
2001-08-30
Plane curves, wave fronts and Legendrian knots
2001-08-01
Integrating Multiple Knowledge Sources for Robust Semantic Parsing
2001-07-27
Finding Authorities and Hubs From Link Structures on the World Wide Web
2001-03-23
Ranking and Selecting Synsets by Domain Relevance
2001-04-18
An Integrated HW and SW Fault Injection Environment for Real-Time Systems
1998-09-29
Generalization Performance Of Regularized Neural Network Models
2001-03-02
An Overview of Tableau Algorithms for Description Logics
2001-08-14
A High Order ADI Method for Separable Generalized Helmholtz Equations
2001-06-26
A Downhill Simplex Algorithm for Estimating Morphological Degradation Model Parameters
2001-05-15
Recognizing Knödel Graphs
2001-03-21
Component-Oriented Software Technology
2001-04-17
Deriving Performance Models from Software Architecture Specifications
2001-02-07
Symplectic Integration with Variable Stepsize
2001-06-20
Efficient Algorithms for Mining Outliers from Large Data Sets
2000-03-03
Real World Performance of Choice-Based Conjoint Models
2001-07-19
Conferences
2001-06-13
Gabriel P. Paternain And Jimmy Petean
2001-08-03
UsingChess Ratings as Data in Psychological Research
1998-11-13
The sem Package
2001-08-04
Mapping Nested Loops onto Distributed Memory Multiprocessors
1997-09-06
Can Models of Agents Be Transferred Between Different Areas?
2000-12-06
Distributed Data Mining in Credit Card Fraud Detection
1999-09-22
A New Visualization Method for Virtual Colonoscopy
2001-08-01
Performance Impact of Streaming Doppler Radar Data on a Geospatial Visualization System
2001-05-25
Structural And Acoustic Numerical Modeling Of A Curved Composite Honeycomb Panel
2001-06-05
On Velocity Estimation and Correlation Properties of Narrow-Band Mobile Communication Channels
2001-08-14
Asymptotics of cellular buckling close to the Maxwell load
2001-03-01
A Modal Model of Memory
2001-05-10
The Theory and Econometrics of Health Information in Cross-Sectional Nutrient Demand Analysis
2001-02-07
George C. Davis
On the Relation Between Parallel Real-Time Computations and Sublogarithmic Space
2001-06-16
A CPLD-based RC-4 Cracking System
1999-12-20
Color Spaces
2001-07-20
Industrial Applications of High-Performance Computing for Phylogeny Reconstruction
2001-05-31
Hyper-X Mach 10 Engine Flowpath Development: Fifth Entry Test Conditions and Methodology
2001-06-12
R. J. Bakos
Existence and Computation of Infinite Horizon Model Predictive Control with Active Steady-State Constraints
2001-05-18
Rf Controls: What's New In Hardware And Software?
1998-02-26
Numerous Small STL Changes
1995-02-01
Dynamic Adaptation to Available Resources for Parallel Computing in an Autonomous Network of Workstations
2001-07-26
Extreme Low-Voltage Floating-Gate CMOS Transconductance Amplifier
2001-05-18
A Measure of Description Quality for Data Mining and its Implementation in the AQ18 Learning System
2001-03-27
Diagnosis of Repeated Failures in Discrete Event Systems
2001-08-09
A Non-blocking Recovery Algorithm for Causal Message Logging
2001-06-15
On large Toeplitz band matrices with an uncertain block
2001-04-27
A Logical Account of the Common Sense Informatic Situation for a Mobile Robot
1999-04-21
Murray Shanahan
Adaptive Performance Management for UMTS Networks
2001-08-01
Design, Implementation, and Evaluation of the Constraint Language ccFD
2001-06-11
Coding Theory: Tutorial Survey
2001-08-15
Streaming Stored Continuous Media over Fair-Share Bandwidth
2000-08-22
Efficient Threshold Cryptosystems
2001-07-28
Deterministic Global Optimization For Protein Structure Prediction
2001-04-23
Region-based Register Allocation for EPIC Architectures
2001-03-07
The Internet and E-commerce Development in Mexico
2001-05-22
Variational inference for continuous sigmoidal Bayesian networks
1996-11-14
Brendan J. Frey
A Secure, Publisher-Centric Web Caching Infrastructure
2001-01-29
Strong Relevance as a Logical Validity Criterion for Scientific Reasoning
2001-06-29
Planning for Distributed Execution Through Use of Probabilistic Opponent Models
2001-04-30
Compact Spaces And Distributive Lattices
2001-03-23
Thierry Coquand
Metaphors of Movement: A Visualization and User Interface for Time-Oriented, Skeletal Plans
2000-08-29
A Cache-Based Data Intensive Distributed Computing Architecture For "grid" Applications
2001-02-19
A Multi-Agent Temporal Structure: Preliminary Results
1997-03-17
Application of the ATT-Meta Metaphor-Understanding Approach to Various Examples in the ATT-Meta Project Databank
2001-05-25
John A. Barnden
Shading Primitives: Finding Folds and Shallow Grooves
2001-08-27
Multi-Dimensional Separation of Concerns and The Hyperspace Approach
2000-04-25
The evolution of the securities markets in India in the 1990s
2001-09-01
Nlrq.control, 3
2001-05-16
The Design of Fiber-Optic Filters
2001-08-17
A Comparison of Evolutionary and Coevolutionary Search
2001-06-27
Creating Web-Based Exercises for Spoken Language Technology
2001-02-16
Automatic Generation and Checking of Program Specifications
2001-08-01
Oh Brother, Where Art Thou? - A Bayes Factor Test for Recombination with Uncertain Heritage
2001-06-26
Elementary Exponential Error Estimates for the Adiabatic Approximation
2001-07-25
A Remark On Spectral Gap And Logarithmic Sobolev Inequalities For Conservative Spin Systems
2001-06-25
Network-Conscious Compressed Images over Wireless Networks
2001-03-14
A PNtalk-based Model of a Cooperative Editor
2001-06-07
Isomorphism Classes of Genus-2 Hyperelliptic Curves Over Finite Fields
2001-04-24
On Lower Bounds of Exponential Frames
2001-02-05
Alexander M. Lindner
Standardizing XML Rules: Preliminary Outline of Invited Talk
2001-05-18
Benjamin N. Grosof
Business, Culture, Politics, and Sports - How to Find Your Way Through a Bulk of News? On Content-Based Hierarchical Structuring and Organization of Large Document Archives
2001-08-06
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.
1994-05-04
Raymond Reiter
Coherent Risk Measures and Upper Previsions
2001-05-02
On the Futility of Criticizing the Neoclassical Maximization Hypothesis
2001-07-02
Lawrence A. Boland
Using Ranking and Selection to `Clean Up' After Simulation Optimization
2001-07-09
Control Of Spacecraft Subject To Actuator Failures: State-Of-The-Art And Open Problems
2001-07-29
Panagiotis Tsiotras
Non-Overlapping Search Pattern For Logarithmic Search Motion Estimation
2001-06-21
Versioning the Web
2001-04-17
Domain Filtering Consistencies
2001-05-04
Parasitic Power Harvesting in Shoes
1998-09-10
Application Layer Mobility Management Scheme for Wireless Internet
2001-04-15
IPCC Technical Paper II
2000-12-06
Finding an Optimal Inversion Median: Experimental Results
2001-06-17
VHS to VRML: 3D Graphical Models from Video Sequences
1999-07-15
F.analyze.file.summary, 1
2001-08-10
Qualitative Simulation Using Time-Scale Abstraction
1996-02-28
Benjamin Kuipers
Video-based Realtime Eye Tracking Technique for Autostereoscopic Displays
2001-03-16
Unsupervised Learning for Nonlinear Synthetic Discriminant Functions
1998-01-22
Visual Information Seeking: Tight Coupling of Dynamic Query Filters with Starfield Displays
2001-02-27
Christopher Ahlberg
Why is the U.S. Unemployment Rate So Much Lower?
2001-05-15
Robert Shimer
Search for Heavy Isosinglet Neutrino in e
2001-08-02
Multiscaling in Inelastic Collisions
2001-03-08
Text Types in Hypermedia
2001-06-29
A Distribution Network for Free Software
2001-02-09
A Protocol Design of Communication State Transfer for Distributed Computing
2001-08-24
Timed Cell-DEVS: modelling and simulation of cell spaces
2001-02-06
Gabriel Wainer
Simplifying a Polygonal Subdivision While Keeping it Simple
2001-03-29
Jamshid Beheshti, Ph.D. Director
2000-05-08
Real-time Reactive Programming for Embedded Controllers
2001-03-16
Richard B. Kieburtz
Tighter bounds for the gap and non-IRUP constructions in the one-dimensional cutting stock problem
2001-06-07
A Framework for Level Set Segmentation of Volume Datasets
2001-06-26
Maintenance of Genetic Variation in Phenotypic Plasticity: The Role of Environmental Variation
2001-04-05
Gerdien Sergey Gavrilets
OIL: An Ontology Infrastructure for the Semantic Web
2001-07-15
Play It Again: A Study of the Factors Underlying Speech Browsing Behavior
2001-04-05
Unknown
2001-05-21
Temporal Visualization for Legal Case Histories
1999-08-31
The Need for Surveillance in Intelligent Transportation Systems
2000-07-19
Single-trap Loop Detectors
Sequence-Disorder Effects on DNA Entropic Elasticity
2000-02-16
Philip Nelson
A Numerical Method to Compute the Dissolution of Second Phases in Ternary Alloys.
2001-08-20
Inductively Generated Formal Topologies
2001-03-02
Propagation of the Bastille Day 2000 CME Shock in the Outer Heliosphere
2001-08-17
Finding Structure in Time
1998-11-17
Jeffrey Elman
Flexibly Constructing Secure Groups in Antigone 2.0
2001-03-16
Combinatorics of Periods in Strings
2001-04-09
Applied Distributed Discrete Process Simulation
2001-06-14
A Bi-Criterion Approach for the Airlines Crew Rostering Problem
2001-07-31
Two methods for interoperability tests generation: An application to the TCP/IP Protocol
2001-06-04
ENSEMBLE: A Communication Layer for Embedded Multi-Processor Systems
2001-05-21
A Functional Magnetic Resonance Imaging Study of Auditory Mismatch in Schizophrenia
2001-06-04
Computing the Width of a Point Set in 3-Space
2001-07-30
Thomas Herrmann
999 9999 9999 9999 999
2001-04-02
Jlkmnloqpr S R Tptus Tu
Climate Change and Forest Sinks: Factors Affecting the Costs of Carbon Sequestration
2001-03-30
Representations of Finite Dimensional Hopf Algebras
2000-02-28
Martin Lorenz
Simulated observation of tropospheric ozone and CO with the Tropospheric Emission Spectrometer TES satellite instrument
2001-04-30
Cost Complexity Pruning of Ensemble Classifiers
2000-07-10
Interpolating Wavelet Galerkin Model of Time Dependent Inhomogeneous Electrically-Large Optical Waveguide Problems
2001-03-25
What Is Wrong with Taylor Rules? Using Judgment in Monetary Policy through Targeting Rules
2001-08-05
Lars E. O. Svensson
The Stable Manifold Theorem For Nonlinear Stochastic Systems With Memory I: Existence Of The Semiflow.
2001-06-18
Metric Rectification for Perspective Images of Planes
1998-04-15
Numerical Study of Quantum Resonances in Chaotic Scattering
2001-07-26
Kevin K. Lin
Optimal Choice of Granularity In Commonsense Estimation: Why Half-Orders of Magnitude
2001-03-29
Algorithmic Solution to Second-order Fluid Flow
2001-07-30
On Synchronized Simulation in a Distributed Virtual Environment
2000-12-21
A Methodology For Complex Embedded Systems Design - Petri Nets within a UML Approach
2001-05-22
Reduplication and the Arbitrariness of the Sign
2000-08-24
Terry Regier
Improving Display of Search Results in Information Retrieval Systems - Users' Study
2001-03-29
Design and Implementation of a 16 by 16 Low-Power Two's Complement Multiplier
2000-01-19
Pulse shaping witha phase-shifted fiber Bragg grating for antisymmetric pulse generation
2000-12-19
A Level Set Approach For The Solution Of A State-Constrained Optimal Control Problem
2001-06-15
Unknown
1997-10-13
Designing a CORBA-based High Performance Open Programmable Signaling System for ATM Switching Platforms
1999-04-08
Evaluating Composite Events using Shared Trees
2001-02-13
A Kähler metric on a based loop group and a covariant differentiation
2001-02-17
Ichiro Shigekawa
Detecting and Modeling Spatial Disease Clustering: A Bayesian Approach
1999-05-24
Externally Resonated Linear Microvibromotor for Microassembly
2001-07-14
P-MIP: Paging in Mobile IP
2001-08-14
On the Group of a Sandpile
2001-07-30
Fixing Facility Damages: Sharpening the Focus on Prevention
2001-04-18
Departments of Computer Science
2001-06-08
Unknown
2001-07-13
Ram Chillarege
Using The Active Appearance Algorithm For Face And Facial Feature Tracking
2001-02-21
Jrgen Ahlberg
The Impact of the Infinite Primes on the Riemann Hypothesis for Characteristic L-Series
2001-05-25
David Goss
Occlusion Evaluation In Hierarchical Radiosity
2000-12-22
Social Navigation Research Agenda
2001-04-22
A Comparison of Dipolar and Focused Inversion for EEG Source Imaging
2001-07-02
Adaptive Wiener Denoising Using A Gaussian Scale Mixture Model In The Wavelet Domain
2001-06-15
Deriving Fault Architectures from Defect History
2001-08-16
Base Composition Skews, Replication Orientation, and Gene Orientation in 12 Prokaryote Genomes
2001-05-16
MAPWEB: Cooperation between Planning Agents and Web Agents
2001-01-23
COTS-Based Software Development: Processes and Open Issues
2001-07-31
Visualization and selection in a music database: A case study
2001-06-27
Temporal Aggregation Of An Econometric Equation
2001-03-15
Erik Ruist
On-Line Transform Domain LMS Algorithm Implemented with PCA Learning
1998-01-22
Asymptotics For The Tukey Median
2001-08-09
Qualitative Reasoning about Dynamic Change in the Spatial Properties of a Physical System
1995-11-20
Raman M. Rajagopalan
Boosting with the L_2-Loss: Regression and Classification
2001-08-11
Bin Yu
Improving Prediction of Protein Secondary Structure using Structured Neural Networks and Multiple Sequence Alignments
2001-03-02
Origins of the Scaling Behaviour in the Dynamics of Financial Data
2001-07-20
Imposing Sparsity on the Mixing Matrix in Independent Component Analysis
2001-03-19
Parametric Temporal Logic for "Model Measuring"
2001-07-02
On Codes With the Identifiable Parent Property
2001-04-19
Good Approximations for the Relative Neighbourhood Graph
2001-07-30
The Gamma Model- A New Neural Model for Temporal Processing
1998-01-22
Delta-Hedged Gains and the Negative Market Volatility Risk Premium
2001-08-17
A Comparison of Application-Level and Router-Assisted Hierarchical Schemes for Reliable Multicast
2001-07-30
Good Quotients of Torus Actions
2001-03-25
J Urgen Hausen
Cohomology Classes Of Dynamically Non-Negative Functions
2001-05-24
The RandomFields Package
2001-06-11
A Mobility Based Metric for Clustering in Mobile Ad Hoc Networks
2001-04-12
Voting by Successive Elimination and Strategic Candidacy
2001-03-13
The acceptance of modal innovation: The case of Swissmetro
2001-03-28
Reflections on Authoring, Editing, and Managing Hypertext
2001-02-27
Ben Shneiderman
On Representing Commonsense Knowledge
1996-08-19
Benjamin Kuipers
Local CPS conversion
2001-04-27
A Virtual Environment on the Web to Promote Social Interaction and Collaborative Work
1999-04-15
Fast Incremental Maintenance of Approximate Histograms
2001-07-01
The strucchange Package
2001-07-17
Using Minimal Source Trees for On-Demand Routing in Ad Hoc Networks
2001-07-30
On Concurrent and Resettable Zero-Knowledge Proofs for NP
2001-07-15
A Wavelet Formulation of Finite Difference Method: Full Vector Analysis of Optical Waveguide Junctions
2001-06-29
Motion Clustering using the Trilinear Constraint over Three Views
1997-09-03
Statistical Machine Translation
2001-05-03
Online Television Library: Organisation and Content Browsing for General Users
2000-10-30
Human-Robot Interaction for Skill acquisition in B-LEARN II
1997-12-17
Michael Kaiser
Numerical Solution of Linear-Quadratic Control Problems for Descriptor Systems
1999-04-27
Job-Shop Scheduling using Timed Automata
2001-05-16
Building a Reason-able Bioinformatics Ontology Using OIL
2001-08-14
Document Filtering Boosted By Unlabeled Data
2001-06-18
Tuesday, May 27, 1997, 2:51 pm
1998-04-07
Performance modelling in PEPA with higher-order functions
2001-03-23
Exact Simulation of Random Variables that are Solutions of Fixed-Point Equations
2001-06-14
Generalized Audio Coding with Mpeg-4 Structured Audio
1999-06-01
Pure vs. Mixed Motive Games: On the Perception of Payoff-Orders
2001-06-20
Today's Stories
2000-11-24
--- The Tempest --- A Practical Framework for Network Programmability
1999-03-11
Von Neumann stability conditions for the convection-diffusion equation
2001-07-28
Extracting Alternative Machining Features: An Algorithmic Approach
2001-07-09
Color Quantification In Endoscopic Video Sequences: Potentials And Limits
2000-08-15
T Lehmann
A Cell Probe Lower Bound for Dynamic Nearest-Neighbour Searching
2001-04-27
SeamlessDesign for 3D Object Creation
2001-03-29
Feedback Algorithms for Turbulence Control---Some Recent Developments
2001-03-07
Through the Looking-Glass with ALICE - Trying to Imitate using Correspondences
2001-07-18
Programming Languages for Distributed Applications
1998-03-05
From Logic Programs to Inductive Definitions
2001-08-18
Robert F. Stark
Modeling Systems in UML 2.0 - A Proposal for a Clarified Collaboration
2001-06-22
Dependence structure of stable R-GARCH processes
2001-07-20
Efficient Consequence Finding
2001-04-23
Change Intolerance in Spanning Forests
2001-03-02
Data-Driven Modeling Of Non-Linear Microwave Devices
1999-04-17
On Projection Matrices $P^kightarrow P^2$ and their applications in computer vision
2001-04-20
Anti-Links for Boolean Function Manipulation
1995-08-29
Extractors from Reed-Muller Codes
2001-05-31
Multiuser Capacity in Block Fading with no Channel State Information
2001-02-28
Car: The Class Archive Format
2001-01-17
Denis N. Antonioli
Optimization Of Incompletely Specified Mvl Functions Using Genetic Algorithm.
2001-07-23
Performance of the Hough transform on a distributed memory multiprocessor
2000-12-20
Multiple-Instance Learning of Real-Valued Data
2001-07-24
On Some Randomised Algorithms for Graph Colouring
2001-07-29
The ASF+SDF Meta-Environment: a Component-Based Language Development Environment
2001-06-09
Curve Extraction in Images Using a Multiresolution Framework
1998-07-23
sTeam - Designing an Integrative Infrastructure for Web-Based Computer-Supported Cooperative Learning
2001-03-23
A Natural Deduction Approach to Dynamic Logic
2001-04-20
Furio Honsell
Computer-Generated Pen-and-Ink Illustration
2001-06-14
Georges A. Winkenbach
Towards Fusing Sophisticated Mathematical Knowledge and Informal Expert Knowledge: An Arbitrary Metric Can Be Naturally Interpreted in Fuzzy Terms
2001-08-01
An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets
1998-02-06
User's Manual as a Requirements Specification
2001-06-04
A Note on Model Checking Reuse
2001-07-09
Nonlinear Optimal Control: A Control Lyapunov Function and Receding Horizon Perspective
1999-05-21
Unknown
2001-04-10
Optimal Algorithms for Two-Guard Walkability of Simple Polygons
2001-05-11
A Framework for Soliciting Clarification from Users During Plan Recognition
2001-05-31
File and Object Replication in Data Grids
2001-06-11
Feature Logic for Dotted Types: A Formalism for Complex Word Meanings
2001-04-05
Guiding User Navigation in Virtual Environments Using Awareness of Virtual Off-Screen Space
2001-02-23
Observing Shape From Defocused Images
2001-06-05
Domain-Adaptive Information Extraction
2000-12-05
Constructing Infinite One-Regular Graphs
2001-07-28
Ternary Decision Diagrams Survey
2001-04-16
Tsutomu Sasao
R-Simp: Model Simplification In Reverse, A Vector Quantization Approach
1999-03-13
Order Fill Rate, Leadtime Variability, and Advance Demand Information in an Assemble-to-Order System
2001-04-30
Implementation Skeletons in Eden: Low-Effort Parallel Programming
2001-01-18
Object-Centered Visual Neglect, or Relative Egocentric Neglect?
2001-08-18
Class-based Cache Management for Dynamic Web Content
2001-07-30
CMIFed: A Presentation Environment for Portable Hypermedia Documents
1995-03-13
UML for Agent-Oriented Software Development: The Tropos Proposal
2001-07-09
Work Practices as an Alternative Method to Assist Tool Design in Software Engineering
2000-05-07
On-Line Integrity Monitoring of Microprocessor Control Logic
2001-08-02
Measuring Border Irregularity And Shape Of Cutaneous Melanocytic Lesions
2001-02-16
Daily Exchange Rate Behaviour and Daily Exchange Rate Behaviour and Hedging of Currency Risk Hedging of Currency Risk
2001-03-16
The MUSA Design Methodology
1994-12-04
E-Unification to Handle Equality in Universal Formula Semantic Tableaux
1994-11-15
Framework Development and Reuse Support
2001-04-27
Improving Automatic Speech Recognition Using Tangent Distance
2001-06-01
Critical Edges in Perfect Graphs and Some Polyhedral Consequences
2001-07-29
Annegret Wagler
Partial-Order Planning with Concurrent Interacting Actions
2001-04-28
A Business and Domain Model for Information Commerce
2001-01-04
ORION: An Adaptive Home-based Software DSM
2001-06-13
Building Storage Appliances for the Grid and Beyond
2001-05-17
Low Complexity Speaker Authentication Techniques Using Polynomial Classifiers
2001-01-25
Robust Software Tokens: Towards Securing a Digital Identity
2001-05-14
Taekyoung Kwon
Reduction of Hyperopia Associated With Manual Excision of Salzmann's Nodular Degeneration
2001-07-27
Approximate Solves in Krylov-based Modeling Methods
1997-12-19
Rapid Parallelisation of the Industrial Modelling Code PZFlex
2001-02-12
Multiplexing Regulated Traffic Streams: Design and Performance
2001-07-30
Bounds on the Throughput of Congestion Controllers in the Presence of Feedback Delay
2001-05-30
The Higher-Order Recursive Path Ordering
2001-03-20
Structure-Property Correlations in Al-Li Alloy Integrally Stiffened Extrusions
2001-04-05
A Basis for Self-Repair Robots Using Self-Reconfiguring Crystal Modules
2001-06-05
Evolution of Microstructure
2001-08-11
Felix Otto
Duality and the Vacuum
1998-04-05
Theodore J. Allen
Grouping Techniques for Scheduling Problems: Simpler and Faster
2001-06-13
The Design of a Letter-Mail Transportation Network by Intelligent Techniques
2000-12-15
Limitation of the Hyper-Period in Real-Time Periodic Task Set Generation
2001-03-26
Christophe Macq
Regulation of a Nonholonomic Dynamic Wheeled Mobile Robot with Parametric Modeling Uncertainty using Lyapunov Functions
2001-06-29
Spectrogram
2000-10-03
List Edge-Colorings Of Series-Parallel Graphs
1999-02-24
Martin Juvan
Decision oracles are equivalent to Matching oracles
1999-03-17
The Rational Mirror: Learning how to Explicitly Organize Messy Concepts
2001-06-14
Metaqueries for Data Mining
2001-01-02
Kayliang Ong Mcc
On Logic Test Generation - Algorithms and Methods for Combinational Test Generation
2000-07-07
On the Union of Well-Founded Relations
1998-02-19
Heerlen Nederland
Penalty Search
2001-04-02
Personal and group spaces: Integrating resources for users of digital libraries
2001-07-19
Information-Theoretic Private Information Retrieval: A Unified Construction
2001-02-13
Aggregate Operators in Constraint Query Languages
2001-04-25
On CDMA Transmission over Mismatched Fading Channels employing MMSE{Receivers and Successive Cancellation
2000-07-10
Alexander Lampe
Silent Stores for Free: Reducing the Cost of Store Verification
2001-02-28
Kevin M. Lepak
Extracting The Relevant Delays In Time Series Modelling
2001-03-02
Cyril Goutte
Gathering at the Well: Creating Communities for Grid I/O
2001-08-01
Data Acquisition and Integration in the DGRC's Energy Data Collection Project
2001-07-02
Visualizing a Knowledge Domain's Intellectual Structure
2001-03-05
Truncated Gröbner Bases for Integer Programming
2001-07-28
Evaluation of the empirical performance of two-stage budgeting AIDS, QUAIDS and Rotterdam models based on weak separability
1998-12-08
Investigating Emissions of Traffic By Simulation
2001-05-01
Real-Time And Exact Collision Detection For Interactive Virtual . . .
2001-03-30
Gabriel Zachmann
Program Representation Size in an Intermediate Language with Intersection and Union Types
2001-05-24