Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. ASIAN 2004: Chiang Mai, Thailand
- Michael J. Maher:
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
Keynote Papers
- Philippe Flajolet:
Counting by Coin Tossings. 1-12 - Phillip Rogaway:
On the Role Definitions in and Beyond Cryptography. 13-32 - Yuzuru Tanaka, Jun Fujima, Makoto Ohigashi:
Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments. 33-47
Contributed Papers
- Nicos Angelopoulos:
Probabilistic Space Partitioning in Constraint Logic Programming. 48-62 - Chatchawit Aporntewan, Prabhas Chongstitvatana:
Chi-Square Matrix: An Approach for Building-Block Identification. 63-77 - Chantana Chantrapornchai, Wanlop Surakumpolthorn, Edwin Hsing-Mean Sha:
Design Exploration Framework Under Impreciseness Based on Register-Constrained Inclusion Scheduling. 78-92 - Daniel Cabeza, Manuel V. Hermenegildo, James Lipton:
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. 93-108 - 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 - M. R. K. Krishna Rao:
Learnability of Simply-Moded Logic Programs from Entailment. 128-141 - Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun:
A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems. 142-156 - Lars Lundberg, Håkan Lennerstad, Kamilla Klonowska, Göran Gustafsson:
Using Optimal Golomb Rulers for Minimizing Collisions in Closed Hashing. 157-168 - Yi Mu, Willy Susilo
, Yan-Xia Lin, Chun Ruan:
Identity-Based Authenticated Broadcast Encryption and Distributed Authenticated Encryption. 169-181 - Yi Mu, Fangguo Zhang, Willy Susilo:
Deniable Partial Proxy Signatures. 182-194 - Taweechai Ouypornkochagorn, Kitsana Waiyamai:
Formal Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction. 195-211 - 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 - Hai V. Phan, Margaret Lech, Thuc D. Nguyen:
Registration of 3D Range Images Using Particle Swarm Optimization. 223-235 - K. Subramani:
Zero-Clairvoyant Scheduling with Inter-period Constraints. 236-247 - Feng Tang, Yiting Ying, Jin Wang, Qunsheng Peng:
A Novel Texture Synthesis Based Algorithm for Object Removal in Photographs. 248-258 - Supachai Tangwongsan, Pornchai Po-Aramsri, Rong Phoophuangpairoj:
Highly Efficient and Effective Techniques for Thai Syllable Speech Recognition. 259-270 - Qingjie Zhao, Zengqi Sun, Hongbin Deng:
Robot Visual Servoing Based on Total Jacobian. 271-285
Invited Papers
- Russell Bent, Pascal Van Hentenryck:
Online Stochastic and Robust Optimization. 286-300 - Alexander Brodsky, Larry Kerschberg, Samuel Varas:
Optimal Constraint Decomposition for Distributed Databases. 301-319 - Tsong Yueh Chen, Hing Leung, I. K. Mak:
Adaptive Random Testing. 320-329 - Sudeshna Dasgupta, Vijay Chandru:
Minimal Unsatisfiable Sets: Classification and Bounds. 330-342 - Norman Y. Foo, Thomas Meyer, Gerhard Brewka:
LPOD Answer Sets and Nash Equilibria. 343-351 - Martin Charles Golumbic:
Graph Theoretic Models for Reasoning About Time. 352-362 - Claude Kirchner, Hélène Kirchner:
Rule-Based Programming and Proving: The ELAN Experience Outcomes. 363-379 - Kim Marriott, Bernd Meyer, Peter J. Stuckey:
Towards Flexible Graphical Communication Using Adaptive Diagrams. 380-394 - Krishna V. Palem, Lakshmi N. Chakrapani, Sudhakar Yalamanchili:
A Framework for Compiler Driven Design Space Exploration for Embedded System Customization. 395-406 - Kotagiri Ramamohanarao, Laurence Anthony F. Park:
Spectral-Based Document Retrieval. 407-417 - Philippe Rigaux, Nicolas Spyratos:
Metadata Inference for Document Retrieval in a Distributed Repository. 418-436 - Masahiko Sato:
A Simple Theory of Expressions, Judgments and Derivations. 437-451 - Rajesh Gupta, R. K. Shyamasundar:
Reactive Framework for Resource Aware Distributed Computing. 452-467 - Andrew H. Sung, Srinivas Mukkamala:
The Feature Selection and Intrusion Detection Problems. 468-482 - Jean Vuillemin, Frédéric Béal:
On the BDD of a Random Boolean Function. 483-493 - Vijay A. Saraswat:
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models. 494-508
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
