2448 search results - page 184 / 490 » The Octahedron Abstract Domain |
COORDINATION
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We show how principles of separation of Coordination from Computation can be used to endow the Problem Frames approach to problem analysis with representation schemes. Th...
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...
ICA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper demonstrates and exploits some interesting frequency-domain properties of nonstationary signals. Considering these properties, two new methods for blind separa...
INLG
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe the recording and annotation of a corpus of roleplaying dialogues in the domain of the COMIC multimodal dialogue system. We give some generalisations about th...
IPTPS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. CorSSO is a distributed service for authentication in networks. It allows application servers to delegate client identity checking to combinations of authentication serve...