Sciweavers

1382 search results - page 33 / 277
» Formal Analysis of Online Algorithms
Sort
View
ANTSW
2010
Springer
15 years 3 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
AAAI
2012
13 years 8 months ago
Online Task Assignment in Crowdsourcing Markets
We explore the problem of assigning heterogeneous tasks to workers with different, unknown skill sets in crowdsourcing markets such as Amazon Mechanical Turk. We first formalize ...
Chien-Ju Ho, Jennifer Wortman Vaughan
CIKM
2008
Springer
15 years 7 months ago
Topological analysis of an online social network for older adults
Social network systems on the Internet, such MySpace and LinkedIn, are growing in popularity around the world. The level of such activity is now comparable to that associated with...
Marcella Wilson, Charles K. Nicholas
COMPLEX
2009
Springer
15 years 9 months ago
Inter-Profile Similarity (IPS): A Method for Semantic Analysis of Online Social Networks
Online Social Networks (OSN) are experiencing an explosive growth rate and are becoming an increasingly important part of people's lives. There is an increasing desire to aid ...
Matt Spear, Xiaoming Lu, Norman S. Matloff, Shyhts...
WWW
2010
ACM
16 years 20 days ago
Measurement and analysis of an online content voting network: a case study of Digg
In online content voting networks, aggregate user activities (e.g., submitting and rating content) make high-quality content thrive through the unprecedented scale, high dynamics ...
Yingwu Zhu