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 /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
Edición: | 1st ed. 2005. |
Colección: | Lecture Notes in Computer Science,
3321 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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).