3480 search results - page 564 / 696 » A New Era of Performance Evaluation |
112
click to vote
AMAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
147
click to vote
DPD
2010
14 years 11 months ago
2010
Abstract Bloom filters are extensively used in distributed applications, especially in distributed databases and distributed information systems, to reduce network requirements and...
125
click to vote
EMNLP
2010
14 years 11 months ago
2010
We present a novel approach to relation extraction that integrates information across documents, performs global inference and requires no labelled text. In particular, we tackle ...
139
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
In material science and engineering, the grain structure inside a super-alloy sample determines its mechanical and physical properties. In this paper, we develop a new Multichannel...
103
click to vote
COLING
2010
14 years 8 months ago
2010
Ambiguity of entity mentions and concept references is a challenge to mining text beyond surface-level keywords. We describe an effective method of disambiguating surface forms an...