CDF/ANAL/EXOTIC/CDFR/3572 Version 2.0 May 17th, 1996 WARNING. This is an internal and confidential CDF note. If you are not a
2002-11-26
A Comparison Study between the CUDD and
2002-09-05
Rune M. Jensen
Unknown
2003-04-22
Diogo A. Gomes
Research Article
2004-02-06
Daniel G. Brown
Selective Buddy Allocation for Scheduling Parallel Jobs on Clusters
2002-06-28
On the Nonlinear Stability of the Unsteady, Viscous Flow of an Incompressible Fluid in a Curved Pipe.
1995-05-17
Trudi A. Shortis
Program Directory for Advanced Communications Function ACF System Support Programs SSP
2001-11-30
Fmid Hsp
Polymorph: Morphing among Multiple Images
1997-12-09
Trading-off Local versus Global Effects of Regression
2002-08-29
Semantic Selection for Resolution
2002-10-11
The Content-Addressable Network d2b
2003-01-10
Pierre Fraigniaud
I/O-ecient Point Location using Persistent B-Trees
2003-01-06
Complete Distributed Coverage of Rectilinear Environments
2000-05-08
Spatio-Temporal Browsing of Multimedia Presentations
2003-06-03
Ramazan Savas Ayg Un
Empirical Likelihood Based Hypothesis Testing
2002-03-13
Unknown
2003-03-31
Preprint BUGHW-SC 02/1
2002-04-16
Holger Arndt
John J. Wilson, Acting Administrator From the Administrator
2000-08-18
Journal of Computational Physics 164, 204--227 2000
2001-09-07
Stability of Trapped Ions in Electron Storage Rings in
1998-03-04
Linearity of the transverse Poisson structure to a coadjoint orbit
2003-06-21
T. Fardilha
Accepted to Special Issue on Software Agents and Simulation, SIMULATION, April 2001 A Distributed Agent-based Simulation Environment for Interference Detection and Resolution
2001-08-31
Defect Analysis And Realistic Fault Model Extensions For Multi-Port SRAMS
2001-05-03
Csc-387 Parallel Processing
2003-11-13
Instructor Fikret Ercal
A Note on Monotone Complexity and the Rank of Matrices
2003-04-11
Unknown
2000-05-19
Willem Veys
A Circuit Representation Technique for
2003-07-26
Controlled Buffer Sharing in Continuous Media Servers
2003-05-21
Estimating the Interest Rate Term Structure of Corporate Debt
2003-01-09
FINAL DRAFT Comparing Living Standards across Nations:
2002-03-01
On Certain Coxeter Lattices without Perfect Sections
2004-05-24
Anne-marie Berg
Quality of Service Management Issues in Electronic Commerce Applications
1999-06-08
Prioritised Dynamic Communicating Processes: Part II
2002-09-23
Cycle Length Distributions in Graphical Models for Iterative Decoding
2002-10-10
Ecient Dominating Sets in Cayley Graphs
2003-11-06
National Aeronautics and
2002-03-13
Filterbank-Based Fingerprint Matching
2000-06-23
P³L: a Structured High-level Parallel Language, and its Structured Support
2002-11-18
Type: Public Nature: Report Due date: 31/1/97
2002-09-18
Region-Based Representation for
1997-11-18
On a Constraint System for Lattice Interval Domains
2001-01-12
The Echellograms and Response Functions
2003-04-08
Tae-soo Pyo
The Applicability to ILP of Results Concerning the Ordering of Binomial Populations
2002-03-20
Ashwin Srinivasan
Symbol Binding and Resolution in Programming
2002-11-15
David Lomet
Support for Evolution of Systems through Software Composition
2002-01-19
Motion Planning for Cooperating Mobile Manipulators
2002-09-13
Jaydev P. Desai
Measures for Electronic Use: The ARL E-Metrics Project
2002-09-25
A Class of Instantaneously Trained Neural
2002-05-07
Subhash Kak
Higher-Order Recursive Path Orderings a la carte
2001-11-21
Online Call Admission in Optical Networks with Larger Demands
2002-12-06
Sven O. Krumke
Information Theory, Pattern Recognition and Neural Networks
2001-04-25
Lecturer David Mackay
Kekb Injection Kicker Magnet System
2000-08-18
The Restarted Qr-Algorithm For Eigenvalue
2003-03-06
Proc. IV IEEE Signal Processing Workshop on Signal Processing Advances in Wireless Communications SPAWC 2003,
2003-08-05
Instability Analysis Of Saddle Points By A Local
2004-01-06
Jianxin Zhou
Appears in the Annual International Symposium on Computer Architecture
2003-04-08
A New Multiobjective Evolutionary Algorithm
2003-04-28
Is Electronic Privacy Achievable?
2004-05-20
Nonlinear Discriminant Analysis Using Kernel
2001-07-02
Unknown
2004-03-19
Minimal Forbidden Patterns
2003-06-02
Quantization and Coding for Decentralized LTI Systems
2003-12-16
Serdar Y Uksel
Unknown
2002-11-17
Fourier-Galerkin Algorithm for 2D Localized Solutions
2002-02-11
Parallel N-ary Speculative Computation of Simulated Annealing
2003-08-13
Andrew Sohn
Computing the Poles of Autoregressive Models
2001-11-29
For Solutions Of The
2001-11-26
Mar'ia J. C Aceres
August 2001
2002-06-20
National Aeronautics and
2000-03-01
Schedulability Analysis Using Two Clocks
2003-01-31
Constrained Fitting in Reverse Engineering
2002-04-13
Unknown
2003-05-20
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 19, NO. 1, JANUARY 2001 33 On the Spectral Efficiency of Wideband CDMA
2001-12-31
Daniel L. Noneaker
On the Effects of Content Compression on Web Cache Performance
2003-06-20
Abst Act
Randomized Lower Bounds for Online Path
1998-07-29
Control of Scene Interpretation
1994-12-13
A Ramsey-type bound for rectangles
2003-02-24
Journal Of Formalized Mathematics
2004-01-02
Beata Perkowska
National Aeronautics and
1999-02-05
Quasiclassical Trajectory Calculations of Collisional Energy Transfer in
2000-03-22
Data Compression for System-on-Chip Testing using ATE
2002-09-17
Improved Class Probability estimates from Decision Tree Models
2002-04-18
Fabrication of a Sludge-Conditioning System for Processing Legacy Wastes from the Gunite and Associated Tanks
2000-08-22
The Effect of Biased Regression on the Identification of FIR and ARX Models
2003-01-06
Algebraic Schwarz Methods
2003-06-20
Automated Documentation System for Pottery
2002-09-26
Towards Thought as a Logical Picture of Signs
2002-02-18
UV Emission from Elliptical Galaxies
1997-07-07
A Frequency Domain Model-Order-Deduction Algorithm For
2004-06-11
Asynchronous Verifiable Secret Sharing and Proactive
2002-09-10
Circuit Bases Of Strongly Connected
2002-05-06
A Spectral Characterization of Exponential Stability for Linear Time-Invariant Systems on Time Scales
2001-11-21
Lexical contact during speech perception: A connectionist model
2003-01-07
Logics for Emerging Applications of Databases
2003-02-20
London Milan Paris
Hemostasis, Thrombosis, And Vascular Biology
2002-04-18
Unknown
2001-01-12
Engineering and Routing of Connection-oriented Multirate Reference Networks
2003-03-11
Harro L. Hartmann
Machine Translation with a Stochastic Grammatical Channel
1998-05-23
Centers of Complex Networks
2002-09-26
Learning Elementary Formal Systems with Queries
2001-10-17
Notification Services In A Distributed Conferencing System
2000-10-20
Swati Patanjali Shukla
F 0 Correlates Of Topic And Subject
2003-03-18
John Fry
Loose Coupling of Failure Explanation and Repair:
2002-03-28
Michael T. Cox
Uncertainty Principles and Asymptotic Behavior
2003-06-12
Online Feedback-Directed Optimization of Java
2003-06-24
Hardware-Software Covalidation: Fault Models and Test Generation
2002-05-11
Ian G. Harris
Structured Eigenvalue Methods for the Computation of Corner Singularities in . . .
2001-10-08
Unknown
2002-12-09
An n 2-dimensional Quadratic Surface Determining All Cliques and a Least Square Formulation for the Maximum Clique Problem
2002-09-10
Stanislav Busygin
Modeling Paraconsistent Knowledge in Distributed Systems
2003-02-25
A Comparison of Melodic Database Retrieval Techniques Using Sung Queries
2003-06-20
FROM FOURIER TO WAVELET ANALYSIS OF TIME SERIES Pedro A. Morettin
2003-06-09
Pedro A. Morettin
Arithmetic quantum chaos of Maass waveforms
2003-05-23
A System to Place Observers on a Polyhedral
2000-11-15
SUGGEST : A Web Usage Mining System
2004-03-10
Cognitive Mastery Learning in the ACT Programming Tutor
2000-01-21
Albert Corbett
Vertex Theorems, Sturm Theory
2003-04-01
Ricardo Uribe-vargas
Bootstrapping with Noise: An Effective Regularization Technique
1999-06-27
BANANAS: An Evolutionary Framework for
2003-02-28
Replace This
2003-06-16
Discovery of a Supernova Explosion at Half the Age of the Universe and its Cosmological Implications
1997-12-16
Nanosystem Design with Dynamic Collision Detection for Autonomous Nanorobot Motion Control using Neural Networks
2002-10-10
Finding Patterns in Three Dimensional Graphs: Algorithms and Applications to Scientific Data Mining
2001-01-31
A Unified Multigrid Solver
1995-10-03
J. theor. Biol. 2000 206, 525}537
2001-08-25
Using Observation and Refinement to Improve Distributed Systems Test
2002-12-09
Dynamic Deployment of Java Applications
2002-09-05
Reals which Compute Little
2002-12-02
Reals Which Compute Little
Pairwise Preference Learning and Ranking
2003-06-25
Compatible Improvement of the GSM/GPRS
2003-11-06
How Does the User Interface Design of Mobile Devices Influence the Social Impact of Mobile Communication?
2002-02-18
Unknown
2002-09-22
Centrum voor Wiskunde en Informatica
2003-02-06
ACI1 constraints
2001-05-09
Commutators, Spectral Trace Identities, and Universal Estimates for Eigenvalues
2002-01-24
Disk Performance Enhancement through
1994-05-23
Electronic Notes in Theoretical Computer Science 65 No. 6 2002
2003-06-27
Scheduling Independent Multiprocessor Tasks
2003-01-09
Draft for submission to Advances in Modal Logic 2002
2002-07-01
Bioinformatics Applications Note
2001-12-27
Nicolas Le Nov Ere
Principles Of Maude
2003-06-08
Unknown
2002-04-30
Unknown
2002-06-19
A short proof of an interesting Helly-type
1998-02-20
Nina Amenta
Mathematical Results Concerning Kernel
2002-11-18
Robert Schaback
The Importance of Understanding Web Site Structure
2002-06-23
Robert Cooley
DePo" : A Delayed Pointer" Neural Net Model
2002-01-29
Hugo De Garis
An Optimal Skorokhod Embedding for Diffusions
2002-12-12
A. M. G. Cox
Lessons for the Computational Discovery of Scienti
2002-06-03
Pat Langley
Design and Implementation of an Efficient I/O Method
2001-03-19
A System for Real-time Competitive Market Intelligence
2002-08-08
A Corpus Based Morphological
2002-07-09
Well--Posedness And Asymptotic Behaviour Of
2001-05-15
Roland Schnaubelt
On Neural Network Topology Design
2004-01-20
Unknown
2003-04-17
Budgeted Maximum Graph Coverage
2002-12-06
Modeling The Design-Build Development
2001-11-29
Gil N
Unknown
2003-02-12
Application Of Genetic Algorithms To The Multiobjective
2004-05-13
The Large Discretization Step Method for
1995-05-17
Zigo Haras
Design and Analysis of Power Integrity in Deep Submicron
2001-08-15
On a conjecture of Baou and Balinski
2003-09-16
David Avis
Theses for PhD-dissertation
2002-12-23
Computational Geosciences 6: 333--352, 2002.
2003-01-19
J. Hyman
On The Modeling Of Rotating Beams For Rotorcraft Blade Analysis
2004-04-15
Constraint Programming in a
2002-01-28
Ubiquitous Interaction - Using Surfaces in Everyday Environments as Pointing Devices
2002-10-09
Unknown
1999-03-09
Journal of Artificial Intelligence Research 15 2001 207-261 Submitted 5/00; published 9/01 Planning by Rewriting
2002-10-25
On using Common Lisp
2002-12-20
N. Neuss
Unknown
1999-04-27
W. B. Langdon
Unknown
2002-11-13
Peter B. Delahunt
An Optimal Divide-Conquer Algorithm for 2D
2003-05-21
Conceptual Multidimensional Data Model Based on MetaCube
2004-03-10
in the Federal Courts: A Research Guide
2004-06-08
Molly Treadway Johnson
Software Systems for Tabular Data Releases
2002-06-05
A Comparison of Workflow Metamodels
1997-10-20
Semiparametric Approach to Blind Separation
2002-04-25
Any Two Learning Algorithms Are Almost Exactly Identical
2003-07-26
David H. Wolpert
Global Optimization of Histograms
2001-03-17
Persistence of relative equilibria in Hamiltonian systems with non-compact symmetry
2002-11-04
Intelligent Agents On The Internet:
2002-02-04
Coloring Graphs With a General Heuristic Search Engine
2003-01-28
On the Use of Shadows in Stance Recovery
2001-09-22
An Event Algebra for Specifying and Scheduling
1995-01-15
AIMD, Fairness and Fractal Scaling of TCP Traffic
2004-04-22
Coding of Sources with Two-Sided Geometric Distributions and Unknown Parameters
1999-09-23
c flCopyright by
1996-04-04
Theron Donald Tock
Working T13 Draft 1510D
2002-10-08
National Aeronautics and
2000-01-12
Group Rekeying with Limited Unicast Recovery
2003-11-22
Analysis of Supervised Word Sense Disambiguation
2002-07-09
Asymptotic Behavior in a Heap Model with
2000-12-14
Line-Energy Ginzburg-Landau Models: Zero-Energy States
2001-10-01
Ways Means 259 MarryingstyingT1 and genomics
2002-04-03
Strong t-perfection of bad-K4-free graphs
2002-04-01
Alexander Schrijver
Building and testing the SHYSTER-MYCIN hybrid legal expert system
2003-05-13
Thomas A. O'callaghan
Standards Project: Standards Project for Interfaces Relating to
2004-06-12
A Fully Object-Oriented Exception Handling System:
2002-12-10
Christophe Dony
On Bisectors for Different Distance Functions
2002-04-24
future-proofing O-O concepts 30 method project 27 method project termination 32 owner 32 still in use 34 upwards-compatible with earlier Yourdon methods 27 U
2002-04-03
See Ysm
Maximum Likelihood Separation of Constant Modulus Signals
2001-07-05
Amir Leshem
The Inner Products of Geometric Algebra
2002-06-03
Leo Dorst
Random Variate Generation for
2003-07-17
Eectiveness of Loss Labeling in Improving TCP Performance in
2002-08-30
Analysis of Switching Dynamics with
2003-06-26
Proof Search in First-order Linear Logic and Other Cut-free Sequent Calculi
2003-04-25
On Income Inequality and Green Preferences
2002-11-01
Practical Application of Formal Methods in Modeling and Simulation
2003-06-05
Spatially Correlated Light Emission From a Resonant-Cavity
2003-01-06
Unknown
2002-04-25
A Family of Nonisomorphic
2002-09-27
Christopher Homan
Cp Violation In K
1996-07-23
L. Wolfenstein
Smoothness of the Term Structure
2002-01-14
Stefan Jaschke
ESTSim: A tool for creating benchmarks
2003-11-13
Siim -Tr -A -02-08
2002-04-19
Virtual Mitochondria : Metabolic Modelling and Control.
2003-07-11
A Virtual Reality Environment
1999-06-29
Jean-christophe Lombardo
Adaptive Meshfree Method of Backward Characteristics for Nonlinear Transport Equations
2002-03-04
Armin Iske
Sensing Wave-Front Amplitude and Phase With
2002-09-25
The Network Workbench: Network Simulation Software for
2004-02-19
J. Mark Pullen
Unknown
1998-04-06
A Giotto-Based Helicopter Control System
2002-12-12
Cross-Correlations of Quadratic Form Sequences in Odd Characteristic
2002-04-14
The Maude LTL Model Checker
2003-06-08
Agency for Toxic Substances and Disease Registry ToxFAQs September 1997
2004-03-19
The Cervantes Project: Steps to a Customizable and
2002-02-26
Path Planning and FlightController Scheduling
2002-05-29
Termination Proofs for a Lazy Functional
1996-06-03
Unknown
2001-09-10
The formal proof sketch challenge Freek Wiedijk
2002-04-15
Freek Wiedijk
Unknown
2003-06-11
Walt Scacchi
Upper First-Exit Times of Compound Poisson Processes Revisited W. Stadje
2002-09-27
W. Stadje
Real Option Evaluation in Fuzzy Environment
2003-02-06
Christer Carlsson
D Site Mapping with the CMU
1999-08-04
Parallel and Fully Recursive
2002-12-12
Assessing the Potential of Interior Methods for Nonlinear Optimization
2001-03-28
Feature Selection: Evaluation, Application, and Small
2002-01-04
Unknown
2001-11-12
George C. Davis
An Assessment of CFD Effectiveness for Vortex-Flow Simulation to Meet Preliminary Design Needs
2002-03-06
Size-based Scheduling to Improve Web Performance MOR HARCHOL-BALTER, BIANCA SCHROEDER, NIKHIL BANSAL, and
2003-04-07
Neighborhoods Revisited:
2002-09-26
Matthijs Besten
Quiescent And Flaring Structure In Rs Cvn Stars
2002-04-02
TTP98--15 hep-ph/9807420 20 July 1998 Charge asymmetry of heavy quarks at hadron colliders J.H. Kuhn
2003-01-29
J. H. Kuhn
Analyzing mRyzingCF:3 complexes using a yeast
2002-10-09
Singular Integral Equation In Strong Quantum Electrodynamics D. Atkinson
2003-07-01
D. Atkinson
JOURNAL OF FORMALIZED MATHEMATICS Volume 2, Released 1990, Published 2003 Inst. of Computer Science, Univ. of Bial/ystok Real Function Uniform Continuity
2004-01-02
Konrad Raczkowski
Unknown
2001-07-31
The Bases of Effective Coordination in Decentralized
1998-05-20
Modeling and Analyzing Software Behavior in UML
2004-06-11
Families of Stationary Patterns Producing IllusoryMovement: Insights into the Visual System
1999-04-20
Tracking Objects using Recognition
2002-10-11
On the Gamma-equivariant form of the Berezin's quantization of the upper half plane
1997-09-25
Florin G. Radulescu
Compiling Exceptions Correctly
2004-04-19
Randomized Algorithms for Stability and
2003-04-25
Working Paper
2002-03-05
A Tool for Tagging Turkish Text
1994-02-08
Syllable-Proximity Evaluation in Automatic Speech Recognition
2003-02-04
Unknown
1997-04-17
pp655-jons-454089 JONS.cls November 15, 2002 16:3
2003-02-28
Newman's Inequality For M
1999-05-06
Towards Verifying Java Realizations Of Ocl-Constrained
2002-09-02
Ali Hamie
An Algorithm for Classification by Feature
1994-02-01
Efficient Peer-To-Peer Searches Using Result-Caching
2003-02-11
Unknown
2001-07-06
Precise and Efficient Call Graph Construction for C Programs with Function Pointers
2003-06-19
Supporting Communicability with Use Case Guidelines: An Empirical Study
2003-09-05
th ERCIM Workshop "User Interfaces for All" Position Paper CNR-IROE, Florence, Italy 25-26 October 2000
2001-02-27
C. Stephanidis
Intergenerational Social Mobility and Assortative Mating in Britain
2002-08-16
LEMUR:Legged Excursion Mechanical Utility Rover
2002-11-05
Volume xx 200y, Number z, pp. 1--8
2003-01-05
Syst. Biol. 521:37--47, 2003
2003-01-17
Journal of The Korean Astronomical Society
2002-03-15
Exact Primitives for Smallest Enclosing Ellipses
1997-04-27
On the Convergence of a New Levenberg-Marquardt Method
2001-07-10
Managing eBusiness on Demand SLA Contracts in Business Terms Using the Cross-SLA Execution Manager SAM
2003-02-04
Risk Assessment: a Forest Fire Example
2003-03-15
Probing a Set of Hyperplanes by Lines and Related Problems
1997-09-29
Appears in IJCAI-99 workshops: Learning About Users and Machine Learning for Information Filtering
2001-07-24
An Algorithm for Constructing a Multi-template Dictionary for Character
2001-10-02
Ansi
2004-06-11
Unknown
2001-10-18
Evolutionary Algorithms for Learning
2002-05-29
Simulations of dopant clustering in silicon: Dimer calculations using
2002-06-13
Atmospheri Envisphe nt 35 2001 3967--3977 Di8yi radiRyR forciR andatmospheri absorptii by boundarylayer aerosolsi the southeastern US: model estiyIfiI on thebasi of newobservatiIfi Shaocai
2004-01-29
Numerical Linear Algebra With Applications
2001-07-18
Submitted to The Astrophysical Journal Letters The Redshift of the Optical Transient Associated with GRB 010222
2001-03-29
NationalAeronautics and
2001-09-18
On the Robustness of some Cryptographic Protocols for
2002-01-03
Volker Roth
Large Deviations for Large Capacity Loss
2003-05-15
Real Time Response to Streaming Data on
2002-11-18
Automated Veri
2002-11-26
Program Size,
2003-04-01
Gregory J. Chaitin
Dynamic Way Allocation for High Performance, Low Power Caches
2002-01-07
Bayesian inference for Latent Class model via MCMC with application to capture-recapture data
2003-04-17
Comprehending and Visualising Software Based on XML-Representations and Call Graphs
2002-12-20
A New Learning Scheme for Neural Network
2003-03-14
Overcoming Non-stationarity in Uncommunicative Learning
2003-01-06
Unknown
2003-02-13
Huw Price
Study Monograph No. 3
2001-06-14
Manifold Pursuit: A New Approach to Appearance Based Recognition
2002-06-11
Time-Based Constraints in the Object Constraint
1999-12-01
KNITS: Switch-based Connection Hand-off
2002-11-06
Designing and Implementing Asynchronous
1998-02-26
Frontiers in Bioscience 7, d1288-1297, May 1, 2002
2002-03-28
Modelling residual systematic errors in GPS
2004-02-08
Discrete Dierential-Geometry Operators
2002-09-19
Real and Complex Regularity are Equivalent
2003-05-22
Guy M Etivier
Unknown
2002-10-17
Mark N. Franklin
ERROR ESTIMATE OF A SUBDIVISION SCHEME WITH A TRUNCATED REFINEMENT MASK Bin Han
2002-07-06
Bin Han
Analysis of 1970--1995 Trends in Tropospheric Ozone
2003-08-05
Interdependencei Fuzzy Multi16 Objecti E Programmi4
2003-02-04
Robert Fuller
On the Communication of Mathematical Reasoning
1998-06-12
Compiler Support for Parallel Program Performance Prediction
2002-01-21
Rizos Sakellariou
Cramr--Rao Bound on the Estimation Accuracy
2003-07-21
Fourth Eurographics Workshop on Parallel Graphics and Visualization 2002
2002-09-19
Lighthouses for Scalable Distributed Location
2003-02-02
Finding Convex Sets in Convex Position
2003-02-24
From Basic Views and Aspects to Integration of Specification Formalisms
2000-06-22
Effects Of Amine And Anhydride Curing Agents On The Vartm Matrix Processing Properties
2002-05-31
Written By
2003-02-28
EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH CERN/LHCC 97-8 LCB/RD45 June 18, 1997 OBJECT DATABASE FEATURES
1998-11-03
The Rd Collaboration
RAL-TR-2001-039 Implementing Hager's exchange methods for matrix
2001-11-02
De Bruijn's syntax and reductional behaviour of -terms
2002-05-07
Fairouz Kamareddine
LU TP 02-13 July 2002 The
2002-07-08
On the Automatic Extraction of Data from the Hidden Web Stephen W. Li9RU
2001-10-26
Iterative Inversion of Fuzzified Neural Networks
2002-12-09
Global Modeling of Tropospheric Chemistry
2001-08-24
Ergod. Th. Dynam. Sys. 2000, 20, 259--288
2003-05-16
The S-Calculus: Its Typed and Its Extended Versions
1997-04-15
Fairouz Kamareddine
An Extension of Dynamic Logic
2001-09-17
Acoustic Modeling
2002-05-22
Expert System Using Hybridism Among Symbolic
2001-06-18
Existence And Uniqueness Of Entropy Solutions For Nonlinear Elliptic Equations With Measure Data
1997-11-19
A Partial Approach to Model Checking
1995-02-16
Journal Of Formalized Mathematics
2004-01-02
Grzegorz Bancerek
Goal-Driven Learning in Multistrategy Reasoning and
2002-03-28
Efficient Methods For Nonlinear Eigenvalue Problems
2002-08-21
Timo Betcke
Communicating Piecewise
2003-04-22
Ultra Narrowband Optical Filters for Water
2001-12-03
Russell J. Deyoung
Performance Analysis Of An H.263 Video Encoder For
2003-01-09
From VHDL Register Transfer Level to SystemC Transaction Level Modeling:
2004-03-18
Mobile IP and Ad Hoc Networks: An
2003-05-07
An Integrated Ontology Development
2003-05-27
Intrinsic and climatic factors in North-American animal population dynamics
2003-03-04
Nicolas Loeuille
Sculptural Interpretation
2002-08-08
Robert J. Krawczyk
Numerical Exterior Algebra and
2000-08-21
Unknown
2002-12-10
M. Ritter
Smart Load Cells: An Industrial Application
2001-03-05
Use of Entity/relationship Diagramming as a Technique in the Grounded Theory Approach to Social Science Research
2002-07-02
Malcolm Brady
Nonlinear Excitation of Inviscid Stationary Vortex
1996-05-13
Unknown
2001-08-21
Thomas Christaller
Exploring the Limits of Graph Invariant- and Spectrum-Based Discrimination of
2002-06-11
oup.co.uk/imanum/hdb/Volume_21/
2004-03-16
Comparing Learning Classifier Systems for
2003-07-18
Celestial Navigation and Technological Change on Moce Island
2002-10-14
Electronic Dictionaries -- from Publisher Data to a Distribution Server: the
2002-07-24
A New Beacon ed System for the Localization of Movin g Objects Eduardo Zalam Casanova*, Salvador Dom inguez Quijada
2002-09-02
Incremental Compilation for Parallel Logic Verification Systems
2003-01-25
Integration of Optimization by Genetic Algorithms into an L-System-Based
2003-05-21
Equilibrium Phase Transitions in Coupled Map
2001-09-26
Wolfram Just
Geometric Minimum Spanning Trees via
2001-12-27
On Generalizing the AMG Framework
2003-07-31
Minimize Waiting Time and Conserve Energy by Scheduling
2002-11-13
Selective Sampling for Nearest Neighbor Classifiers
1999-04-11
The Causes And
2001-03-07
Fixation Probabilities in a Spatially Heterogeneous Environment
2002-02-01
Sergey Gavrilets
Building a Constraint-Based Spatial Database System: Model, Languages, and Implementation
2002-06-10
Using File-Grain Connectivity to Implement a Peer-to-Peer File System
2002-05-25
Analysis of Island Dynamics in Epitaxial Growth of Thin Films
2004-06-11
Why Does it Matter that Beliefs and Valuations be Correctly Represented?
2002-02-26
Chapter 2: Fractions Draft
2002-09-03
H. Wu
Proof of a Hypercontractive Estimate via Entropy
2001-12-19
Ehud Friedgut
Mining Significant Associations in Large Scale Text Corpora
2002-09-16
Important Issues in Foundational Formalisms
1997-04-13
Fairouz Kamareddine
Henselian Valued Field
2001-04-24
A Comprehensive Survey of Fitness Approximation in Evolutionary Computation
2003-02-25
Yaochu Jin
Applying Local Search to Temporal Reasoning
2002-05-10
Using Synthesis, Simulation, and Hardware Emulation to Prototype a
1997-03-31
James O. Hamblen
Iterative Product Engineering: Evolutionary Robot
2003-06-23
The procedure is so called because it takes the measure away from the committee "charged" with it. Strictly speaking, therefore, it is the committee, not the measure, that is discharged.
2002-05-08
Richard S. Beth
Chapter 3, Hepatitis A: 3 --1 Chapter 3: Hepatitis A
2003-02-26
Sierpinski Curve Julia Sets
2003-05-30
Analysis And Computation Of Traveling Wave Solutions Of
1998-12-16
Christopher E. Elmer
Repeater Insertion in Tree Structured Inductive Interconnect
2001-08-15
Three-Dimensional Imaging of Random Radiation Sources
2002-05-13
Spectroscopic Measurements Of Optical
2000-06-05
Computation of the Dominant Lyapunov
2002-05-03
Unknown
2003-06-16
On Combining Disjoint Caches
2003-03-29
Robert B. Gramacy
National Aeronautics and
1999-06-03
The Synergy Between Non-blocking Synchronization and Operating System
2001-10-15
Unknown
2004-03-19
Code Optimization for Code Compression
2003-01-28
Pricing Continuously Resettled Contingent Claims
2002-08-19
Darrell Duffie
The Matrix Package
2004-06-08
Pitch perception: A dynamical-systems perspective
2002-10-29
Branching Types
2002-02-07
J. B. Wells
General Multi-Level Linear Modelling for Group Analysis in FMRI
2003-08-01
Modeling, Simulation and Measurements of Queuing Delay under Long-tail Internet Traffic
2003-04-08
State Minimization Re-visited
2003-02-07
When METAFONT does it alone
1995-10-01
Jir Zlatuska
Giuseppe Attardi and Cristian Burrini
2000-10-26
Cristian Burrini
Toward an Account of Accented Pronoun Interpretation in
2002-07-06
Probabilistic Algorithmic Knowledge
2003-06-17
Composite Confidence Estimators for Enhanced Speculation Control
2002-10-24
Universal Codes for Finite Sequences of Integers Drawn from a Monotone Distribution
2002-05-31
Dean P. Foster
S. E. Schwartz
2003-06-27
In Tent, In Touch:
2001-03-13
Unknown
2001-11-26
Veridian Systems Division, Chantilly, Virginia
2002-07-30
From the Proceedings of the Case-Based Reasoning Workshop. DARPA Information Science and
1995-06-14
Stephen Slade
Chung T. Kwok and Daniel S. Weld
2002-02-05
Multilingual Grammar Development via Grammar Porting
2003-05-27
Proc. Int. Conf. on "Trapped Charged Particles and Fundamental Physics" Monterey, CA/USA, 9/1998,
2003-02-17
Global Adaptive Output Feedback Control of Uncertain
2001-10-31
Source-Channel Rate Allocation for Progressive Transmission of Images
2002-08-28
A Formalisation of Java's Exception Mechanism
2001-03-01
Calculi of Generalised fi-Reduction and Explicit Substitutions:
1997-04-13
Principles of Mobile Maude
2003-06-08
Unknown
1997-12-12
Eagles Document Eag--tcwg--mac/r
Mining HTML Pages to Support Document Sharing in
2002-08-29
Wavelets on Manifolds I: Construction and Domain
1998-01-26
School Of Operations Research
1999-05-04
Two Estimators of the Mean of a Counting Process with Panel Count Data
1999-04-25
Jon A. Wellner
National Aeronautics and
2001-08-20
Survey of Publish Subscribe Event Systems
2003-05-19
Version 6. Dated August 8, 2002.
2002-08-08
Unknown
2004-06-04
Russell Lyons
Contracting Over Multiple Parameters: Capacity Allocation in Semiconductor Manufacturing Suman Mallik Patrick T. Harker mallik84@opim.wharton.upenn.edu harker@opim.wharton.upenn.edu
1999-03-18
Axiomatizing Distance Logics
2002-01-10
Component Software:
2003-01-28
Working T13
2002-03-04
CDC02-REG0393 Satis
2002-03-06
Tridiagonal-Diagonal Reduction
2002-09-16
Francoise Tisseur
Tense and Connective Constraints on the Expression of Causality
1998-06-29
Semantic Modeling
2003-04-10
Likelihood Ratio, Score, and Wald Statistics
2002-04-25
Unknown
2003-06-18
Stochastic Reduced Basis Methods
2002-04-14
Recovery In Main Memory Databases
1997-04-26
The dynamics of factors explaining EDI diffusion in Hong Kong in the late 1990's
2000-06-26
Kalle Lyytinen
Unknown
2001-12-05
Engineering with Computers 2001 17: 326--337
2001-11-07
A Collection of Tools for Making Automata Theory and
1998-09-22
Unknown
1996-03-29
Unknown
2002-02-07
Efficient Uncertainty Analysis Methods For Multidisciplinary Robust Design
2002-07-22
Xiaoping Du
Cell Science
2003-08-27
Using Model Data ow Graphs to Reduce the Storage Requirements of Constraints
2002-01-23
Covariant and Quasi-Covariant Quantum
2002-10-18
Int. J. Human---Computer Studies 1997 47, 31---65
2002-01-11
Classifying and Formally Verifying Integer Constant Folding
2003-02-23
Demand-based Radio Network Planning of Cellular Mobile Communication Systems
2002-12-10
K. Tutschku
Multi-Layer Gesture Recognition: An Experimental Evaluation
2004-06-11
Computing Danger Zones for Provably Safe
2002-10-29
The Cycle Space of a 3-Connected Graph is Generated by Its Finite and Infinite Locally Peripheral Circuits
2003-10-06
Soft Lending and Hard Landing:
2000-11-29
LETTER Communicated by John Lisman Information Transfer Between Rhythmically Coupled
2002-03-22
Ole Jensen
GPS Multipath Change Detection in Permanent GPS
2000-11-12
Defocusing Nonlinear Schrodinger equation:
2001-09-06
Position Paper for Adaptable and Adaptive Software Workshop at OOPSLA`95 Designing for Adaptation Is a Barrier to Domain-Specific Reuse
1995-08-18
Blind Separation of Speech Mixtures via Time-Frequency Masking
2003-11-13
Unknown
2004-03-19
Enhancing Image and Video Retrieval: Learning via Equivalence Constraints
2003-04-02
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
2003-04-01
Techniques for Dynamic and Prioritized
2002-03-19
Saad Biaz
Pascal -- Like Triangles in the Enumeration of Trees and Sequences
2002-11-07
Ulrich Tamm
Exact analysis of a class of GI/G/1-type performability models
2003-02-05
The Quasi-Stationary Distribution for Small Random
2001-05-23
Implementing Evolution of FIR-Filters Efficiently in an FPGA
2003-06-26
Unknown
1999-06-10
Increase Documentation of Obesity? Http://www.med-Ed-Online.org
2002-08-30
Evaluation And Testing Of Several Digital Photogrametric Systems For System
2000-07-10
IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 51, NO. 12, DECEMBER 2003 3263 Adaptive Minimum Symbol-Error Rate Equalization
2003-12-08
What We Need is Notions, Not Notations'?
2001-02-13
Regional Variation of Formation Water Chemistry and Diagenesis
2003-05-13
An Object-Oriented Library Incorporating Efficient
2004-05-28
Decoding Of Text Lines In Grayscale Document Images
2001-11-20
Kris Popat
Using clpFD to Support Air Traffic Flow Management
2003-07-31
Digital Signal Processing - Up to Microwave Frequencies
2002-04-08
cis-Retinal Protonated Schiff Base:
2003-04-01
Processor Allocation and Scheduling in
1998-04-06
Evaluation of Mobility and QoS Interaction
2002-01-18
Scientific Data Mining, Integration, and Visualization Bob Mann
2002-11-14
Estimating Risk and Rate Levels, Ratios and Differences in Case-Control Studies
2002-07-30
February 2001
2002-01-29
Orientations of Digraphs Almost Preserving Diameter
2001-02-01
Embedded Systems Conference San Francisco 2002
2002-03-19
Pseudodifferential Operators On Manifolds With Fibred Boundaries Rafe Mazzeo
1999-03-10
Testing Properties of Directed Graphs: Acyclicity and Connectivity Michael A. Bender
2004-06-03
Improved Algorithms for Theory Revision with Queries
2002-12-27
Unknown
2004-06-11
On the -Stability of Systems of Differential
2001-02-20
Ziad Zahreddine
Hilbert's Tenth Problem And Mazur's Conjecture For
2003-06-18
Bjorn Poonen
Capture of an Intruder by Mobile Agents
2002-05-29
Fusion of Concurrent Invocations
2002-05-27
Converting the Flavor of a Quantum Bit
2002-09-27
Frederic Legare
On The Performance Of Photogrammetric Scanners
2000-07-10
Emmanuel P. Baltsavias
Astronomy Astrophysics manuscript no. H4054 November 22, 2002
2002-11-22
On Optimum MIMO with Antenna Selection
2002-06-04
Using Simulation to Facilitate Effective Workflow Adaptation
2002-01-22
Graphical Notations, Narratives and Persuasion:
2002-08-22
ION GPS 2001, 11-14 September 2001, Salt Lake City, UT
2001-12-19
Mark L. Psiaki
Hybrid Distributed Iterative Capacity Allocation Over Bluetooth Network
2004-06-11
Digital Video Over
2004-06-11
Jacob Strom
Channel Setup/Rejection Prediction in Preemptive Distributed
2003-02-26
Martin D. D. Evans
2003-12-31
The Pfam Protein Families Database
2002-01-21
A User's Guide to the
2002-07-16
Spectral Technique for Hidden Layer
2002-04-08
Propagating probabilities in System P
1999-01-27
Rachel Bourne
Querying Imprecise Data in Moving Object Environments
2002-11-24
Glue Semantics for HPSG
2002-07-11
S E a R C H
1998-02-18
Specification and Validation of Dynamic Systems Using Temporal Logic
2002-10-12
Agency for Toxic Substances and Disease Registry ToxFAQs April 1993
2004-03-19
Efficient Estimation of Linear Functionals of a Bivariate Distribution with Equal, but Unknown, Marginals: The Least Squares Approach
2004-04-21
September 1999 US Army Corps of Engineers
1999-11-30
Design Guidelines for Effective WWW History Mechanisms
2002-03-03
Regularity Results For The Solutions
2003-05-16
Viorel Nitic A
An Event Service to Support Grid Computational Environments
2002-07-09
Georey Fox
Finite Volume Evolution Galerkin FVEG Methods
2003-01-31
Threads of Reasoning
2004-04-07
Structuring and Verifying Distributed Algorithms
2001-08-17
Wake I Nterference Behind Two Flat Plates
2002-07-21
iSAVE: Incrementally Deployable Source Address Validation
2002-09-28
Image-Based 3D Photography using Opacity Hulls
2002-06-28
Under consideration for publication in Math. Struct. in Comp. Science
2003-01-24
The Case Against Intellectual Property
2002-05-20
Topology Discovery Service for Router-Assisted Multicast Transport
2002-12-19
Turn-Off transients in
2001-12-05
A Formal Approach to Specification-Based Black-Box Testing
2000-09-04
Improving Performance in the Network Storage Stack
2002-04-24
Dr. Glen M. Farrell
2002-02-08
Slavic in HPSG
1998-12-09
Robert Borsley
Intone --- Tools and Environments for OpenMP on
2003-03-17
Mats Brorsson
Fast Randomized Point Location Without Preprocessing
1996-03-18
Monitoring Mississippians' Attitudes, Opinions, and Behaviors Ronald W. Snow
2002-03-07
Ronald W. Snow
Surrounding Space: The Ontology of Organism-Environment Relations
2002-09-01
Caltech CDS Technical Report 96-013
1996-10-31
On the Determinizability of Weighted Automata and Transducers
2003-01-11
Development Of Fuzzy Logic And Neural
2002-09-19
dgg December2001 NASA/TM-2001d1p ARL-TR-2363 The Effects of Shot and Laser Peening on Fatigue Life and Crack Growth in 2024 Aluminum Alloy and 4340 Steel
2001-12-20
Behavior of MAG Standard Problem No. 2 in the
2002-02-13
Series of Abstractions for Hybrid Automata
2002-03-21
Ashish Tiwari
Scalable Consistency Maintenance in Content Distribution Networks Using Cooperative Leases
2003-05-05
Heaps and Stacks in Distributed Shared Memory
2002-07-19
Can a Computer be a Caregiver?
2002-07-12
Increasing Disk Burstiness for Energy Efficiency
2003-01-06
Simplifying Spline Models
1999-09-19
Representing the Knowledge of a Robot
2001-07-03
Michael Thielscher
X-33 Computational Aeroheating/Aerodynamic
2003-05-28
Voronoi Tracking: Location Estimation Using Sparse and Noisy Sensor Data
2003-05-28
A De Moivre Like Formula For Fixed Point Theory
2003-04-16
Daniel H. Gottlieb
What Is the "Context" for Contextual Vocabulary Acquisition?
2003-05-15
William J. Rapaport
Densities, Spectral Densities and Modality
2003-06-26
Development of an Intelligent Videogrammetric Wind Tunnel Measurement System
2001-10-16
Proceedings of RAAD'03, 12th International Workshop on Robotics in Alpe-Adria-Danube Region
2003-06-24
A Finite-State Kernel Architecture for Turkish Natural Language Processing
1998-02-03
An Ecient Parallel and Distributed Algorithm
2002-11-18
Unknown
2002-03-05
Doug Decarlo
XGuide - Concurrent Web Development with Contracts
2003-05-21
In Proceedings of the Fifth Conference on Applied Natural Language Processing, Washington,
1998-10-06
Light Spanners and Approximate TSP in Weighted Graphs with
2001-10-12
Papa Sissokho
A Near-resonance Decoupling Approach NRDA for
1996-11-27
Uniform Samples of Generic Surfaces Have Nice Delaunay Triangulations
2002-12-04
A Routing Protocol for Anycast Messages
2001-08-15
A Min-Plus System Theory for Constrained Trac Regulation
2003-05-15
Using Finite State Technology in Natural Language
2002-07-09
Number Names in Japanese: A Head-Medial
2002-07-01
Emily M. Bender
Deteriorating Convergence for Asynchronous
2002-02-25
Model Checking of the Fairisle ATM Switch
1999-10-06
Principles For The Design Of
2002-01-08
Norges Teknisk-Naturvitenskapelige
2003-06-20
Bruce R. Childers
2003-04-22
Michel Bierlaire, EPFL
2002-03-25
Michel Bierlaire Epfl
Unknown
2000-06-07
Tom Duff
Article Submitted to Computer Speech and Language
2003-06-25
Tech Report GIT-CC-02-05, Feb 2002
2002-02-04
Fast and Accurate Moving Object Extraction Technique
2002-01-02
Unknown
2003-06-25
Dekai Wu
Set-Based Constraints
2003-01-02
Model-checking based on Fluid Petri Nets for the temperature control system of the ICARO co-generative plant
2002-09-26
Cone-Free" Primal-Dual Path-Following And
2004-05-31
State Assignment Of
1997-01-09
Unknown
2003-06-19
Incremental Case-Based Plan Recognition With Local
2002-09-20
The Decidability of the
2004-04-27
On The Facets Of The Mixed-Integer Knapsack Polyhedron
2003-03-23
Providing Stochastic Delay Guarantees through Channel Characteristics Based Resource Reservation in Wireless Network
2002-11-12
Another Form of Matrix Nim
2001-07-27
Thomas S. Ferguson
Optimal Sequencing of Individually Rational Contracts
2002-05-15
Confusion MatrixBased Entropy Correction in Multi-stream Combination
2003-06-03
Skewed Symmetry of Bidirectional Textures
2003-04-30
Warping Distributed System Configurations
2002-04-26
Knowledge-Based Control of Decision-Theoretic Planning
2002-04-13
Yoshiaki Shirai
Light Higgs Boson Signal at LHC in the Reaction pp ! flfl + lepton
1999-01-27
Steady-State Image Processing
2001-07-24
Javier Ruiz-del-solar
Synthesizing Finite State Machines for
2003-05-01
Munindar P. Singh
Unknown
2002-07-23
Scalability Analysis of Audio-Visual Person
2003-03-24
Unknown
2003-04-22
Terje O. Espelid
Automated Simultaneous Multiple Feature Classification of MTI Data
2002-03-06
Controlling the Internet: A Survey and Some New
2003-12-16
Data-Driven Vector Clustering For Low-Memory Footprint Asr
2002-07-02
Random Rotations: Characters and Random Walks on SON
1995-12-28
Jeffrey S. Rosenthal
Degree-andTime-ConstrainedBroadcastNetworks
2002-05-15
Relation-Algebraic Semantics
1998-09-18
Roger D. Maddux
Timed Automata with Asynchronous Processes:
2002-05-13
Unknown
2001-11-13
Alexandra Jantina Monica
Programming Complex Robot Tasks by Prediction:
2003-07-10
Bregman Monotone Optimization Algorithms
2003-01-15
Unknown
2004-02-11
Center For
2003-02-10
Simple Evaporation Controller For Thin Film Deposition From A Resistively Heated Boat
1998-10-22
Geometric Theory of Meromorphic Functions
2002-09-02
A. Eremenko
Tutorial on Rectification of Stereo Images
1999-10-18
Andrea Fusiello
A Self-tuning Page Cleaner for DB2
2002-08-28
Moldable and Castable Polygons
1995-08-23
Arnold Rosenbloom
The Space Interferometry Mission:
2003-12-23
An Experimental Study on the Use of Unstable
2002-03-17
The Indexing Of Persons In News Sequences Using Audio-Visual Data
2003-02-03
Design and Implementation of the GNU Prolog System
2003-07-31
Daniel Diaz
Hierarchical Design of Piecewise Linear Hybrid Dynamical
2001-06-05
Robustly Stable Feedback Min-Max Model Predictive Control
2003-03-13
Eric C. Kerrigan
Exact Analysis of Selection and
1995-01-13
Heinz Muhlenbein
Unknown
2004-03-19
Electronic Notes in Theoretical Computer Science 74 2003
2003-03-18
Complex Wavelet Transforms with Allpass Filters
2003-06-27
Independent Component Analysis
2003-01-17
HELMHOLTZ RESONATORS By STEPHEN BRIAN HOROWITZ
2001-10-08
Stephen Brian Horowitz
Methodologies for Web Information System Design
2003-02-06
On The Asymptotic Values Of Length Functions In Krull And Finitely Generated Commutative Monoids
2002-08-28
S. T. Chapman
Opportunities for Operating Systems Research
2002-07-04
Design of an Adaptive Architecture for Energy Efficient Wireless Image Communication
2002-02-06
Convergence Analysis of an Infeasible Interior Point Algorithm Based on a Regularized Central Path for Linear Complementarity Problems Guanglu Zhou Kim-Chuan Toh + and Gongyun Zhao
2003-06-16
Learning Computational Grammars
2002-12-19
John Nerbonne
Typability and Type Checking in System F
1998-11-21
J. B. Wells
Corresponding author. Tel.: 49-6221-516452; fax: 49- 6221-516602.
2003-02-17
An Observation-based Approach Towards Self-managing Web Servers
2002-04-10
Phrase-based Information Retrieval
1998-03-19
Mathematical Physics and Philosophy of Physics
2001-12-09
Implementing Database Operations Using SIMD
2002-06-26
Language Modeling For Multi-Domain Speech-Driven Text Retrieval
2002-01-27
Inelasticity Enhancement In The Knee Region
1998-10-19
J. N. Capdevielle
Hierarchal Perceptual Organization with the Center-Surround Algorithm
2003-03-27
Fusing Logic and Control with Local Transformations: An Example Optimization
2001-11-29
Proceedings of ICRC 2001: 63 c
2001-10-05
Products Of Representations
2003-06-30
Peter A. Streufert
Quark Masses
1996-07-23
Combining T
1995-06-01
Vladimir Batagelj
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting
2002-07-25
Int. Sig. Proc. Workshop on Higher Order Statistics, Chamrouse, France, July 1991.
1995-08-11
NeT CoT: Translating Relational Schemas to XML
2002-09-05
A Note on the Castelnuovo Theory
2002-07-29
Teo Mora
Unknown
1999-03-23
Object Management Group
1998-01-26
Algorithm Engineering for Parallel Computation
2002-07-15
Hypermedia Presentation Adaptation on the
2002-04-24
Evolutionary Programming in SADDE
2002-07-26
Blind detection of multiple Audio Watermarks
2002-03-13
Information Technology - Enhanced BIOS Services for Disk Drives
2000-10-11
Tt T
Approximating the Limiting Quicksort Distribution
2001-08-01
On the Non-Sequential Nature of
2002-10-22
Project Amobe: Strategies, Current Status And Future Work
2001-11-07
Securing Web Servers against Insider Attack
2001-10-16
In the Proceedings of the 1994 International conference on Application Specific Array Processors, San Francisco, CA, Aug. 1993, pp. 75--86.
1996-05-10
Unknown
2002-10-02
Class Speci
2002-04-17
Unknown
2003-01-29
D J Winel
Contrast Adaptation By Adjusting Neurotransmitter Release Probability
2003-01-15
Bracketing Compound Nouns for Logic Form Derivation
2002-04-17
Operation Shipping for Mobile File Systems
2002-04-21
Classification With
1995-05-30
Unsal Koc
Coordination Mechanisms for Dependency Relationships
2002-08-26
Proof Nets for Unit-free Multiplicative-Additive Linear Logic
2003-04-14
Maintaining Mesh Connectivity Using a
2003-05-26
Han-wen Nienhuys
Reducing Test Data Volume Using LFSR Reseeding with Seed Compression
2002-07-05
Under consideration for publication in J. Functional Programming 1 Specification and Correctness of Lambda Lifting ADAM FISCHBACH and JOHN HANNAN
2002-11-25
A Developmental method for growing Graphs and
2003-03-23
Julian F. Miller
Culture, Openness, And Finance
2001-12-28
An Operational and Denotational Approach to Non-Context-Freeness
2001-07-02
Model Checking Performability Properties
2002-06-05
Generic Validation of Structural Content
2001-05-08
Tyng-ruey Chuang
Assessing the Adaptability of Large Software Systems
1995-08-18
Paul C. Clements
Soft Computing in SHRUTI: --- A neurally plausible model of reflexive
2002-10-25
Lokendra Shastri
Complete Cross-Validation for Nearest Neighbor Classifiers
2002-05-22
From Merrifield to MetaPhore: A Random Walk with Serendipity Garland R. Marshall
2002-06-12
Garland R. Marshall
Title: Towards Improved Ranking Metrics
2000-09-12
IEEE November 6 - 9, 2002, Boston, MA
2002-05-21
Bengt Lennartsson
Hybrid Skeletons for Parallel HigherOrder Function Evaluation
2002-01-18
Paul Crispin Bristow
A Knowledge Management Support Environment
2002-10-21
Canad. J. Math. Vol. 51 5, 1999 pp. 936--951 Galois Representations with Non-Surjective Traces
2002-02-14
Genesis Kernel on IXP1200
2002-03-06
Unknown
2002-05-09
Information Extraction from Web Documents Based on Local Unranked Tree
2003-06-27
From the Proceedings of the Thirteenth Annual Conference of the Cognitive Science Society. Lawrence Erlbaum
1995-06-14
Stephen Slade
Scheduling Reserved Traffic in Input-Queued Switches: New Delay Bounds via Probabilistic Techniques
2002-10-09
Computing the Covariance of Two Brownian Area Integrals
2001-02-16
To Appear: IASTED International Conference: Artificial Intelligence and Soft Computing. Banff, Canada.
1997-06-11
Unknown
2003-04-04
The Mendonca and Cipolla Self-calibration
1999-10-18
A. Fusiello
United States Department of Agriculture
2002-07-16
Visual Computing Concept in Finite Element Analysis
2001-04-09
Estimation with Univariate Mixed Case" Interval Censored Data
2002-08-28
Shuguang Song
Query-Free News Search
2003-03-07
Timing Analysis of Embedded Software
2002-06-28
Dynamic Register Renaming Through
2003-06-05
Stanford Exploration Project, Report 73, November 18, 1997, pages 415--425
1997-11-18
Jon F. Claerbout
Robust Statistical Registration Of 3d Ultrasound Images Using
2003-05-05
Aging Wire Insulation Assessment by
2003-03-14
Running Head 1
2002-02-01
Software Engineering Laboratory Series
2000-05-31
Ieee Ieee IntelligentSystems
2002-07-23
A Two-Dimensional Linear Bicharacteristic FDTD Method
2002-07-15
John H. Beggs
Employing Intelligent Techniques To Develop Autonomous Agents For Network Management
2001-02-22
Function Approximation with a Classifier System
2001-03-30
Stewart W. Wilson
The Sensor Network as a Database
2004-06-11
Weighted Probabilistic Sum Model based on Decision Tree Decomposition for Text Chunking
2003-01-13
Computational Aspects of the Ultra Weak Variational Formulation
2002-11-16
Under consideration for publication in Theory and Practice of Logic Programming 1 Abduction in Well-Founded Semantics and
2003-07-17
Clustering Methods Based on Minimum-Cut Trees
2002-01-24
Slope Stability Monitoring
2004-02-10
Re:Search
1997-09-08
Computing Sunspot Equilibria in Linear
2002-07-13
Memory Resource Management in VMware ESX Server
2002-12-18
Carl A. Waldspurger
Unknown
2000-09-15
Latha Sampath
Needs and Opportunities for UncertaintyBased
2002-07-25
The AutoBayes Program Synthesis System
2003-07-26
School of Electrical Computer Engineering
2002-07-09
Subgrid Variability and Stochastic Downscaling of
2001-07-26
Text Prediction For Translators
2002-05-14
George Foster
IEEE MEMS 2003 pp. 124-129. POWER DELIVERY AND LOCOMOTION OF UNTETHERED MICRO-ACTUATORS
2003-03-11
Knot Theory Related to Generalized and
1999-05-21
Sofia Lambropoulou
Generalised Fi-Reduction and Explicit
1997-03-20
Fairouz Kamareddine
Standardization for the
2002-02-20
Technische Universitat Berlin
2002-07-03
An Efficient Algorithm For The N-Best-Strings Problem
2002-09-23
Improved Digital Multitoning With
1998-04-24
Present Results and Future Goals of the
2002-05-09
Asian Technology Information Program atip
2002-08-02
Fast Approximation of Minimum Multicast
2003-04-15
Unknown
2002-02-15
Profit-Maximizing Multicast Pricing by Approximating
2003-04-10
NetCube: A Scalable Tool
2001-10-05
To Professor Willi Jager on his 60-th Birthday
2003-04-06
Vladimir Oliker
Non-baryonic Dark Matter
2002-10-15
Posterior Distribution of Hierarchical Models Using CAR1 Distributions
2004-01-21
Appears in "Parallel Problem Solving from Nature 2", Eds: R. Manner, B. Manderick, Elsevier Amsterdam, pp259-268, 1992.
2003-01-29
Nicholas J. Radcliffe
Unknown
2001-10-01
Unknown
2002-05-04
Andy Johnson
Evolution At Molecular Resolution
2002-06-07
P. Schuster
A Scalable and Ecient
2003-02-07
Journal Of Colloid And Interface Science 182, 71 -- 81 1996
2002-09-26
Optimal and Suboptimal Robust Algorithms for Proximity Graphs
2003-07-17
Adapting Existing Grammars: The XLE Experience
2002-08-23
Global Localization using Distinctive Visual Features
2002-10-07
Search and Replication in
2002-06-07
Comparison Inequality and Two Block Estimate
2003-07-23
Jeremy Quastel
Interaction Models For Common Long{range Dependence In Asset Price Volatilities
2003-11-21
Gilles Teyssi
Automatic Image Segmentation and Classi
2001-02-16
Acquisition and Integration of Digital Parcel Mapping to Support Coastal Management Along the Lake Michigan Coast of Wisconsin November 2000 David A. Hart
2001-03-08
Optical Detection Of Particle Growth And Ice Nucleation In H 2 So 4 /h 2 O
2002-01-11
Mon. Not. R. Astron. Soc. 000, 000-000 0000 Printed 4 March 2002 MN L A T E X style
2002-09-16
Aei Evaluative Studies
2002-11-30
Hyperbolicity of the non-linear models of Maxwell's equations
2004-05-03
Denis Serre
Reranking an N-Gram Supertagger
2002-05-25
Representing Actions over Dynamic Domains
2003-02-07
Unification modulo ACUI plus Homomorphisms/Distributivity
2003-04-25
A Bayesian Analysis of Autoregressive Models
2002-10-17
The panel Package
2004-05-26
Linear-Algebraic Results Associated with
1994-08-03
Synchronization Properties of Coupled FitzHugh-Nagumo
2003-10-21
National Aeronautics and
2000-05-22
Brian G. Allan
RAL-TR-2002-028 Task scheduling in an asynchronous distributed
2002-12-16
Absolute Stability and Integral Control
2002-06-26
Unknown
2001-05-29
Intelligent Classification of the Drop Hammer Forming Process Method
2001-08-18
Release from Active Learning/Model Selection Dilemma: Optimizing Sample Points and Models at the Same Time
2003-03-13
Automatic Generation of Multipath Algorithms in the Cellular
2001-12-13
Collecting and Querying
2002-08-20
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 On the classi cation of quaternionic Mobius transformations
2003-07-25
A Computationally Efficient Abstraction of Long-term Potentiation Lokendra Shastri
2002-01-25
Lokendra Shastri
Genetic Programming of Minimal Neural Nets
2002-09-17
Unknown
2004-06-07
Feasibility of Measuring the Cosmological Constant and Mass DensityOmega using Type Ia Supernovae
1995-03-28
Ariel Goobar
An Optimizing Method for Structuring
2002-09-27
Optimal Many-to-One Routing on the Mesh with Constant Queues Extended Abstract
2001-07-25
Informed Content Delivery Across Adaptive Overlay
2002-06-28
Visual Selective Behavior Can Be Triggered by a
2003-03-02
Center For
2003-01-09
Cauchy Filters and Strong Completeness of Quasi-Uniform Spaces
2002-03-20
Chapter 31
2000-12-22
C. D. Godsil
Early Experience with a Repository for Patterned
2002-04-26
Planar Variational Multi-Scale Modeling
2002-03-14
On-Line Multiplication in Real and Complex Base
2003-03-06
From: Robert Dupuis<dupuis.robert@uqam.ca>
2003-12-01
to Incremental Routing for ECO Applications in FPGAs
2003-04-11
On the Stability of Network Distance Estimation
2002-07-14
Exponentiability in Categories of Lax Algebras
2003-01-17
Dynamic Type Inference to Support
1998-08-12
Functional Approaches for Predicting Land Use
2003-07-01
Adaptive Filtering for Information Gathering WWW Agents
2002-07-01
BLUe's Reports
1995-06-01
Kees Van Der Laan
Physical Objects, Identity and Vagueness
2002-11-19
Brandon Bennett
Designability and Thermal Stability of Protein Structures
2003-03-28
Weighted Residual-Based Density Estimators For Nonlinear Autoregressive Models
2004-02-10
Product Quality and Market Size
2003-04-18
Unknown
2002-10-17
Pseudo-line Arrangements: Duality, Algorithms, and Applications
2001-10-30
Internal Report 2003-03
2003-05-17
Ulrich Halekoh
Robust Time-Delay Estimation in Highly Adverse Acoustic Environments
2002-02-18
Departement Elektrotechniek Esat-sista/tr
One-Dimensional Index for Nearest Neighbor
2002-03-18
Theen-theen Tan
Oscillatory Integral Operators
2002-02-20
Mobile Code Security by Java Bytecode Instrumentation
2002-09-24
A Comparison of Approximate Interval
1993-12-14
A Schema-Associative Model of Memory
1999-02-05
Examining Trust and Trustworthiness By Integrating Behavioral Experiments Into . . .
2003-01-15
Learning Decision Trees for Loss Minimization
2000-02-13
The Encoding and Fourier Descriptors of Arbitrary Curves in 3-Dimensional Space
2000-12-06
Paromita Bose
On the Role of Kinesthetic Thinking in Computational Geometry
2002-12-16
J. Antoni Sellares
The Dynamics of Household Wealth Accumulation in Italy
2002-01-24
Luigi Pistaferri
A Unified Bias-Variance Decomposition and its Applications
2002-10-08
Pedro Domingos
Database Segmentation using Share of Customer
2003-01-09
Global Hough Localization for Mobile Robots
2003-05-26
Probing the Magnetosphere in Young Stars
2003-05-08
Communication Abstractions
2003-06-30
Stability and Geometric Conservation Laws for ALE Formulations
2003-05-13
Daniele Boffi
A Reference Picture Selection Scheme for Video Transmission over Ad-Hoc Networks Using Multiple Paths
2002-10-22
A Computational Model for the Data
2004-04-23
The Rapid Application and Database
1997-03-03
On Cycle Times and Interdeparture Times in Semiconductor Manufacturing
2002-12-10
Model Checking for the Concurrent Constraint Paradigm
2003-07-02
Xvi Congresso Nazionale Aidaa
2002-01-29
A Network Calculus with Effective Bandwidth
2003-01-21
PLop Submission Martin Fowler 9 Aug 1996 1
1997-10-17
Martin Fowler
Data Swapping:A Risk-Utility
2003-03-10
The Roles of Video in the Design, Development, and Use of Interactive Electronic Conference Proceedings
2003-01-16
Obtaining Exact Solution From a Near
1999-05-04
metrologia Time stability characterization and spectral aliasing
2002-02-05
Analysis of LDA-based matching schemes for
2000-12-19
Sangam: A Transformation Modeling Framework
2003-01-10
Tree Decomposition of Disjunctive Fuzzy Temporal Constraint Networks
2001-03-07
Minimum Energy Disjoint Path Routing in Wireless Ad-hoc
2003-09-19
NASA/CR-2003-212170 Small Aircraft Transportation System Simulation Analysis the HVO and ERO The NASA STI Program Office . . Profile
2003-03-31
Stochastic Routing in Ad Hoc Wireless Networks
2002-05-31
Journal of Computational Biology 103-4 2003, pp. 521-536. Phase-Independent Rhythmic Analysis of
2003-05-19
Federal Reserve Bank Minneapolis Research Department Sta Report March 200 First version October 999
2001-03-15
Buffer Space Tradeoffs in Multi-hop Networks
2003-05-05
International Journal of Computational Geometry and Applications
2002-06-05
Constructing Dierentiable Homeomorphisms between Isomorphic
2002-07-09
World Wide Web: Internet and Web Information Systems, 5, 95--123, 2002
2002-11-26
Unknown
1998-02-13
Marieke Huisman
One Sugar Cube, Please"
2002-07-29
A Robust Algorithm for Reading Detection
2004-05-13
Specifying and Analyzing Early Requirements: Some Experimental Results
2003-06-09
Unknown
2003-03-11
Pushing the Envelope: Unleashing the Potential of High
2001-10-27
Bijlage 25
1998-06-01
Peter Breitenlohner
Hybrid Radiosity/Monte Carlo Methods
2003-06-24
Peter Shirley
Error-Locating Pairs for Cyclic Codes
2003-06-30
Iwan M. Duursma
Plausible Deniability Using Automated
2002-10-19
Airport Remote Tower Sensor Systems
2003-07-26
Topological Superrigidity
2001-12-18
R. Feres
The Chen-Reed-Helleseth-Truong Decoding Algorithm and the Gianni-Kalkbrenner Gröbner Shape Theorem
2002-07-29
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 22, NO. 5, MAY 2003 593 Failing Vector Identification Based on Overlapping
2003-06-20
Unknown
2001-10-16
Epcc-Tr94-11
2003-01-29
Nicholas J. Radcliffe
Experimental Studies Of Electron Multipacting
2002-05-30
Rules with Bounded Negations
2002-05-24
Unknown
2004-04-30
Robert J. Boik
An application of Low Bias Bagged SVMs to the classification of heterogeneous malignant tissues
2003-06-02
Giorgio Valentini
Indexing of Moving Objects for Location-Based Services
2002-04-30
Monotonic Cubic Spline Interpolation
1999-06-01
The Missing Link Between the Quantum-Mechanical and Semiclassical Determination of Scattering Resonance Poles
2002-05-02
Andreas Wirzba
NEURON: a Tool for Neuroscientists
2001-04-17
M. L. Hines
PRO: a Model for Parallel Resource-Optimal
2003-03-31
A Hybrid Systems Model for Power Control in
2003-04-25
Tansu Alpcan
Finite Automata for Compact Representation
2003-05-08
On the Location of Steiner Points
2001-12-17
Crossed Complexes, and Free Crossed Resolutions
2002-07-03
Unknown
2001-01-16
Simulator Evaluation of Simplified
2003-06-13
Unknown
2003-11-14
William J. Horman
Discovering Services: Towards High-Precision Service Retrieval
2002-05-20
D Description Of Indoor Scenes Based On
1995-12-08
A General Framework for Analysing System Properties in Platform-Based
2003-05-22
Receiver-Driven Bandwidth Sharing for TCP
2002-12-13
PASSAT: A User-centric Planning Framework
2003-01-07
The Design of a Robust Peer-to-Peer System
2002-06-25
Figure and Table Captions
1993-12-14
Elimination of Fast Chaotic Degrees of Freedom:
2003-02-13
Stanford Exploration Project, Report 94, November 11, 1997, pages 1--262
1997-11-11
Extensive Air Shower Simulations With Corsika
2001-06-13
CSSV: Towards a Realistic Tool for Statically Detecting All
2003-04-27
Analysis I Course C5
2003-03-08
T. W. Korner
Continuous Cohomology
2003-03-06
Optimization of Trading Physics Models of Markets
2002-01-15
Polarized Proton Beams
1998-03-04
Optimal Energy Allocation for Delay-Constrained
2003-01-29
Effect of Orbital Drift and Sensor Changes on the Time Series of AVHRR Vegetation Index Data
2001-02-20
APPL: A Probability Programming Language Maj. Andrew G. GLEN, Diane L. EVANS and Lawrence M. LEEMIS
2001-04-02
Unknown
2001-12-10
Learning Multispectral Texture Features For Cervical Cancer
2002-06-06
Unknown
2002-09-09
Matthias Aschenbrenner
Determinantmaxrmin Tion Of A Nonsymmetric Matrix With Quadratic Constraints
2002-10-23
Serge D Egerine And
Occlusion Detectable Stereo
2002-02-06
Human Visual System Features Enabling Watermarking
2002-08-06
automata, a Hybrid System for Computational
2003-04-16
K. Sutner
The Term Structure Of Volatility
2000-11-03
Ercan Balaban
Peptide Bond Modification for Metal Coordination:
2002-06-12
DiscreteOptimeKCM
2002-11-21
Coarse-Grained Network Simulation for
2002-03-01
Ultraproducts in Analysis
2002-03-24
C. Ward Henson
noncommutative geometry@n Lieven Le Bruyn Universiteit Antwerpen UIA, B-2610 Antwerp Belgium
2002-11-16
Lieven Le Bruyn
International Journal of Computational Geometry Applications
2003-03-02
Tracking Tumor Growth Rates in Patients with Malignant Gliomas: A Test of Two Algorithms
2002-11-12
Measuring Order and Biaxiality
2001-12-17
Robert J Low
Control in a 3D Reconstruction System using Selective Perception
2000-11-15
Unknown
2004-03-03
A Secure Directory Service based on Exclusive Encryption
2003-01-30
J.evol.equ. 1 2001 39--67 1424--3199/01/010039--29 $ 1.50
2001-08-20
Gieri Simonett
Unknown
1999-02-01
The Barendregt Cube with Definitions and Generalised
1997-03-20
International Conference on eCommerce Engineering: New Challenges for Global Manufacturing in the 21
2002-02-27
Frank Dignum
Long-Term Stellar Activity: Three Decades Of Observations
1999-03-19
R. A. Donahue
The Economic and Social Review, Vol. 31, No. 2, April, 2000, pp. 151-172
2002-10-01
Supporting Mobile Users and Distributed Teamwork
2003-06-11
Journal of the Korean Physical Society, Vol. 39, No. 3, September 2001, pp. 522528
2001-09-27
Dual Codes of Projective Planes of Order 25
2003-04-22
Faculty of Engineering - UniversityofPerugia
2003-09-10
Modeling the United States National Distribution of Waterborne
2003-10-20
A Multidimensional Filter Algorithm for Nonlinear Equations and Nonlinear Least Squares
2003-02-12
Nicholas I. M. Gould
Appearance-Based Virtual View Generation of
1999-08-31
Evolving Fault Tolerance on an Unreliable Technology Platform
2003-06-19
Unknown
2001-10-16
A Study of the Cache and Branch Performance Issues
1997-03-21
Requirements for Policy Languages for Trust Negotiation
2002-06-24
Channel-Sharing Strategies in Two-Tier Cellular PCS Systems
2002-06-12
Automatic Keyword Extraction Using
2001-11-07
U.S. Department of Energy Nevada Operations Office
2000-09-27
Design and Implementation of a Parallel Constraint
2002-08-29
Mining "Hidden Phrase" Definitions from the Web
2003-03-19
Iso/iec Jtc 1/sc 32 N0490
2001-02-26
Analysis of Task Assignment Policies in
2003-03-06
Cognitive Organization of Person Attributes:
2001-06-22
S. Krolak-schwerdt
Hierarchical Pose Estimation
2003-03-24
Louis Simard
Sub-sample Model Selection Procedures in Gets Modelling
2003-04-22
Efficient Intraprocedural Array Bound Checking
2001-11-07
Reflections on Skolem's Paradox
2003-05-01
Timothy Bays
Unknown
2001-02-20
J. -b. Gatsinzi
Model Checking Dynamic Allocation and Deallocation
2002-03-25
Prominenceand Locality In The Binding Ofmandarin
2003-03-31
Hu Jianhua
Recent Results on Top Quark Physics and B Physics at CDF
1999-01-27
Shinhong Kim
An Architectural Model for Application Integration in
1997-03-01
E. James Whitehead
Vision and Motion Planning for a Mobile Robot under Uncertainty
2002-04-13
Yoshiaki Shirai
Unknown
2002-06-25
A Neurofuzzy Network Structure for Modelling and State
1999-03-11
Dynamic Models for Spatio-Temporal Data
1999-06-21
Unknown
1998-04-02
Video Watermarking Resisting to Rotation, Scaling, and Translation
2002-05-06
Analysis of Finite Element Approximation and Iterative Methods for Time-Dependent Maxwell Problems
2002-08-01
Pluralism by Default and the Sources of Political Liberalization in Weak States
2003-03-03
Statistical Science
2002-08-09
Using Elliptic Curves of Rank One Towards the
2002-03-29
Bjorn Poonen
Z. Journal of Empirical Finance 7 2000 345--372
2001-11-29
The Type IIs Restriction Endonuclease BspMI Is a Tetramer That
2004-06-11
Active Control of Separation from the
2002-07-17
Dynamics and Control of Whole Arm Grasps
2002-09-23
Poles of Zeta Functions on Normal Surfaces
2002-06-06
B. Rodrigues
The Minimal Graph Model of Lambda Calculus
2003-11-25
Antonio Bucciarelli
Waring's Problem: A Survey
2002-04-15
Page 1 of 3 - CONTRIBUTION TO ATIS WORKING GROUP T1X1.3 ************************************************************************ STANDARDS PROJECT: draft ANSI T1.101
2004-06-11
Vt. Phase Transient
The Utility Value of Information in Pig Production
2001-10-16
Erik Jrgensen
Anycasting and Multicasting in Adversarial Systems: Routing and Admission Control
2002-09-06
Tellus 2003, 55B, 751--776 Copyright C
2003-06-22
Sufficient Dimensionality Reduction
2002-12-05
Using A Priori Knowledge To Create
2003-01-21
Shumeet Baluja
On Discrete N-Layer Heteroassociative Memory Models
2002-08-11
Surface Water Waves as Saddle Points of the Energy
2002-01-29
J. F. Toland
Approximate Momentum Conservation for Spatial Semidiscretizations of Nonlinear Wave Equations
2002-09-17
A Nonsmooth, Nonconvex
2003-04-09
Pulse-Shaping Ofdm/bfdm Systems For Time-Varying Channels:
2004-06-04
Rademacher Chaos: Tail Estimates Vs Limit
2002-09-26
Ron Blei
Flexibility of a-Helices: Results of a Statistical
2003-03-07
Fast Learning for Problem Classes
2004-06-11
The Waferstepper Challenge: Innovation and Reliability despite Complexity
2004-04-01
Understanding Object-Oriented Programs with
1998-09-15
Security in Mobile Communications: Challenges and Opportunities
2003-03-04
Aiaa 2000-0540 Les And Des Investigations
2002-01-30
A Unified Approach For Indexed and
2003-05-30
Bruce Draper
2004-02-06
Ecosystems, from life, to the Earth,to the Galaxy
2003-03-06
Michael G Burton
Optimal Proof Systems
2002-01-07
A Design Proposal For An Object Oriented Algebraic Library
2003-06-17
Virginia Niculescu
Adaptive Wavelet Graph Model for Bayesian Tomographic Reconstruction
2001-09-24
Types as Models: Model Checking Message-Passing
2002-01-10
National Aeronautics and
1999-04-12
Unknown
2003-03-27
James N. Bodurtha
Unknown
2000-05-19
Willem Veys
Support for Recovery in Mobile Systems
2002-08-12
Krithi Ramamritham
Slack Elasticity in Concurrent Computing
1999-01-08
Making Explicit the Hidden Semantics of Hierarchical Classifications
2003-06-05
Application of The Method of Elastic Maps In Analysis of Genetic Texts
2003-06-03
Universit at Augsburg
2002-03-15
An Area-to-Inv Bijection Between Dyck Paths
2001-12-18
Unknown
2003-01-09
Takao Watanabe
An Exercise in Programming in PA: Fast Growing Hierarchy Functions
2002-03-07
Paul J. Voda
A Multilevel Algorithm For Solving
1995-01-13
Image Processing With Partial Dierential Equations
2004-01-15
Karol Mikula
A Sound and Complete Axiomatization of Delimited Continuations
2003-07-01
Effects of Cache Mechanism on Wireless Data Access
2003-02-15
Combinations of Modal Logics
2002-04-08
A Demand Adaptive and Locality Aware DALA Streaming
2002-04-10
Unknown
2002-04-30
How to repair ESIGN
2002-09-16
Louis Granboulan
A Model Implementation Environment to Support
1998-05-05
LocalGover095E
2001-03-04
Learning in Logic with RichProlog
2002-10-22
Ulm-Tp/02-9
2002-10-16
Vision Research 41 2001 981 -- 989
2004-02-09
Automated Theorem Proving
2003-07-26
Preferred Answer Sets for Ordered Logic Programs
2002-10-03
Davy Van Nieuwenborgh
Limitations of Agile Software Processes
2002-04-13
Eci Enti Nnovati on Bypri Ci Ngi Deas By
2002-06-10
Danny Quah
A Case for Ecient Solution Enumeration
2003-02-16
Negative Polarity Licensing at the Syntax-Semantics Interface
2003-03-18
John Fry
In J. Thong, P. Chau, and K. Y. Tam editors proceedings of The Fourth Pacific Asia Conference on Information
2000-06-26
Ellen Christiaanse
Unknown
2002-12-10
Self-Organizing Subsets: From Each According to His Abilities,
2002-03-02
of a Complex Stand in the Interior Cedar-Hemlock Zone of British Columbia: 40-Year Results
2002-02-15
W. D. Johnstone
Unknown
1995-10-24
JOURNAL OF ELECTRONIC TESTING: Theory and Applications 18, 385--400, 2002 c
2003-03-04
Excluding Any Graph As A Minor Allows A Low
2001-10-29
Mathematical Modelling and Numerical Analysis ESAIM: M2AN Modelisation Mathematique et Analyse Numerique M2AN, Vol. 36, N
2004-03-17
Astronomy Astrophysics manuscript no. January 12, 2002
2002-01-12
C. R. Cowley
Folklore Confirmed: Reducible Flow Graphs are
2002-12-05
Unknown
2004-06-11
First Draft: July 2000 This Draft: July 2002 Forthcoming in the Journal of Financial Economics
2003-04-02
Presupposition Accommodation:
2002-11-27
David Beaver
Historical Analysis Of Political Processes
2001-07-10
Charles Tilly
An Inverse Problem in Thermal Imaging
1995-05-17
A Note On Q-Order Of Convergence
2002-04-11
Fundamental Sources of Unpredictability
2001-10-29
Murray Gell-mann
MULTIPLICATIVE RENORMALIZATION AND GENERATING FUNCTIONS I. Nobuhiro Asai
2002-02-28
SELF-SERV: A Platform for Rapid Composition of Web
2002-06-07
An Approach to the Generation of
2003-05-13
Alessandro Coglio
A Tcp-Over-Udp Test Harness
2002-05-09
Presuppositions for Proportional Quantiers
2002-10-07
Chris Barker
A Probabilistic Extension of UML Statecharts
2002-06-05
Unknown
2003-05-02
Fun with FireWire: Experiences with Verifying the IEEE 1394 Root Contention Protocol
2001-12-04
M. I. A. Stoelinga
Almost Every Number Has A Continuum
2002-11-05
Nikita Sidorov
Feature Selection and Classification on
2003-01-29
Klaus Obermayer
Provably Fast Training Algorithms for Support Vector Machines
2002-01-28
Pre-processing Colour Images with a Self-Organising Map:
2003-02-11
Unknown
2003-03-27
U.S. Department of Education
1997-11-05
Modifying HyTech to Automatically Synthesize Hybrid Controllers
2002-01-25
Load distribution with the Proximity Congestion Awareness in a Network on Chip Erland Nilsson, Mikael Millberg, Johnny
2003-11-12
PersonalProtec0G:
2002-11-19
Aa 385, 328--336 2002
2003-03-06
R. D. Marks
Solving the Multiple-Instance Problem
1997-03-05
An Algorithm for Non-distance Based Clustering
2002-01-30
Compact Encodings of Planar Orthogonal Drawings
2002-04-24
Towards AMathematical Services Description
2002-05-13
ON DEVELOPMENT AND COMPOSITION OF SOYBEAN SEED By JEAN MARIE GRUTERS THOMAS
2002-05-21
Relational Agents: Effecting Change through Human-Computer Relationships
2003-01-31
Timothy Wallace Bickmore
On the Optimality of Randomized Deadlock Avoidance Policies
2002-10-26
Applying Patterns to Develop Extensible
1998-03-04
Typesetting Bridge via L AT
1991-10-01
Kees Van Der Laan
Reviewing the Design of DAML+OIL:
2002-04-12
Bayesian Networks
2002-03-28
Stuart Russell
Power vs. Delay in Gate Sizing: Conicting Objectives?
1999-02-01
A Comparison of RED's Byte and Packet Modes
2003-01-02
An Adaptive Stock Tracker for Personalized Trading Advice
2002-12-02
Recent Advances Of A Posteriori Error Analysis And Adaptive Finite Element Methods
2002-12-06
Zhiming Chen
?
1999-02-22
Spatially-Encoded Far-Field Representations for Interactive
2001-12-12
Computation Modular Termination Proofs for Rewriting Using Dependency Pairs
2002-07-16
Ergodic-Theoretic Properties Of
2003-10-16
Nikita Sidorov
Confidence Bands for ROC Curves
2003-03-11
Unknown
2003-05-26
Vertical Integration, Exclusive Dealing,
2002-12-13
Aiaa-2003-0862 Inflow And Fatigue Response Of The Nwtc Advanced
2003-11-04
Revisiting Hartley's Normalised Eight-Point
2003-03-10
Using Kinetics-Based Models To Address
1999-11-03
Jerrold E. Win
Halin's Theorem for the Möbius Strip
2001-10-01
Fusion of Concurrent Invocations
2002-04-01
AA manuscript no.
2002-02-18
RC 21888 98472 November 20, 2000
2004-04-21
CMS TN/95-150 23 October, 1995 Muon rates in UA1, D0, CDF and CMS predicted by PYTHIA 5.7 M. ' Cwiok
2001-05-09
G. Wrochna
A Young Very Low-Mass Object surrounded by warm dust
2002-04-15
Linear VSS and Distributed Commitments
2002-06-10
Serge Fehr
Generalising Automaticity to Modal Properties of Finite
2002-10-05
A. Dawar
Unknown
2003-04-04
Representation and Computation for Crossed Modules
2000-03-23
Ronald Brown
Evaluating the Effectiveness of the
2002-11-06
Aiaa 2001-4054 An Airborne Conflict Resolution Approach Using A Genetic
2001-08-22
Fork-Decompositions of Matroids
2002-01-24
Characterizing the Shine-Dalgarno Motif: Probability
2002-04-23
Adding the axioms to Axiom
1998-05-22
A Comparison of SIP and H.323 for Internet
2003-03-25
Proposal X3T13 1153D
2000-10-11
New Einstein Metrics on 8S
2002-08-26
Balancing Environmental Quality and Economic Vitality in the Adirondack Park
2004-06-11
Adirondack Park Agency
Aucs / Tr9805
1999-01-06
XML-based Specification of Diagram Editors
2003-02-25
Mark Minas
A Coarse-Grained Model of Water Confined in a Hydrophobic Tube
2003-05-16
Compositionality of Hennessy-Milner Logic
2003-05-19
Connection-Based Proof Search in Propositional BI Logic
2002-07-23
Transfer Equations in Global Illumination
1995-12-09
James Arvo
Boolean Hierarchy of Partitions over
2001-03-26
Method of Characteristics in Spherical Geometry Applied to a Harang-Discontinuity Situation
2002-01-22
O. Amm
Comparison of 3D Algorithms for
2001-09-05
Calibration for an Integrated Measurement System of Camera and Laser
2002-09-03
On Orthogonality-preserving Plücker transformations of Hyperbolic Spaces
1999-07-29
Klaus List
Efficiently Mining Approximate Models of Associations
2002-08-05
A General Lagrangian Formulation for the
2002-02-04
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 24, NO. 12, DECEMBER 1998 1 Integration and Analysis of Use Cases
2002-10-12
Recommender Systems for Learning: Building User
2002-01-06
Appeared in the Workshop on Advanced Separation of Concerns in Software Engineering at ICSE 2001,
2001-06-14
Integrating Performance Analysis in the Uintah
2004-02-29
Is Intractability of Non-Monotonic Reasoning a Real Drawback?
1995-08-31
Microchoice Bounds and Self Bounding Learning Algorithms
2002-08-07
A New Information Criterion for the Selection of Subspace Models
2003-03-13
Www. Www.swebok Swebok.org .org 49
2003-12-01
Development Of
Use of DTMs/DSMsand Orthoimages to Support
2004-01-30
Test Result Analysis and Validation of Test Verdicts
1999-06-08
The Critical Group Of A Threshold Graph
2001-09-24
Hans Christianson
Mon. Not. R. Astron. Soc. 000, 000-000 0000 Printed 25 April 2001 MN L A T E X style
2001-05-07
The Hamiltonian and Lagrangian Approaches to the Dynamics of
1998-07-01
Eusipco '92
2003-01-20
Jean-franois Cardoso
Adaptive Logics and the Integration of Induction
2002-12-19
Joke Meheus
Unknown
2002-03-27
Renormalization Of Self-Consistent
2003-04-01
Local Shape Approximation from Shading
1997-01-31
Daphna Weinshall
Passive Bilateral Feedforward Control of Linear Dynamically Similar
2002-10-13
Teleoperated Manipulators
Average Coherence Approximation for Partially
2002-05-13
Runtime Predictability of Loops
2002-07-28
David R. Kaeli
Unknown
2002-04-03
William Kerney
Epidemiology
2001-12-07
Numerical Analysis of a Multi-Phasic Mass
2002-05-16
Executive Summary
2002-01-17
Computing the Hausdorff Distance of Geometric Patterns and Shapes
2004-01-23
Synaptic Activation of Plateaus in Hindlimb Motoneurons of
2003-04-28
BioSystems 65 2002 37 -- 47
2004-05-13
Sunspots in the Laboratory
2003-01-25
Distributed Algorithms for Guiding Navigation
2003-04-21
A Packet Marking Algorithm for Congestion Pricing
2002-09-02
The AVISS Security Protocol Analysis Tool
2002-11-01
Power Reduction In Pipeline Designs
2003-06-23
Asymptotic properties of Heine-Stieltjes and Van Vleck polynomials
2002-02-19
THE FORECASTING ABILITY OF FACTOR MODELS OF THE TERM STRUCTURE OF IRS MARKETS Pilar Abad
2002-08-13
Working T13 Draft 1410D
2001-12-20
On the Complexity of Inducing Categorical and Quantitative Association Rules
2003-10-09
Unknown
2003-05-07
Improving Object Localization
2003-05-22
Failure of Interpolation in Combined Modal Logics
1998-09-12
Copyright C
2004-02-10
J. A. Nairn
Eisenstein Integers and Related C-groups
1999-04-17
Object Tracking with an Adaptive
2003-12-16
Car-Tr-900
1998-12-04
A Neural Cursive Character Recognizer
2001-04-07
Fluent Logic Programming
2001-03-28
Vincenzo Pallotta
One Loop at a Time
2003-06-26
Random matchings which induce Hamilton cycles, and
2002-03-17
Support for Implementation of Evolutionary
2002-01-19
Raju Pandey
Addressing and Routing in Hexagonal Networks with Applications for Tracking Mobile Users and Connection Rerouting in Cellular Networks
2003-05-24
External Rewriting for Skeptical Proof Assistants
2002-09-18
Some Adjacencies to Cusp Singularities
2002-08-23
Information Systems Development through Social
2002-01-24
On Policy Iteration as a Newton's Method and Polynomial Policy Iteration
2002-01-27
Omid Madani
Feature Visibility Limits in the Non-Linear Enhancement of Turbid Images
2003-06-10
Using XML/XSL to Build Adaptable Database Interfaces for Web
2003-06-11
Consequences of Unburned Hydrocarbons on Microsteamer Dynamics and Chemistry . . .
2004-06-11
Rajesh Dorai
Group Actions On Graphs, Maps And Surfaces
2003-10-23
Marston Conder
Correctness and Reduction in Timed Circuit Analysis
2003-02-20
Eric G Mercer
Learning and Vision Machines
2002-09-23
Center For
2002-10-03
Energy-Efficient Link Adaptations in IEEE 802.11b Wireless LAN
2003-05-17
Stable Self-Guided Propagation of Two
2001-12-04
Iama World Food And Agribusiness Forum
2003-11-01
Mental Models Theory and Anaphora
2002-02-06
A Comparison of QMR, CGS and TFQMR on a Distributed Memory Machine
1995-03-13
fnextcharhmtheoremthmtheoremTheoremsection
1997-06-19
Modelling Prolog Control
2001-11-01
Unknown
2004-06-11
Copyright 1997 IEEE. Published in the Proceedings of the Third
2000-08-01
Synopsys Inc
Fitting a Bivariate Additive Model by Local Polynomial Regression
1999-05-04
Jean D. Opsomer
On the Connection and Linearization Problem for Discrete
2001-06-29
R. J. Ya~nez
Minimum Weight and Dimension Formulas for Some Geometric Codes
2003-04-22
European Commission
2004-04-28
El Greece
Unknown
2000-08-24
Working T13 Draft 1532D Volume 2
2003-02-19
A Parameterized Action Representation for Virtual Human Agents
2002-08-12
A Probabilistic Model for the Degree of the Cancellation
2003-04-09
Robin Pemantle
Http://www.med-Ed-Online.org
2002-12-27
Unknown
2002-10-31
Hand-in-Hand:Stewardship and Cleanup Report from the Rocky Flats Stewardship Working Group to The Rocky Flats Coalition of Local Governments and The Rocky Flats Citizens Advisory Board March 2001 i
2001-05-01
An Effective Complete-Web Recommender System
2003-03-01
Engineering Design Graphics Division of the American Society for Engineering Education, Mid-Year Meeting, Berkeley, CA.
2002-05-21
E. N. Wiebe
IEEE Instrumentation and Measurement
2002-04-15
A Single-Chip CMOS Optical Microspectrometer With
2002-10-18
Appligraph: Applications of Graph Transformation - Fifth Annual Progress Report
2002-08-20
Detlef Plump
Statistical Multiplexing Gain of Link Scheduling Algorithms in QoS Networks
2003-04-22
MATRIX ALGEBRAS IN QUASI-NEWTON METHODS FOR UNCONSTRAINED MINIMIZATION Carmine Di Fiore, Stefano Fanelli, Filomena Lepore, Paolo Zellini
2002-02-11
Investigating Data Broadcast Performance in Mobile Ad-hoc Networks
2002-12-12
A 3D Pattern for Post Estimation for Object Capture
2003-04-04
Design and Performance Evaluation of Indexing Methods for Dynamic Attributes in Mobile Database Management Systems
1997-06-13
Schrödinger Operator with a Junction of Two 1-Dimensional Periodic Potentials
2003-01-03
Evgeni Korotyaev
A Proposal of a Quasi-solution State Evolution
2004-06-11
Basic Properties of Filter Convergence Spaces
2001-09-18
The use of Neural Networks to estimate Gas
1995-01-11
Innovative Strategies in the Food Processing Industry: Fundamental Relationships
2003-11-01
A SUBSPACE ERROREST1 T FOR LINEAR SYSTRy
2003-04-09
Yang Cao And
A New Metric for Controlling Granularity for Parallel Execution
1998-01-15
Inexactness Issues in the Lagrange-Newton-Krylov-Schur Method for PDE-constrained Optimization
2002-11-11
George Biros
Reciprocal Exchange in Agency
2003-06-12
Chris Forman
A Parallel Pipelined Algorithm for the
1998-10-06
Transient-Fault Recovery for Chip Multiprocessors
2003-06-23
c Copyright by Brian Patrick Dunphy, 2002
2002-09-23
Brian Patrick Dunphy
Algorithms for Molecular Biology Fall Semester, 2001
2002-01-27
Testing for Tunneling Opens
2000-07-14
TREC-10 Shot Boundary Detection Task:
2002-02-05
Georges M. Quenot
Ant Colony Optimization: A New Meta-Heuristic
1999-11-05
The Key to Successful Support:
1992-10-01
Anita Z. Hoover
Unknown
2003-05-24
Shuzhong Zhang
Datapath Routing Based on a Decongestion Metric
2000-06-26
Lie Groupoid C*-Algebras and Weyl Quantization
2002-05-21
N. P. Landsman
Curvature Testing In 3-Dimensional
2002-04-24
Murray Elder
Concepts of Behavioral Subtyping
2002-02-21
Status of the PYTHIA7 project
2002-10-14
Cycles in Graphs without a Forbidden Even Cycle
2002-07-04
Deryk Osthus
Improved Layered Space-Time Processing for
2001-10-09
Atmospheri Envisphe nt 35 2001 3789--3797 Photo-oxifli chemioxi i the polluted boundary layer under changiC UV-BradiMCIf
2001-11-05
A Semantic View on Reasoning About Priorities
2002-02-08
Henry Prakken
Cmp-Lg/9505022
2003-01-29
A Lotka-Volterra Three-species Food Chain
2002-10-22
Variance Flooring And Variance Scaling For
1998-09-14
Unknown
1996-10-29
Precise Call Graph Construction in the Presence of Function Pointers
2002-09-18
Air-Spargingremediation: Astudy On Heterogeneity Andair Mobility Reduction
2002-05-01
Positive Feedback Control of Rayleigh-Bénard Convection
2004-06-11
Unknown
2002-07-04
Anna Ing Olfsd Ottir
Compact Floor-Planning via Orderly Spanning Trees
2003-04-26
Proceedings CoNLL 1997, Madrid, 136-144, 1997
2001-07-20
Research Program in Finance Working Paper RPF-272
2004-03-31
Booth Professor Of Banking
Manageable Storage via Adaptation in WiND
2001-11-16
Journal of Global Optimization, , 1--9 2004
2004-06-11
On Optimal Node Splitting for R-trees
1998-10-05
Taming Decentralized POMDPs: Towards Efficient Policy Computation for
2003-04-28
Unknown
2002-03-04
Context Acquisition Based on Load Sensing
2002-10-09
Page i Working T13
2000-10-11
Total Degree Bounds for Artin L-functions and
2002-10-01
Combining Heterogeneous Classi
2001-10-30
Robust Process Simulation
1998-01-16
Mark A. Stadtherr
Lattice Segmentation and Minimum Bayes Risk Discriminative Training
2004-04-26
The Complexity of Universal Text-Learners
2002-11-26
Up and Down Mini-Buckets: A Scheme for Approximating Combinatorial
2001-05-10
Evolutionary Methods For Design, Optimisation And Control
2002-02-06
Self-Stabilizing Routing in Wireless Embedded
2001-10-25
Recommendations for Injury Prevention Transport Aviation Accidents
2001-10-15
Combining Testing and Proving in Dependent Type Theory
2003-05-23
Slope Flow Measurements During Vertical Transport And Mixing VTMX
2001-12-07
Vertical Integration in Gasoline Supply:
2001-08-09
Randomized PRAM Simulation Using T9000 Transputers
1997-06-06
Wojciech Mikanik
Non-linear Goal Programming Using Multi-Objective Genetic Algorithms
2003-04-28
Kalyanmoy Deb
GERALD BAUMGARTNER and VINCENT F. RUSSO
2002-07-02
Discussion Of Paper Published In
2003-03-04
The power of jets: New clues from radio circular
2001-11-14
The Tragedy of Prior Art : Lessons from the USPTO
2003-06-18
A Jacobi{davidson Type Method For The Two-Parameter Eigenvalue Problem
2002-11-21
Michiel E. Hochstenbach
Research Report Series
2002-02-12
Equivariant Twisted Inverse Without Equivariant Compactification
2003-01-09
Mitsuyasu Hashimoto
Bounding Ramsey numbers through large
2001-04-20
Michael Krivelevich
The Greening of
2002-11-30