756 search results - page 152 / 152 » Combining Rule and Ontology Reasoners for the Semantic Web |
POPL
2003
ACM
14 years 5 months ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...