5128 search results - page 3 / 1026 » When Abstraction Fails |
NECO
2002
13 years 7 months ago
2002
ICST
2010
IEEE
13 years 5 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
SIGIR
2011
ACM
12 years 10 months ago
2011
ACM
We reveal that the Okapi BM25 retrieval function tends to overly penalize very long documents. To address this problem, we present a simple yet effective extension of BM25, namel...
COLING
1992
13 years 8 months ago
1992
duplicate the route. The HCRC Dialogue Database [3] We hypothesise that agents who engage in task- contains 128 such dialogues; in this work we examined oriented dialogue usually t...
OPODIS
2008
13 years 8 months ago
2008
In this paper, we study the atomic multicast problem, a fundamental abstraction for building faulttolerant systems. In the atomic multicast problem, the system is divided into non...