237
click to vote
SAC
2011
ACM
14 years 10 months ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose
231
click to vote
SAC
2011
ACM
14 years 10 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...
238
click to vote
SAC
2011
ACM
14 years 10 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. ...
246
click to vote
SAC
2011
ACM
14 years 10 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...
225
click to vote
SAC
2011
ACM
14 years 10 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...