Search For:

Displaying 1-2 out of 2 total
A Computational Method for Temporal Logic Reasoning and Model Checking
Found in: Computer Science and Information Engineering, World Congress on
By Quocnam Tran
Issue Date:April 2009
pp. 55-59
Temporal logic is widely used to specify hardware and software systems. Reasoning in temporal logic has been used as an algorithmic approach for model checking for automatically verifying whether a hardware or software system functions correctly. In this p...
Mining Medical Databases with Modified Gini Index Classification
Found in: Information Technology: New Generations, Third International Conference on
By Quocnam Tran
Issue Date:April 2008
pp. 195-200
Decision tree classification is a common method used in data mining. It has been used for predicting medical diagnoses. Among data mining methods for classification, decision trees have several advantages such as they are simple to understand and interpret...