Sciweavers

1268 search results - page 33 / 254
» Direct Translation Model 2
Sort
View
CANS
2007
Springer
150views Cryptology» more  CANS 2007»
14 years 2 months ago
Perfectly Secure Message Transmission in Directed Networks Tolerating Threshold and Non Threshold Adversary
Abstract. In this paper we study Perfectly Secure Message Transmission (PSMT) between a sender S and a receiver R, connected in a directed synchronous network through multiple para...
Arpita Patra, Bhavani Shankar, Ashish Choudhary, K...
VLDB
1998
ACM
102views Database» more  VLDB 1998»
14 years 4 hour ago
Using Schema Matching to Simplify Heterogeneous Data Translation
A broad spectrum of data is available on the Web in distinct heterogeneous sources, and stored under different formats. As the number of systems that utilize this heterogeneous da...
Tova Milo, Sagit Zohar
ACL
2009
13 years 5 months ago
Toward Smaller, Faster, and Better Hierarchical Phrase-based SMT
We investigate the use of Fisher's exact significance test for pruning the translation table of a hierarchical phrase-based statistical machine translation system. In additio...
Mei Yang, Jing Zheng
CGF
2008
126views more  CGF 2008»
13 years 8 months ago
Results of a User Study on 2D Hurricane Visualization
We present the results from a user study looking at the ability of observers to mentally integrate wind direction and magnitude over a vector field. The data set chosen for the st...
Joel P. Martin, J. Edward Swan II, Robert J. Moorh...
FMCAD
2006
Springer
13 years 11 months ago
An Integration of HOL and ACL2
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
Michael J. C. Gordon, James Reynolds, Warren A. Hu...