Sciweavers

458 search results - page 11 / 92
» exact 2009
Sort
View
ACL
2009
14 years 7 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
PEPM
2009
ACM
15 years 6 months ago
Linear logical approximations
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
Robert J. Simmons, Frank Pfenning
CIKM
2009
Springer
15 years 1 months ago
Identifying static analysis techniques for finding non-fix hunks in fix revisions
Mining software repositories for bug detection requires accurate techniques of identifying bug-fix revisions. There have been many researches to find exact bug-fix revisions. Howe...
Yungbum Jung, Hakjoo Oh, Kwangkeun Yi
FROCOS
2009
Springer
15 years 4 months ago
Taming the Complexity of Temporal Epistemic Reasoning
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
Clare Dixon, Michael Fisher, Boris Konev
DGCI
2009
Springer
15 years 2 months ago
Pixel Approximation Errors in Common Watershed Algorithms
Abstract. The exact, subpixel watershed algorithm delivers very accurate watershed boundaries based on a spline interpolation, but is slow and only works in 2D. On the other hand, ...
Hans Meine, Peer Stelldinger, Ullrich Köthe