4985 search results - page 137 / 997 » Observation of String-Rewriting Systems |
107
Voted
CDC
2009
IEEE
15 years 8 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 ...
108
click to vote
CONCUR
2000
Springer
15 years 8 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...
104
Voted
AAAI
2004
15 years 5 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 10 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...
132
Voted
FORMATS
2007
Springer
15 years 10 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...