4983 search results - page 90 / 997 » order 2008 |
CAGD
2002
15 years 17 days 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
15 years 17 days 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 ...
102
Voted
MLQ
2008
15 years 21 days 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.
97
Voted
CADE
2008
Springer
16 years 1 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...
110
Voted
TAMODIA
2007
15 years 1 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...