Search Sciweavers | Sciweavers

678 search results - page 15 / 136

» The Theory of Weak Stabilization

click to vote

FSTTCS
2003
Springer

86views Software Engineering» more FSTTCS 2003»

Word Equations over Graph Products

14 years 1 months ago

Download inf.informatik.uni-stuttgart.de

For monoids that satisfy a weak cancellation condition, it is shown that the decidability of the existential theory of word equations is preserved under graph products. Furthermore...

Volker Diekert, Markus Lohrey

claim paper

Read More »

click to vote

BSL
2005

106views more BSL 2005»

Compactness and independence in non first order frameworks

13 years 8 months ago

Download math.univ-lyon1.fr

This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory ...

Itay Ben-Yaacov

claim paper

Read More »

click to vote

IJCAI
2001

93views Artificial Intelligence» more IJCAI 2001»

Link Analysis, Eigenvectors and Stability

13 years 10 months ago

Download ai.stanford.edu

The HITS and the PageRank algorithms are eigenvector methods for identifying "authoritative" or "influential" articles, given hyperlink or citation information...

Andrew Y. Ng, Alice X. Zheng, Michael I. Jordan

claim paper

Read More »

click to vote

SSS
2007
Springer

108views Control Systems» more SSS 2007»

Robust Stabilizing Leader Election

14 years 2 months ago

Download www.liafa.jussieu.fr

Abstract. In this paper, we mix two well-known approaches of the fault-tolerance: robustness and stabilization. Robustness is the aptitude of an algorithm to withstand permanent fa...

Carole Delporte-Gallet, Stéphane Devismes, ...

claim paper

Read More »

click to vote

APPML
2004

61views more APPML 2004»

Fixed points and stability of an integral equation: nonuniqueness

13 years 8 months ago

Download www.math.siu.edu

We consider a paper of Bana

T. A. Burton, Bo Zhang

claim paper