SAC
2011
ACM
12 years 11 months ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose
SAC
2011
ACM
12 years 11 months ago
2011
ACM
A moving region whose location and extend change over time can imply topological changes such as region split and hole formation. To study this phenomenon is useful in many applic...
SAC
2011
ACM
12 years 11 months ago
2011
ACM
It is well known that the main objective of conceptual retrieval models is to go beyond simple term matching by relaxing term independence assumption through concept recognition. ...
SAC
2011
ACM
12 years 11 months ago
2011
ACM
Regression testing is often performed with a time budget and it does not allow executing all test cases. Test case prioritization techniques re-order test cases to increase the ra...
SAC
2011
ACM
12 years 11 months ago
2011
ACM
Mining sequential rules from large databases is an important topic in data mining fields with wide applications. Most of the relevant studies focused on finding sequential rules a...
SAC
2011
ACM
12 years 11 months ago
2011
ACM
SAC
2011
ACM
12 years 11 months ago
2011
ACM
In many criminal cases, forensically collected data contain valuable information about a suspect’s social networks. An investigator often has to manually extract information fro...
SAC
2011
ACM
12 years 11 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
SAC
2011
ACM
12 years 11 months ago
2011
ACM
SAC
2011
ACM
12 years 11 months ago
2011
ACM
Information resources on the Web like videos, images, and documents are increasingly becoming more “social” through user engagement via commenting systems. These commenting sy...