26354 search results - page 370 / 5271 » How we refactor, and how we know it |
181
click to vote
EDBT
1998
ACM
15 years 11 months ago
1998
ACM
In this paper we present MD, a logical model for OLAP systems, and show how it can be used in the design of multidimensional databases. Unlike other models for multidimensional dat...
215
Voted
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
160
click to vote
FPL
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we discuss how various design components perform in both FPGAs and standard cell based ASICs. We also investigate how various common FPGA optimizations will effect t...
179
Voted
WSC
2008
15 years 9 months ago
2008
We investigate the use of Antithetic Variables, Control Variates and Importance Sampling to reduce the statistical errors of option sensitivities calculated with the Likelihood Ra...
148
click to vote
ACL
2008
15 years 8 months ago
2008
In this paper, we present a study of a novel summarization problem, i.e., summarizing the impact of a scientific publication. Given a paper and its citation context, we study how ...