Sciweavers

3229 search results - page 155 / 646
» Theories with the Independence Property
Sort
View
PODC
2011
ACM
14 years 3 months ago
MIS on trees
A maximal independent set on a graph is an inclusion-maximal set of mutually non-adjacent nodes. This basic symmetry breaking structure is vital for many distributed algorithms, w...
Christoph Lenzen, Roger Wattenhofer
98
Voted
TRUSTBUS
2009
Springer
15 years 7 months ago
Operational Semantics for DKAL: Application and Analysis
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
Yuri Gurevich, Arnab Roy
ICA
2007
Springer
15 years 7 months ago
Blind Separation of Instantaneous Mixtures of Dependent Sources
Abstract. This paper deals with the problem of Blind Source Separation. Contrary to the vast majority of works, we do not assume the statistical independence between the sources an...
Marc Castella, Pierre Comon
67
Voted
SSS
2007
Springer
15 years 7 months ago
Probabilistic Fault-Containment
Research on fine tuning stabilization properties has received attention for nearly a decade. This paper presents a probabilistic algorithm for fault-containment, that confines th...
Anurag Dasgupta, Sukumar Ghosh, Xin Xiao
94
Voted
MOC
2000
76views more  MOC 2000»
15 years 18 days ago
The convergence of the cascadic conjugate-gradient method applied to elliptic problems in domains with re-entrant corners
Abstract. We study the convergence properties of the cascadic conjugategradient method (CCG-method), which can be considered as a multilevel method without coarse-grid correction. ...
Vladimir Shaidurov, Lutz Tobiska