2957 search results - page 205 / 592 » Processing Self Corrections |
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper presents a novel distributed estimation algorithm based on the concept of moving horizon estimation. Under weak observability conditions we prove convergence of the ...
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
DAGM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Confidence measures are important for the validation of optical flow fields by estimating the correctness of each displacement vector. There are several frequently used c...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
CICLING
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents a method for cross-language question answering. The method combines multiple query translations in order to improve the answering precision. The combination of ...