Read more
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.
List 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 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).
