Rank correlation measures are known for their resilience to perturbations in numeric values and are widely used in many evaluation metrics. Such ordinal measures have rarely been ...
Jay Yagnik, Dennis Strelow, David Ross, Ruei-sung ...
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
While the size of popular Online Social Networks (OSNs) such as MySpace or Twitter has been reported to be in the tens or hundreds of millions of users (and growing), little is kn...
Background: It is necessary to analyze microarray experiments together with biological information to make better biological inferences. We investigate the adequacy of current bio...
Background: There is an increasing number of proteins with known structure but unknown function. Determining their function would have a significant impact on understanding diseas...