4983 search results - page 90 / 997 » order 2008 |
CAGD
2002
13 years 9 months ago
2002
In this paper, I discuss a method for increasing the continuity between two functional triangular polynomial patches by adjusting their control points. The method described in thi...
CAGD
2000
13 years 9 months ago
2000
This paper presents a method for estimating curvature values of a surface, which is given only approximatively, e.g., by measured data. The presented method requires estimates of ...
MLQ
2008
13 years 10 months ago
2008
We study statements about countable and well ordered unions and how they are related to each other and to countable and well ordered forms of the axiom of choice.
CADE
2008
Springer
14 years 10 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
TAMODIA
2007
13 years 11 months ago
2007
In this paper we present a method and a supporting environment that allows remote evaluation of mobile applications. Various modules have been developed in order to gather contextu...