3228 search results - page 392 / 646 » Computationally Sound Proofs |
145
Voted
FOCS
2007
IEEE
15 years 10 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...
156
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
127
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the...
139
click to vote
UIC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Devices like PDAs, mobile phones and Smartcards can communicate with each other and to exchange information and they should be made mutually aware of each other. For priv...
120
click to vote
WG
2007
Springer
15 years 10 months ago
2007
Springer
In the Planar +k vertex problem the task is to find at most k vertices whose deletion makes the given graph planar. The graphs for which there exists a solution form a minor close...