计算机科学进展Advances in Computer Science - ASIAN 2004, Higher Level Decision Making

2005-1  

Oversea Publishing House  

Maher, Michael J.  

510  

This book constitutes the refereed proceedings of the 9th Asian Computing Science Conference, ASIAN 2004, dedicated to Jean-Louis Lassez on the occasion of his 60th birthday and held in Chiang Mai, Thailand in December 2004. The 17 revised full papers presented together with 3 keynote papers and 16 invited papers honouring Jean-Louis Lassez were carefully reviewed and selected from 75 submissions. The contributed papers are focusing on higher-level decision making, whereas the invited papers address a broader variety of topics in theoretical computer science.

Keynote 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 EnvironmentsContributed 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 JacobianInvited Papers Online Stochastic and Robust Optimization Optimal Constraint Decomposition for Distributed Databases ……Author Index

计算机科学进展Advances in Computer Science - ASIAN 2004, Higher Level Decision Making PDF格式下载