This paper investigates the level of agreement in applying metadata and highlights results from the analysis of agreement between and within user communities. Problems in applying...
Given a family of Horn clauses, what is the minimal number of Horn clauses implying all other clauses in the family? What is the maximal number of Horn clauses from the family wit...
Marina Langlois, Dhruv Mubayi, Robert H. Sloan, Gy...
Abstract. In this paper, we propose fuzzy linear programming support vector machines (LP-SVMs) that resolve unclassifiable regions for multiclass problems. Namely, in the direction...
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
In order to improve website usability, it is important for developers to understand how users access websites. In this paper, we present Webjig, which is a support system for websi...