Thư Viện trường Đại Học Nha Trang

Journal of Computer science and technology, Tập 28, Số 2, 2013

Mục lục:

STT	Nội dung
1	Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL / Liya Liu, Osman Hasan and Soﬁ`ene Tahar
2	A Taxonomy of Exact Methods for Partial Max-SAT / Mohamed El Bachir Menai and Tasniem Nasser Al-Yahya
3	Complete Boolean Satisﬁability Solving Algorithms Based on Local Search / Wen-Sheng Guo and others
4	Exact Computation of the Topology and Geometric Invariants of the Voronoi Diagram of Spheres in 3D / Francois Anton and others
5	On 2-Site Voronoi Diagrams Under Geometric Distance Functions / Gill Barequet and others
6	On the Toggling-Branching Recurrence of Computability Logic / Mei-Xia Qu and others
7	Game semantics, interactive computation, static game / Irfan Ahmad and Sabri A. Mahmoud
8	Parameter-Free Search of Time-Series Discord / Wei Luo, Marcus Gallagher and Janet Wiles
9	Possibilistic Exponential Fuzzy Clustering / Kiatichai Treerattanapitak and Chuleerat Jaruskulchai
10	Optimal Feature Extraction Using Greedy Approach for Random Image Components and Subspace Approach in Face Recognition / Mathu Soothana S. Kumar Retna Swami and Muneeswaran Karuppiah
11	SR-MAC: A Low Latency MAC Protocol for Multi-Packet Transmissions in Wireless Sensor Networks / Hong-Wei Tang and others
12	Optimal Relay Assignment and Power Allocation for Cooperative Communications / Kun Xie, Jian-Nong Cao and Ji-Gang Wen
13	Fuzzy-Based Dynamic Distributed Queue Scheduling for Packet Switched Networks / Chollette C. Chude-Olisah and others
14	Fast Smallest Lowest Common Ancestor Computation Based on Stable Match / Jun-Feng Zhou, Guo-Xiang Lan and Xian Tang
15	Query Intent Disambiguation of Keyword-Based Semantic Entity Search in Dataspaces / Dan Yang and others
16	An Eﬃcient and Spam-Robust Proximity Measure Between Communication Entities / Joo Hyuk Jeon and others