5210 search results - page 187 / 1042 » Exact geometric computation |
135
Voted
CCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
117
click to vote
CHI
2002
ACM
16 years 5 months ago
2002
ACM
We introduce a new geometry manipulator, a tool for 2D geometrical object manipulations in drawing packages. The manipulator is an extended combination of two standard approaches....
165
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a semi-supervised learning algorithm for discriminant analysis, which uses the geometric structure of both labeled and unlabeled samples and perform a manifold regulari...
145
click to vote
SI3D
1992
ACM
15 years 9 months ago
1992
ACM
In this paper, we present techniques for integratingconstraint and direct manipulation approaches to geometric modeling. Direct manipulation positioning techniques are augmented t...
128
click to vote
AMC
2010
15 years 5 months ago
2010
Elimination is a basic algebraic operation which geometrically corresponds to projections. This article describes using the numerical algebraic geometric concept of witness sets t...