Sciweavers

533 search results - page 40 / 107
» A Very Mathematical Dilemma
Sort
View
COMPGEOM
2003
ACM
15 years 5 months ago
Restricted delaunay triangulations and normal cycle
We address the problem of curvature estimation from sampled smooth surfaces. Building upon the theory of normal cycles, we derive a definition of the curvature tensor for polyhed...
David Cohen-Steiner, Jean-Marie Morvan
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 5 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
ICPR
2002
IEEE
15 years 4 months ago
A New Efficient Ellipse Detection Method
In this paper, we introduce a new method for ellipse detection. This method takes the advantages of major axis of an ellipse to find ellipse parameter fast and efficiently. It onl...
Yonghong Xie, Qiang Ji
ERSHOV
2001
Springer
15 years 4 months ago
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
Jan Friso Groote, Hans Zantema
EUROGP
2001
Springer
15 years 4 months ago
Exact Schema Theorems for GP with One-Point and Standard Crossover Operating on Linear Structures and Their Application to the S
In this paper, firstly we specialise the exact GP schema theorem for one-point crossover to the case of linear structures of variable length, for example binary strings or program...
Riccardo Poli, Nicholas Freitag McPhee