Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL Liya LiuOsman HasanSofiène Tahar OriginalPaper 12 March 2013 Pages: 217 - 231
A Taxonomy of Exact Methods for Partial Max-SAT Mohamed El Bachir MenaiTasniem Nasser Al-Yahya Regular Paper 12 March 2013 Pages: 232 - 246
Complete Boolean Satisfiability Solving Algorithms Based on Local Search Wen-Sheng GuoGuo-Wu YangXiaoyu Song Regular Paper 12 March 2013 Pages: 247 - 254
Exact Computation of the Topology and Geometric Invariants of the Voronoi Diagram of Spheres in 3D François AntonDarka MiocMarcelo Santos Regular Paper 12 March 2013 Pages: 255 - 266
On 2-Site Voronoi Diagrams Under Geometric Distance Functions Gill BarequetMatthew DickersonKira Vyatkina Regular Paper 12 March 2013 Pages: 267 - 277
On the Toggling-Branching Recurrence of Computability Logic Mei-Xia QuJun-Feng LuanMeng Du Regular Paper 12 March 2013 Pages: 278 - 284
Arabic Bank Check Processing: State of the Art Irfan AhmadSabri A. Mahmoud Survey 12 March 2013 Pages: 285 - 299
Parameter-Free Search of Time-Series Discord Wei LuoMarcus GallagherJanet Wiles Regular Paper 12 March 2013 Pages: 300 - 310
Possibilistic Exponential Fuzzy Clustering Kiatichai TreerattanapitakChuleerat Jaruskulchai Regular Paper 12 March 2013 Pages: 311 - 321
Optimal Feature Extraction Using Greedy Approach for Random Image Components and Subspace Approach in Face Recognition Mathu Soothana S. Kumar Retna SwamiMuneeswaran Karuppiah Short Paper 12 March 2013 Pages: 322 - 328
SR-MAC: A Low Latency MAC Protocol for Multi-Packet Transmissions in Wireless Sensor Networks Hong-Wei TangJian-Nong CaoCai-Xia Sun Regular Paper 12 March 2013 Pages: 329 - 342
Optimal Relay Assignment and Power Allocation for Cooperative Communications Kun XieJian-Nong CaoJi-Gang Wen Regular Paper 12 March 2013 Pages: 343 - 356
Fuzzy-Based Dynamic Distributed Queue Scheduling for Packet Switched Networks Chollette C. Chude-OlisahUche A. K. Chude-OkonkwoGhazali Sulong Regular Paper 12 March 2013 Pages: 357 - 365
Fast Smallest Lowest Common Ancestor Computation Based on Stable Match Jun-Feng ZhouGuo-Xiang LanXian Tang Regular Paper 12 March 2013 Pages: 366 - 381
Query Intent Disambiguation of Keyword-Based Semantic Entity Search in Dataspaces Dan YangDe-Rong ShenTie-Zheng Nie Regular Paper 12 March 2013 Pages: 382 - 393
An Efficient and Spam-Robust Proximity Measure Between Communication Entities Joo Hyuk JeonJihwan SongMyoung Ho Kim Short Paper 12 March 2013 Pages: 394 - 400