8828 search results - page 1583 / 1766 » Formal methods in practice |
170
click to vote
SC
2009
ACM
15 years 9 months ago
2009
ACM
It has been shown that the sparse grid combination technique can be a practical tool to solve high dimensional PDEs arising in multidimensional option pricing problems in finance...
114
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
This essay extends Simon’s arguments in the Sciences of the Artificial to a critical examination of how theorizing in Information Technology disciplines should occur. The essay ...
144
click to vote
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
Many researchers have been arguing that geometry, bump maps, and BRDFs present a hierarchy of detail that should be exploited for efficient rendering purposes. In practice howeve...
146
click to vote
SIGMOD
1999
ACM
15 years 8 months ago
1999
ACM
Computing multidimensional aggregates in high dimensions is a performance bottleneck for many OLAP applications. Obtaining the exact answer to an aggregation query can be prohibit...
148
click to vote
FQAS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. With more and more electronic information sources becoming widely available, the issue of the quality of these often-competing sources has become germane. We propose a st...