678 search results - page 14 / 136 » The Theory of Weak Stabilization |
JSCIC
2008
13 years 8 months ago
2008
In this article, it is shown that under certain conditions, the spectral difference (SD) method is independent of the position of the solution points. This greatly simplifies the d...
JAR
2007
13 years 8 months ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
1 minimization can be used to recover sufficiently sparse unknown signals from compressed linear measurements. In fact, exact thresholds on the sparsity, as a function of the ratio...
SAGT
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Bounding the price of stability of undirected network design games with fair cost allocation is a challenging open problem in the Algorithmic Game Theory research agenda....
LICS
2010
IEEE
13 years 7 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...