Sciweavers

756 search results - page 5 / 152
» A new algorithm for Boolean operations on general polygons
Sort
View
FM
1997
Springer
159views Formal Methods» more  FM 1997»
14 years 3 days ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 7 months ago
Convergent discrete Laplace-Beltrami operators over surfaces
The convergence problem of the Laplace-Beltrami operators plays an essential role in the convergence analysis of the numerical simulations of some important geometric partial diff...
Jyh-Yang Wu, Mei-Hsiu Chi, Sheng-Gwo Chen
ADBIS
2004
Springer
193views Database» more  ADBIS 2004»
13 years 11 months ago
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
Peter Z. Revesz
ISMVL
2002
IEEE
90views Hardware» more  ISMVL 2002»
14 years 26 days ago
A Conjunctive Canonical Expansion of Multiple-Valued Functions
A generalization of McMillan’s conjunctive expansion of Boolean functions [1] to the case of multiple-valued input binary-valued output functions is presented. It is based on th...
Elena Dubrova, Petra Färm
ICRA
1998
IEEE
118views Robotics» more  ICRA 1998»
14 years 6 days ago
A General Theory for Positioning and Orienting 2D Polygonal or Curved Parts using Intelligent Motion Surfaces
: In this paper we present novel algorithms to compute quasi-static and dynamic equilibrium positions and orientations (if any) of 2D polygonal or curved parts placed on general sh...
Murilo G. Coutinho, Peter M. Will