Sciweavers

2210 search results - page 165 / 442
» CLEF 2001 - Overview of Results
Sort
View
LSSC
2001
Springer
15 years 10 months ago
Numerical Simulation of a Model for Transport and Reaction of Radionuclides
In the last years the interest in computer simulations of radioactive waste scenarios has increased. In this article we present numerical simulations with the software package TRAP...
Jürgen Geiser
NLPRS
2001
Springer
15 years 10 months ago
Automatic Sense Tagging Using Parallel Corpora
This article reports the results of an analysis of translation equivalents in six languages from different language families, extracted from an on-line parallel corpus of George O...
Nancy Ide, Tomaz Erjavec, Dan Tufis
PACT
2001
Springer
15 years 10 months ago
Static Analysis for Secrecy and Non-interference in Networks of Processes
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, ...
PCM
2001
Springer
110views Multimedia» more  PCM 2001»
15 years 10 months ago
A Synchronous Fragile Watermarking Scheme for Erroneous Q-DCT Coefficients Detection
In video communications over error introducing channels, error concealment techniques are widely applied in video decoder for good subjective images output. However, a damaged MB ...
Minghua Chen, Yun He
PROFES
2001
Springer
15 years 10 months ago
Requirements Evolution from Process to Product Oriented Management
Requirements Evolution represents one of the major problems in developing computer-based systems. Current practice in Requirement Engineering relies on process-oriented methodologi...
Stuart Anderson, Massimo Felici