External Links

Cite Key

Statistics

  • Reviews: 0
  • Bibliographies: 0

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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, Proceedings

Michael J. Maher, editor, 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, Proceedings. Volume 3321 of Lecture Notes in Computer Science, Springer, 2004.

Conference: asian 2004

Abstract

Abstract is missing.

Table of Contents

1-12Counting by Coin Tossings
Philippe Flajolet
13-32On the Role Definitions in and Beyond Cryptography
Phillip Rogaway
33-47Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments
Yuzuru Tanaka, Jun Fujima, Makoto Ohigashi
48-62Probabilistic Space Partitioning in Constraint Logic Programming
Nicos Angelopoulos
63-77Chi-Square Matrix: An Approach for Building-Block Identification
Chatchawit Aporntewan, Prabhas Chongstitvatana
78-92Design Exploration Framework Under Impreciseness Based on Register-Constrained Inclusion Scheduling
Chantana Chantrapornchai, Wanlop Surakumpolthorn, Edwin Hsing-Mean Sha
93-108Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipton
109-127Assessment Aggregation in the Evidential Reasoning Approach to MADM Under Uncertainty: Orthogonal Versus Weighted Sum
Van-Nam Huynh, Yoshiteru Nakamori, Tu Bao Ho
128-141Learnability of Simply-Moded Logic Programs from Entailment
M. R. K. Krishna Rao
142-156A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems
Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun
157-168Using Optimal Golomb Rulers for Minimizing Collisions in Closed Hashing
Lars Lundberg, Håkan Lennerstad, Kamilla Klonowska, Göran Gustafsson
169-181Identity-Based Authenticated Broadcast Encryption and Distributed Authenticated Encryption
Yi Mu, Willy Susilo, Yan-Xia Lin, Chun Ruan
182-194Deniable Partial Proxy Signatures
Yi Mu, Fangguo Zhang, Willy Susilo
195-211Formal Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction
Taweechai Ouypornkochagorn, Kitsana Waiyamai
212-222A 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
223-235Registration of 3D Range Images Using Particle Swarm Optimization
Hai V. Phan, Margaret Lech, Thuc D. Nguyen
236-247Zero-Clairvoyant Scheduling with Inter-period Constraints
K. Subramani
248-258A Novel Texture Synthesis Based Algorithm for Object Removal in Photographs
Feng Tang, Yiting Ying, Jin Wang, Qunsheng Peng
259-270Highly Efficient and Effective Techniques for Thai Syllable Speech Recognition
Supachai Tangwongsan, Pornchai Po-Aramsri, Rong Phoophuangpairoj
271-285Robot Visual Servoing Based on Total Jacobian
Qingjie Zhao, Zengqi Sun, Hongbin Deng
286-300Online Stochastic and Robust Optimization
Russell Bent, Pascal Van Hentenryck
301-319Optimal Constraint Decomposition for Distributed Databases
Alexander Brodsky, Larry Kerschberg, Samuel Varas
320-329Adaptive Random Testing
Tsong Yueh Chen, Hing Leung, I. K. Mak
330-342Minimal Unsatisfiable Sets: Classification and Bounds
Sudeshna Dasgupta, Vijay Chandru
343-351LPOD Answer Sets and Nash Equilibria
Norman Y. Foo, Thomas Meyer, Gerhard Brewka
352-362Graph Theoretic Models for Reasoning About Time
Martin Charles Golumbic
363-379Rule-Based Programming and Proving: The ELAN Experience Outcomes
Claude Kirchner, Hélène Kirchner
380-394Towards Flexible Graphical Communication Using Adaptive Diagrams
Kim Marriott, Bernd Meyer, Peter J. Stuckey
395-406A Framework for Compiler Driven Design Space Exploration for Embedded System Customization
Krishna V. Palem, Lakshmi N. Chakrapani, Sudhakar Yalamanchili
407-417Spectral-Based Document Retrieval
Kotagiri Ramamohanarao, Laurence A. F. Park
418-436Metadata Inference for Document Retrieval in a Distributed Repository
Philippe Rigaux, Nicolas Spyratos
437-451A Simple Theory of Expressions, Judgments and Derivations
Masahiko Sato
452-467Reactive Framework for Resource Aware Distributed Computing
Rajesh Gupta, R. K. Shyamasundar
468-482The Feature Selection and Intrusion Detection Problems
Andrew H. Sung, Srinivas Mukkamala
483-493On the BDD of a Random Boolean Function
Jean Vuillemin, Frédéric Béal
494-508Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
Vijay A. Saraswat
runs on