2780 search results - page 270 / 556 » Generalizing by Removing Detail |
157
Voted
ISCC
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we propose a novel late join algorithm for distributed applications with a fully replicated architecture (e.g. shared whiteboards). The term `late join algorithm'...
181
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
174
click to vote
IMC
2007
ACM
15 years 8 months ago
2007
ACM
In this note we discuss issues surrounding how to provide and use network measurement data made available for sharing among researchers. While previous work has focused on the tec...
117
click to vote
LREC
2010
15 years 8 months ago
2010
This paper describes recent efforts at Linguistic Data Consortium at the University of Pennsylvania to create manual transcripts as a shared resource for human language technology...
167
click to vote
LREC
2010
15 years 8 months ago
2010
The paper presents Bulgarian National Corpus project (BulNC) - a large-scale, representative, online available corpus of Bulgarian. The BulNC is also a monolingual general corpus,...