12774 search results - page 283 / 2555 » A Framework for Proof Systems |
166
click to vote
FOCS
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we introduce a new general framework for set covering problems, based on the combination of randomized rounding of the (near-)optimal solution of the Linear Programm...
152
click to vote
EUROCRYPT
1998
Springer
15 years 11 months ago
1998
Springer
Remotely keyed encryption schemes (RKESs), introduced by Blaze 6], support high-bandwidth cryptographic applications (such as encrypted video conferences) in which long-lived secre...
160
click to vote
COMMA
2006
15 years 8 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
188
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
169
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...