3604 search results - page 527 / 721 » All Common Subsequences |
180
click to vote
SRDS
2010
IEEE
15 years 4 months ago
2010
IEEE
With the growing scale of current computing systems, traditional configuration tuning methods become less effective because they usually assume a small number of parameters in the...
173
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
210
click to vote
VISAPP
2010
15 years 4 months ago
2010
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...
270
click to vote
WBIR
2010
SPRINGER
15 years 4 months ago
2010
SPRINGER
Abstract. Mutual information (MI) was introduced for use in multimodal image registration over a decade ago [1,2,3,4]. The MI between two images is based on their marginal and join...
185
click to vote
ACL
2009
15 years 4 months ago
2009
Recently confusion network decoding shows the best performance in combining outputs from multiple machine translation (MT) systems. However, overcoming different word orders prese...