Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2005

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

Editors:

  1. Michael J. Maher

    1. NICTA and UNSW, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3321)

Conference series link(s): ASIAN: Asian Computer Science Conference

Conference proceedings info: ASIAN 2004.

Sections

Buy it now

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (36 papers)

  1. Front Matter

    PDF

  2. Keynote Papers

    1. Counting by Coin Tossings

      • Philippe Flajolet
      Pages 1-12

  3. Contributed Papers

    2. Chi-Square Matrix: An Approach for Building-Block Identification

      • Chatchawit Aporntewan, Prabhas Chongstitvatana
      Pages 63-77

    3. Design Exploration Framework Under Impreciseness Based on Register-Constrained Inclusion Scheduling

      • Chantana Chantrapornchai, Wanlop Surakumpolthorn, Edwin Sha
      Pages 78-92

    4. Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

      • Daniel Cabeza, Manuel Hermenegildo, James Lipton
      Pages 93-108

    7. A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems

      • Chuchang Liu, Maris A. Ozols, Mehmet Orgun
      Pages 142-156

    8. Using Optimal Golomb Rulers for Minimizing Collisions in Closed Hashing

      • Lars Lundberg, HÃ¥kan Lennerstad, Kamilla Klonowska, Göran Gustafsson
      Pages 157-168

    9. Identity-Based Authenticated Broadcast Encryption and Distributed Authenticated Encryption

      • Yi Mu, Willy Susilo, Yan-Xia Lin, Chun Ruan
      Pages 169-181

    10. Deniable Partial Proxy Signatures

      • Yi Mu, Fangguo Zhang, Willy Susilo
      Pages 182-194

    12. A Robust Approach to Content-Based Musical Genre Classification and Retrieval Using Multi-feature Clustering

      • Kyu-Sik Park, Sang-Heon Oh, Won-Jung Yoon, Kang-Kue Lee
      Pages 212-222

    13. Registration of 3D Range Images Using Particle Swarm Optimization

      • Hai V. Phan, Margaret Lech, Thuc D. Nguyen
      Pages 223-235

    15. A Novel Texture Synthesis Based Algorithm for Object Removal in Photographs

      • Feng Tang, Yiting Ying, Jin Wang, Qunsheng Peng
      Pages 248-258

    16. Highly Efficient and Effective Techniques for Thai Syllable Speech Recognition

      • S. Tangwongsan, P. Po-Aramsri, R. Phoophuangpairoj
      Pages 259-270
Back to top

Other Volumes

  1. Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making

Back to top

Keywords

Back to top

Editors and Affiliations

  • NICTA and UNSW, Sydney, Australia

    Michael J. Maher

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation