3482 search results - page 49 / 697 » In Praise of Numerical Computation |
SDM
2007
SIAM
15 years 1 months ago
2007
SIAM
The paper introduces a notion of support for realvalued functions. It is shown how to approximate supports of a large class of functions based on supports of so called polynomial ...
75
Voted
CGF
2010
15 years 17 days ago
2010
In this paper we study the comprehensive effects on volume rendered images due to numerical errors caused by the use of finite precision for data representation and processing. To...
107
Voted
IS
2008
15 years 14 days ago
2008
Consistent query answering is the problem of characterizing and computing the semantically correct answers to queries from a database that may not satisfy certain integrity constr...
107
click to vote
TCS
2008
15 years 11 days ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
107
click to vote
ADCM
1998
15 years 5 days ago
1998
: Linear integral operators describing physical problems on symmetric domains often are equivariant, which means that they commute with certain symmetries, i.e., with a group of or...