127 citations · 215 across the 15 of their papers we have counts for
4 papers · 1 filter
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover
Shaowei Cai, Kaile Su, Chuan Luo +1
The Minimum Vertex Cover (MVC) problem is a prominent NP-hard combinatorial optimization problem of great importance in both theory and application. Local search has proved success…
Detecting Requirements Defects Utilizing A Mathematical Framework for Behavior Engineering
Kushal Ahmed, Toby Myers, Lian Wen +1
Behavior Engineering (BE) provides a rigorous way to derive a formal specification of a software system from the requirements written in natural language. Its graphical specificati…
Variable Forgetting in Reasoning about Knowledge
Kaile Su, Abdul Sattar, Guanfeng Lv +1
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason abou…
Association Rules Mining Based Clinical Observations
Mahmood A. Rashid, Md Tamjidul Hoque, Abdul Sattar
Healthcare institutes enrich the repository of patients' disease related information in an increasing manner which could have been more useful by carrying out relational analysis.…