Sciweavers

319 search results - page 35 / 64
» formats 2003
Sort
View
FOSSACS
2003
Springer
14 years 1 months ago
Categories of Containers
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
Michael Abbott, Thorsten Altenkirch, Neil Ghani
ICCS
2003
Springer
14 years 1 months ago
Formalizing Botanical Taxonomies
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
Uta Priss
ICCSA
2003
Springer
14 years 1 months ago
A Novel De-interlacing Technique Using Bi-directional Motion Estimation
A novel de-interlacing algorithm is proposed to accomplish high quality video format conversion. In the proposed scheme, bi-directional motion estimation (ME) is performed between ...
Yoon Kim, Kang-Sun Choi, Jae-Young Pyun, Byung-Tae...
ICCSA
2003
Springer
14 years 1 months ago
High Dynamic Range Image Texture Mapping Based on VRML
In this paper, we describe a technique for representing and displaying high dynamic range image (HDRI) as a texture map in VRML structure. To do this, we designed and implemented e...
Sung-ye Kim, Byoung-Tae Choi
ICWL
2003
Springer
14 years 1 months ago
A Web-Based Platform for E-learning Based on Information Management System
This paper presents an intelligent Information (course materials) Management System, (called AnyServer) which can serve as an Web based Learning platform (WLP) and enable course ed...
Pui-on Au, Leung Cheng, Weijia Jia, Paul Kai-on Ch...