307 search results - page 46 / 62 » Causality and the Semantics of Provenance |
112
click to vote
ECIR
2003
Springer
15 years 1 months ago
2003
Springer
Topic Detection and Tracking is an event-based information organization task where online news streams are monitored in order to spot new unreported events and link documents with ...
101
click to vote
SOSP
1993
ACM
15 years 1 months ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...
ENTCS
2008
15 years 15 days ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
102
Voted
NLE
2010
14 years 11 months ago
2010
Distributional similarity methods have proven to be a valuable tool for the induction of semantic similarity. Up till now, most algorithms use two-way cooccurrence data to compute...
96
Voted
ICDAR
2011
IEEE
14 years 1 days ago
2011
IEEE
—This paper proposes a model-based text line segmentation algorithm for machine-printed document images. The model is based on geometric configuration which uses the interline sp...