Although the Web lets users freely browse and publish information, most Web information is unauthorized in contrast to conventional mass media. Therefore, it is not always credible or correct. We propose a model to solve these problems by enabling the ...

Today XML has reached a wide acceptance as the data exchange format for e-commerce. Unfortunately, XML covers the syntactic level, but lacks semantics. Ontology can represent shared domain knowledge and enable semantic interoperability. Therefore, in ...

Data cleaning focuses on the identification and removal of consistency constraint violations. Existing approaches only perform statistical repair operations, i.e. inserting average or default values. This results in consistent data, but these data have ...

Higher-Order Logic (HOL) is based on a small logic kernel, whose only mechanism for extension is the introduction of safe definitions and of non-empty types. Both extensions are often performed in quotient constructions. To ease the work involved with ...

Surface visibility problem is a well known problem in computer graphics. The problem is to decide the visibility of an object surface to a viewer in a space. Binary Space Partitioning tree (BSP tree) has been proposed to enable efficient determination ...

This paper presents a novel method for integrating swarm intelligence and line-based representation of environment to solve the simultaneous localization and mapping (SLAM) problem of mobile robots. SLAM is a well-studied problem in mobile robotics. ...

Robot navigation has been of great importance especially under unknown or keep-changing environment. In order to solve this kind of problems, many algorithms have been brought up. D* Lite is generally considered as one of the most functional ones. The ...

Image browsers are important and useful applications for retrieving images from personal photograph collections. Such browsers can be a life log analysis tool to explore the events of photograph owners. This paper presents a novel photograph browser ...

The affordability of digital cameras, storages, processors and the advances in these areas are encouraging people to take hundreds of photos at once. However, managing the large number of photographs involves arduous tasks such as selecting good quality ...

Navigation in virtual 3D environments, especially those with multiscale features, is still a problem for many users. In this regard, a good design of the navigation interfaces is critical to ensure that the users navigate with the best possible ...

Evidence observed in classrooms and findings reported in neurolinguistic research have suggested that awareness of the correspondence between graphemes and phonemes in Chinese is instrumental for effective learning of Chinese characters. We collected ...

A computer-supported collaborative learning environment can enable the students of web-based distance education courses to interact with each other and with one or more facilitators to conduct group work. The problem- based learning (PBL) is a learning ...

This paper presents a system based on generalized suffix trees that efficiently implements a set of operations over a bilingual lexicon. Besides the basic operations of adding and removing translations from the lexicon, the system provides two unique ...

Origami, i.e. paper folding, is a powerful tool for geometrical constructions. In 1989, Humiaki Huzita introduced six folding operations based on aligning one or more combinations of points and lines [6]. Jacques Justin, in his paper of the same ...