9186 search results - page 195 / 1838 » A Module System for Scheme |
99
Voted
CLEF
2005
Springer
15 years 8 months ago
2005
Springer
For our second participation to the Question Answering task of CLEF, we kept last year’s system named MUSCLEF, which uses two translation strategies implemented in two modules. ...
118
click to vote
ENTCS
2008
15 years 2 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
112
Voted
MT
2002
15 years 2 months ago
2002
The AVENUE project contains a run-time machine translation program that is surrounded by pre- and post-run-time modules. The post-run-time module selects among translation alternat...
123
Voted
ICIP
2008
IEEE
16 years 4 months ago
2008
IEEE
Halftone image watermarking techniques that allow automated extraction of the embedded watermark data are useful in a variety of document security and workflow applications. The p...
147
Voted
ICIAR
2005
Springer
15 years 8 months ago
2005
Springer
Image communication is a significant research area which involves improvement in image coding and communication techniques. In this paper, Principal Component Analysis (PCA) is use...