2771 search results - page 140 / 555 » Locality of Queries and Transformations |
194
click to vote
CGF
2008
15 years 6 months ago
2008
We present a novel approach to parameterize a mesh with disk topology to the plane in a shape-preserving manner. Our key contribution is a local/global algorithm, which combines a...
195
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Head pose and eye location estimation are two closely
related issues which refer to similar application areas. In
recent years, these problems have been studied individually
in ...
184
click to vote
TJS
2002
15 years 6 months ago
2002
A significant source for enhancing application performance and for reducing power consumption in embedded processor applications is to improve the usage of the memory hierarchy. In...
148
click to vote
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
145
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
We prove confluence of two cut-elimination procedures for the implicational fragment of a standard intuitionistic sequent calculus. One of the cut-elimination procedures uses globa...