1 Introduction -- 1 Introduction -- 2 Preliminaries and Monograph Structure -- I Combinatorial Bounds -- 3 Johnson-Type Bounds and Applications to List Decoding -- 4 Limits to List Decodability -- 5 List Decodability Vs. Rate -- II Code Constructions and Algorithms -- 6 Reed-Solomon and Algebraic-Geometric Codes -- 7 A Unified Framework for List Decoding of Algebraic Codes -- 8 List Decoding of…
Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism Control for Multigrain Parallel Processing -- Compiler Analysis and Supports for Leakage Power Reduction on Microprocessors -- Automatic Detection of Saturation and Clipping Idioms -- Compiler Optimiz…
Experiences in Using Cetus for Source-to-Source Transformations -- The LLVM Compiler Framework and Infrastructure Tutorial -- An Overview of the Open Research Compiler -- Trimaran: An Infrastructure for Research in Instruction-Level Parallelism -- Phase-Based Miss Rate Prediction Across Program Inputs -- Speculative Subword Register Allocation in Embedded Processors -- Empirical Performance-Mod…
Spatial Data Infrastructures and related concepts -- A metadata infrastructure for the management of nested collections -- Interoperability between metadata standards -- The use of disambiguated thesauri to improve information retrieval -- Integrating the concepts within the components of a Spatial Data Infrastructure -- Conclusions and future work.Metadata play a fundamental role in both DLs a…
International Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBase 2003) -- Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases -- Ontology Translation on the Semantic Web -- Compound Term Composition Algebra: The Semantics -- Dynamic Pattern Mining: An Incremental Data Clustering Approach -- International …
Introduction: Cross Atlantic Perspectives in Methods and Models Analysing Transport and Telecommunications -- Traffic Forecasting and Transport Network Analysis -- Urban Travel Forecasting in the USA and UK -- Towards Developing a Travel Time Forecasting Model for Location-Based Services: A Review -- Transportation Networks, Case-Based Reasoning and Traffic Collision Analysis: A Methodology for…
Cellular Networks: Where Are the Mobile Users? -- Distributed Data Structures: A Survey -- On Designing Truthful Mechanisms for Online Scheduling -- On Private Computation in Incomplete Networks -- Traffic Grooming on the Path -- Range Augmentation Problems in Static Ad-Hoc Wireless Networks -- On the Approximability of the L(h,k)-Labelling Problem on Bipartite Graphs (Extended Abstract) -- A T…
Channel Coding -- Error-Control Codes -- Check Digits for Error Detection -- Source Codes -- Statistical Methods -- Dictionary Methods -- Image Compression -- Secure Codes -- Basic Concepts -- Monoalphabetic Substitution Ciphers -- Transposition Ciphers -- Polyalphabetic Substitution Ciphers -- Stream Ciphers -- Block Ciphers -- Public-Key Cryptography -- Data Hiding -- Data Hiding in Images --…
Visual Data Formats -- Cryptography Primer -- Application Scenarios for the Encryption of Visual Data -- Image and Video Encryption -- Conclusions.Image and Video Encryption provides a unified overview of techniques for encryption of images and video data. This ranges from commercial applications like DVD or DVB to more research oriented topics and recently published material. This volume intro…
Invited Contributions -- Semantic Subtyping: Challenges, Perspectives, and Open Problems -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions -- Technical Contributions -- Efficient Algorithms for Detecting Regular Point Configurations -- Pickup and Delivery for Moving Objects on Broken Lines -- A Static Analysis of PKI-Based Systems --…