8141 search results - page 97 / 1629 » Higher Order Generalization |
132
Voted
PAMI
2011
14 years 3 months ago
2011
—Affine registration has a long and venerable history in computer vision literature, and in particular, extensive work has been done for affine registration in IR2 and IR3 . This...
107
Voted
JSCIC
2010
14 years 7 months ago
2010
While second order methods for computational simulations of fluid flow provide the basis of widely used commercial software, there is a need for higher order methods for more accur...
107
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Information flow analysis is a powerful technique for reasoning about the sensitive information exposed by a program during its execution. While past work has proposed information...
105
Voted
HPCA
1996
IEEE
15 years 5 months ago
1996
IEEE
Exploiting instruction-level parallelism (ILP) is extremely important for achieving high performance in application specific instruction set processors (ASIPs) and embedded process...
79
Voted
JFP
2006
15 years 23 days ago
2006
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...