9325 search results - page 360 / 1865 » The decentralized implementability problem |
136
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper addresses problems of inferring the locations of moving agents from combinatorial data extracted by robots that carry sensors. The agents move unpredictably and may ...
153
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
163
click to vote
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we study a particular type of surface segmentation problem motivated by molecular biology applications. In particular, two input surfaces are given, coarsely modeli...
117
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper focuses on a class of problem relating to the multiplication of a single number by several coefficients that, while not constant, are drawn from a finite set ...
132
click to vote
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, a two-dimensional airfoil shape optimisation problem is investigated using CFD within a grid computing environment (GCE) implemented in Matlab. The feature-based par...