4565 search results - page 268 / 913 » Time Optimal Self-Stabilizing Algorithms |
120
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
118
click to vote
MP
1998
15 years 2 months ago
1998
We define the base polytope B(P, g) of a partially ordered set P and a supermodular function g on the ideals ofP as the convex hull of the incidence vectors of all linear extensio...
118
click to vote
WEA
2010
Springer
15 years 9 months ago
2010
Springer
This paper is devoted to a study of the impact of using bound sets in biobjective optimization. This notion, introduced by Villareal and Karwan [19], has been independently revisit...
115
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper considers a network composed of robotic agents and static nodes performing spatial estimation of a dynamic physical processes. The physical process is modeled as a s...
127
click to vote
ICNSC
2008
IEEE
15 years 9 months ago
2008
IEEE
— A facility location problem deals with locating the best place for a group of facilities, among distinct demand points, minimizing a certain locational optimization function. I...