3082 search results - page 119 / 617 » Deviation Analysis: A New Use of Model Checking |
187
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Local Binary Pattern (LBP) has been widely used in texture classification because of its simplicity and computational efficiency. Traditional LBP codes the sign of the local diffe...
183
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
167
click to vote
CVPR
1996
IEEE
16 years 8 months ago
1996
IEEE
Despite many successful applications of robust statistics, they have yet to be completely adapted to many computer vision problems. Range reconstruction, particularly in unstructu...
179
click to vote
COMPLEX
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The aim of a transportation system is to enable the movement of goods or persons between any two locations with the highest possible efficiency. This simple principle ins...
204
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a new approach for the binarization of seriously degraded manuscript. We introduce a new technique based on a Markov Random Field (MRF) model of the document. ...