2871 search results - page 154 / 575 » An Auxiliary Variational Method |
178
click to vote
ASE
2002
15 years 6 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
147
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Statistical appearance models are valuable tools in medical image segmentation. Current methods elegantly incorporate global shape and appearance, but can not cope with local appe...
152
click to vote
ESANN
2007
15 years 8 months ago
2007
Independent Variable Group Analysis (IVGA) is a method for grouping dependent variables together while keeping mutually independent or weakly dependent variables in separate group...
154
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
The image of an object can vary dramatically depending on lighting, specularities/reflections and shadows. It is often advantageous to separate these incidental variations from th...
172
click to vote
ECCV
1998
Springer
16 years 8 months ago
1998
Springer
?We describe a new method of matching statistical models of appearance to images. A set of model parameters control modes of shape and gray-level variation learned from a training ...