计算机科学进展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