2586 search results - page 297 / 518 » Automatic Abstraction for Congruences |
144
click to vote
RC
2007
15 years 6 months ago
2007
Abstract. “Computing the pessimism” means bounding the overestimation produced by an inclusion function. There are two important distinctions with classical error analysis. Fir...
167
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Following the trend of “segmentation for recognition”, we present 2LDA, a novel generative model to automatically segment an image in 2 segments, background and fore...
189
click to vote
CIARP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The aim of this paper is to present a method for the automatic segmentation of face images captured in Long Wavelength Infrared (LWIR), allowing for a large range of face...
190
click to vote
ICCHP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Although manual transcription and captioning can increase the accessibility of multimedia for deaf students it is rarely provided in educational contexts in the UK due to...
156
click to vote
ICMS
2010
15 years 5 months ago
2010
Abstract. Most optimization software performs numerical computation, in the sense that the main interest is to find numerical values to assign to the decision variables, e.g. a so...