149 search results - page 9 / 30 » A realizability interpretation for classical analysis |
ATVA
2010
Springer
13 years 8 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
HCI
2007
13 years 9 months ago
2007
Abstract. In this paper, we address the task of affect recognition from text messaging. In order to sense and interpret emotional information expressed through written language, ru...
INFOCOM
1997
IEEE
13 years 12 months ago
1997
IEEE
This paper describes the performance analysis of a class of two-connected multihop shuflenets, known as generalized shufle networks. The topology of such networks is described mat...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
We introduce a framework for defining a distance on the (non-Euclidean) space of Linear Dynamical Systems (LDSs). The proposed distance is induced by the action of the group of o...
NIPS
2004
13 years 9 months ago
2004
The computation of classical higher-order statistics such as higher-order moments or spectra is difficult for images due to the huge number of terms to be estimated and interprete...