05826nam 22007455 450 99646634760331620200630213328.03-540-30502-510.1007/b103476(CKB)1000000000212638(SSID)ssj0000098340(PQKBManifestationID)11137759(PQKBTitleCode)TC0000098340(PQKBWorkID)10132462(PQKB)10564513(DE-He213)978-3-540-30502-6(MiAaPQ)EBC3068418(PPN)13412362X(EXLCZ)99100000000021263820110111d2005 u| 0engurnn|008mamaatxtccrAdvances in Computer Science - ASIAN 2004, Higher Level Decision Making[electronic resource] 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. Maher1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XII, 510 p.) Lecture Notes in Computer Science,0302-9743 ;3321Bibliographic Level Mode of Issuance: Monograph3-540-24087-X Includes bibliographical references and index.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 -- 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).Lecture Notes in Computer Science,0302-9743 ;3321ComputersArtificial intelligenceSoftware engineeringData encryption (Computer science)Computer science—MathematicsApplication softwareTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Cryptologyhttps://scigraph.springernature.com/ontologies/product-market-codes/I28020Discrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Computers.Artificial intelligence.Software engineering.Data encryption (Computer science).Computer science—Mathematics.Application software.Theory of Computation.Artificial Intelligence.Software Engineering/Programming and Operating Systems.Cryptology.Discrete Mathematics in Computer Science.Information Systems Applications (incl. Internet).004.0151Maher Michael Jedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466347603316Advances in Computer Science - ASIAN 2004, Higher Level Decision Making2594854UNISA