3775 search results - page 299 / 755 » The Expression Problem Revisited |
148
click to vote
IBPRIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper deals with the problem of reconstructing a highresolution image from an incomplete set of undersampled, blurred and noisy images shifted with subpixel displace...
160
click to vote
IDA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Since minimum sum-of-squares clustering (MSSC) is an NPhard combinatorial optimization problem, applying techniques from global optimization appears to be promising for r...
213
click to vote
SSIAI
2002
IEEE
15 years 11 months ago
2002
IEEE
Motion-based segmentation of image sequences is an important problem of image analysis, with numerous applications to image coding and image manipulation. We present a novel algor...
188
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...
167
click to vote
AISC
1998
Springer
15 years 11 months ago
1998
Springer
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently ex...