Evaluation of ontology alignments is in practice done in two ways: (1) assessing individual correspondences and (2) comparing the alignment to a reference alignment. However, this ...
Laura Hollink, Mark van Assem, Shenghui Wang, Anto...
While various models of undo have been proposed over the years, no empirical study has yet been done to discover which model of undo most closely aligns with what users expect an ...
Aaron G. Cass, Chris S. T. Fernandes, Andrew Polid...
This paper concerns the generalizability of biometric identification results from small-sized closed systems to larger open systems. Many researchers have claimed high identificati...
Michael Gibbons, Sungsoo Yoon, Sung-Hyuk Cha, Char...
Families have a strong need to connect with their loved ones over distance. However, most technologies do not provide the same feelings of connectedness that one feels from seeing...
Tejinder K. Judge, Carman Neustaedter, Andrew F. K...
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...