5084 search results - page 189 / 1017 » Proving Possibility Properties |
159
click to vote
MOC
2010
15 years 1 months ago
2010
Consider the space of two dimensional vector functions whose components and curl are square integrable with respect to the degenerate weight given by the radial variable. This spac...
153
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
201
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
In this paper, we study the superconvergence property for the discontinuous Galerkin (DG) and the local discontinuous Galerkin (LDG) methods, for solving one-dimensional time depe...
320
click to vote
NFM
2011
15 years 26 days ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
177
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper describes a photometric stereo method designed for surfaces with spatially-varying BRDFs, including surfaces with both varying diffuse and specular properties. Our meth...