6800 search results - page 629 / 1360 » Testing with Functions as Specifications |
185
click to vote
JMLR
2010
15 years 2 months ago
2010
In this paper we consider a regularization approach to variable selection when the regression function depends nonlinearly on a few input variables. The proposed method is based o...
203
click to vote
CAV
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
204
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
Most available remote eye gaze trackers based on Pupil Center Corneal Reflection (PCCR) technique have two characteristics that prevent them from being widely used as an important...
206
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
We present a random field based model for stereo vision with explicit occlusion labeling in a probabilistic framework. The model employs non-parametric cost functions that can be ...
186
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge in model fitting is...