922 search results - page 109 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
159
click to vote
CAGD
2006
15 years 6 months ago
2006
We describe how some simple properties of discrete one-forms directly relate to some old and new results concerning the parameterization of 3D mesh data. Our first result is an ea...
171
click to vote
JUCS
2008
15 years 6 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
163
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, we derive a statistical delay guarantee of the generalized Virtual Clock scheduling algorithm. We define the concept of an equivalent fluid and packet source and pr...
141
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
The e ect of redundant sensors in the solution of the direct kinematics of general parallel manipulators is studied here, for purposes of on-line implementation. We describe three...
126
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...