489 search results - page 67 / 98 » Support tools for graphs in computer science |
121
click to vote
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Software engineering is a complex sociotechnical activity, due to the need for discussing and sharing knowledge among team members. This has raised the need for effective ways of ...
GAMEON
2007
15 years 2 months ago
2007
Nowadays it is not uncommon for computer games to be used as tools to help introduce basic computer science concepts. In this paper we argue that games could also be used in more ...
HICSS
2006
IEEE
15 years 7 months ago
2006
IEEE
— Uniform sampling in networks is at the core of a wide variety of randomized algorithms. Random sampling can be performed by modeling the system as an undirected graph with asso...
103
click to vote
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...
131
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Online social networks are a growing internet phenomenon: they connect millions of individuals through sharing of common interests, political and religious views, careers, etc. So...