| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910484439003321 |
|
|
Titolo |
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 / / edited by Michael J. Maher |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2005.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 510 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 3321 |
|
|
|
|
|
|
Altri autori (Persone) |
|
MaherMichael J |
LassezJean-Louis |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Artificial intelligence |
Software engineering |
Cryptography |
Data encryption (Computer science) |
Computer science - Mathematics |
Discrete mathematics |
Application software |
Theory of Computation |
Artificial Intelligence |
Software Engineering |
Cryptology |
Discrete Mathematics in Computer Science |
Computer and Information Systems Applications |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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). |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |