1087 search results - page 168 / 218 » On Stabilization in Herman's Algorithm |
123
Voted
TCS
2008
15 years 2 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
119
Voted
TSMC
2008
15 years 2 months ago
2008
Multiagent systems are rapidly finding applications in a variety of domains, including robotics, distributed control, telecommunications, and economics. The complexity of many task...
111
Voted
IJSYSC
2000
15 years 2 months ago
2000
This paper presents an algorithm for incorporating a priori knowledge into data-driven identification of dynamic fuzzy models of the Takagi-Sugeno type. Knowledge about the modell...
106
Voted
IJCV
2002
15 years 2 months ago
2002
This paper presents a linear algorithm for simultaneous computation of 3D points and camera positions from multiple perspective views based on having a reference plane visible in a...
137
Voted
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Existing work on cross-layer optimization for wireless networks adopts simple physical-layer models, i.e., treating interference as noise. In this paper, we adopt a dete...