2038 search results - page 228 / 408 » Improvements to the Psi-SSA representation |
111
click to vote
ENTCS
2008
15 years 1 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
ENTCS
2008
15 years 1 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...
114
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Structure matching plays an important part in understanding the functional role of biological structures. Bioinformatics assists in this effort by reformulating this p...
CG
2006
Springer
15 years 1 months ago
2006
Springer
For over 20 years, interventional methods have improved the outcomes of patients with cardiovascular disease or stroke. However, these procedures require an intricate combination ...
103
click to vote
CVIU
2006
15 years 1 months ago
2006
In the last few years, new view synthesis has emerged as an important application of 3D stereo reconstruction. While the quality of stereo has improved, it is still imperfect, and...