Sciweavers

6610 search results - page 740 / 1322
» Community Structures of Networks
Sort
View
EJWCN
2010
122views more  EJWCN 2010»
15 years 1 months ago
Using Model Checking for Analyzing Distributed Power Control Problems
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nic...
SIGACT
2010
68views more  SIGACT 2010»
15 years 1 months ago
A survey of buffer management policies for packet switches
Over the past decade, there has been great interest in the study of buffer management policies in the context of packet transmission for network switches. In a typical model, a sw...
Michael H. Goldwasser
TCSV
2010
15 years 1 months ago
Wireless Video Quality Assessment: A Study of Subjective Scores and Objective Algorithms
Evaluating the perceptual quality of video is of tremendous importance in the design and optimization of wireless video processing and transmission systems. In an endeavor to emula...
Anush K. Moorthy, Kalpana Seshadrinathan, Rajiv So...
HICSS
2011
IEEE
247views Biometrics» more  HICSS 2011»
14 years 10 months ago
Is Happiness Contagious Online? A Case of Twitter and the 2010 Winter Olympics
Is happiness contagious online? To answer this question, this paper investigates the posting behavior of users on Twitter.com, a popular online service for sharing short messages....
Anatoliy A. Gruzd, Sophie Doiron, Philip Mai
SCIENTOMETRICS
2011
14 years 9 months ago
Towards a typology of research performance diversity: the case of top Hungarian players
Measuring the intellectual diversity encoded in publication records as a proxy to the degree of interdisciplinarity has recently received considerable attention in the science mapp...
Sándor Soós, George Kampis