553 search results - page 45 / 111 » On Planar Path Transformation |
107
click to vote
SIAMCOMP
2000
14 years 11 months ago
2000
There are several results available in the literature dealing with efficient construction of t-spanners for a given set S of n points in Rd. t-spanners are Euclidean graphs in whic...
TLCA
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we introduce a cut-elimination procedure for classical logic, which is both strongly normalising and consisting of local proof transformations. Traditional cut-elimin...
CADE
2006
Springer
16 years 5 days ago
2006
Springer
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...
WSOM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper is devoted to the analysis of career paths and employability. The state-of-the-art on this topic is rather poor in methodologies. Some authors propose distance...
IJACTAICIT
2010
14 years 6 months ago
2010
A real-time path generation method with Non Uniform Rational B Spline(NURBS) technology in the Computer Aided Design(CAD) field is presented and realized in a five-axis Computer N...