86 search results - page 5 / 18 » An Algebraic Approach to Multi-sorted Constraints |
CAD
2010
Springer
13 years 8 months ago
2010
Springer
We present a new constructive solving approach for systems of 3D geometric constraints. The solver is based on the cluster rewriting approach, which can efficiently solve large sy...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper we employ the theory of partially ordered sets to model and analyze a class of decentralized control problems. We show that posets provide a natural way of modeli...
RC
2002
13 years 7 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
In a former work of ours [I], we proposed a new way to express and interpret the epipolar constraint using Geometric Algebra, and we derived from it a novel and efficient2view cam...
TOG
2012
11 years 10 months ago
2012
We present an approach to high-level shape editing that adapts the structure of the shape while maintaining its global characteristics. Our main contribution is a new algebraic mo...