We use cookies to improve your experience with our site.
Advanced Search

Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL
Liya Liu, Osman Hasan, Sofiène Tahar
2013, 28(2): 217-231. doi: 10.1007/s11390-013-1324-6
Abstract
A Taxonomy of Exact Methods for Partial Max-SAT
Mohamed El Bachir Menai, Tasniem Nasser Al-Yahya
2013, 28(2): 232-246. doi: 10.1007/s11390-013-1325-5
Abstract
Complete Boolean Satisfiability Solving Algorithms Based on Local Search
Wen-Sheng Guo, Guo-Wu Yang, William N. N. Hung, Xiaoyu Song
2013, 28(2): 247-254. doi: 10.1007/s11390-013-1326-4
Abstract
Exact Computation of the Topology and Geometric Invariants of the Voronoi Diagram of Spheres in 3D
François Anton, Darka Mioc, Marcelo Santos
2013, 28(2): 255-266. doi: 10.1007/s11390-013-1327-3
Abstract
On 2-Site Voronoi Diagrams Under Geometric Distance Functions
Gill Barequet, Matthew Dickerson, David Eppstein, David Hodorkovsky, Kira Vyatkina
2013, 28(2): 267-277. doi: 10.1007/s11390-013-1328-2
Abstract
On the Toggling-Branching Recurrence of Computability Logic
Mei-Xia Qu, Jun-Feng Luan, Da-Ming Zhu, Meng Du
2013, 28(2): 278-284. doi: 10.1007/s11390-013-1329-1
Abstract
Arabic Bank Check Processing: State of the Art
Irfan Ahmad, Sabri A. Mahmoud
2013, 28(2): 285-299. doi: 10.1007/s11390-013-1332-6
Abstract
Parameter-Free Search of Time-Series Discord
Wei Luo, Marcus Gallagher, Janet Wiles
2013, 28(2): 300-310. doi: 10.1007/s11390-013-1330-8
Abstract
Possibilistic Exponential Fuzzy Clustering
Kiatichai Treerattanapitak, Chuleerat Jaruskulchai
2013, 28(2): 311-321. doi: 10.1007/s11390-013-1331-7
Abstract
Optimal Feature Extraction Using Greedy Approach for Random Image Components and Subspace Approach in Face Recognition
Mathu Soothana S. Kumar Retna Swami, Muneeswaran Karuppiah
2013, 28(2): 322-328. doi: 10.1007/s11390-013-1333-5
Abstract
SR-MAC: A Low Latency MAC Protocol for Multi-Packet Transmissions in Wireless Sensor Networks
Hong-Wei Tang, Jian-Nong Cao, Xue-Feng Liu, Cai-Xia Sun
2013, 28(2): 329-342. doi: 10.1007/s11390-013-1334-4
Abstract
Optimal Relay Assignment and Power Allocation for Cooperative Communications
Kun Xie, Jian-Nong Cao, Ji-Gang Wen
2013, 28(2): 343-356. doi: 10.1007/s11390-013-1335-3
Abstract
Fuzzy-Based Dynamic Distributed Queue Scheduling for Packet Switched Networks
Chollette C. Chude-Olisah, Uche A. K. Chude-Okonkwo, Kamalrulnizam A. Bakar, Ghazali Sulong
2013, 28(2): 357-365. doi: 10.1007/s11390-013-1336-2
Abstract
Fast Smallest Lowest Common Ancestor Computation Based on Stable Match
Jun-Feng Zhou, Guo-Xiang Lan, Zi-Yang Chen, Xian Tang
2013, 28(2): 366-381. doi: 10.1007/s11390-013-1337-1
Abstract
Query Intent Disambiguation of Keyword-Based Semantic Entity Search in Dataspaces
Dan Yang, De-Rong Shen, Ge Yu, Yue Kou, Tie-Zheng Nie
2013, 28(2): 382-393. doi: 10.1007/s11390-013-1338-0
Abstract
An Efficient and Spam-Robust Proximity Measure Between Communication Entities
Joo Hyuk Jeon, Jihwan Song, Jeong Eun Kwon, Yoon Joon Lee, Man Ho Park, Myoung Ho Kim
2013, 28(2): 394-400. doi: 10.1007/s11390-013-1339-z
Abstract
Current Issue Cover