33 search results - page 7 / 7 » Bounded polymorphism in session types |
MFPS
1989
13 years 9 months ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
ICC
2007
IEEE
14 years 2 days ago
2007
IEEE
– In this paper we perform an experimental investigation of the IEEE 802.11e TXOP facility to enhance the transmission of parallel multimedia streaming sessions through efficient...
LREC
2008
13 years 7 months ago
2008
In this paper we discuss the design, acquisition and preprocessing of a Czech audio-visual speech corpus. The corpus is intended for training and testing of existing audio-visual ...