Sciweavers

SAC
2011
ACM
13 years 3 months ago
Quotients revisited for Isabelle/HOL
Higher-Order Logic (HOL) is based on a small logic kernel, whose
Cezary Kaliszyk, Christian Urban
SAC
2011
ACM
13 years 3 months ago
Tracking continuous topological changes of complex moving regions
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...
Hechen Liu, Markus Schneider
SAC
2011
ACM
13 years 3 months ago
Biomedical concept extraction based on combining the content-based and word order similarities
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. ...
Duy Dinh, Lynda Tamine
SAC
2011
ACM
13 years 3 months ago
An empirical study on the effectiveness of time-aware test case prioritization techniques
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...
Dongjiang You, Zhenyu Chen, Baowen Xu, Bin Luo, Ch...
SAC
2011
ACM
13 years 3 months ago
RuleGrowth: mining sequential rules common to several sequences by pattern-growth
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...
Philippe Fournier-Viger, Roger Nkambou, Vincent Sh...
SAC
2011
ACM
13 years 3 months ago
Towards discovering criminal communities from textual data
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...
Rabeah Al-Zaidy, Benjamin C. M. Fung, Amr M. Youss...
SAC
2011
ACM
13 years 3 months ago
Type harvesting: a practical approach to obtaining typing information in dynamic programming languages
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
Michael Haupt, Michael Perscheid, Robert Hirschfel...
SAC
2011
ACM
13 years 3 months ago
Sector log: fine-grained storage management for solid state drives
Seongwook Jin, Jae-Hong Kim, Jaegeuk Kim, Jaehyuk ...
SAC
2011
ACM
13 years 3 months ago
Hierarchical comments-based clustering
Information resources on the Web like videos, images, and documents are increasingly becoming more “social” through user engagement via commenting systems. These commenting sy...
Chiao-Fang Hsu, James Caverlee, Elham Khabiri