1382 search results - page 20 / 277 » Formal Analysis of Online Algorithms |
146
click to vote
ESA
2007
Springer
15 years 12 months ago
2007
Springer
We study the online ad-auctions problem introduced by Mehta et. al. [15]. We design a (1 − 1/e)competitive (optimal) algorithm for the problem, which is based on a clean primal-...
217
click to vote
SACMAT
2009
ACM
16 years 5 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
149
click to vote
AIIA
2005
Springer
15 years 11 months ago
2005
Springer
Given Boolean data sets which record properties of objects, Formal Concept Analysis is a well-known approach for knowledge discovery. Recent application domains, e.g., for very lar...
185
click to vote
FMICS
2007
Springer
15 years 12 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
139
click to vote
IPPS
2007
IEEE
15 years 12 months ago
2007
IEEE
Consider a distributed network with nodes arranged in a tree, and each node having a local value. We consider the problem of aggregating values (e.g., summing values) from all nod...