10891 search results - page 107 / 2179 » Combining Model Reductions |
119
click to vote
INFORMATICALT
2008
15 years 3 months ago
2008
In this paper, we present a novel fine-grained access control system for applications where the information flow is critical; the confidentiality of the data is essential and there...
145
click to vote
IJCV
2006
15 years 3 months ago
2006
We develop a method for the estimation of articulated pose, such as that of the human body or the human hand, from a single (monocular) image. Pose estimation is formulated as a s...
117
click to vote
SIGIR
2002
ACM
15 years 2 months ago
2002
ACM
The intuition that different text classifiers behave in qualitatively different ways has long motivated attempts to build a better metaclassifier via some combination of classifie...
132
click to vote
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
Registering images of a deforming surface is a well-studied problem. It is common practice to describe the image deformation fields with Thin-Plate Splines. This has the advantage...
135
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...