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