835 search results - page 12 / 167 » Geometric Logic in Computer Science |
MFCS
1995
Springer
14 years 4 days ago
1995
Springer
CSE
2009
IEEE
13 years 6 months ago
2009
IEEE
CAD
2007
Springer
13 years 8 months ago
2007
Springer
Systematically generalizing planar geometric algorithms to manifold domains is of fundamental importance in computer aided design field. This paper proposes a novel theoretic fra...
PR
2002
13 years 8 months ago
2002
The authors of this paper adopted the projected characteristics of the absolute conic in terms of the Pascal's theorem to propose an entirely new camera calibration method ba...
IJAR
2008
13 years 8 months ago
2008
This paper presents new techniques for performing logical operations on type-2 fuzzy sets. These techniques make significant use of geometric methods to give, for the first time, ...