4971 search results - page 119 / 995 » Observation systems |
111
Voted
BIRTHDAY
2004
Springer
15 years 6 months 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...
128
Voted
SIGDIAL
2010
15 years 18 days 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...
95
Voted
AAAI
2004
15 years 4 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...
92
Voted
ICC
2007
IEEE
15 years 9 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...
120
Voted
FORMATS
2007
Springer
15 years 9 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...