550 search results - page 87 / 110 » Interpolation and Joint Consistency |
QEST
2006
IEEE
14 years 3 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
ICIC
2005
Springer
14 years 3 months ago
2005
Springer
Rather than the difficulties of highly non-linear and non-Gaussian observation process and the state distribution in single target tracking, the presence of a large, varying number...
IEAAIE
2005
Springer
14 years 3 months ago
2005
Springer
Resistance spot welding is an important and widely used method for joining metal objects. In this paper, various classification methods for identifying welding processes are evalua...
OTM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...