3317 search results - page 85 / 664 » Strategies in Rigid-Variable Methods |
153
click to vote
ICCD
2003
IEEE
16 years 29 days ago
2003
IEEE
This paper introduces a new method for two-level logic minimization. Unlike previous approaches, the new method uses a SAT solver as an underlying engine. While the overall minimi...
140
click to vote
ERCIMDL
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper gives an overview of tools and methods for CrossLanguage Information Retrieval (CLIR) that are developed within the Twenty-One project. The tools and methods a...
134
Voted
IJCAI
1993
15 years 5 months ago
1993
Human chess players exhibit a large variation in the amount of time they allocate for each move. Yet, the problem of devising resource allocation strategies for game playing did n...
138
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
In this paper a new automatic approach to road extraction from aerial images is proposed. This method improves a recently introduced promising approach to probabilistic contour tr...
141
click to vote
MICCAI
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. An unsupervised model-based strategy for bias field correction is proposed. We assume that information (in the sense of the information theory) in the corrupted image is...