Sciweavers

1087 search results - page 141 / 218
» On Stabilization in Herman's Algorithm
Sort
View
119
Voted
CDC
2009
IEEE
117views Control Systems» more  CDC 2009»
15 years 7 months ago
A limiting property of the matrix exponential with application to multi-loop control
— A limiting property of the matrix exponential is proven: For a real square matrix, where the log norm of the upper-left n by n block approaches negative infinity in a limiting...
Sebastian Trimpe, Raffaello D'Andrea
118
Voted
ATAL
2001
Springer
15 years 7 months ago
A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains
In the last few years the use of coalition formation algorithms in multi-agent systems has been proposed as a possible way of modelling autonomous agent cooperation. Game theory pr...
María-Victoria Belmonte, Ricardo Conejo, Jo...
110
Voted
FOSSACS
2009
Springer
15 years 6 months ago
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
Morten Kühnrich, Stefan Schwoon, Jirí ...
115
Voted
ASPDAC
2005
ACM
131views Hardware» more  ASPDAC 2005»
15 years 4 months ago
Analysis of buffered hybrid structured clock networks
- This paper presents a novel approach for fast transient analysis of buffered hybrid structured clock networks. The new method applies structure reduction and relaxed hierarchical...
Yi Zou, Qiang Zhou, Yici Cai, Xianlong Hong, Sheld...
137
Voted
ECAI
2008
Springer
15 years 4 months ago
Sequential spatial reasoning in images based on pre-attention mechanisms and fuzzy attribute graphs
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics, and graphs...
Geoffroy Fouquier, Jamal Atif, Isabelle Bloch