Advances in Computer Science - ASIAN 2004, Higher Level Decision Making: 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004 / Edition 1

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making: 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004 / Edition 1

by Michael J. Maher
     
 

ISBN-10: 354024087X

ISBN-13: 9783540240877

Pub. Date: 01/12/2005

Publisher: Springer Berlin Heidelberg

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

Overview

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.

Product Details

ISBN-13:
9783540240877
Publisher:
Springer Berlin Heidelberg
Publication date:
01/12/2005
Series:
Lecture Notes in Computer Science Series, #3321
Edition description:
2005
Pages:
510
Product dimensions:
9.21(w) x 6.14(h) x 1.06(d)

Table of Contents

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 Shastic and Robust Optimization.- Optimal Constraint Decomposition for Distributed Databases.- Adaptive Random Testing.- Minimal Unsatisfiable Sets: Classification and Bounds.- LPOD Answer Sets and Nash Equilibria.- Graph Theoretic 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).

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >