9186 search results - page 225 / 1838 » A Module System for Scheme |
155
click to vote
ACL
2010
15 years 4 months ago
2010
This paper explores the effect that different corpus configurations have on the performance of a coreference resolution system, as measured by MUC, B3, and CEAF. By varying separa...
154
click to vote
ICCAD
2007
IEEE
2007
IEEE
Stabilizing schemes for piecewise-linear reduced order models via projection and weighting functions
16 years 3 months ago
— In this paper we present several results concerning the stabilization of piecewise-linear reduced order models. We include proofs of internal and external stability for models ...
190
click to vote
NDSS
2005
IEEE
16 years 5 days ago
2005
IEEE
In 1998, Blaze, Bleumer, and Strauss proposed an application called atomic proxy re-encryption, in which a semi-trusted proxy converts a ciphertext for Alice into a ciphertext for...
156
click to vote
MOC
2002
15 years 6 months ago
2002
We study the dynamical behavior of the discontinuous Galerkin finite element method for initial value problems in ordinary differential equations. We make two different assumptions...
180
click to vote
SISW
2005
IEEE
16 years 5 days ago
2005
IEEE
A crucial element of distributed cryptographic file systems are key management solutions that allow for flexible but secure data sharing. We consider efficient key management s...