129
click to vote
ICALP
16 years 1 months ago
2009 Springer 
Social networks are an interesting class of graphs likely to become of increasing importance in the future, not only theoretically, but also for its probable applications to ad hoc...
126
click to vote
ICALP
16 years 1 months ago
2009 Springer 
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
152
click to vote
ICALP
16 years 1 months ago
2009 Springer 
We introduce a generic approach for counting subgraphs in a graph. The main idea is to relate counting subgraphs to counting graph homomorphisms. This approach provides new algori...
143
click to vote
ICALP
16 years 1 months ago
2009 Springer 
Abstract. This paper deals with approximations of maximum independent sets in non-uniform hypergraphs of low degree. We obtain the first performance ratio that is sublinear in term...
115
click to vote
ICALP
15 years 8 months ago
2009 Springer
Refereed conferences require every submission to be reviewed by members of a program committee (PC) in charge of selecting the conference program. There are many software packages...
|
Programming Languages