Sciweavers

458 search results - page 11 / 92
» exact 2009
Sort
View
ACL
2009
13 years 6 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
14 years 5 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
14 years 21 days 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
14 years 3 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
14 years 1 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