5084 search results - page 142 / 1017 » Proving Possibility Properties |
197
click to vote
ECCC
2011
15 years 18 days ago
2011
Locally decodable codes are error correcting codes with the extra property that, in order to retrieve the correct value of just one position of the input with high probability, it...
190
click to vote
PE
2010
Springer
15 years 11 days ago
2010
Springer
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...
162
Voted
FOCS
2007
IEEE
15 years 12 months ago
2007
IEEE
We show that any deterministic data-stream algorithm that makes a constant number of passes over the input and gives a constant factor approximation of the length of the longest i...
140
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
162
Voted
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...