8196 search results - page 23 / 1640 » Computational Modeling and Complexity Science |
MOBIHOC
2009
ACM
15 years 10 months ago
2009
ACM
Distributed scheduling algorithms for wireless ad hoc networks have received substantial attention over the last decade. The complexity levels of these algorithms span a wide spec...
LICS
2006
IEEE
15 years 3 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
We analyze knowledge production in Computer Science by means of coauthorship networks. For this, we consider 30 graduate programs of different regions of the world, being 8 progra...
COMPLEX
2009
Springer
15 years 2 months ago
2009
Springer
ERCIMDL
2005
Springer
15 years 3 months ago
2005
Springer
This paper examines the difference and similarities between the two on-line computer science citation databases DBLP and CiteSeer. The database entries in DBLP are inserted manual...