6527 search results - page 1052 / 1306 » On Typing Information Flow |
202
click to vote
CLEF
2004
Springer
16 years 23 days ago
2004
Springer
Following the pilot Question Answering Track at CLEF 2003, a new evaluation exercise for multilingual QA systems took place in 2004. This paper reports on the novelties introduced...
197
click to vote
CTRSA
2004
Springer
16 years 23 days ago
2004
Springer
We introduce a new cryptographic technique that we call universal re-encryption. A conventional cryptosystem that permits reencryption, such as ElGamal, does so only for a player w...
235
click to vote
EGPGV
2004
Springer
16 years 23 days ago
2004
Springer
We present a new parallel multiresolution volume rendering algorithm for visualizing large data sets. Using the wavelet transform, the raw data is first converted into a multires...
182
click to vote
GG
2004
Springer
16 years 22 days ago
2004
Springer
that graph transformations provide the right level of abstraction, and useful technical tools for studying gene assembly. On the other hand, the gene assembly process inspires a ne...
190
click to vote
IBERAMIA
2004
Springer
16 years 22 days ago
2004
Springer
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data or incomplete information. From the applicative part...