390 search results - page 58 / 78 » Weather Report Translation Using a Translation Memory |
TACAS
2005
Springer
14 years 1 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
FM
1999
Springer
13 years 12 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
ICS
1992
Tsinghua U.
13 years 11 months ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
CLEF
2006
Springer
13 years 11 months ago
2006
Springer
We describe Amharic-English cross lingual information retrieval experiments in the adhoc bilingual tracs of the CLEF 2006. The query analysis is supported by morphological analysi...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
The multiobjective optimization of Slide-o-Cam is reported in this paper. Slide-o-Cam is a cam mechanism with multiple rollers mounted on a common translating follower. This trans...