1559 search results - page 26 / 312 » Some Group Theory Problems |
155
click to vote
FOSSACS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
142
click to vote
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
120
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
We present an algorithm to solve the GROUP MUTUAL EXCLUSION problem in the cache-coherent (CC) model. For the same problem in the distributed shared memory (DSM) model, Danek and ...
142
click to vote
REPLICATION
2010
15 years 2 months ago
2010
Abstract The consensus problem has recently emerged as a major interest in systems conferences, yet the systems community tends to ignore most of the large body of theory on this s...
141
click to vote
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
This paper investigates a new learning formulation called structured sparsity, which is a naturalextensionofthestandardsparsityconceptinstatisticallearningandcompressivesensing. B...