4985 search results - page 137 / 997 » Observation of String-Rewriting Systems |
CDC
2009
IEEE
15 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
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. The question we consider in this paper is: “When can a combination of fine-grain execution steps be contracted into an atomic action execution”? Our answer is basica...
AAAI
2004
14 years 11 months ago
2004
We describe a formal framework for diagnosis and repair problems that shares elements of the well known partially observable MDP and cost-sensitive classification models. Our cost...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—Weak atmospheric turbulence causes pulse broadening of an optical signal. In this article, we drive the pulse broadening as a function of turbulence strength by temporal moments...
FORMATS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...