Advances in Computer Science - ASIAN 2004, Higher Level Decision Making

Table of Contents

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