1797 search results - page 203 / 360 » Regularized Winnow Methods |
FMCAD
2007
Springer
14 years 3 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
CCECE
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a method to improve face detection by locating eyes in an image using infrared (IR) light. IR light produces Red-Eye effect making the pupil to shine more tha...
ACCV
2006
Springer
14 years 3 months ago
2006
Springer
We present a method for the reconstruction of a specular surface, using a single camera viewpoint and the reflection of a planar target placed at two different positions. Contrar...
CVBIA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Extraction of bone contours from x-ray images is an important first step in computer analysis of medical images. It is more complex than the segmentation of CT and MR im...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
Recent developments in volume visualization using standard graphics hardware provide an effective and interactive way to understand and interpret the data. Mainly based on 3d text...