Halimah Badioze Halimah

According to our database, Halimah Badioze Halimah authored at least 2 papers between 2007 and 2009.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2009

Generating 3D Visual Expression Using Semantic Simplification Description Based on Logical Representation.

Rabiah Abdul Kadir, Tengku M. T. Sembok, Halimah Badioze Halimah

Proceedings of the Visual Informatics: Bridging Research and Practice, 2009

2007

Towards Skolemize Clauses Binding for Reasoning in Inference Engine.

Rabiah Abdul Kadir, Tengku Mohd Tengku Sembok, Halimah Badioze Halimah

Proceedings of the Selected Papers of the Fifth International Conference on, 2007