1650 search results - page 82 / 330 » How to Turn the Page |
142
click to vote
EUROCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
An aggregate signature scheme (recently proposed by Boneh, Gentry, Lynn, and Shacham) is a method for combining n signatures from n different signers on n different messages int...
142
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...
155
click to vote
AGILEDC
2006
IEEE
15 years 10 months ago
2006
IEEE
XP is a lightweight process that provides principles for guiding projects and relies on the participants for its success. However, despite these guidelines, projects can be unsucc...
172
click to vote
WSC
2008
15 years 8 months ago
2008
Simulation modeling methodology research and simulation analysis methodology research have evolved into two nearly separate fields. In this paper, ways are shown how simulation mi...
186
click to vote
LREC
2010
15 years 7 months ago
2010
Abstract. This paper describes recent approaches using text-mining to automatically profile and extract arguments from legal cases. We outline some of the background context and mo...