13306 search results - page 477 / 2662 » Theoretical Computer Science |
294
Voted
CCA
2009
Springer
16 years 11 days ago
2009
Springer
Interval computations estimate the uncertainty of the result of data processing in situations in which we only know the upper bounds ∆ on the measurement errors. In this case, ba...
265
Voted
FOCS
2000
IEEE
16 years 4 days ago
2000
IEEE
In this article, we show several results obtained by combining the use of stable distributions with pseudorandom generators for bounded space. In particular: —We show that, for a...
254
click to vote
FOCS
2003
IEEE
16 years 1 months ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...
220
click to vote
ITICSE
1997
ACM
15 years 12 months ago
1997
ACM
This paper describes the development and use of practical examinations which include a significant element of software control of the administrative process. The educational metho...
247
click to vote
STACS
2012
Springer
14 years 3 months ago
2012
Springer
Assignment between two parties in a two-sided matching market has been one of the central questions studied in economics, due to its extensive applications, focusing on different...