4850 search results - page 137 / 970 » Proof and Computation in Geometry |
161
click to vote
ESA
2004
Springer
15 years 10 months ago
2004
Springer
Arrangements of planar curves are fundamental structures in computational geometry. We describe the recent developments in the arrangement package of Cgal, the Computational Geomet...
175
click to vote
STOC
2007
ACM
16 years 6 months ago
2007
ACM
In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of n definable sets belonging to some fixed definable family of sets i...
158
click to vote
HAPTICS
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper presents a method for building analytical contact models for soft fingers. Friction constraints are derived based on general expressions for non-planar contacts of ela...
172
click to vote
AAAI
2010
15 years 7 months ago
2010
We present an interactive learning method that enables a user to iteratively refine a regression model. The user examines the output of the model, visualized as the vertical axis ...
161
click to vote
IJCV
2006
15 years 6 months ago
2006
The computation of a rigid body transformation which optimally aligns a set of measurement points with a surface and related registration problems are studied from the viewpoint o...