4971 search results - page 119 / 995 » Observation systems |
BIRTHDAY
2004
Springer
14 years 24 days ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
SIGDIAL
2010
13 years 7 months ago
2010
We describe an approach to improving the naturalness of a social dialogue system, Talkie, by adding disfluencies and other content-independent enhancements to synthesized conversa...
AAAI
2004
13 years 10 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
14 years 3 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
14 years 3 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...