1738 search results - page 89 / 348 » Local Consistency and SAT-Solvers |
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
Global and local adaptive thresholding techniques have been shown effective on particular types of documents. None produces consistently good results on all types of documents. In...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
A multi-stage approach is presented for thresholding document images, along with its application. The proposed method is based on two stages. Global thresholding is used in first ...
TLCA
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we introduce a cut-elimination procedure for classical logic, which is both strongly normalising and consisting of local proof transformations. Traditional cut-elimin...
RT
2000
Springer
14 years 16 days ago
2000
Springer
In composing hand-drawn images of 3D scenes, artists often alter the projection for each object in the scene independently, thereby generating multiprojection images. We present a...
EUMAS
2006
13 years 10 months ago
2006
We derive optimal bidding strategies for a global bidder who participates in multiple, simultaneous second-price auctions with perfect substitutes. We first consider a model where...