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