Abstract is missing.
- Counting by Coin TossingsPhilippe Flajolet. 1-12 [doi]
- On the Role Definitions in and Beyond CryptographyPhillip Rogaway. 13-32 [doi]
- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing EnvironmentsYuzuru Tanaka, Jun Fujima, Makoto Ohigashi. 33-47 [doi]
- Probabilistic Space Partitioning in Constraint Logic ProgrammingNicos Angelopoulos. 48-62 [doi]
- Chi-Square Matrix: An Approach for Building-Block IdentificationChatchawit Aporntewan, Prabhas Chongstitvatana. 63-77 [doi]
- Design Exploration Framework Under Impreciseness Based on Register-Constrained Inclusion SchedulingChantana Chantrapornchai, Wanlop Surakumpolthorn, Edwin Hsing-Mean Sha. 78-92 [doi]
- Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate AbstractionDaniel Cabeza, Manuel V. Hermenegildo, James Lipton. 93-108 [doi]
- Assessment Aggregation in the Evidential Reasoning Approach to MADM Under Uncertainty: Orthogonal Versus Weighted SumVan-Nam Huynh, Yoshiteru Nakamori, Tu Bao Ho. 109-127 [doi]
- Learnability of Simply-Moded Logic Programs from EntailmentM. R. K. Krishna Rao. 128-141 [doi]
- A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent SystemsChuchang Liu, Maris A. Ozols, Mehmet A. Orgun. 142-156 [doi]
- Using Optimal Golomb Rulers for Minimizing Collisions in Closed HashingLars Lundberg, Håkan Lennerstad, Kamilla Klonowska, Göran Gustafsson. 157-168 [doi]
- Identity-Based Authenticated Broadcast Encryption and Distributed Authenticated EncryptionYi Mu, Willy Susilo, Yan-Xia Lin, Chun Ruan. 169-181 [doi]
- Deniable Partial Proxy SignaturesYi Mu, Fangguo Zhang, Willy Susilo. 182-194 [doi]
- Formal Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice ConstructionTaweechai Ouypornkochagorn, Kitsana Waiyamai. 195-211 [doi]
- A Robust Approach to Content-Based Musical Genre Classification and Retrieval Using Multi-feature ClusteringKyu-Sik Park, Sang-Heon Oh, Won-Jung Yoon, Kang-Kue Lee. 212-222 [doi]
- Registration of 3D Range Images Using Particle Swarm OptimizationHai V. Phan, Margaret Lech, Thuc D. Nguyen. 223-235 [doi]
- Zero-Clairvoyant Scheduling with Inter-period ConstraintsK. Subramani. 236-247 [doi]
- A Novel Texture Synthesis Based Algorithm for Object Removal in PhotographsFeng Tang, Yiting Ying, Jin Wang, Qunsheng Peng. 248-258 [doi]
- Highly Efficient and Effective Techniques for Thai Syllable Speech RecognitionSupachai Tangwongsan, Pornchai Po-Aramsri, Rong Phoophuangpairoj. 259-270 [doi]
- Robot Visual Servoing Based on Total JacobianQingjie Zhao, Zengqi Sun, Hongbin Deng. 271-285 [doi]
- Online Stochastic and Robust OptimizationRussell Bent, Pascal Van Hentenryck. 286-300 [doi]
- Optimal Constraint Decomposition for Distributed DatabasesAlexander Brodsky, Larry Kerschberg, Samuel Varas. 301-319 [doi]
- Adaptive Random TestingTsong Yueh Chen, Hing Leung, I. K. Mak. 320-329 [doi]
- Minimal Unsatisfiable Sets: Classification and BoundsSudeshna Dasgupta, Vijay Chandru. 330-342 [doi]
- LPOD Answer Sets and Nash EquilibriaNorman Y. Foo, Thomas Meyer, Gerhard Brewka. 343-351 [doi]
- Graph Theoretic Models for Reasoning About TimeMartin Charles Golumbic. 352-362 [doi]
- Rule-Based Programming and Proving: The ELAN Experience OutcomesClaude Kirchner, Hélène Kirchner. 363-379 [doi]
- Towards Flexible Graphical Communication Using Adaptive DiagramsKim Marriott, Bernd Meyer, Peter J. Stuckey. 380-394 [doi]
- A Framework for Compiler Driven Design Space Exploration for Embedded System CustomizationKrishna V. Palem, Lakshmi N. Chakrapani, Sudhakar Yalamanchili. 395-406 [doi]
- Spectral-Based Document RetrievalKotagiri Ramamohanarao, Laurence A. F. Park. 407-417 [doi]
- Metadata Inference for Document Retrieval in a Distributed RepositoryPhilippe Rigaux, Nicolas Spyratos. 418-436 [doi]
- A Simple Theory of Expressions, Judgments and DerivationsMasahiko Sato. 437-451 [doi]
- Reactive Framework for Resource Aware Distributed ComputingRajesh Gupta, R. K. Shyamasundar. 452-467 [doi]
- The Feature Selection and Intrusion Detection ProblemsAndrew H. Sung, Srinivas Mukkamala. 468-482 [doi]
- On the BDD of a Random Boolean FunctionJean Vuillemin, Frédéric Béal. 483-493 [doi]
- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory ModelsVijay A. Saraswat. 494-508 [doi]