3166 search results - page 296 / 634 » Translation By Structural Correspondences |
190
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
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...
177
click to vote
ALMOB
2006
15 years 6 months ago
2006
Two important and not yet solved problems in bacterial genome research are the identification of horizontally transferred genes and the prediction of gene expression levels. Both ...
241
click to vote
NETWORKS
2011
14 years 9 months ago
2011
A graph is terminal ∆ − Y -reducible if, it can be reduced to a distinguished set of terminal vertices by a sequence of series-parallel reductions and ∆−Y -transformations...
159
Voted
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper, we propose a face reconstruction technique that produces models that not only look good when texture mapped, but are also metrically accurate. Our method is designe...
170
Voted
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, we propose a novel learning-based method for image hallucination, with image super-resolution being a specific application that we focus on here. Given a low-resolu...