1888 search results - page 207 / 378 » Proof theory and computational analysis |
109
click to vote
SPAA
2010
ACM
15 years 5 months ago
2010
ACM
This paper presents the design and analysis of parallel approximation algorithms for facility-location problems, including NC and RNC algorithms for (metric) facility location, k-...
102
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The modeling and analysis of large networks of autonomous agents is an important topic with applications in many different disciplines. One way of modeling the development of such...
131
click to vote
CCR
2010
15 years 29 days ago
2010
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...
154
click to vote
SIGECOM
2011
ACM
14 years 3 months ago
2011
ACM
The Generalized Second Price (GSP) auction is the primary method by which sponsered search advertisements are sold. We study the performance of this auction in the Bayesian settin...
140
Voted
STACS
1993
Springer
15 years 4 months ago
1993
Springer
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...