计算机科学进展Advances in Computer Science - ASIAN 2004, Higher Level Decision Making 115盘 下载 pdf txt 电子版 mobi snb docx

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 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

……

Author Index

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：计算机科学进展Advances in Computer Science - ASIAN 2004, Higher Level Decision Making在线阅读

在线听书地址：计算机科学进展Advances in Computer Science - ASIAN 2004, Higher Level Decision Making在线收听

在线购买地址：计算机科学进展Advances in Computer Science - ASIAN 2004, Higher Level Decision Making在线购买

暂无原文赏析，正在全力查找中！

暂无其它内容！