We are interested in the problem of curve identification, motivated by problems in handwriting recognition. Various geometric approaches have been proposed, with one of the most p...
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way...
In this paper neuro-fuzzy synergism is applied to implement content sequencing in adaptive hypermedia systems. The level of understanding of the learner is used to construct lesson...
Kyparisia A. Papanikolaou, George D. Magoulas, Mar...
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
This paper considers enumeration of substring equivalence classes introduced by Blumer et al. [1]. They used the equivalence classes to define an index structure called compact dir...