This paper proposes a system for the background image generation by cooperative parallel processingunder the severe outdoor environmental conditions, which are ever changing in na...
The CLEF-IP track was launched in 2009 to investigate IR techniques for patent retrieval. It is part of the CLEF 2009 evaluation campaign. Also, in 2009 we built a system in order ...
Adrian Iftene, Ovidiu Ionescu, George-Razvan Oance...
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...
In this paper, we present samap, whose goal is to build a software tool to help different people visit different cities. This tool integrates modules that dynamically capture user...
Luis A. Castillo, Eva Armengol, Eva Onaindia, Laur...
As a powerful cryptanalysis tool, the method of return-map attacks can be used to extract secret messages masked by chaos in secure communication schemes. Recently, a simple defen...