Sciweavers

1087 search results - page 64 / 218
» On Stabilization in Herman's Algorithm
Sort
View
ITP
2010
172views Mathematics» more  ITP 2010»
13 years 8 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
ICASSP
2009
IEEE
14 years 5 months ago
On robustness of coupled adaptive filters
We provide a time domain analysis of the robustness and stability performance for coupled adaptive algorithms of gradient type. The considered coupling may occur inherently as wel...
Robert Dallinger, Marjus Rupp
SSS
2007
Springer
14 years 4 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
GD
2004
Springer
14 years 3 months ago
Dynamic Graph Drawing of Sequences of Orthogonal and Hierarchical Graphs
Abstract. In this paper we introduce two novel algorithms for drawing sequences of orthogonal and hierarchical graphs while preserving the mental map. Both algorithms can be parame...
Carsten Görg, Peter Birke, Mathias Pohl, Step...
DAC
1989
ACM
14 years 2 months ago
A New Approach to the Rectilinear Steiner Tree Problem
: We discuss a new approach to constructing the rectilinear Steiner tree (RST) of a given set of points in the plane, starting from a minimum spanning tree (MST). The main idea in ...
Jan-Ming Ho, Gopalakrishnan Vijayan, C. K. Wong