Full Description
The9thAsianComputingScienceConferencewasheldinChiangMaiinDec- ber 2004. This volume contains papers that were presented at that conference. The conference was dedicated to Jean-Louis Lassez, on the occasion of his ?fth cycle (60th year) birthday. Its theme was "higher-level decision-making". Philippe Flajolet was invited to give the opening keynote address, while Yuzuru Tanaka and Phillip Rogaway were also keynote speakers. In addition to the keynote speakers, distinguished colleagues of Jean-Louis Lassez were - vited to present talks in his honour. Many of those talks are represented by papers in this volume, but I would like to thank all those speakers: Jonathan Bernick Alex Brodsky Vijay Chandru T. Y. Chen Norman Foo Martin Golumbic Richard Helm Claude Kirchner H' el' ene Kirchner Kim Marriott Krishna Palem Kotagiri Ramamohanarao Vijay Saraswat Masahiko Sato R. K. Shyamasundar Nicolas Spyratos Andrew Sung Pascal Van Hentenryck Jean Vuillemin Following a call for papers, 75 papers were submitted, comprising 47 from Asia, 13 from Europe, 8 from Australia, 5 from North America, and 2 from the Middle East. Submissions came from a total of 23 countries.
Korea, China and Thailand were the most-represented countries. These papers underwent ano- mous refereeing before the Program Committee selected 17 papers for presen- tion at the conference. I thank the Program Committee for doing an excellent job under severe time pressure. I thank the General Chairs of the conference, Joxan Ja?ar and Kanchana Kanchanasut, for their support.
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 Stochastic and Robust Optimization.- Optimal Constraint Decomposition for Distributed Databases.- Adaptive Random Testing.- Minimal Unsatisfiable Sets: Classification and Bounds.- LPOD Answer Sets and Nash Equilibria.- GraphTheoretic 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).
