Sciweavers

203 search results - page 22 / 41
» Real Arguments Are Approximate Arguments
Sort
View
AISC
2008
Springer
13 years 9 months ago
Validated Evaluation of Special Mathematical Functions
Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-know...
Franky Backeljauw, Stefan Becuwe, Annie A. M. Cuyt
BIBE
2008
IEEE
111views Bioinformatics» more  BIBE 2008»
13 years 9 months ago
Structure learning for biomolecular pathways containing cycles
Bayesian network structure learning is a useful tool for elucidation of regulatory structures of biomolecular pathways. The approach however is limited by its acyclicity constraint...
S. Itani, Karen Sachs, Garry P. Nolan, M. A. Dahle...
ECOOP
2008
Springer
13 years 9 months ago
ReCrash: Making Software Failures Reproducible by Preserving Object States
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult and time-consuming. This paper proposes a novel tech...
Shay Artzi, Sunghun Kim, Michael D. Ernst
STOC
2009
ACM
87views Algorithms» more  STOC 2009»
14 years 8 months ago
Randomly supported independence and resistance
We prove that for any positive integer k, there is a constant ck such that a randomly selected set of cknk log n Boolean vectors with high probability supports a balanced k-wise i...
Per Austrin, Johan Håstad
VLDB
2004
ACM
98views Database» more  VLDB 2004»
14 years 27 days ago
Top-k Query Evaluation with Probabilistic Guarantees
Top-k queries based on ranking elements of multidimensional datasets are a fundamental building block for many kinds of information discovery. The best known general-purpose algor...
Martin Theobald, Gerhard Weikum, Ralf Schenkel