4971 search results - page 119 / 995 » Observation systems |
124
click to vote
BIRTHDAY
2004
Springer
15 years 8 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...
144
click to vote
SIGDIAL
2010
15 years 2 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...
111
click to vote
AAAI
2004
15 years 6 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...
105
click to vote
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...
134
click to vote
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...