Medical system based on image processing is playing an important role in clinical medicine today. However, the checking for label on powder medicine bottle is still being done manually by pharmacists in the injection pharmacy admixture preparation p
Although the technology of natural language processing was proposed several years ago, there are few Internet-based systems of English automatic grammar checking which is of help for beginner academic writers. This paper introduces our research resul
This paper presents and analyzes two new efficient local search strategies for the Boolean Satisfiability (SAT) problem. We start by proposing a local search strategy called configuration checking (CC) for SAT. The CC strategy results in a simple loc
This paper introduces the notion of safety and availability checking for user authorization query processing, and develop a recursive algorithm use the ideas from backtracking-based search techniques to search for the optimal solution. For the availa
