6105 search results - page 762 / 1221 » A Parallel Algorithm for Bound-Smoothing |
199
click to vote
ACL
1998
15 years 9 months ago
1998
This paper describes the work achieved in the rst half of a 4-year cooperative research project ARCADE, nanced by AUPELF-UREF. The project is devoted to the evaluation of parallel...
187
click to vote
DELOS
2000
15 years 9 months ago
2000
: This paper presents an overview over parallel architectures for the efficient realisation of digital libraries by considering image databases as an example. The state of the art ...
183
click to vote
IWFM
1998
15 years 9 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
187
click to vote
COLING
1996
15 years 9 months ago
1996
The Pangloss Example-Based Machine Translation engine (I'anEI3MT) l is a translation system reql,iring essentially no knowledge of the structure of a language, merely a large...
177
click to vote
MVA
1994
15 years 9 months ago
1994
Several issues on automatic inspection of textile fabrics are discussed in this paper. To avoid the intense computation for real time inspection, we suggest a parallel pyramid har...