5210 search results - page 236 / 1042 » Exact geometric computation |
130
click to vote
IPL
2006
15 years 6 months ago
2006
Guillotine partitions play an important role in many research areas and application domains, e.g., computational geometry, computer graphics, integrated circuit layout, and solid ...
184
click to vote
EXACT
2009
15 years 4 months ago
2009
This paper provides a study of the theoretical properties of Most Relevant Explanation (MRE) [12]. The study shows that MRE defines an implicit soft relevance measure that enables ...
151
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
187
click to vote
TC
2010
15 years 1 months ago
2010
Continued logarithms, as originally introduced by Gosper, represent a means for exact rational arithmetic, but their application to exact real arithmetic is limited by the uniquene...
185
click to vote
ICIP
2005
IEEE
16 years 6 days ago
2005
IEEE
— Image matching is a fundamental task of many computer vision problems. In this paper we present a novel approach to match two images in presenting significant geometric deform...