Semi-supervised clustering allows a user to specify available prior knowledge about the data to improve the clustering performance. A common way to express this information is in ...
In this paper, we investigate the use of bilingual parsing on parallel corpora to better estimate the rule parameters in a formal syntax-based machine translation system, which ar...
P2P techniques for semantic coordination based on semantic communities are recently emerging to enforce effective collaboration platforms. In this paper, we focus on semantic coo...
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
This position paper discusses different philosophical views of learning and the consequences of these different epistemologies on the design of online learning environments. Acade...