4299 search results - page 607 / 860 » Concurrent Test Generation |
152
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
139
click to vote
RECOMB
2010
Springer
15 years 1 months ago
2010
Springer
Chaining fragments is a crucial step in genome alignment. Existing chaining algorithms compute a maximum weighted chain with no overlaps allowed between adjacent fragments. In prac...
138
click to vote
SOCIALCOM
2010
15 years 1 months ago
2010
Online communities are connecting large numbers of individuals and generating rich social network data, opening the way for empirical studies of social behavior. In this paper, we ...
119
Voted
ACL
2009
15 years 1 months ago
2009
This paper presents DEPEVAL(summ), a dependency-based metric for automatic evaluation of summaries. Using a reranking parser and a Lexical-Functional Grammar (LFG) annotation, we ...
113
click to vote
ACL
2009
15 years 1 months ago
2009
It is usually assumed that the kind of noise existing in annotated data is random classification noise. Yet there is evidence that differences between annotators are not always ra...