Sciweavers

589 search results - page 101 / 118
» A Hierarchical Parallel Processing System for the Multipass-...
Sort
View
ACL
1998
13 years 9 months ago
Improving Statistical Natural Language Translation with Categories and Rules
This paper describes an all level approach on statistical natural language translation (SNLT). Without any predefined knowledge the system learns a statistical translation lexicon...
Franz Josef Och, Hans Weber
PAAPP
2010
131views more  PAAPP 2010»
13 years 6 months ago
Accurately measuring overhead, communication time and progression of blocking and nonblocking collective operations at massive s
Accurate, reproducible and comparable measurement of the overheads, communication times and progression behavior of blocking and nonblocking collective operations is a complicated...
Torsten Hoefler, Timo Schneider, Andrew Lumsdaine
IACR
2011
113views more  IACR 2011»
12 years 7 months ago
Fully Homomorphic SIMD Operations
At PKC 2010 Smart and Vercauteren presented a variant of Gentry’s fully homomorphic public key encryption scheme and mentioned that the scheme could support SIMD style operations...
Nigel P. Smart, Frederik Vercauteren
CCGRID
2008
IEEE
14 years 2 months ago
On the Optimization of Resource Utilization in Distributed Multimedia Applications
—The application and research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and...
R. Yang, Robert D. van der Mei, D. Roubos, Frank J...
CONCUR
2006
Springer
13 years 11 months ago
Sanity Checks in Formal Verification
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
Orna Kupferman