1996 search results - page 41 / 400 » A decision procedure for linear |
CADE
1997
Springer
15 years 4 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
INFORMS
2000
14 years 11 months ago
2000
We develop a variant of the Nelder-Mead (NM) simplex search procedure for stochastic simulation optimization that is designed to avoid many of the weaknesses encumbering such dire...
CVPR
1997
IEEE
16 years 1 months ago
1997
IEEE
In geometrical camera calibration the objective is to determine a set of camera parameters that describe the mapping between 3-D reference coordinates and 2-D image coordinates. V...
SIAMSC
2010
14 years 10 months ago
2010
We present a new nonlinear optimization procedure for the computation of generalized Gaussian quadratures for a broad class of square integrable functions on intervals. While some ...
104
click to vote
DPHOTO
2009
14 years 9 months ago
2009
Most digital cameras employ a spatial subsampling process, implemented as a color filter array (CFA), to capture color images. The choice of CFA patterns has a great impact on the...