In this paper we describe some certified algorithms for exact real arithmetic based on co-recursion. Our work is based on previous experiences using redundant digits of base 2 but ...
Chinese characters that are similar in their pronunciations or in their internal structures are useful for computer-assisted language learning and for psycholinguistic studies. Al...
As a robot formation increases in size or explores places where it is difficult for a human operator to interact, autonomous control becomes critical. We propose a distributed aut...
Although research on non-visual access to visualisations is steadily growing, very little work has investigated strategies for constructing such forms of representation through no...
This paper is motivated by the demand for more linguistic resources for the study of languages and the improvement of those already existing. The first step in our work is the sel...