Advances in computer science - ASIAN 2004

InhaltsverzeichnisKeynote Papers.Counting by Coin Tossings.On the Role Definitions in and Beyond Cryptography.Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments.Contributed Papers.Probabilistic Space Partitioning in Constraint Logic Programming.Chi-Square Matrix: An Approach for Building-Block Identification.Design Exploration Framework Under Impreciseness Based on Register-Constrained Inclusion Scheduling.Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.Assessment Aggregation in the Evidential Reasoning Approach to MADM Under Uncertainty: Orthogonal Versus Weighted Sum.Learnability of Simply-Moded Logic Programs from Entailment.A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems.Using Optimal Golomb Rulers for Minimizing Collisions in Closed Hashing.Identity-Based Authenticated Broadcast Encryption and Distributed Authenticated Encryption.Deniable Partial Proxy Signatures.Formal Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction.A Robust Approach to Content-Based Musical Genre Classification and Retrieval Using Multi-feature Clustering.Registration of 3D Range Images Using Particle Swarm Optimization.Zero-Clairvoyant Scheduling with Inter-period Constraints.A Novel Texture Synthesis Based Algorithm for Object Removal in Photographs.Highly Efficient and Effective Techniques for Thai Syllable Speech Recognition.Robot Visual Servoing Based on Total Jacobian.Invited Papers.Online Stochastic and Robust Optimization.Optimal Constraint Decomposition for Distributed Databases.Adaptive Random Testing.Minimal Unsatisfiable Sets: Classification and Bounds.LPOD Answer Sets and Nash Equilibria.GraphTheoretic Models for Reasoning About Time.Rule-Based Programming and Proving: The ELAN Experience Outcomes.Towards Flexible Graphical Communication Using Adaptive Diagrams.A Framework for Compiler Driven Design Space Exploration for Embedded System Customization.Spectral-Based Document Retrieval.Metadata Inference for Document Retrieval in a Distributed Repository.A Simple Theory of Expressions, Judgments and Derivations.Reactive Framework for Resource Aware Distributed Computing.The Feature Selection and Intrusion Detection Problems.On the BDD of a Random Boolean Function.Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models (Summary).