5128 search results - page 3 / 1026 » When Abstraction Fails |
NECO
2002
14 years 11 months ago
2002
108
Voted
ICST
2010
IEEE
14 years 10 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...
98
Voted
SIGIR
2011
ACM
14 years 2 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
15 years 28 days 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
15 years 1 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...