Export 3 results:
Sort by: Filters: Author is Mohammed J. Zaki [Clear All Filters]
"Mining Complex Boolean Expressions for Sequential Equivalence Checking",
19th Asian Test Symposium (ATS’10), Shanghai, China, 12/2010.
"Mining Frequent Boolean Expressions: Applications to Gene Expression and Regulatory Modeling",
International Journal on Knowledge Discovery in Bioinformatics, vol. 1, no. 3, 07/2010.
"Automatic Layout and Visualisation of Biclusters",
Proceedings of the 6th SIGKDD Workshop on Data Mining in Biology, pp. 23–30, 2006.