1403 search results - page 121 / 281 » About Approximations of Exponentials |
135
Voted
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
131
click to vote
ESWS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
132
click to vote
ISSAC
1995
Springer
15 years 8 months ago
1995
Springer
An improved method for expressing the greatest common divisor of n numbers as an integer linear combination of the numbers is presented and analyzed, both theoretically and practi...
122
click to vote
VMV
2008
15 years 6 months ago
2008
For about twenty years the standard color sampling method for RGBA volume data has been the interpolation of opacity-weighted colors. In this work, we discuss the underlying appro...
112
click to vote
JMMA
2002
15 years 4 months ago
2002
Abstract. Multiresolution representation of quadrilateral surface approximation (MRQSA) is a useful representation for progressive graphics transmission in networks. Based on two r...