296 search results - page 30 / 60 » Restoring the popularity of computer science |
106
click to vote
SOFSEM
2010
Springer
15 years 8 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
65
Voted
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—In social news services, selecting valuable and credible news content is one of the most important issues. In traditional journalism, a small number of people called editors sel...
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
— We examine the social behaviors of game experts in Everquest II, a popular massive multiplayer online role-playing game (MMO). We rely on Exponential Random Graph Models (ERGM)...
COMPLEX
2009
Springer
15 years 6 months ago
2009
Springer
This paper explores scientific metrics in citation networks in scientific communities, how they differ in ranking papers and authors, and why. In particular we focus on network eff...
FOCS
2007
IEEE
15 years 5 months ago
2007
IEEE
We consider approximation algorithms for buy-at-bulk network design, with the additional constraint that demand pairs be protected against edge or node failures in the network. In...